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.

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)

Beziehungen

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, denn es gilt:

• Für einen normalen Raum $X$ gilt $\mathrm {dim} (X)=0\Leftrightarrow \mathrm {Ind} (X)=0$, und daraus folgt $\mathrm {ind} (X)=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.

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$.

Jedenfalls sind nulldimensionale Hausdorffräume Räume gleich welcher Art total unzusammenhängend, die Umkehrung gilt nach obigen Bemerkungen nicht, wohl aber für lokalkompakte Räume.

Offen-abgeschlossene Mengen

Direkt aus den Definitionen folgt, dass ein Hausdorffraum genau dann die kleine induktive Dimension 0 hat, wenn er eine Basis aus offen-abgeschlossenen Mengen hat. Daher findet man auch diese Eigenschaft als Definition eines nulldimensionalen Raum, so zum Beispiel in . Im wichtigen Fall kompakter Hausdorffräume fällt auch dieser Begriff mit den oben genannten zusammen.