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 <math>X\,'</math> auf dieser Menge das Betragsmaximum annimmt. Genauer lautet dieser Satz<ref>Robert E. Megginson: An Introduction to Banach Space Theory, Springer New York (1998), ISBN= 0-387-98431-3, Satz 2.9.3</ref>:

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

<math>A</math> ist schwach-kompakt.
Für jedes <math>f\in X\,'</math> gibt es ein <math>x_0\in A</math> mit <math>f(x_0) = \sup\{|f(x)|; \,x\in A\}</math>.
Für jedes <math>f\in X_{\R}'</math> gibt es ein <math>x_0\in A</math> mit <math>f(x_0) = \sup\{|f(x)|; \,x\in A\}</math>.
Für jedes <math>f\in X_{\R}'</math> gibt es ein <math>x_0\in A</math> mit <math>f(x_0) = \sup\{f(x); \,x\in A\}</math>.

Dabei steht <math>X_{\R}</math> für den reellen Vektorraum, der durch die Einschränkung der Skalarmultiplikation auf <math>\R</math> entsteht. Dieser Teil des Satzes ist nur für <math>\Complex</math>-Banachräume interessant. Eine Folgerung aus obigem Satz ist<ref>Robert E. Megginson: An Introduction to Banach Space Theory, Springer New York (1998), ISBN= 0-387-98431-3, Satz 2.9.4</ref>:

Satz von James: Für einen Banachraum <math>X</math> sind äquivalent:

<math>X</math> ist reflexiv.
Für alle <math>f\in X\,'</math> gibt es ein <math>x\in X</math> mit <math>\|x\|\le 1</math>, so dass <math>f(x) = \|f\|</math>.

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 <math>f\in X\,'</math> das Supremum auf der Einheitskugel definitionsgemäß gleich <math>\|f\|</math> ist.

Historisch wurden diese Sätze in umgekehrter Reihenfolge bewiesen. Zunächst hatte James 1957 das Reflexivitätskriterium für separable Banachräume bewiesen<ref>R. C. James: Reflexivity and the Supremum of Linear Functionals, Annals of Mathematics (2) 66 (1957), Seiten 159–169</ref> und 1964 für allgemeine Banachräume.<ref>R. C. James: Characterization of Reflexivity, Studia Mathematica 23 (1964), Seiten 205–216</ref> 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.<ref>V. L. Klee: A conjecture on weak compactness, Trans. Amer. Math. Soc. 104 (1962), Seiten 398–402</ref> Dieses wurde dann 1964 tatsächlich von R. C. James bewiesen.<ref>R. C. James: Weakly Compact Sets, Trans. Amer. Math. Soc. 113 (1964), Seiten 129–140</ref>

Einzelnachweise