Nulldimensionaler Raum
# Nulldimensionaler Raum

Nulldimensionaler Raum ist ein Begriff aus dem mathematischen Teilgebiet der Topologie. Es handelt sich um Räume der topologischen Dimension 0, wobei dies vom verwendeten Dimensionsbegriff abhängt. Ist aus dem Zusammenhang nicht klar, welche Dimension gemeint ist, so sagt man sie dazu. In vielen Fällen ist das aber nicht nötig, da die Dimensionsbegriffe beispielsweise für Mannigfaltigkeiten übereinstimmen.

## Definition

Ein topologischer Raum $X$ heißt null-dimensional, falls er bezüglich der Lebesgue'schen Überdeckungsdimension oder bezüglich der kleinen oder großen induktiven Dimension null-dimensional ist, das heißt in Formeln:

* $\mathrm {dim} (X)=0$ (Lebesgue'sche Überdeckungsdimension)
* $\mathrm {Ind} (X)=0$ (große induktive Dimension)
* $\mathrm {ind} (X)=0$ (kleine induktive Dimension)

## Total Separierte Räume

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 $x,y$ eine offene abgeschlossene Menge gibt, die $x$, aber nicht $y$ enthält.

### Charakterisierungen und Eigenschaften

Jeder total separierte Raum ist automatisch ein Hausdorffraum und 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 Hausdorffraum mit kleiner induktiver Dimension 0 abbilden.

Jeder Hausdorffraum, 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 $X$ hat kleine induktive Dimension 0, $\mathrm {ind} (X)=0$, falls es zu jedem Punkt $x\in X$ und jeder offenen Umgebung $U$ von $x$ eine offene Umgebung $V$ von $x$ gibt, sodass $V$ auch abgeschlossen ist und eine Teilmenge von $U$ ist.

### Charakterisierungen und Eigenschaften

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

* Er hat kleine induktive Dimension 0.
* Er besitzt eine Basis aus offenen abgeschlossenen Mengen. Dies wird teilweise auch als Definition verwendet, zum Beispiel in.
* Für jeden Punkt $x$ und jede abgeschlossene Teilmenge $A$, die $x$ nicht enthält, gibt es eine offene abgeschlossene Menge $U$, sodass $A$ eine Teilmenge von $U$ ist, aber $x$ nicht in $U$ liegt.

Jeder Raum mit kleiner induktiver Dimension 0 ist regulär, aber nicht zwingend ein Hausdorffraum.

### Hausdorffrä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 Hausdorffraum.
* Er erfüllt das Trennungsaxiom $T_{0}$, also für je zwei verschiedene Punkte $x,y$ gibt es eine offene Menge, die genau einen der beiden Punkte enthält.
* Er ist total separiert.

Ein topologischer Raum ist genau dann ein Hausdorffraum mit kleiner induktiver Dimension 0, wenn die Stone-Čech-Kompaktifizierung eine injektive Einbettung in einen Stone-Raum ist.

Jeder Hausdorffraum mit kleiner induktiver Dimension 0 ist total unzusammenhängend.

Jeder lokalkompakte, total unzusammenhängende Hausdorffraum hat kleine induktive Dimension 0.

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

### Definition

Ein topologischer Raum $X$ hat große induktive Dimension 0, $\mathrm {Ind} (X)=0$, falls es zu jeder abgeschlossenen Menge $A\subseteq X$ und jeder offenen Menge $U$, die $A$ als Teilmenge enthält, eine offene abgeschlossene Menge $V$ gibt mit $A\subseteq V\subseteq U$. Solche Räume heißen auch Ultranormal.

### Charakterisierungen und Eigenschaften

Die folgenden Eigenschaften sind äquivalent für einen topologischen Raum $X$:

* Er hat große induktive Dimension 0, $\mathrm {Ind} (X)=0$.
* Für je zwei disjunkte, abgeschlossene Mengen $A$ und $B$ gibt es eine offene abgeschlossene Menge $U$, sodass $A$ eine Teilmenge von $U$ ist und $B$ zu $U$ disjunkt ist.
* Der Raum hat Lebesgue-Überdeckungsdimension 0, $\mathrm {dim} (X)=0$. Das heißt, jede endliche offene Überdeckung von $X$ besitzt eine Verfeinerung, die $X$ mit disjunkten offenen Mengen überdeckt.
* jede lokal endliche offene Überdeckung von $X$ besitzt eine Verfeinerung, die $X$ mit disjunkten offenen abgeschlossenen Mengen überdeckt.

Jeder topologische Raum mit großer induktiver Dimension 0 ist normal, aber nicht zwingend ein Hausdorffraum.

### Hausdorffräume mit großer induktiver Dimension 0

Jeder $T_{1}$ Raum, also jeder Raum in dem Punkte abgeschlossen sind, der große induktive Dimension 0 hat, ist bereits ein Hausdorffraum.

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 Hausdorffraum hat große induktive Dimension 0.

Jeder separable metrische Raum mit kleiner induktiver Dimension 0 hat auch große induktive Dimension 0.

### Vergleich mit Lebesgue-Dimension 0

Ein topologischer Raum hat genau dann große induktive Dimension 0, wenn auch seine Lebesgue-Dimension 0 ist. Für höhere Dimensionen stimmen große induktive Dimension und Lebesgue-Dimension nicht mehr überein. Es gibt normale Räume mit $\mathrm {ind} (X)=0$, $\mathrm {dim} (X)=1$ und $\mathrm {Ind} (X)=2$.

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. Das sind die parakompakten Räume mit Lebesgue-Überdeckungsdimension 0. 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 Hausdorffräume mit Dimension 0

Im wichtigen Fall kompakter Hausdorffräume $X$ sind folgende Aussagen äquivalent:

* $\mathrm {dim} (X)=0$.
* $\mathrm {Ind} (X)=0$.
* $\mathrm {ind} (X)=0$.
* $X$ ist total unzusammenhängend.
* $X$ ist ein Stone-Raum.

Im Allgemeinen liegen aber nicht so einfache Verhältnisse vor, denn es gibt total unzusammenhängende, metrisierbare, separable Räume mit $\mathrm {dim} (X)>0$ und es gibt normale Räume mit $\mathrm {ind} (X)=0$, $\mathrm {dim} (X)=1$ und $\mathrm {Ind} (X)=2$.

## Beispiele und Gegenbeispiele

### Hausdorffräume

* Diskrete Mengen sind nulldimensional nach beiden induktiven Definitionen und total separiert.
* Die Cantormenge ist ein kompakter total unzusammenhängender Hausdorffraum 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 Hausdorffraum, der nicht total separiert und damit auch nicht nulldimensional nach einer der induktiven Definitionen ist.
* Für jede Ordinalzahl $\alpha$ bildet der Raum der Ordinalzahlen bis einschließlich $\alpha$ 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 $\omega _{1}$ ist die Menge der Ordinalzahlen echt kleiner als $\omega _{1}$ genau die Menge der abzählbaren Ordinalzahlen. Diese Menge ist mit der Ordnungstopologie total separiert und nulldimensional nach beiden Definitionen, aber nicht parakompakt. Die Überdeckung $\textstyle X=\bigcup _{\alpha <\omega _{1}}\{\beta \mid \beta \leq \alpha \}$ 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 Kofinalität die Menge der echt kleineren Ordinalzahlen lokalkompakt, nulldimensional nach beiden induktiven Definitionen, aber nicht parakompakt.
* Es sei $X$ das Produkt aus der Menge der Ordinalzahlen kleiner oder gleich der kleinsten überabzählbaren Ordinalzahl $\omega _{1}$ mit der Menge der Ordinalzahlen kleiner oder gleich der kleinsten unendlichen Ordinalzahl $\omega _{0}$, wobei der Punkt $(\omega _{1},\omega _{0})$ entfernt wurde. Dann ist $X$ lokalkompakt und hat kleine induktive Dimension 0. Gleichzeitig ist $X$ aber nicht normal und hat damit auch nicht große induktive Dimension 0.
* 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 $T_{1}$, aber kein Hausdorffraum. 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 Hausdorffraum 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 $\{x,y\}$, die die offenen Mengen $\{\emptyset ,\{x\},\{x,y\}\}$ besitzt, hat große induktive Dimension 0, aber nicht kleine induktive Dimension 0.
