imported>Sokrates 399: Typografie, Kleinigkeiten.

2026-02-17T17:49:07Z

Typografie, Kleinigkeiten.

Neue Seite

'''Nulldimensionaler Raum''' ist ein Begriff aus dem mathematischen Teilgebiet der [[Topologie (Mathematik)|Topologie]]. Es handelt sich um Räume der [[Topologische Dimension|topologischen Dimension]] 0, wobei dies vom verwendeten Dimensionsbegriff abhängt. Geht aus dem Zusammenhang nicht hervor, welche Dimension gemeint ist, so sagt man die Dimension dazu. In vielen Fällen ist das aber nicht nötig, da die Dimensionsbegriffe beispielsweise für [[Mannigfaltigkeit]]en übereinstimmen.

== Definition ==
Ein topologischer Raum <math>X</math> heißt null-dimensional, falls er bezüglich der [[Lebesguesche Überdeckungsdimension|Lebesgue’schen Überdeckungsdimension]] oder bezüglich der kleinen oder großen [[Induktive Dimension|induktiven Dimension]] null-dimensional ist, das heißt in Formeln:
* <math>\mathrm{dim}(X)=0</math> (Lebesgue’sche Überdeckungsdimension)
* <math>\mathrm{Ind}(X)=0</math> (große induktive Dimension)
* <math>\mathrm{ind}(X)=0</math> (kleine induktive Dimension)

== Total separierte Räume ==
[[Total separierter Raum|Total separierte Räume]] sind konzeptionell stark mit den verschiedenen Definitionen nulldimensionaler Räume verwandt.

=== Definition ===
Ein topologischer Raum heißt total separiert, falls es zu je zwei verschiedenen Punkten <math>x, y</math> eine offene abgeschlossene Menge gibt, die <math>x</math>, aber nicht <math>y</math> enthält.

=== Charakterisierungen und Eigenschaften ===
Jeder total separierte Raum ist automatisch ein [[Hausdorff-Raum]] und [[Total unzusammenhängender Raum|total unzusammenhängend]]. Ein topologischer Raum ist genau dann total separiert, wenn die [[Stone-Čech-Kompaktifizierung]] injektiv ist und in einen [[Stone-Raum]] abbildet. Durch eine Einschränkung dieser Abbildung auf ihr Bild lässt sich auch jeder total separierte Raum bijektiv auf einen Hausdorff-Raum mit kleiner induktiver Dimension 0 abbilden.

Jeder Hausdorff-Raum, der kleine induktive Dimension 0 oder große induktive Dimension 0 hat, ist automatisch total separiert.

== Räume mit kleiner induktiver Dimension 0 ==

=== Definition ===
Ein topologischer Raum <math>X</math> hat kleine induktive Dimension 0, <math>\mathrm{ind}(X)=0</math>, falls es zu jedem Punkt <math>x \in X</math> und jeder offenen Umgebung <math>U</math> von <math>x</math> eine offene Umgebung <math>V</math> von <math>x</math> gibt, sodass <math>V</math> auch abgeschlossen ist und eine Teilmenge von <math>U</math> ist.

=== Charakterisierungen und Eigenschaften ===
Die folgenden Eigenschaften sind äquivalent für einen topologischen Raum:

* Er hat kleine induktive Dimension 0.
* Er besitzt eine [[Basis (Topologie)|Basis]] aus offenen abgeschlossenen Mengen. Dies wird teilweise auch als Definition verwendet, zum Beispiel in <ref>Lynn Arthur Steen, J. Arthur Seebach: ''Counterexamples in Topology.'' Dover Pubn Inc., New York 1995, ISBN 0-486-68735-X.</ref>.
* Für jeden Punkt <math>x</math> und jede abgeschlossene Teilmenge <math>A</math>, die <math>x</math> nicht enthält, gibt es eine offene abgeschlossene Menge <math>U</math>, sodass <math>A</math> eine Teilmenge von <math>U</math> ist, aber <math>x</math> nicht in <math>U</math> liegt.
Jeder Raum mit kleiner induktiver Dimension 0 ist [[Regulärer Raum|regulär]], aber nicht zwingend ein Hausdorff-Raum.

