2 Zusammenhang und Trennung Flashcards
(D) zusammenhängend, lokal zusammenhängend
- Ein topologischer Raum (X, O) heißt zusammenhängend, wenn er keine disjunkte Zerlegung in zwei nichtleere offene Teilmengen besitzt:
X = O1 ∪ O2 mit O1,O2∈O, O1 ∩ O2= ∅ ⇒ O1 = ∅ oder O2 = ∅. - Ein topologischer Raum (X, O) heißt lokal zusammenhängend, wenn jede Umgebung eines Punktes x ∈ X eine zusammenhängende Umgebung von x enthält.
(B) Zusammenhang - äquivalente Aussagen
Ein topologischer Raum (X, O) ist genau dann zusammenhängend, wenn eine der folgenden äquivalenten Bedingungen erfüllt ist:
- X besitzt keine disjunkte Zerlegung in zwei nichtleere abgeschlossene Teilmengen.
- X und ∅ sind die einzigen Teilmengen von X, die offen und abgeschlossen sind.
(Bsp) (nicht) zusammenhängende Räume (3)
- Ist X eine Menge mit mindestens zwei Elementen, so ist X mit der diskreten Topologie nicht zusammenhängend, denn fu ̈r jeden Punkt x ∈ X sind O1 = {x} und O2 = X \ {x} disjunkte, nichtleere offene Mengen mit O1 ∪ O2 = X.
- Eine Menge X mit der indiskreten Topologie, der leere topologische Raum und der Einpunktraum aus Beispiel 1.1.4 sind zusammenhängend. Denn in diesen topologischen Räumen gibt es höchstens eine nichtleere offene Menge.
- Q ⊆ R mit der Teilraumtopologie ist nicht zusammenhängend, denn für x ∈ R \ Q sind O1 = (−∞,x)∩Q und O2 = (x,∞)∩Q disjunkte, in Q offene Mengen mit O1 ∪O2 = Q.
(Bsp) zusammenhängende Teilmengen von R
Eine Teilmenge M ⊆ R mit der Standardtopologie ist genau dann zusammenhängend, wenn sie ein Intervall ist, also wenn aus x1, x2 ∈ M mit x1 < x2 folgt [x1, x2] ⊆ M.
(S) Verhalten von Zusammenhang unter bestimmten Operationen
- (konstante Abbildung) Ein topologischer Raum (X,OX) ist genau dann zusammenhängend, wenn jede stetige Abbildung f : (X, OX ) → ({1, 2}, P ({1, 2})) konstant ist.
- (Bild) Ist (X, OX ) zusammenhängend und f : (X, OX ) → (Y, OY ) stetig, so ist auch das Bild f(X) ⊆ Y zusammenhängend.
- Ist (Mi)i∈I eine Familie zusammenhängender Teilräume eines topologischen Raums (X,OX) mit Mi∩Mj ≠ ø für alle i,j∈I, so ist auch Ui∈Mi ⊆ X zusammenhängend.
(Bsp) Beispiele zusammenhängender topologischer Räume
- (Kreis) Der Kreis S1 = {z ∈ C | |z| = 1} ist zusammenha ̈ngend als Bild des Intervalls [0, 1] unter der stetigen Abbildung exp : [0, 1] → S1, x → e2πix.
- (Homöomorphie) Sind (X,OX) und (Y,OY) homo ̈omorphe topologische Ra ̈ume, so ist nach Satz 2.1.5, 2. (X, OX ) zusammenha ̈ngend genau dann, wenn (Y, OY ) zusammenha ̈ngend ist.
- (Gerade mit rationaler Steigung) Die Vereinigung aller Geraden durch den Ursprung im R2 mit rationaler Steigung M ={(x1,x2)∈R2|∃q∈Q: x2 =qx1}⊆R2
ist zusammenha ̈ngend. Denn es gilt M = ∪q∈QMq mit Mq = {(x1,x2) ∈ R|x2 = qx1}. Alle Geraden Mq sind zusammenha ̈ngend, da sie homo ̈omorph zu R sind, und es gilt (0,0)∈Mq fu ̈ralleq∈Q.
(D) Weg, wegzusammenhängend, lokal wegzusammenhängend
Sei (X, O) ein topologischer Raum.
1. Ein Weg in X von x∈X nach x′∈X ist eine stetige Abbildung γ : [0,1] → X mit
γ(0) = x und γ(1) = x′.
- (X, O) heißt wegzusammenhängend, wenn es zu zwei Punkten x, x′ ∈ X immer einen
Weg γ : [0,1] → X mit γ(0) = x und γ(1) = x′ gibt. - (X, O) heißt lokal wegzusammenhängend, wenn jede Umgebung U ⊆ X eines Punktes
x ∈ X eine wegzusammenhängende Umgebung V ⊆ X von x enthält.
(S) Verbindung zwischen (lokal) zusammenhängend und (lokal) wegzusammenhängend (3)
- Wegzusammenhängende topologische Räume sind zusammenhängend.
- Lokal wegzusammenhängende topologische Räume sind lokal zusammenhängend.
- Stetige Bilder wegzusammenhängender Räume sind wegzusammenhängend.
(Bsp) Besenraum, Eigenschaften
Der Besenraum ist die Teilmenge
B=([0,1] × {0}) U (Un∈N Bn) mit Bn = {(t,t/n) | t ∈ [0,1]} ⊆ R2
mit der Teilraumtopologie.
Er ist zusammenhängend und wegzusammenhängend, aber nicht lokal wegzusammenhängend oder lokal zusammenhängend.
sternförmig bezüglich dem Nullpunkt
sternfömig => wegzusammenhängend => zusammenhängend
global wegzusammenh./ zusammenh ≠> lokale Varianten
(Bsp) Sinusraum, Eigenschaften
Der Sinusraum ist die Teilmenge
S = {(x, sin(1/x)) | 0 ≠ x ∈ R} ∪ {(0, 0)} ⊆ R2
mit der Teilraumtopologie.
Er ist zusammenhängend, aber weder lokal zusammenhängend noch wegzusammenhängend noch lokal wegzusammenhängend.
(S) Zusammenhangskomponente, Wegkomponente
Für jeden topologischen Raum (X,OX) erhält man Äquivalenzrelationen auf X
x ∼C y ⇔ es gibt einen zusammenhängenden Teilraum M ⊆ X mit x, y ∈ M
x ∼W y ⇔ es gibt einen Weg γ : [0,1] → X mit γ(0) = x und γ(1) = y.
Die Äquivalenzklasse C(x) von x ∈ X bezüglich ∼C heißt Zusammenhangskomponente von x, die Äquivalenzklasse W(x) von x bezüglich ∼W Wegkomponente von x.
Mit diesem Äquivalenzklassen haben wir unsere intuitive Vorstellung von Komponenten nun mathematisch gefasst.
(F) topologischer Raum als Vereinigung von Zusammenhangskomponenten/Wegkomponenten
Jeder topologische Raum ist die disjunkte Vereinigung seiner Zusammenhangskomponenten und die disjunkte Vereinigung seiner Wegkomponenten. Da wegzusammenhängende Teilräume M ⊆ X auch immer zusammenhängend sind, gilt ausserdem W(x) ⊆ C(x) für alle x ∈ X.
(Bsp) Zusammenhangskomponente, Wegkomponente (2)
- Die Wegkomponenten und Zusammenhangskomponenten des Teilraums Q ⊆ R sind genau die Mengen {q} mit q ∈ Q. Sie sind abgeschlossen, aber nicht offen.
- Der Sinusraum S besitzt nur eine Zusammenhangskomponente, nämlich S selbst. Seine Wegkomponenten sind genau die Mengen S+, S− und {(0,0)}. Die Wegkomponente {(0, 0)} ist abgeschlossen, die Wegkomponenten S± sind offen.
(S) Zusammenhangskomponente/Wegkomponente als Vereinigung (4)
Für jeden topologischen Raum (X, OX) und jeden Punkt x ∈ X gilt:
- Die Zusammenhangskomponente C(x) ist die Vereinigung aller zusammenhängenden Mengen M ⊆ X mit x ∈ M. Sie ist abgeschlossen und zusammenhängend.
- Ist (X, OX) lokal zusammenhängend, so ist C(x) auch offen. (Da Umgebung all ihrer Punkte)
- Die Wegkomponente W(x) ist die Vereinigung aller wegzusammenhängenden Mengen M ⊆ X mit x ∈ M. Sie ist wegzusammenhängend.
- Ist (X,OX) lokal wegzusammenhängend, so gilt W(x) = C(x) für alle x ∈ X, und die Wegkomponente W(x) = C(x) ist offen und abgeschlossen.
(K) Wann ist ein lokal wegzusammenhängender topologischer Raum auch wegzusammenhängend?
Ein lokal wegzusammenhängender topologischer Raum ist wegzusammenhängend genau dann, wenn er zusammenhängend ist.