27.10.2013 Aufrufe

Eine der anschaulichsten Eigenschaften eines topologischen ...

Eine der anschaulichsten Eigenschaften eines topologischen ...

Eine der anschaulichsten Eigenschaften eines topologischen ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

3. Zusammenhang 23<br />

Das zweite Lemma, das wir noch benötigen, ist zwar auch einfach, aber schon weit weniger anschaulich<br />

— und in <strong>der</strong> Tat auch einer <strong>der</strong> Punkte, in denen sich Wegzusammenhang und Zusammenhang<br />

unterschiedlich verhalten.<br />

Lemma 3.7. Es sei A eine Teilmenge <strong>eines</strong> <strong>topologischen</strong> Raumes X. Weiterhin sei B ⊂ X eine<br />

Teilmenge mit A⊂B⊂A, d. h. B entstehe aus A durch Hinzunehmen einiger Randpunkte.<br />

Ist dann A zusammenhängend, so auch B.<br />

(Die entsprechende Aussage für ” wegzusammenhängend“ ist falsch, wie wir in Beispiel 3.8 (b) sehen<br />

werden.)<br />

Beweis. Wäre B unzusammenhängend, so gäbe es eine disjunkte Zerlegung B = U ∪ V in nichtleere<br />

und in B offene Teilmengen U und V. Die Mengen U und V enthalten wegen B⊂A also einen<br />

Berührpunkt von A und müssen nach Definition 1.18 (b) damit auch einen Punkt von A enthalten,<br />

d. h. A∩U und A∩V sind nicht leer. Schneiden wir die Zerlegung B = U ∪V also mit A, erhalten<br />

wir die disjunkte Zerlegung A=(A∩U)∪(A∩V) in zwei nicht-leere Teilmengen, die in <strong>der</strong> Teilraumtopologie<br />

von A offen sind. Dies ist ein Wi<strong>der</strong>spruch dazu, dass wir A als zusammenhängend<br />

vorausgesetzt haben. <br />

Beispiel 3.8 (Ein zusammenhängen<strong>der</strong>, aber nicht wegzusammenhängen<strong>der</strong> Raum). Der folgende<br />

Raum ist wohl <strong>eines</strong> <strong>der</strong> einfachsten Beispiele dafür, dass die Begriffe des Wegzusammenhangs und<br />

des Zusammenhangs i. A. verschieden sind: es sei<br />

<br />

X ={(0,0)}∪ x,sin 1<br />

<br />

: x∈R>0 ⊂R<br />

x<br />

2 .<br />

Dann gilt:<br />

X<br />

(a) X ist zusammenhängend: nach Beispiel 3.3 (d) ist R>0 zusammenhängend,<br />

nach Lemma 3.6 (b) also auch das Bild<br />

von R>0 unter <strong>der</strong> stetigen Abbildung x↦→ (x,sin 1<br />

x ), d. h.<br />

<strong>der</strong> Raum X\{(0,0)}. Das Hinzufügen des Randpunktes<br />

(0,0) än<strong>der</strong>t nach Lemma 3.7 nun ebenfalls nichts mehr<br />

am Zusammenhang dieser Menge.<br />

(b) X ist nicht wegzusammenhängend: es sei γ :[a,b]→X ein beliebiger Weg mit γ(a)=(0,0).<br />

Wir betrachten den Punkt s := sup{t ∈[a,b] : γ(t)=(0,0)}. Wegen <strong>der</strong> Stetigkeit von γ ist<br />

γ(s)=(0,0); es ist also s <strong>der</strong> letzte Punkt, an dem <strong>der</strong> Weg noch auf dem Nullpunkt ist.<br />

Angenommen, es wäre s < b. Wir behaupten, dass γ dann im Punkt s unstetig wäre. Dazu<br />

sei δ > 0 beliebig, allerdings klein genug, so dass s+δ ≤ b ist. Es gilt also γ(s+δ)=(0,0),<br />

und damit muss die erste Koordinate γ1(s+δ) von γ(s+δ) größer als Null sein. Wählen<br />

1<br />

wir nun ein n ∈ N, so dass x := 2nπ+π/2 kleiner als γ1(s+δ) ist, so finden wir nach dem<br />

Zwischenwertsatz [G3, Satz 7.20] ein t ∈[s,s+δ) mit γ1(t)=x und damit γ2(t)=sin 1 x = 1.<br />

Wegen γ2(s)=0 bedeutet dies||γ(t)−γ(s)||≥1. Also wäre γ dann in s unstetig.<br />

Damit muss s=b gelten, d. h. <strong>der</strong> Endpunkt von γ ist genau wie <strong>der</strong> Anfangspunkt gleich<br />

dem Nullpunkt. Man kann den Nullpunkt also mit keinem an<strong>der</strong>en Punkt von X durch<br />

einen Weg verbinden. Die Wegzusammenhangskomponenten von X sind daher{(0,0)} und<br />

X\{(0,0)}, insbeson<strong>der</strong>e ist X nicht wegzusammenhängend.<br />

Beachte, dass dieses Argument auch zeigt, dass die Aussage von Lemma 3.7 nicht auch<br />

analog für wegzusammenhängende Mengen gelten kann — an<strong>der</strong>nfalls könnte man nämlich<br />

das Argument von (a) wörtlich genauso auch für ” wegzusammenhängend“ aufschreiben und<br />

würde im Wi<strong>der</strong>spruch zu unserem gerade gezeigten Resultat erhalten, dass X auch wegzusammenhängend<br />

ist.<br />

Beispiel 3.9. Mit Hilfe des (Weg-)Zusammenhangs können wir nun in einigen Fällen bereits zeigen,<br />

dass zwei topologische Räume nicht homöomorph sind. Offensichtlich ist natürlich, dass ein<br />

03

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!