=== Hausdorff-Räume mit kleiner induktiver Dimension 0 ===
Für einen topologischer Raum mit kleiner induktiver Dimension 0 lässt sich die Hausdorff-Eigenschaft auch auf viele andere Arten beschreiben. Es sind für einen solchen Raum äquivalent:

* Er ist ein Hausdorff-Raum.
* Er erfüllt das Trennungsaxiom <math>T_0</math>, also für je zwei verschiedene Punkte <math>x,y</math> gibt es eine offene Menge, die genau einen der beiden Punkte enthält.
* Er ist total separiert.
Ein topologischer Raum ist genau dann ein Hausdorff-Raum mit kleiner induktiver Dimension 0, wenn die [[Stone-Čech-Kompaktifizierung]] eine injektive [[Einbettung (Mathematik)|Einbettung]] in einen [[Stone-Raum]] ist.

Jeder Hausdorff-Raum mit kleiner induktiver Dimension 0 ist total unzusammenhängend.

Jeder lokalkompakte, total unzusammenhängende Hausdorff-Raum hat kleine induktive Dimension 0.<ref>[[Johann Cigler]], [[Hans-Christian Reichel]]: ''Topologie. Eine Grundvorlesung.'' Bibliographisches Institut, Mannheim u. a. 1978, ISBN 3-411-00121-6 (''BI-Hochschultaschenbücher'' 121), § 6, Aufgabe 7.</ref>

== Räume mit großer induktiver Dimension 0 ==

=== Definition ===
Ein topologischer Raum <math>X</math> hat große induktive Dimension 0, <math>\mathrm{Ind}(X)=0</math>, falls es zu jeder abgeschlossenen Menge <math>A \subseteq X</math> und jeder offenen Menge <math>U</math>, die <math>A</math> als Teilmenge enthält, eine offene abgeschlossene Menge <math>V</math> gibt mit <math>A \subseteq V \subseteq U</math>. Solche Räume heißen auch '''Ultranormal'''.<ref name=":2">{{Literatur |Autor=Joseph Van Name |Titel=Ultraparacompactness and Ultranormality |Sammelwerk=arXiv:1306.6086 [math] |Datum=2013-06-25 |arXiv=abs/1306.6086v1}}</ref>

=== Charakterisierungen und Eigenschaften ===
Die folgenden Eigenschaften sind äquivalent für einen topologischen Raum <math>X</math>:
* Er hat große induktive Dimension 0, <math>\mathrm{Ind}(X)=0</math>.
* Für je zwei disjunkte, abgeschlossene Mengen <math>A</math> und <math>B</math> gibt es eine offene abgeschlossene Menge <math>U</math>, sodass <math>A</math> eine Teilmenge von <math>U</math> ist und <math>B</math> zu <math>U</math> disjunkt ist.
* Der Raum hat Lebesgue-Überdeckungsdimension 0, <math>\mathrm{dim}(X)=0</math>. Das heißt, jede endliche offene [[Überdeckung (Mathematik)|Überdeckung]] von <math>X</math> besitzt eine Verfeinerung, die <math>X</math> mit disjunkten offenen Mengen überdeckt.
* Jede lokal endliche offene [[Überdeckung (Mathematik)|Überdeckung]] von <math>X</math> besitzt eine Verfeinerung, die <math>X</math> mit disjunkten offenen abgeschlossenen Mengen überdeckt.
Jeder topologische Raum mit großer induktiver Dimension 0 ist [[Normaler Raum|normal]], aber nicht zwingend ein Hausdorff-Raum.

=== Hausdorff-Räume mit großer induktiver Dimension 0 ===
Jeder <math>T_1</math> Raum, also jeder Raum in dem Punkte abgeschlossen sind, der große induktive Dimension 0 hat, ist bereits ein Hausdorff-Raum.

Aus der Definition folgt, dass jeder solche Raum auch kleine induktive Dimension 0 besitzt, total separiert ist und total unzusammenhängend ist.

Jeder kompakte total unzusammenhängende Hausdorff-Raum hat große induktive Dimension 0.<ref name=":1" />

Jeder [[Separabler Raum|separable]] [[Metrischer Raum|metrische Raum]] mit kleiner induktiver Dimension 0 hat auch große induktive Dimension 0.<ref>{{Literatur |Autor=Witold Hurewicz |Titel=Dimension theory (PMS-4) |Ort=Princeton |Datum=2015 |ISBN=978-0691627748 |Seiten=15 |Fundstelle=Abschnitt II 2 E)}}</ref>

