Getrennte Mengen

In der Topologie und verwandten Gebieten der Mathematik sind getrennte Mengen Paare von Teilmengen eines gegebenen topologischen Raumes, die auf eine Art miteinander in Beziehung stehen. Die Tatsache, ob zwei Mengen getrennt sind oder nicht, ist sowohl für den Begriff von zusammenhängenden Mengen als auch für die Trennungsaxiome für topologische Räume von Bedeutung.

Definitionen

Es existieren verschiedene Versionen dieses Konzeptes. Die Begriffe sind nachfolgend definiert. Dabei sei X ein topologischer Raum.

Zwei Teilmengen A und B von X heißen disjunkt, falls deren Durchschnitt leer ist. Diese Eigenschaft hat nichts mit der Topologie zu tun, sondern ist ein Begriff der Mengenlehre. Wir erwähnen diese Eigenschaft hier, da sie die schwächste der hier betrachteten Trennungseigenschaften ist. Siehe dazu auch den Artikel zu disjunkten Mengen.

A und B heißen getrennt in X, falls beide Mengen disjunkt zum Abschluss der anderen Menge sind. Es wird aber nicht gefordert, dass die beiden Abschlüsse disjunkt sein sollen. So sind zum Beispiel die Intervalle [0,1) und (1,2] getrennt in $\mathbb{R}$, obwohl 1 zum Abschluss beider Mengen gehört. Weiter sind getrennte Mengen immer disjunkt.

A und B sind durch Umgebungen getrennt, falls disjunkte Umgebungen U von A und V von B existieren. In gewissen Büchern werden offene Umgebungen U und V gefordert. Diese Definition ist aber zur Vorangehenden äquivalent. Zum Beispiel sind A = [0,1) und B = (1,2] durch Umgebungen getrennt, denn die U = (-1,1) und V = (1,3) sind disjunkte Umgebungen von A bzw. B. Offensichtlich sind Mengen, die durch Umgebungen getrennt sind auch getrennt.

A und B sind durch abgeschlossene Umgebungen getrennt, falls disjunkte abgeschlossene Umgebungen U von A und V von B existieren. Die Mengen [0,1) und (1,2] sind nicht durch abgeschlossene Umgebungen getrennt. Durch Hinzufügen von 1 erhalten wir zwar für beide Mengen abgeschlossene Obermengen. Da aber 1 im Abschluss beider Mengen liegt, existieren keine disjunkten abgeschlossene Umgebungen. Weiter sind durch abgeschlossene Umgebungen getrennte Mengen auch durch Umgebungen getrennt.

A und B heißen durch Funktionen getrennt, falls eine stetige Funktion f von X in die reellen Zahlen $\mathbb{R}$ existiert, so dass f(A) = {0} und f(B) = {1}. In der Literatur wird manchmal zusätzlich gefordert, dass f die Werte im Intervall [0,1] annimmt. Diese Definition ist aber zu obiger äquivalent. Die beiden Mengen [0,1) und (1,2] sind nicht durch Funktionen getrennt, denn es ist nicht möglich die Funktion am Punkt 1 stetig zu wählen. Mengen, die durch Funktionen getrennt sind, sind auch durch abgeschlossene Umgebungen getrennt; als abgeschlossene Umgebungen können die Urbilder U := f ⁻¹([-ε,ε]) and V := f ⁻¹([1-ε,1+ε]) für ein 0 < ε < ½. Welche Räume dies erfüllen, wird im Lemma von Urysohn deutlich.

A und B sind scharf durch eine Funktion getrennt, falls eine stetige Funktion f von X in die reellen Zahlen $\mathbb{R}$ existiert, so dass f ⁻¹(0) = A und f ⁻¹(1) = B. Auch hier kann zusätzlich gefordert werden, dass f sein Bild in [0,1] hat. Scharf durch Funktionen getrennte Mengen sind auch durch Funktionen getrennt. Da {0} und {1} abgeschlossene Teilmengen von $\mathbb{R}$ sind, können nur abgeschlossene Mengen scharf durch Funktionen getrennt sein. Doch aus der Tatsache, dass abgeschlossene Mengen durch Funktionen getrennt sind, kann nicht gefolgert werden, dass sie scharf durch Funktionen getrennt sind.

Beziehung zu den Trennungsaxiomen und separierten Räumen

Die Trennungsaxiome sind Bedingungen, die an topologische Räume gestellt werden und mit Hilfe der verschiedenen Typen von getrennten Mengen ausgedrückt werden können. So sind die separierten topologischen Räume genau diejenigen, welche das Trennunsaxiom T₂ erfüllen. Genauer ist ein topologischer Raum genau dann separiert, wenn für zwei verschiedene Punkte x und y die einelementigen Mengen {x} und {y} durch Umgebungen getrennt sind. Solche Räume heißen auch Hausdorff-Räume oder T₂ -Räume.

Beziehung zu zusammenhängenden Räumen

Manchmal ist es nützlich, für eine Teilmenge A eines topologischen Raumes zu wissen, ob sie vom eigenen Komplement getrennt ist. Dies ist sicher richtig, falls A die leere Menge oder der ganze Raum X ist. Aber dies sind nicht die einzigen Beispiele. Ein topologischer Raum heißt zusammenhängend, falls die leere Menge und der ganze Raum X die einzigen Mengen sind, welche diese Eigenschaft erfüllen. Falls eine nichtleere Teilmenge A von ihrem Komplement getrennt ist und falls die einzige echte Teilmenge von A, welche diese Eigenschaft hat, die leere Menge ist, dann ist A eine offen-zusammenhängende Komponente von X.

Beziehung zu topologisch unterscheidbaren Punkten

In einem topologischen Raum X heißen zwei Punkte x und y topologisch unterscheidbar, falls eine offene Menge existiert, so dass genau einer der beiden Punkte zu ihr gehört. Für topologisch unterscheidbare Punkte sind die einelementigen Mengen {x} und {y} disjunkt. Sind andererseit die Mengen {x} und {y} getrennt, so sind die Punkte x und y topologisch unterscheidbar.