Separabler Raum

Der mathematische Begriff separabel bezeichnet i​n der Topologie u​nd verwandten Gebieten e​ine häufig benutzte Abzählbarkeitseigenschaft v​on topologischen Räumen. Der Begriff i​st dabei v​on besonderer Bedeutung i​n der Funktionalanalysis. Hier k​ann man beispielsweise zeigen, d​ass es i​n einem separablen Hilbertraum s​tets abzählbare Orthonormalbasen gibt.

Definition

Ein topologischer Raum heißt separabel, w​enn es e​ine höchstens abzählbare Teilmenge gibt, d​ie in diesem Raum dicht liegt.

Kriterien für separable Räume

• Besitzt ein topologischer Raum eine (höchstens) abzählbare Basis, so ist er separabel. (Die Umkehrung gilt im Allgemeinen nicht.)[1]
• Für einen metrischen Raum ${\displaystyle X}$ gilt sogar:[2]
  • Dafür, dass ${\displaystyle X}$ eine abzählbare Basis besitzt, ist es notwendig und hinreichend, dass ${\displaystyle X}$ separabel ist.
• Ein total beschränkter metrischer Raum ${\displaystyle X}$ ist stets separabel.[3]
• Insbesondere ist jeder kompakte, metrisierbare Raum separabel. Genauer gilt:[4]
  • Ist ${\displaystyle X}$ ein metrisierbarer topologischer Raum, so sind die drei Eigenschaften,
    • (1) eine abzählbare Basis zu besitzen,
    • (2) lindelöfsch zu sein,
    • (3) separabel zu sein,

  äquivalent.[5]

• Ein topologischer Vektorraum ist genau dann separabel, wenn es eine abzählbare Teilmenge gibt, sodass der davon erzeugte Untervektorraum dicht liegt.
• Ist ${\displaystyle X}$ ein Hilbertraum von unendlicher Dimension, so sind stets die folgenden drei Bedingungen gleichwertig:[6][7]
  • (1) ${\displaystyle X}$ ist separabel.
  • (2) Alle Orthonormalbasen von ${\displaystyle X}$ sind abzählbar.
  • (3) In ${\displaystyle X}$ gibt es eine abzählbare Orthonormalbasis.
• Für eine unendliche und mit der Ordnungstopologie versehene linear geordnete Menge ${\displaystyle X}$ sind die folgenden drei Bedingungen stets gleichwertig:[8]
  • (1) ${\displaystyle X}$ ist separabel und zusammenhängend.
  • (2) ${\displaystyle X}$ ist ordnungsisomorph zu einem Intervall von ${\displaystyle \mathbb {R} }$.
  • (3) ${\displaystyle X}$ ist homöomorph zu einem Intervall von ${\displaystyle \mathbb {R} }$.
• Ist ein metrischer Raum ${\displaystyle X}$ zusammenhängend und lokal euklidisch, so ist er lindelöfsch und damit separabel.[9]

Beispiele

Beispiele für separable Räume s​ind etwa:

• Die Räume ${\displaystyle \mathbb {R} ^{n}}$ sind für ${\displaystyle n\in \mathbb {N} }$ separabel, da ${\displaystyle \mathbb {Q} ^{n}}$ abzählbar ist und dicht in ${\displaystyle \mathbb {R} ^{n}}$ liegt.[10]
• Die Räume ${\displaystyle L^{p}(\Omega )}$ mit einer beschränkten, offenen Teilmenge ${\displaystyle \Omega \subset \mathbb {R} ^{n}}$ und ${\displaystyle 1\leq p<\infty }$ sind separabel.
• Die Folgenräume ${\displaystyle \ell ^{p}}$ für ${\displaystyle 1\leq p<\infty }$ sind separabel.[10]
• Der Raum ${\displaystyle c_{0}}$ der (reellen oder komplexen) Nullfolgen ist mit der Supremumsnorm ein separabler Banachraum.[11]
• Der Raum ${\displaystyle c_{00}}$ der abbrechenden Folgen (${\displaystyle \forall x\in c_{00}\exists N\in \mathbb {N} \forall n\geq N:x_{n}=0}$) ist mit der ${\displaystyle \ell ^{p}}$-Norm für ${\displaystyle 1\leq p<\infty }$ separabel.
• Für offene Teilmengen ${\displaystyle \Omega \subseteq \mathbb {R} ^{n}}$ und natürliche Zahlen ${\displaystyle k}$ sind die Räume ${\displaystyle C^{k}(\Omega )}$ stets separabel.
• Jede unendliche Menge mit kofiniter Topologie ist separabel, weil eine beliebige abzählbar unendliche Teilmenge als einzige abgeschlossene Obermenge den gesamten Raum hat.[12]
• Die Niemytzki-Ebene (oder Moore-Ebene) ist ein separabler Raum, da die enthaltene abzählbare (!) Teilmenge der Punkte mit rationalen Koordinaten darin dicht liegt.[13][14]