=== Vergleich mit Lebesgue-Dimension 0 ===
Ein topologischer Raum hat genau dann große induktive Dimension 0, wenn auch seine [[Lebesguesche Überdeckungsdimension|Lebesgue-Dimension]] 0 ist.<ref>Keiô Nagami: ''Dimension Theory.'' Academic Press, New York NY u. a. 1970, ISBN 0-12-513650-1 (''Pure and Applied Mathematics'' 37), Satz 8–3.</ref>
Für höhere Dimensionen stimmen große induktive Dimension und Lebesgue-Dimension nicht mehr überein. Es gibt normale Räume mit <math>\mathrm{ind}(X)=0</math>, <math>\mathrm{dim}(X)=1</math> und <math>\mathrm{Ind}(X)=2</math>.<ref name=":0" />

Schränkt man in der Definition für die Lebesgue-Dimension nicht ein, dass die Überdeckung endlich oder zumindest lokal endlich ist, so heißt der Raum '''ultraparakompakter Raum.<ref name=":2" />''' Das sind die [[Parakompakter Raum|parakompakten]] Räume mit Lebesgue-Überdeckungsdimension 0.<ref>{{Literatur |Autor=Joseph Van Name |Titel=Ultraparacompactness and Ultranormality |Sammelwerk=arXiv:1306.6086 [math] |Datum=2013-06-25 |arXiv=abs/1306.6086v1 |Fundstelle=Theorem 10}}</ref> Insbesondere besitzt jeder kompakte Raum mit Lebesgue-Dimension 0 die Eigenschaft, dass sich jede offene Überdeckung zu einer Überdeckung durch offene abgeschlossene Mengen verfeinern lässt.

== Kompakte Hausdorff-Räume mit Dimension 0 ==
Im wichtigen Fall [[kompakter Raum|kompakter]] [[Hausdorff-Raum|Hausdorff-Räume]] <math>X</math> sind folgende Aussagen äquivalent:<ref name=":1">Keiô Nagami: ''Dimension Theory.'' Academic Press, New York NY u. a. 1970, ISBN 0-12-513650-1 (''Pure and Applied Mathematics'' 37), Satz 8–4 und Satz 8–6.</ref>
* <math>\mathrm{dim}(X)=0</math>.
* <math>\mathrm{Ind}(X)=0</math>.
* <math>\mathrm{ind}(X)=0</math>.
* <math>X</math> ist [[total unzusammenhängend]].
* <math>X</math> ist ein [[Stone-Raum]].

Im Allgemeinen liegen aber nicht so einfache Verhältnisse vor, denn es gibt total unzusammenhängende, [[Metrischer Raum|metrisierbare]], [[Separabler Raum|separable]] Räume mit <math>\mathrm{dim}(X)>0</math><ref>Keiô Nagami: ''Dimension Theory.'' Academic Press, New York NY u. a. 1970, ISBN 0-12-513650-1 (''Pure and Applied Mathematics'' 37), Satz 9–12.</ref> und es gibt normale Räume mit <math>\mathrm{ind}(X)=0</math>, <math>\mathrm{dim}(X)=1</math> und <math>\mathrm{Ind}(X)=2</math><ref name=":0">Keiô Nagami: ''Dimension Theory.'' Academic Press, New York NY u. a. 1970, ISBN 0-12-513650-1 (''Pure and Applied Mathematics'' 37), Kapitel 19.</ref>.

== Beispiele und Gegenbeispiele ==

