Kurs:Topologie (Osnabrück 2008-2009)/Vorlesung 13
- Überlagerungen
Eine Überlagerung von ist eine stetige Abbildung mit der Eigenschaft, dass folgende Sachen existieren:
- Eine offene Überdeckung von .
- Eine Familie diskreter topologischer Räume .
- Eine Familie topologischer Äquivalenzen mit der Eigenschaft, dass .
Eine Überdeckung dieser Art heißt Elementar-Überdeckung von .
Nun folgt eine Liste von Überlagerungen.
- Die Exponentialabbildung ist eine Überlagerung. Als Elementar-Überdeckung funktioniert . Es sei (versehen mit der diskreten Topologie) und definiere
- Die kanonische Abbildung ist eine Überlagerung. Als Elementar-Überdeckung kann man die Standard-Überdeckung verwenden.
- Die Abbildung ist eine Überlagerung .
- Jede topologische Äquivalenz ist eine Überlagerung.
- Die Abbildung des leeren topologischen Raumes in irgendeinen topologischen Raum ist eine Überlagerung.
- Die Einschränkung der Exponentialabbildung auf ist keine Überlagerung von .
- Die Hopf-Abbildung ist keine Überlagerung.
Wie üblich kann man aus alten Überlagerungen neue Überlagerungen basteln. Hier ist nur eine mögliche Methode.
Es seien Überlagerungen. Dann ist auch die Abbildung
eine Überlagerung. Ist so ist auch die Abbildung
eine Überlagerung.
Es sei eine Elementar-Überdeckung für , mit topologischen Äquivalenzen
eine Elementar-Überdeckung für , mit topologischen Äquivalenzen
sind nach wie vor topologische Äquivalenzen. Also ist eine Überlagerung.
Es sei nun . Die offene Überdeckung
Die Einschränkungen von und auf definieren eine topologische Äquivalenz
wobei die durch symbolisierte topologische Äquivalenz leicht einzusehen ist. Es folgt, dass eine Überlagerung ist.
Um zu zeigen, dass eine stetige Abbildung eine Überlagerung ist, muss man eine Elementar-Überdeckung finden. Dabei ist die Identifikation der diskreten topologischen Räume recht einfach. Denn eine gegebene topologische Äquivalenz
Das Urbild eines Punktes nennt man oft Faser von bei .
Es sei zunächst eine beliebige Überlagerung und , , eine Überdeckung von , über der die Überlagerung trivialisiert. Für ist
Es sei nun zusammenhängend, fixiert und
Dann ist offen, denn es enthält zu jedem seiner Punkte noch eine offene Umgebung, über der trivialisiert. Aus dem gleichen Grund ist aber auch offen. Da zusammenhängend ist, gilt .
Also hängt die Faser einer Überlagerung eines zusammenhängenden Raumes nicht von der Wahl des Punktes ab.
Eine Überlagerung
ist eine offene Abbildung.
Es sei offen. Um zu zeigen, dass offen ist, sei . Gesucht ist eine offene Menge mit . Es sei hierzu eine offene Menge aus einer Elementar-Überdeckung von , sowie eine topologische Äquivalenz. Dann ist offen in . Weil
eine topologische Äquivalenz ist, ist auch offen in . Nun ist offen, also ist auch offen in . Aus folgt die Behauptung.
<< | Kurs: Topologie (Osnabrück 2008-2009) | >>
|
---|