Gegenbeispiele

Es g​ibt einige bekannte Beispiele für nicht-separable Räume:

• Der Banachraum ${\displaystyle \ell ^{\infty }}$ der beschränkten (reellen oder komplexen) Folgen ist nicht-separabel.[15]
• Allgemein gilt, dass für eine unendliche Menge ${\displaystyle S}$ der Banachraum ${\displaystyle B(X,{\mathcal {P}}(S))}$ der beschränkten (reell- oder komplexwertigen) Funktionen nie separabel ist.[16]
• Der Raum ${\displaystyle \mathrm {AP} ^{2}}$ der fast-periodischen Funktionen ist ein nicht-separabler Hilbertraum.
• Versieht man die kleinste überabzählbare Ordinalzahl ${\displaystyle \omega _{1}}$ mit ihrer Ordnungstopologie, so erhält man einen nicht-separablen Raum.[17]

Permanenzeigenschaften

• Bilder von separablen Räumen unter stetigen Funktionen sind wieder separabel.[18]
• Offene Unterräume separabler Räume sind stets ebenfalls separabel.[19]
• Im Allgemeinen sind Unterräume separabler Räume nicht separabel. So enthält die erwähnte separable (!) Niemytzki-Ebene beispielsweise einen nicht-separablen Unterraum.[13]
• Es gilt aber, dass Unterräume separabler metrischer Räume wieder separabel sind.[20]
• Separabilitätssatz von Marczewski: Ist ${\displaystyle (X_{i})_{i\in I}}$ eine Familie separabler Räume und ist die Mächtigkeit von ${\displaystyle I}$ höchstens gleich der Mächtigkeit des Kontinuums ${\displaystyle \mathbb {R} }$, so ist ${\displaystyle \textstyle \prod _{i\in I}X_{i}}$ mit der Produkttopologie ebenfalls separabel. Um dieses Resultat einzusehen, genügt es, die Separabilität von ${\displaystyle {\mathbb {N} }^{\mathbb {R} }=\{f\mid f\colon {\mathbb {R} }\rightarrow {\mathbb {N} }\}}$ zu beweisen. Dazu überlegt man sich leicht, dass die abzählbare Menge der endlichen Summen von Funktionen aus ${\displaystyle \{n\cdot \chi _{[a,b]};n\in {\mathbb {N} },a,b\in {\mathbb {Q} }\}}$ dicht liegt, wobei ${\displaystyle \chi _{[a,b]}}$ die charakteristische Funktion des Intervalls ${\displaystyle [a,b]}$ ist.

Zusammenhang mit anderen Begriffen

• In der englischen Fachliteratur wird ein topologischer Raum ${\displaystyle X}$ mit (höchstens) abzählbarer Basis von manchen Autoren als completely separable oder perfectly separable, also als vollständig separabel bzw. als vollkommen separabel bezeichnet.[21]
• Lässt sich die Topologie eines separablen Raumes ${\displaystyle X}$ durch eine vollständige Metrik erzeugen, so nennt man ${\displaystyle X}$ einen polnischen Raum.[22]
• Der Begriff des separablen Raumes steht in keiner Beziehung zum Begriff des separierten Raums.[23]

Zur Historie

• Das Konzept des separablen Raumes geht zurück auf Maurice René Fréchet und seine Publikation Sur quelques points de calcul fonctionnel aus dem Jahre 1906.[24]
• P. S. Alexandroff zufolge ist der Terminus separabel eine höchst unglückliche Bezeichnung (…), die sich bedauerlicherweise jedoch eingebürgert hat und allgemeine Verbreitung fand.[25]
• Wie Horst Schubert im Jahre 1975 schrieb, bestanden (…) Tendenzen, ihn [den Terminus separabel] abzuschaffen.[23][26]

Literatur

