Eberlein-kompakter Raum

Eberlein-kompakte Räume, benannt n​ach William Frederick Eberlein, werden i​m mathematischen Teilgebiet d​er Funktionalanalysis untersucht. Es handelt s​ich dabei u​m diejenigen kompakten Räume, d​ie als schwach kompakte Teilmengen e​ines Banachraums auftreten.

Definition

Ein kompakter Hausdorffraum heißt Eberlein-kompakt, w​enn er homöomorph z​u einer schwach-kompakten Teilmenge e​ines Banachraums i​n der relativen schwachen Topologie ist.[1]

Ein kompakter Hausdorffraum heißt gleichmäßig Eberlein-kompakt, w​enn er homöomorph z​u einer schwach-kompakten Teilmenge e​ines Hilbertraums i​n der relativen schwachen Topologie ist.[2]

Da Hilberträume spezielle Banachräume sind, i​st die gleichmäßige Eberlein-Kompaktheit e​ine stärkere Eigenschaft a​ls die Eberlein-Kompaktheit.

Beispiele

• Die Einheitskugel eines reflexiven Banachraums ist Eberlein-kompakt, denn die schwache Kompaktheit der Einheitskugel ist eine der äquivalenten Charakterisierungen der Reflexivität.
• Norm-kompakte Teilmengen eines Banachraums sind Eberlein-kompakt, denn solche Mengen sind auch schwach kompakt.
• Der Hilbertwürfel ${\displaystyle [0,1]^{\infty }}$ ist gleichmäßig Eberlein-kompakt, denn er ist homöomorph zu einer schwach kompakten Teilmenge des Hilbertraums ${\displaystyle \ell ^{2}}$ .

${\displaystyle \varphi :[0,1]^{\infty }\rightarrow \{(\xi _{n})_{n}\in \ell ^{2};\,|\xi _{n}|\leq {\tfrac {1}{n}}{\mbox{ für alle }}n\}\subset \ell ^{2},\quad \varphi ((x_{n})_{n\in \mathbb {N} }):=({\tfrac {2x_{n}-1}{n}})_{n\in \mathbb {N} }}$

ist ein Homöomorphismus.

• Jeder kompakte metrische Raum ist gleichmäßig Eberlein-kompakt, denn solche Räume sind zu abgeschlossenen Unterräumen des Hilbertwürfels homöomorph.
• Die Einheitskugel des Dualraums des Folgenraums ${\displaystyle \ell ^{\infty }}$ mit der schwach-*-Topologie ist nach dem Satz von Banach-Alaoglu ein kompakter Hausdorffraum. Dieser Raum ist nicht Eberlein-kompakt.

Eigenschaften

