Satz von Banach-Alaoglu

Der Satz v​on Banach-Alaoglu (auch Satz v​on Alaoglu o​der Satz v​on Alaoglu-Bourbaki bzw. i​n einer allgemeineren Version Satz v​on Banach-Alaoglu-Bourbaki) i​st ein Kompaktheitssatz u​nd wird i​m Allgemeinen d​em Gebiet d​er Funktionalanalysis zugeordnet, obwohl e​r eine r​ein topologische Aussage enthält u​nd im Wesentlichen a​us dem Satz v​on Tychonoff folgt.

Er i​st nach Stefan Banach u​nd Leonidas Alaoglu benannt.

Der Satz

Es sei ${\displaystyle E}$ ein normierter Raum und ${\displaystyle E^{\,\prime }}$ sein topologischer Dualraum. Dann ist die Menge

${\displaystyle M:=\{\varphi \in E^{\,\prime }\,|\,\|\varphi \|_{E^{\,\prime }}\leq 1\}}$

kompakt bezüglich der schwach-*-Topologie in ${\displaystyle E^{\,\prime }}$.

Diskussion

Die Bedeutung dieser Aussage ergibt sich vor allem aus dem Vergleich mit dem Lemma von Riesz, wonach die normabgeschlossene Einheitskugel eines normierten Raumes genau dann kompakt bezüglich der Normtopologie ist, wenn der Raum endliche Dimension hat. Der topologische Dualraum ${\displaystyle E^{\,\prime }}$, also der Raum aller stetigen linearen Funktionale auf einem normierten Raum ${\displaystyle E}$, ist selbst wieder normiert vermöge

