Satz von Eberlein–Šmulian

Der Satz von Eberlein–Šmulian (nach William Frederick Eberlein und Witold Lwowitsch Šmulian) ist ein mathematischer Satz aus der Funktionalanalysis, der eine Aussage über Kompaktheitseigenschaften bezüglich der schwachen Topologie eines Banachraums macht.

In der Topologie wird die Folgenkompaktheit als Variante der Kompaktheit untersucht. Keiner dieser beiden Begriffe folgt aus dem jeweils anderen. Sei zum Beispiel die Einheitskugel im Dualraum des Folgenraums $\ell ^{\infty }(\mathbb {N} )$ . Mit der schwach-*-Topologie ist nach dem Satz von Banach-Alaoglu kompakt. ist nicht folgenkompakt, denn betrachte man die Projektionen

${\begin{array}{crcl}E_{n}:&\ell ^{\infty }(\mathbb {N} )&\to &{\mathbb {K} }\\&(x_{k})_{k\in \mathbb {N} }&\mapsto &x_{n}\end{array}}$

so ist $(E_{n})_{n\in \mathbb {N} }$ eine Folge in , die keine konvergente Teilfolge hat. Umgekehrt gibt es folgenkompakte Räume, die nicht kompakt sind.

Es ist ein bekannter Satz, dass in metrischen Räumen die Begriffe Kompaktheit und Folgenkompaktheit zusammenfallen. Da die schwache Topologie auf einem Banachraum nicht metrisierbar ist, außer im endlichdimensionalen Fall, ist der folgende Satz von Eberlein–Šmulian bemerkenswert.

Der Satz von Eberlein–Šmulian

Sei eine nicht-leere Teilmenge eines Banachraums. Dann sind folgende Aussagen äquivalent:

Der schwache Abschluss von ist schwach-kompakt (d.h. kompakt bzgl. der schwachen Topologie).
Der schwache Abschluss von ist schwach-folgenkompakt (d.h. folgenkompakt bzgl. der schwachen Topologie).

Bemerkungen

Für schwach-abgeschlossene Teilmengen eines Banachraums fallen daher die Begriffe kompakt und folgenkompakt zusammen.
Ein vergleichbarer Satz für die schwach-*-Topologie gilt nicht, wie das eingangs gegebene Beispiel der Einheitskugel in $(\ell ^{\infty })'$ zeigt.
Šmulian hat 1940 gezeigt, dass schwach-kompakte Mengen in Banachräumen schwach-folgenkompakt sind. Die Umkehrung wurde erst 1947 von Eberlein gezeigt. Diese Umkehrung wurde 1952 von Alexander Grothendieck auf lokalkonvexe Räume, die bezüglich ihrer Mackey-Topologie quasivollständig sind, verallgemeinert.
Ist eine schwach-kompakte Teilmenge in einem Banachraum, so weist sie folgende Besonderheit auf: Eine Teilmenge $Y\subset X$ ist genau dann schwach-abgeschlossen, wenn sie schwach-folgenabgeschlossen ist, d.h. wenn sie mit jeder konvergenten Folge auch den Grenzwert enthält. Es ist klar, dass abgeschlossene Mengen folgenabgeschlossen sind. Ist umgekehrt $Y\subset X$ folgenabgeschlossen, so ist als Teilmenge des nach obigem Satz folgenkompakten Raumes folgenkompakt und daher, wieder nach dem Satz von Eberlein-Šmulian, schwach-kompakt und damit schwach abgeschlossen.
Da ein Banachraum genau dann reflexiv ist, wenn seine Einheitskugel schwach-kompakt ist, erhält man aus dem Satz von Eberlein–Šmulian ein weiteres Reflexivitätskriterium: Ein Banachraum ist genau dann reflexiv, wenn seine Einheitskugel schwach-folgenkompakt ist, und das ist äquivalent dazu, dass jede beschränkte Folge eine schwach-konvergente Teilfolge besitzt.

Basierend auf einem Artikel in Wikipedia.de