=== Hausdorff-Räume ===
* Diskrete Mengen sind nulldimensional nach beiden induktiven Definitionen und total separiert.
* Die Cantormenge ist ein kompakter total unzusammenhängender Hausdorff-Raum und damit auch total separiert und nulldimensional in beiden induktiven Dimensionen.
* Allgemeiner ist jeder [[Stone-Raum]] nulldimensional in beiden induktiven Definitionen und total separiert.
* Die rationalen Zahlen sind total separiert und nulldimensional nach beiden induktiven Definitionen. Eine offene abgeschlossene Basis ist durch Intervalle zwischen irrationalen Zahlen gegeben.
* Der [[Knaster-Kuratowski-Fan]], bei dem die Spitze entfernt wurde, ist ein total unzusammenhängender Hausdorff-Raum, der nicht total separiert und damit auch nicht nulldimensional nach einer der induktiven Definitionen ist.
* Für jede Ordinalzahl <math>\alpha</math> bildet der Raum der Ordinalzahlen bis einschließlich <math>\alpha</math> mit der [[Ordnungstopologie]] einen Stone-Raum und damit auch einen nach beiden induktiven Definitionen nulldimensionalen und total separierten Raum.
* Für die kleinste überabzählbare Ordinalzahl <math>\omega_1</math> ist die Menge der Ordinalzahlen echt kleiner als <math>\omega_1</math> genau die Menge der abzählbaren Ordinalzahlen. Diese Menge ist mit der Ordnungstopologie total separiert und nulldimensional nach beiden Definitionen, aber nicht parakompakt.<ref>{{Literatur |Autor=Joseph Van Name |Titel=Ultraparacompactness and Ultranormality |Sammelwerk=arXiv:1306.6086 [math] |Datum=2013-06-25 |arXiv=abs/1306.6086v1 |Fundstelle=Proposition 3}}</ref> Die Überdeckung <math>\textstyle X= \bigcup_{\alpha < \omega_1} \{\beta \mid \beta \le \alpha\}</math> besitzt keine lokal endliche Verfeinerung, aber jede lokal endliche Überdeckung kann zu einer Überdeckung verfeinert werden, in der jeder Punkt nur in einer Menge ist.
* Allgemeiner ist für jede Ordinalzahl mit überabzählbarer [[Konfinalität|Kofinalität]] die Menge der echt kleineren Ordinalzahlen lokalkompakt, nulldimensional nach beiden induktiven Definitionen, aber nicht parakompakt.
* Es sei <math>X</math> das Produkt aus der Menge der Ordinalzahlen kleiner oder gleich der kleinsten überabzählbaren Ordinalzahl <math>\omega_1</math> mit der Menge der Ordinalzahlen kleiner oder gleich der kleinsten unendlichen Ordinalzahl <math>\omega_0</math>, wobei der Punkt <math>(\omega_1,\omega_0)</math> entfernt wurde. Dann ist <math>X</math> lokalkompakt und hat kleine induktive Dimension 0. Gleichzeitig ist <math>X</math> aber nicht normal und hat damit auch nicht große induktive Dimension 0.<ref>{{Literatur |Autor=Joseph Van Name |Titel=Ultraparacompactness and Ultranormality |Sammelwerk=arXiv:1306.6086 [math] |Datum=2013-06-25 |arXiv=abs/1306.6086v1 |Seiten=3}}</ref>
* Eine [[Mannigfaltigkeit]] ist genau dann Nulldimensional bezüglich einer der oben genannten Definitionen, wenn sie diskret ist, also als Mannigfaltigkeit Dimension 0 hat.

=== Nicht-Hausdorff’sche Räume ===
* Der Raum der natürlichen Zahlen zusammen mit zwei unendlichen Punkten bildet einen topologischen Raum, wobei eine Teilmenge genau dann abgeschlossen ist, wenn sie endlich ist oder beide unendlichen Punkte beinhaltet. Dieser Raum ist total unzusammenhängend und <math>T_1</math>, aber kein Hausdorff-Raum. Damit ist er auch nicht total separiert und hat in keiner induktiven Dimension den Wert 0.
* Die [[Klumpentopologie]] auf zwei Elementen definiert einen kompakten Raum, der kein Hausdorff-Raum und damit auch kein total separierter Raum ist. Er ist auch nicht total unzusammenhängend. Dieser Raum ist aber nulldimensional nach beiden induktiven Definitionen.
* Die Topologie auf der Menge <math>\{x,y\}</math>, die die offenen Mengen <math>\{\emptyset, \{x\}, \{x,y\}\}</math> besitzt, hat große induktive Dimension 0, aber nicht kleine induktive Dimension 0.

== Einzelnachweise ==
<references />

[[Kategorie:Topologischer Raum]]

Nulldimensionaler Raum - Versionsgeschichte

imported>Sokrates 399: Typografie, Kleinigkeiten.