Auerbachbasis
# Auerbachbasis

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

## 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$ die Norm 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:

* $[A]=X$.
* Für jedes $a\in A$ gilt $a\notin [A\setminus \{a\}]$
* Für jedes $a\in A$ gilt die Normierungsbedingung $\|a\|=1$
* Es gibt eine Menge $\{f_{a}:a\in A\}$ von stetigen linearen Funktionalen auf $X$ (also eine Teilmenge des topologischen Dualraums) mit den Eigenschaften
   * $f_{a}(b)=\delta _{ab}$ für alle $a,b\in A$. Dabei ist $\delta _{ab}$ das Kronecker-Delta.
   * $\|f_{a}\|=1$ für alle $a\in A$.

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.

