Das Kefk Network Wiki befindet sich im Testbetrieb.

Auerbachbasis

Aus Kefk.

Wechseln zu: Navigation, Suche

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 gibt es immer eine Auerbachbasis.

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
Wikipedia
 Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Auerbachbasis, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.
Von „http://www.kefk.org/wiki/Auerbachbasis“
Persönliche Werkzeuge