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 Dualraum von E mit Norm 1 existieren, so dass für alle . Dabei ist das Kronecker-Delta, also gleich 1, wenn , und gleich 0 sonst.

Wegen der Gleichungen sind die Vektoren 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 oder erfüllen die Einheitsvektoren 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 eine Auerbachbasis. Als in obigem Lemma nimmt man die Funktionale . 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 .

Nach dem Lemma hat der n-dimensionalen Unterraum F eine Auerbachbasis mit und nach dem Satz von Hahn-Banach gibt es mit und . Durch Nachrechnen lässt sich dann zeigen, dass

eine Projektion von E auf F mit ist.

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

Literatur

  • Reinhold Meise, Dietmar Vogt: Einführung in die Funktionalanalysis, Vieweg, Braunschweig 1992, ISBN 3-528-07262-8.