Nulldimensionaler Raum

topologischer Raum der Dimension Null

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. 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 Mannigfaltigkeiten übereinstimmen.

Definition

Bearbeiten

Ein topologischer Raum   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:

  •   (Lebesgue'sche Überdeckungsdimension)
  •   (große induktive Dimension)
  •   (kleine induktive Dimension)

Total separierte Räume

Bearbeiten

Total separierte Räume sind konzeptionell stark mit den verschiedenen Definitionen nulldimensionaler Räume verwandt.

Definition

Bearbeiten

Ein topologischer Raum heißt total separiert, falls es zu je zwei verschiedenen Punkten   eine offene abgeschlossene Menge gibt, die  , aber nicht   enthält.

Charakterisierungen und Eigenschaften

Bearbeiten

Jeder total separierte Raum ist automatisch ein Hausdorff-Raum 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 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

Bearbeiten

Definition

Bearbeiten

Ein topologischer Raum   hat kleine induktive Dimension 0,  , falls es zu jedem Punkt   und jeder offenen Umgebung   von   eine offene Umgebung   von   gibt, sodass   auch abgeschlossen ist und eine Teilmenge von   ist.

Charakterisierungen und Eigenschaften

Bearbeiten

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 [1].
  • Für jeden Punkt   und jede abgeschlossene Teilmenge  , die   nicht enthält, gibt es eine offene abgeschlossene Menge  , sodass   eine Teilmenge von   ist, aber   nicht in   liegt.

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

Hausdorff-Räume mit kleiner induktiver Dimension 0

Bearbeiten

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  , also für je zwei verschiedene Punkte   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 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.[2]

Räume mit großer induktiver Dimension 0

Bearbeiten

Definition

Bearbeiten

Ein topologischer Raum   hat große induktive Dimension 0,  , falls es zu jeder abgeschlossenen Menge   und jeder offenen Menge  , die   als Teilmenge enthält, eine offene abgeschlossene Menge   gibt mit  . Solche Räume heißen auch Ultranormal.[3]

Charakterisierungen und Eigenschaften

Bearbeiten

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

  • Er hat große induktive Dimension 0,  .
  • Für je zwei disjunkte, abgeschlossene Mengen   und   gibt es eine offene abgeschlossene Menge  , sodass   eine Teilmenge von   ist und   zu   disjunkt ist.
  • Der Raum hat Lebesgue-Überdeckungsdimension 0,  . Das heißt, jede endliche offene Überdeckung von   besitzt eine Verfeinerung, die   mit disjunkten offenen Mengen überdeckt.
  • Jede lokal endliche offene Überdeckung von   besitzt eine Verfeinerung, die   mit disjunkten offenen abgeschlossenen Mengen überdeckt.

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

Hausdorff-Räume mit großer induktiver Dimension 0

Bearbeiten

Jeder   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.[4]

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

Vergleich mit Lebesgue-Dimension 0

Bearbeiten

Ein topologischer Raum hat genau dann große induktive Dimension 0, wenn auch seine Lebesgue-Dimension 0 ist.[6] Für höhere Dimensionen stimmen große induktive Dimension und Lebesgue-Dimension nicht mehr überein. Es gibt normale Räume mit  ,   und  .[7]

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.[3] Das sind die parakompakten Räume mit Lebesgue-Überdeckungsdimension 0.[8] 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

Bearbeiten

Im wichtigen Fall kompakter Hausdorff-Räume   sind folgende Aussagen äquivalent:[4]

  •  .
  •  .
  •  .
  •   ist total unzusammenhängend.
  •   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  [9] und es gibt normale Räume mit  ,   und  [7].

Beispiele und Gegenbeispiele

Bearbeiten

Hausdorff-Räume

Bearbeiten
  • 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   bildet der Raum der Ordinalzahlen bis einschließlich   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   ist die Menge der Ordinalzahlen echt kleiner als   genau die Menge der abzählbaren Ordinalzahlen. Diese Menge ist mit der Ordnungstopologie total separiert und nulldimensional nach beiden Definitionen, aber nicht parakompakt.[10] Die Überdeckung   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   das Produkt aus der Menge der Ordinalzahlen kleiner oder gleich der kleinsten überabzählbaren Ordinalzahl   mit der Menge der Ordinalzahlen kleiner oder gleich der kleinsten unendlichen Ordinalzahl  , wobei der Punkt   entfernt wurde. Dann ist   lokalkompakt und hat kleine induktive Dimension 0. Gleichzeitig ist   aber nicht normal und hat damit auch nicht große induktive Dimension 0.[11]
  • 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

Bearbeiten
  • 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  , 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  , die die offenen Mengen   besitzt, hat große induktive Dimension 0, aber nicht kleine induktive Dimension 0.

Einzelnachweise

Bearbeiten
  1. Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Dover Pubn Inc., New York 1995, ISBN 0-486-68735-X.
  2. 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.
  3. a b Joseph Van Name: Ultraparacompactness and Ultranormality. In: arXiv:1306.6086 [math]. 25. Juni 2013, arxiv:1306.6086v1 [abs].
  4. a b 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.
  5. Witold Hurewicz: Dimension theory (PMS-4). Princeton 2015, ISBN 978-0-691-62774-8, S. 15, Abschnitt II 2 E).
  6. 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.
  7. a b Keiô Nagami: Dimension Theory. Academic Press, New York NY u. a. 1970, ISBN 0-12-513650-1 (Pure and Applied Mathematics 37), Kapitel 19.
  8. Joseph Van Name: Ultraparacompactness and Ultranormality. In: arXiv:1306.6086 [math]. 25. Juni 2013, Theorem 10, arxiv:1306.6086v1 [abs].
  9. 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.
  10. Joseph Van Name: Ultraparacompactness and Ultranormality. In: arXiv:1306.6086 [math]. 25. Juni 2013, Proposition 3, arxiv:1306.6086v1 [abs].
  11. Joseph Van Name: Ultraparacompactness and Ultranormality. In: arXiv:1306.6086 [math]. 25. Juni 2013, S. 3, arxiv:1306.6086v1 [abs].