• P. S. Alexandroff: Einführung in die Mengenlehre und in die allgemeine Topologie (= Hochschulbücher für Mathematik. Band 85). VEB Deutscher Verlag der Wissenschaften, Berlin 1984.
• Thorsten Camps, Stefan Kühling, Gerhard Rosenberger: Einführung in die mengentheoretische und die algebraische Topologie (= Berliner Studienreihe zur Mathematik. Band 15). Heldermann Verlag, Lemgo 2006, ISBN 3-88538-115-X.
• Charles O. Christenson, William L. Voxman: Aspects of Topology. 2. Auflage. BCS Associates, Moscow, Idaho, U. S. A. 1998, ISBN 0-914351-08-7.
• Lutz Führer: Allgemeine Topologie mit Anwendungen. Vieweg Verlag, Braunschweig 1977, ISBN 3-528-03059-3.
• Leszek Gasiński, Nikolaos S. Papageorgiou: Exercises in Analysis. Part 1 (= Problem Books in Mathematics). Springer-Verlag, Cham, Heidelberg, New York, Dordrecht, London 2014, ISBN 978-3-319-06175-7, doi:10.1007/978-3-319-06176-4.
• Jürgen Heine: Topologie und Funktionalanalysis. Grundlagen der Abstrakten Analysis mit Anwendungen. 2., verbesserte Auflage. Oldenbourg Verlag, München 2011, ISBN 978-3-486-70530-0.
• G. J. O. Jameson: Topology and Normed Spaces. Chapman and Hall, London 1974, ISBN 0-412-12880-2.
• Joseph Muscat: Functional Analysis. An Introduction to Metric Spaces, Hilbert Spaces, and Banach Algebras. Springer-Verlag, Cham, Heidelberg, New York, Dordrecht, London 2014, ISBN 978-3-319-06727-8, doi:10.1007/978-3-319-06728-5.
• Mark Neumark: Normierte Algebren. Verlag Harri Deutsch, Thun und Frankfurt / Main 1990, ISBN 3-8171-1001-4.
• Horst Schubert: Topologie (= Mathematische Leitfäden). 4. Auflage. B. G. Teubner, Stuttgart 1975, ISBN 3-519-12200-6.
• Lynn A. Steen, J. Arthur Seebach, Jr.,: Counterexamples in Topology. 2. Auflage. Springer-Verlag, New York, Heidelberg, Berlin 1978, ISBN 0-387-90312-7.
• Dirk Werner: Funktionalanalysis (= Springer-Lehrbuch). 6., korrigierte Auflage. Springer-Verlag, Berlin, Heidelberg, New York 2007, ISBN 978-3-540-72533-6.
• Stephen Willard: General Topology (= Addison-Wesley Series in Mathematics). Addison-Wesley, Reading, Massachusetts u. a. 1970.

Siehe auch

• Abzählbare Menge
• Hausdorffraum
• Hilbertraum
• Metrischer Raum
• Kompakter Raum
• Polnischer Raum
• Zweites Abzählbarkeitsaxiom

Einzelnachweise

1. Thorsten Camps, Stefan Kühling, Gerhard Rosenberger: Einführung in die mengentheoretische und die algebraische Topologie. 2006, S. 34.
2. P. S. Alexandroff: Einführung in die Mengenlehre und in die allgemeine Topologie. 1984, S. 121.
3. Joseph Muscat: Functional Analysis. 2014, S. 68.
4. Leszek Gasiński, Nikolaos S. Papageorgiou: Exercises in Analysis. Part 1. 2014, S. 8.
5. Da Kompaktheit ein Spezialfall der Lindelöf-Eigenschaft ist, ergibt sich die zuvor genannte Aussage aus dieser Äquivalenz als Folgerung.
6. Jürgen Heine: Topologie und Funktionalanalysis. 1970, S. 261.
7. Dirk Werner: Funktionalanalysis. 2007, S. 235.
8. Lutz Führer: Allgemeine Topologie mit Anwendungen. 1977, S. 129.
9. Charles O. Christenson, William L. Voxman: Aspects of Topology. 1998, S. 420.
10. Heine, op. cit, S. 72.
11. G. J. O. Jameson: Topology and Normed Spaces. 1970, S. 159.
12. Camps/Kühling/Rosenberger, op. cit, S. 18.
13. Lynn A. Steen, J. Arthur Seebach, Jr.,: Counterexamples in Topology. 1970, S. 7, S. 100–103.
14. Heine, op. cit, S. 86.
15. Heine, op. cit, S. 72.
16. Jameson, op. cit, S. 158.
17. Stephen Willard: General Topology. 1970, S. 114.
18. Als dichte Teilmenge im Bild dient einfach das Bild der dichten Teilmenge im Definitionsbereich.
19. Führer, op. cit, S. 128.
20. Dies folgt aus der oben genannten Äquivalenz, denn letztere überträgt sich offensichtlich auf die metrischen Unterräume.
21. Steen/Seebach, op. cit, S. 162.
22. Gasiński/Papageorgiou, op. cit, S. 226.
23. Horst Schubert: Topologie. 1975, S. 58.
24. Willard, op. cit, S. 303.
25. Alexandroff, op. cit, S. 120–121.
26. Was jedoch offenbar nicht geschah.