Lemma von Auerbach
# Lemma von Auerbach

Das Lemma von Auerbach (nach Herman Auerbach) ist eine Aussage der Funktionalanalysis. Es besagt, dass in einem n-dimensionalen normierten Vektorraum $(E,\|\cdot \|)$ stets eine Auerbachbasis existiert. Die Menge $e_{1},\ldots ,e_{n}$ in E heißt eine Auerbachbasis von E, wenn $f_{1},\ldots ,f_{n}$ im Dualraum $\!\ E'$ von E mit Norm 1 existieren, so dass $f_{j}(e_{k})=\delta _{j,k}$ für alle $1\leq j,k\leq n$. Dabei ist $\delta _{j,k}$ das Kronecker-Delta, also gleich 1, wenn $j=k$, und gleich 0 sonst.

Wegen der Gleichungen Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikipedia.org/v1/“:): f_{j}(e_{k})=\delta _{{j,k}} sind die Vektoren $e_{j}$ linear unabhängig, sie bilden also eine Basis des Vektorraums. Der Beweis verwendet Hilfsmittel aus der linearen Algebra und elementaren Analysis.

Im Falle der euklidischen Norm auf einem endlichdimensionalen Vektorraum ${\mathbb {R} }^{n}$ oder ${\mathbb {C} }^{n}$ erfüllen die Einheitsvektoren $(1,0,\ldots ,0),\ldots ,(0,\ldots ,0,1)$ die Aussage des Lemmas. Das Lemma von Auerbach macht darüber hinaus eine Aussage über eine beliebige Vektorraumnorm und ist dann nicht so offensichtlich wie der Fall des euklidischen Vektorraums.

In Hilberträumen ist jede Orthonormalbasis $(e_{i})_{i}$ eine Auerbachbasis. Als $f_{j}$ in obigem Lemma nimmt man die Funktionale $\langle \,\cdot \,,e_{j}\rangle$. In manchen Situationen, so auch in der folgenden Anwendung, kann eine Auerbachbasis als Ersatz für Orthonormalbasen fungieren.

## Anwendung

Die folgende Aussage über nicht notwendig endlichdimensionale Räume zeigt, wie dieses Lemma eingesetzt werden kann.

Ist E ein normierter Raum und F ein n-dimensionaler Untervektorraum, so gibt es eine stetige Projektion P von E auf F mit $\|P\|\leq n$.

Nach dem Lemma hat der n-dimensionale Unterraum F eine Auerbachbasis $e_{1},\ldots ,e_{n}$ mit $f_{1},\ldots ,f_{n}\in F'$ und nach dem Satz von Hahn-Banach gibt es $g_{j}\in E'$ mit $g_{j}|_{F}=f_{j}$ und $\|g_{j}\|=1$. Durch Nachrechnen lässt sich dann zeigen, dass

    $P:x\mapsto \sum _{j=1}^{n}g_{j}(x)e_{j}$

eine Projektion von E auf F mit $\|P\|\leq n$ ist.

Dieser Satz lässt sich wesentlich verbessern, es gibt nach dem Satz von Kadets-Snobar sogar Projektionen mit Norm kleiner gleich ${\sqrt {n}}$, aber der Beweis dieser Aussage ist wesentlich schwieriger.