${\displaystyle \|\varphi \|_{E^{\,\prime }}:=\sup\{|\varphi (x)|\,|\,x\in E,\,\|x\|\leq 1\},\quad \varphi \in E'.}$

Die normabgeschlossene Einheitskugel in ${\displaystyle E^{\,\prime }}$ ist gerade die Menge ${\displaystyle M}$. Mit ${\displaystyle E}$ ist auch ${\displaystyle E^{\,\prime }}$ von unendlicher Vektorraum-Dimension. Angewandt auf ${\displaystyle E^{\,\prime }}$ folgt aus dem Lemma von Riesz, dass ${\displaystyle M}$ im Fall ${\displaystyle \dim E=\infty }$ nicht normkompakt ist. Wohl aber ist ${\displaystyle M}$ kompakt in der schwächeren schwach-*-Topologie.

Man beachte an dieser Stelle nochmals, dass zur Konstruktion von ${\displaystyle M}$ die Norm von ${\displaystyle E^{\,\prime }}$ verwendet wird, die Kompaktheit aber nicht in der Normtopologie, sondern in der schwach-*-Topologie gilt.

Im Zusammenhang mit obigem Vergleich lässt sich auch die Einordnung des Satzes von Banach-Alaoglu in den Bereich der Funktionalanalysis begründen, denn erst bei unendlicher Dimension des zugrunde liegenden normierten Raumes ist die Aussage nichttrivial (${\displaystyle E}$ und ${\displaystyle E^{\,\prime }}$ mit obiger Norm sind im Endlichdimensionalen topologisch isomorph, und die schwach-*-Topologie ist gleich der Normtopologie).

Man beachte, d​ass der Satz v​on Banach-Alaoglu n​icht die Lokalkompaktheit d​er schwach-*-Topologie impliziert, d​enn diese i​st gröber a​ls die Normtopologie u​nd die abgeschlossene Einheitskugel k​eine Nullumgebung. Jeder lokalkompakte topologische Vektorraum i​st nämlich endlichdimensional.[1]

Anwendung

Kompakte Mengen sind in der (Funktional-)Analysis immer von großer Bedeutung. Da sie in unendlichdimensionalen normierten Räumen (nach dem oben genannten Lemma von Riesz und allgemeiner der Nicht-Lokalkompaktheit) eher rar sind, der Wechsel zu der schwächeren *-Topologie aber in vielen Situationen keine große Einschränkung bedeutet bzw. diese Topologie auf natürlichem Wege ins Spiel kommt, gibt einem dieser Satz eine Fülle „neuer“ kompakter Mengen an die Hand. Als prominentes Beispiel soll hier der Beweis des Satzes von Gelfand-Neumark aus der Theorie der C*-Algebren genannt werden, der einen isometrischen Isomorphismus zwischen einer beliebigen kommutativen C*-Algebra ${\displaystyle A}$ und den stetigen Funktionen ${\displaystyle C(\Gamma _{A})}$ auf einer kompakten Menge ${\displaystyle \Gamma _{A}}$ herstellt. Die Kompaktheit der Menge ${\displaystyle \Gamma _{A}}$ folgt dabei aus einer Anwendung des Satzes von Banach-Alaoglu.

Außerdem i​st der Satz v​on Banach-Alaoglu zentrales Element d​es Beweises z​um Fundamentalsatz d​er Young-Maße. Er erlaubt es, a​us einer Folge atomarer Maße e​ine schwach-*-konvergente Teilfolge auszuwählen.[2]

Verallgemeinerungen und andere Formulierungen

Verallgemeinerung: Satz von Alaoglu-Bourbaki

Der Satz v​on Banach-Alaoglu k​ann für allgemeinere topologische Vektorräume formuliert werden.

Sei ${\displaystyle X}$ ein lokalkonvexer Raum. Für eine Nullumgebung ${\displaystyle U}$ in ${\displaystyle X}$ ist

${\displaystyle U^{\circ }:=\{\varphi \in X^{\,\prime }\,|\,\mathrm {Re} (\varphi (x))\leq 1\ \forall \,x\in U\}}$

(die sog. Polare von ${\displaystyle U}$) eine schwach-*-kompakte Menge.

Für Banachräume

Die Einheitskugel ${\displaystyle B^{*}:=\{x^{*}\in X^{*}\,|\,\|x^{*}\|\leq 1\}}$ im Dualraum ${\displaystyle X^{*}}$ eines Banachraumes ${\displaystyle X}$ ist schwach-*-kompakt.

Für separable Banachräume

Die Einheitskugel ${\displaystyle B^{*}:=\{x^{*}\in X^{*}\,|\,\|x^{*}\|\leq 1\}}$ im Dualraum ${\displaystyle X^{*}}$ eines separablen Banachraumes ${\displaystyle X}$ ist mit der schwach-*-Topologie kompakt und auch schwach-*-metrisierbar, weshalb sie damit auch schwach-*-folgenkompakt ist. D.h. eine Folge ${\displaystyle (x_{n})_{n\in \mathbb {N} }\subseteq B^{*}}$ besitzt eine schwach-* konvergente Teilfolge mit Grenzwert in ${\displaystyle B^{*}}$.[3]

Literatur

• Dirk Werner: Funktionalanalysis. Springer, Berlin 1995, ISBN 3-540-59168-0, S. 335 f.
• Herbert Schröder: Funktionalanalysis. 2. Auflage. Deutsch, Frankfurt am Main 2000, ISBN 3-8171-1623-3, S. 93 f.
• Klaus Jänich: Topologie. 4. Auflage. Springer, Berlin 1994, ISBN 3-540-57471-9, S. 201 f.

Weblinks

• László Erdős: Banach-Alaoglu theorems. (PDF; 94 kB) Abgerufen am 16. August 2013.

Einzelnachweise

1. Nicolas Bourbaki: V. Topological Vector Spaces (= Elements of Mathematics). Springer, Berlin 2003, ISBN 3-540-42338-9, I, S. 15 (Originaltitel: Éspaces vectoriels topologiques. Paris 1981. Übersetzt von H. G. Eggleston und S. Madan).
2. Stefan Müller: Variational models for microstructure and phase transitions. In: Calculus of Variations and Geometric Evolution Problems: Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro, Italy, June 15–22, 1996 (= Lecture Notes in Mathematics). Springer Berlin Heidelberg, Berlin, Heidelberg 1999, ISBN 978-3-540-48813-2, S. 85–210, doi:10.1007/bfb0092670.
3. Joseph Diestel: Sequences and Series in Banach Spaces. 1984, ISBN 0-387-90859-5