Kompaktheitskriterium von James
# Kompaktheitskriterium von James

Das Kompaktheitskriterium von James (nach Robert C. James) ist ein mathematischer Satz aus dem Teilgebiet der Funktionalanalysis. Dieser Satz charakterisiert die bezüglich der schwachen Topologie kompakten Mengen eines Banachraums und hat den Satz von James über reflexive Banachräume zur Folge.

Eine nicht-leere schwach-abgeschlossene Menge ist genau dann schwach-kompakt, wenn jedes stetige lineare Funktional aus dem Dualraum $X\,'$ auf dieser Menge das Betragsmaximum annimmt. Genauer lautet dieser Satz:

Kompaktheitskriterium von James: Seien $X$ ein Banachraum und $A\subset X$ eine nicht-leere schwach-abgeschlossene Menge. Dann sind folgende Aussagen äquivalent:

* $A$ ist schwach-kompakt.
* Für jedes $f\in X\,'$ gibt es ein $x_{0}\in A$ mit $f(x_{0})=\sup\{|f(x)|;\,x\in A\}$.
* Für jedes $f\in X_{\mathbb {R} }'$ gibt es ein $x_{0}\in A$ mit $f(x_{0})=\sup\{|f(x)|;\,x\in A\}$.
* Für jedes $f\in X_{\mathbb {R} }'$ gibt es ein $x_{0}\in A$ mit $f(x_{0})=\sup\{f(x);\,x\in A\}$.

Dabei steht $X_{\mathbb {R} }$ für den reellen Vektorraum, der durch die Einschränkung der Skalarmultiplikation auf $\mathbb {R}$ entsteht. Dieser Teil des Satzes ist nur für $\mathbb {C}$-Banachräume interessant. Eine Folgerung aus obigem Satz ist:

Satz von James: Für einen Banachraum $X$ sind äquivalent:

* $X$ ist reflexiv.
* Für alle $f\in X\,'$ gibt es ein $x\in X$ mit $\|x\|\leq 1$, so dass $f(x)=\|f\|$.

Das folgt sofort aus obigem Kompaktheitskriterium, wenn man verwendet, dass ein Banachraum genau dann reflexiv ist, wenn die Einheitskugel schwach-kompakt ist, und dass für ein $f\in X\,'$ das Supremum auf der Einheitskugel definitionsgemäß gleich $\|f\|$ ist.

Historisch wurden diese Sätze in umgekehrter Reihenfolge bewiesen. Zunächst hatte James 1957 das Reflexivitätskriterium für separable Banachräume bewiesen und 1964 für allgemeine Banachräume. Da die Reflexivität zur schwachen Kompaktheit der Einheitskugel äquivalent ist, hatte Victor L. Klee 1962 dies als Kompaktheitskriterium für die Einheitskugel umformuliert und vermutet, dass dieses Kriterium beliebige schwach-kompakte Mengen charakterisiert. Dieses wurde dann 1964 tatsächlich von R. C. James bewiesen.

