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 auf dieser Menge das Betragsmaximum annimmt. Genauer lautet dieser SatzRobert E. Megginson: An Introduction to Banach Space Theory, Springer New York (1998), ISBN= 0-387-98431-3, Satz 2.9.3:
Kompaktheitskriterium von James: Seien ein Banachraum und eine nicht-leere schwach-abgeschlossene Menge. Dann sind folgende Aussagen äquivalent: ist schwach-kompakt. Für jedes gibt es ein mit . Für jedes gibt es ein mit . Für jedes gibt es ein mit .
Dabei steht für den reellen Vektorraum, der durch die Einschränkung der Skalarmultiplikation auf entsteht. Dieser Teil des Satzes ist nur für -Banachräume interessant. Eine Folgerung aus obigem Satz istRobert E. Megginson: An Introduction to Banach Space Theory, Springer New York (1998), ISBN= 0-387-98431-3, Satz 2.9.4:
Satz von James: Für einen Banachraum sind äquivalent: ist reflexiv. Für alle gibt es ein mit , so dass .
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 das Supremum auf der Einheitskugel definitionsgemäß gleich ist.
Historisch wurden diese Sätze in umgekehrter Reihenfolge bewiesen. Zunächst hatte James 1957 das Reflexivitätskriterium für separable Banachräume bewiesenR. C. James: Reflexivity and the Supremum of Linear Functionals, Annals of Mathematics (2) 66 (1957), Seiten 159–169 und 1964 für allgemeine Banachräume.R. C. James: Characterization of Reflexivity, Studia Mathematica 23 (1964), Seiten 205–216 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.V. L. Klee: A conjecture on weak compactness, Trans. Amer. Math. Soc. 104 (1962), Seiten 398–402 Dieses wurde dann 1964 tatsächlich von R. C. James bewiesen.R. C. James: Weakly Compact Sets, Trans. Amer. Math. Soc. 113 (1964), Seiten 129–140
Einzelnachweise
Kategorie:Funktionalanalysis James, Kompaktheitskriterium von