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 .
- 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.
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.
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.
Jeder separable metrische Raum mit kleiner induktiver Dimension 0 hat auch große induktive Dimension 0.
Vergleich mit Lebesgue-Dimension 0 Bearbeiten
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 , und .
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 Hausdorff-Räume mit Dimension 0 Bearbeiten
Im wichtigen Fall kompakter Hausdorff-Räume sind folgende Aussagen äquivalent:
- .
- .
- .
- 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 und es gibt normale Räume mit , und .
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. 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.
- 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
- Lynn Arthur Steen, J. Arthur Seebach: Counterexamples in Topology. Dover Pubn Inc., New York 1995, ISBN 0-486-68735-X.
- 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.
- ↑ Joseph Van Name: Ultraparacompactness and Ultranormality. In: arXiv:1306.6086 [math]. 25. Juni 2013, arxiv:1306.6086v1 [abs].
- ↑ 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.
- Witold Hurewicz: Dimension theory (PMS-4). Princeton 2015, ISBN 978-0-691-62774-8, S. 15, Abschnitt II 2 E).
- 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.
- ↑ Keiô Nagami: Dimension Theory. Academic Press, New York NY u. a. 1970, ISBN 0-12-513650-1 (Pure and Applied Mathematics 37), Kapitel 19.
- Joseph Van Name: Ultraparacompactness and Ultranormality. In: arXiv:1306.6086 [math]. 25. Juni 2013, Theorem 10, arxiv:1306.6086v1 [abs].
- 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.
- Joseph Van Name: Ultraparacompactness and Ultranormality. In: arXiv:1306.6086 [math]. 25. Juni 2013, Proposition 3, arxiv:1306.6086v1 [abs].
- Joseph Van Name: Ultraparacompactness and Ultranormality. In: arXiv:1306.6086 [math]. 25. Juni 2013, S. 3, arxiv:1306.6086v1 [abs].