Total separierter Raum

Total separierte Räume werden im mathematischen Teilgebiet der Topologie untersucht. In einem unzusammenhängenden topologischen Raum gibt es mindestens eine nicht-leere und vom Gesamtraum verschiedene offen-abgeschlossene Menge, in total separierten Räumen gibt es sehr viele davon.

U ist offen-abgeschlossen, enthält x aber nicht y.

Definition

Ein topologischer Raum $X$ heißt total separiert, falls es zu je zwei verschiedenen Punkten $x\not =y$ aus $X$ eine offen-abgeschlossene Menge $U\subset X$ gibt mit $x\in U$ und $y\notin U$.

Beachte, dass die Definition symmetrisch bzgl. $x$ und $y$ ist, denn mit $U$ ist ja auch $X\setminus U$ offen-abgeschlossen.

Beispiele

• Diskrete Räume sind total separiert. Allgemein hat man für Hausdorffräume folgende Beziehungen, die weitere Beispiele liefern:

Diskret  $\Rightarrow$  extremal unzusammenhängend  $\Rightarrow$  total separiert  $\Rightarrow$  total unzusammenhängend.

• Der punktierte Knaster-Kuratowski-Fan ist total unzusammenhängend aber nicht total separiert.
• Nulldimensionale T₀-Räume sind total separiert. Nulldimensionale Räume passen nicht in obige Reihe, da es extremal unzusammenhängende Hausdorffräume gibt, die nicht nulldimensional sind. Dies zeigt gleichzeitig, dass aus der totalen Separiertheit auch im Falle von Hausdorffräumen nicht deren Nulldimensionalität folgt, wie auch das folgende Beispiel zeigt:
• Auf der Menge $\mathbb {R} {\setminus }\mathbb {Q}$ der irrationalen Zahlen sei eine Menge $U\subseteq \mathbb {R} {\setminus }\mathbb {Q}$ offen genau dann, wenn es für alle $x\in U$ ein $\delta >0$ gibt, so dass aus $y\in {\sqrt {2}}\cdot \mathbb {Q}$ und $|x-y|<\delta$ folgt, dass $y\in U$ gilt. Das definiert eine Topologie auf $\mathbb {R} {\setminus }\mathbb {Q}$, die total separiert aber nicht nulldimensional ist.

Eigenschaften

• Unterräume total separierter Räume sind wieder total separiert.
• Produkte total separierter Räume sind wieder total separiert.
• Jeder total separierte Raum ist hausdorffsch, denn die definierende Eigenschaft liefert für je zwei Punkte trennende offene Umgebungen.
• Ein lokalkompakter Hausdorffraum ist genau dann total separiert, wenn er total unzusammenhängend ist.