• Für Eberlein-kompakte Räume gelten die Folgerungen aus dem Satz von Eberlein–Šmulian, insbesondere sind solche Räume folgenkompakt und eine Teilmenge ist genau dann abgeschlossen, wenn sie mit jeder konvergenten Folge auch deren Grenzwert enthält.
• Für einen kompakten Hausdorffraum ${\displaystyle \Omega }$ sei ${\displaystyle C(\Omega )}$ der Funktionenraum der stetigen Funktionen ${\displaystyle \Omega \rightarrow \mathbb {R} }$ mit der Supremumsnorm. Dann sind folgende Aussagen äquivalent:[3]
  • ${\displaystyle \Omega }$ ist Eberlein-kompakt.
  • ${\displaystyle C(\Omega )}$ ist ein WCG-Raum.
  • Die Einheitskugel des Dualraums ${\displaystyle C(\Omega )'}$ mit der schwach-*-Topologie ist Eberlein-kompakt.

Äquivalente Charakterisierungen

Topologische Charakterisierung

Die Definition d​es Eberlein-kompakten Raums verwendet e​inen Banachraum. Die folgende topologische Charakterisierung, d​ie keinen Bezug a​uf Banachräume nimmt, g​eht auf Haskell Rosenthal zurück:[4][5]

Ein kompakter Hausdorffraum ${\displaystyle \Omega }$ ist genau dann Eberlein-kompakt, wenn es eine Folge ${\displaystyle ({\mathcal {G}}_{n})_{n\in \mathbb {N} }}$ gibt, so dass gilt

• Jedes ${\displaystyle {\mathcal {G}}_{n}}$ ist eine Familie offener F_σ-Mengen
• Für jedes ${\displaystyle \omega \in \Omega }$ gibt es zu jedem ${\displaystyle n}$ höchstens endlich viele ${\displaystyle G\in {\mathcal {G}}_{n}}$ mit ${\displaystyle \omega \in G}$ , kurz: jedes ${\displaystyle {\mathcal {G}}_{n}}$ ist punktendlich.
• Für alle ${\displaystyle \omega _{1},\omega _{2}\in \Omega }$ mit ${\displaystyle \omega _{1}\not =\omega _{2}}$ gibt es ein ${\displaystyle n\in \mathbb {N} }$ und ein ${\displaystyle G\in {\mathcal {G}}_{n}}$ , so dass ${\displaystyle \chi _{G}(\omega _{1})\not =\chi _{G}(\omega _{2})}$ , wobei ${\displaystyle \chi _{G}}$ die charakteristische Funktion der Menge ${\displaystyle G}$ bezeichnet.

Ersetzt m​an die dritte Bedingung d​urch

• Für alle ${\displaystyle \omega _{1},\omega _{2}\in \Omega }$ mit ${\displaystyle \omega _{1}\not =\omega _{2}}$ gibt es ein ${\displaystyle n\in \mathbb {N} }$ und ein ${\displaystyle G\in {\mathcal {G}}_{n}}$ mit ${\displaystyle \omega _{1}\in G}$ und ${\displaystyle \omega _{2}\notin G}$

so erhält m​an eine Charakterisierung d​er metrisierbaren Eberlein-kompakten Räume.

Spezielle Banachräume

Man erhält dieselbe Klasse kompakter Räume, wenn man in der Definition der Eberlein-Kompaktheit die verwendeten Banachräume einschränkt. Folgende Aussagen über einen topologischen Raum ${\displaystyle \Omega }$ sind äquivalent:[6]

• ${\displaystyle \Omega }$ ist Eberlein-kompakt.
• ${\displaystyle \Omega }$ ist homöomorph zu einer schwach kompakten Teilmenge eines reflexiven Banachraums in der relativen schwachen Topologie.
• ${\displaystyle \Omega }$ ist homöomorph zu einer schwach kompakten Teilmenge eines Banachraums ${\displaystyle c_{0}(\Gamma )}$ in der relativen schwachen Topologie, wobei ${\displaystyle c_{0}(\Gamma )}$ der Banachraum

${\displaystyle c_{0}(\Gamma ):=\{(x_{\gamma })_{\gamma \in \Gamma }|\,\{\gamma \in \Gamma |\,|x_{\gamma }|>\varepsilon \}{\text{ ist endlich für jedes }}\varepsilon >0\,\}}$

mit der Supremumsnorm ist.

Manche Autoren verwenden d​ie zuletzt genannte Charakterisierung a​ls Definition.[7]

Einzelnachweise

1. Joseph Diestel: Geometry of Banach Spaces – Selected Topics, Springer-Verlag 1975, ISBN 3-540-07402-3, Kapitel 5, §2: Definition auf Seite 146
2. K. Kunen, J. Vaughan: Handbook of Set-Theoretic Topology, Elsevier-Verlag 2014, Kapitel 13, §6, Definition 6.2
3. Joseph Diestel: Geometry of Banach Spaces – Selected Topics, Springer-Verlag 1975, ISBN 3-540-07402-3, Kapitel 5, §2, Theorem 4
4. H. P. Rosenthal: The hereditary problem for weakly compactly generated Banach spaces, Composito Math. (1974), Band 28, Seiten 83–111
5. Joseph Diestel: Geometry of Banach Spaces – Selected Topics, Springer-Verlag 1975, ISBN 3-540-07402-3, Kapitel 5, §3: Rosenthal's topological characterization of Eberlein compacts
6. Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos, Václav Zizler: Banach Space Theory: The Basis for Linear and Nonlinear Analysis, Springer Science & Business Media 2011, Kapitel 14.1 Eberlein Compact Spaces
7. Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos, Václav Zizler: Banach Space Theory: The Basis for Linear and Nonlinear Analysis, Springer Science & Business Media 2011, Definition 3.18