Auerbachbasis

Eine Auerbachbasis ist eine linear unabhängige Teilmenge eines normierten Vektorraums mit speziellen Eigenschaften.

Inhaltsverzeichnis

Definition

Sei X ein normierter Vektorraum. Eine Menge A \subseteq X heißt Auerbachbasis von X, wenn die folgenden Bedingungen erfüllt sind:

  • Die lineare Hülle der Menge A liegt dicht in X.
  • Für jedes a\in A gilt  \|a\| = \inf\{ \|a - b\|: b \in [ A \setminus \{a\}] \}, wobei [B] der Abschluss der linearen Hülle der Menge B sein soll.
  • Die Menge A ist linear unabhängig. (Diese Bedingung folgt aus der vorigen; es muss sogar für alle x\in A die Beziehung x\notin [A \setminus\{x\}] gelten.)

Eine Auerbachbasis A heißt normierte Auerbachbasis, wenn alle Vektoren der Menge A Länge 1 haben.

Motivation und Geschichte

In jedem endlichdimensionalen Hilbertraum gilt die Gleichung

\|x\| = \inf\{ \|x - y\|: y \in [ B ]\}

genau dann, wenn der Vektor x auf den durch B erzeugten Teilraum normal steht. In diesem Sinn ist der Begriff der normierten Auerbachbasis eine Verallgemeinerung des Begriffs der Orthonormalbasis.

Dieser Begriff wurde in der Dissertation von Herman Auerbach definiert. Die Dissertation selbst, die im Jahr 1929 geschrieben wurde, gilt als verschollen. Sie wird aber in einer Monographie von Stefan Banach aus dem Jahr 1932 erwähnt.

Äquivalente Definitionen

In einen Banachraum X ist eine Menge A von Vektoren genau dann eine normierte Auerbachbasis, wenn die folgenden Bedingungen gelten:

  1. [A] = X.
  2. Für jedes a\in A gilt  a \notin [ A \setminus \{a\}]
  3. Für jedes a\in A gilt die Normierungsbedingung  \|a\| = 1
  4. Es gibt eine Menge \{f_a: a \in A\} von stetigen linearen Funktionalen auf X (also eine Teilmenge des topologischen Dualraums) mit den Eigenschaften

Zum Beweis verwendet man den Satz von Hahn-Banach.

Für Vektorräume mit endlicher Dimension bedeuten die Bedingungen 1+2 einfach, dass A eine Basis ist. In endlichdimensionalen normierten Vektorräumen sagt das Lemma von Auerbach, dass es immer eine Auerbachbasis gibt.

Literatur

  • Herman Auerbach: O polu krzywych wypukłych o średnicach sprzężonych (Über Flächen von konvexen Kurven mit konjugierten Durchmessern), Dissertation an der Universität Lwów (1929; auf polnisch).
  • Stefan Banach: Théorie des opérations linéaires. Monografie matematyczne, herausgegeben von M. Garasiński, Warschau 1932.
  • Bartoszyński et al.: On bases in Banach spaces. Studia Math. 170 (2005), no. 2, 147--171. http://www.iam.unibe.ch/~halbeis/publications/pdf/metal.pdf (englisch)
  • Dirk Werner: Funktionalanalysis. 5. Auflage. Springer, Berlin Heidelberg/New York 2005, ISBN 3540213813

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Lemma von Auerbach — Das Lemma von Auerbach (nach Herman Auerbach) ist eine Aussage der Funktionalanalysis. Es besagt, dass in einem n dimensionalen normierten Vektorraum stets eine Auerbachbasis existiert. Die Menge in E heißt eine Auerbachbasis von E, wenn im… …   Deutsch Wikipedia

  • Austauschlemma von Steinitz — In der linearen Algebra ist eine Basis eine Teilmenge eines Vektorraumes, mit deren Hilfe sich jeder Vektor des Raumes eindeutig als endliche Linearkombination darstellen lässt. Die Koeffizienten dieser Linearkombination heißen die Koordinaten… …   Deutsch Wikipedia

  • Banach-Mazur-Kompaktum — Der Banach Mazur Abstand, benannt nach Stefan Banach und Stanisław Mazur, ist ein Begriff aus der mathematischen Theorie der Banachräume. Er definiert einen Abstand zwischen zwei isomorphen normierten Räumen und wird besonders für endlich… …   Deutsch Wikipedia

  • Basisfunktion — In der linearen Algebra ist eine Basis eine Teilmenge eines Vektorraumes, mit deren Hilfe sich jeder Vektor des Raumes eindeutig als endliche Linearkombination darstellen lässt. Die Koeffizienten dieser Linearkombination heißen die Koordinaten… …   Deutsch Wikipedia

  • Basisvektor — In der linearen Algebra ist eine Basis eine Teilmenge eines Vektorraumes, mit deren Hilfe sich jeder Vektor des Raumes eindeutig als endliche Linearkombination darstellen lässt. Die Koeffizienten dieser Linearkombination heißen die Koordinaten… …   Deutsch Wikipedia

  • Hamelbasis — In der linearen Algebra ist eine Basis eine Teilmenge eines Vektorraumes, mit deren Hilfe sich jeder Vektor des Raumes eindeutig als endliche Linearkombination darstellen lässt. Die Koeffizienten dieser Linearkombination heißen die Koordinaten… …   Deutsch Wikipedia

  • Hamelsche Basis — In der linearen Algebra ist eine Basis eine Teilmenge eines Vektorraumes, mit deren Hilfe sich jeder Vektor des Raumes eindeutig als endliche Linearkombination darstellen lässt. Die Koeffizienten dieser Linearkombination heißen die Koordinaten… …   Deutsch Wikipedia

  • Minkowski-Kompaktum — Der Banach Mazur Abstand, benannt nach Stefan Banach und Stanisław Mazur, ist ein Begriff aus der mathematischen Theorie der Banachräume. Er definiert einen Abstand zwischen zwei isomorphen normierten Räumen und wird besonders für endlich… …   Deutsch Wikipedia

  • Auerbach — steht für: Auerbach (Familienname), der Familienname Auerbach Auerbach ist ein Ortsname in Deutschland: Auerbach in der Oberpfalz, Stadt im Landkreis Amberg Sulzbach, Bayern Auerbach/Vogtl., Stadt im Vogtlandkreis, Sachsen Auerbach (Erzgebirge),… …   Deutsch Wikipedia

  • Banach-Mazur-Abstand — Der Banach Mazur Abstand, benannt nach Stefan Banach und Stanisław Mazur, ist ein Begriff aus der mathematischen Theorie der Banachräume. Er definiert einen Abstand zwischen zwei isomorphen normierten Räumen und wird besonders für… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”