Kurs:Differentialgeometrie (Osnabrück 2023)/Arbeitsblatt 12
Zeige, dass ein reelles Vektorbündel über einem Punkt (also einem einpunktigen topologischen Raum) das gleiche ist wie ein reeller endlichdimensionaler Vektorraum.
Es sei ein reelles Vektorbündel über einem topologischen Raum . Zeige, dass genau dann ein Hausdorffraum ist, wenn ein Hausdorffraum ist.
Es sei ein topologischer Raum. Zeige, dass man die Identität als ein reelles Vektorbündel vom Rang auffassen kann.
Zeige, dass das Kernbündel aus Beispiel 12.6 trivial ist.
Bestimme zum Vektorbündel
lineare Trivialisierungen oberhalb von , und , also von abhängige Basen oberhalb von u.s.w. Bestimme die Basiswechselabbildungen auf .
Beschreibe das Tangentialbündel zur -dimensionalen Sphäre
als ein Kernbündel im Sinne von Bemerkung 12.5, vergleiche auch Beispiel 12.7.
Es sei ein topologischer Raum. Zeige, dass ein Homomorphismus der (trivialen) Vektorbündel
das gleiche ist wie eine - Matrix, der Einträge stetige Funktionen von nach sind.
Es sei offen und eine stetig differenzierbare Abbildung. Zeige, dass durch das totale Differential in der Form
ein Homomorphismus des Vektorbündels in das Vektorbündel gegeben ist.
Betrachte den topologischen Raum
mit der Projektion
- Zeige, dass jede Faser von homöomorph zu einer reellen Geraden ist.
- Zeige, dass durch
eine stetige Abbildung mit
gegeben ist.
- Definiere einen Homöomorphismus zwischen und .
- Zeige, dass es keine polynomiale Abbildung
mit
gibt.
Nicht nur Vektorbündel, sondern allgemeiner topologische Räume kann man durch Verklebungsdaten beschreiben.
Unter einem Verklebungsdatum für topologische Räume versteht man den folgenden Datensatz.
- Eine Familie , , von topologischen Räumen.
- Für jedes Paar eine offene Teilmenge (mit ).
- Für jedes Paar einen
Homöomorphismus
(mit ).
- Für Indizes
ist die
Kozykelbedingung
als Abbildung von nach erfüllt.
Es sei ein Verklebungsdatum , , für topologische Räume gegeben. Zeige, dass es einen eindeutig bestimmten topologischen Raum , eine offene Überdeckung und Homöomorphismen derart gibt, dass
ist und
gilt.
Es sei ein Verklebungsdatum , , über einem topologischen Raum
gegeben. Zeige, dass es ein eindeutig bestimmtes reelles Vektorbündel und Isomorphismen derart gibt, dass
gilt.
Es sei ein stetiger Schnitt zu einem reellen Vektorbündel über einem topologischen Raum . Zeige, dass das Bild eine abgeschlossene Teilmenge ist, die homöomorph zu ist.
Es sei ein reelles Vektorbündel vom Rang über einem topologischen Raum und sei eine offene Teilmenge. Zeige, dass es auf eine stetige Trivialisierung von genau dann gibt, wenn es eine Familie von stetigen Basisschnitten
gibt.
Ein Vektorbündel vom Rang über einem topologischen Raum sei durch stetige Matrizenabbildungen
zu einer offenen Überdeckung gegeben. Zeige, dass ein stetiger Schnitt
dasselbe ist wie eine Familie von stetigen Abbildungen , die die Bedingungen
für alle erfüllt.
Es sei eine offene Überdeckung eines topologischen Raumes . Es seien
und
Matrixbeschreibungen, die zu den Vektorbündeln bzw. führen. Zeige, dass diese Bündel genau dann isomorph sind, wenn es stetige Abbildungen
derart gibt, dass (für sinnvolle Einschränkungen)
für alle gilt.
Zeige, dass das Komplement des Nullschnittes in einem trivialen Geradenbündel nicht zusammenhängend ist.
Man nehme ein schmales rechteckiges Band, verdrehe es mit einer Volldrehung um die längere Achse und verklebe die beiden kürzeren Ränder. Nun schneide man mit einer Schere das Band längs in der Mitte durch. Ist das entstehende Objekt zusammenhängend? Wie sieht es aus, wenn man Halbdrehungen macht?
Es sei ein reelles Vektorbündel über einem topologischen Raum. Ein reelles Vektorbündel heißt Unterbündel von , wenn ein injektiver Homomorphismus von Vektorbündeln gegeben ist.
Es sei ein topologischer Raum und sei ein Homomorphismus von reellen Vektorbündeln über . Es sei
Zeige, dass die (Familie der) Untervektorräume ein Untervektorbündel von bilden.
Es sei ein topologischer Raum und sei ein Untervektorbündel des reellen Vektorbündels . Zeige, dass die (Familie der) Restklassenräume ein Vektorbündel auf bilden und dass ein surjektiver Bündelhomomorphismus vorliegt.
Wir führen zwei weitere Sprechweisen ein.
Es sei ein Körper und seien Vektorräume über . Man nennt ein Diagramm der Form
eine kurze exakte Sequenz von -Vektorräumen, wenn ein Untervektorraum von ist und wenn isomorph zum Restklassenraum ist.
Es sei ein topologischer Raum, seien
Vektorbündel über und seien und Homomorphismen. Man sagt, dass eine kurze exakte Sequenz
vorliegt, wenn für jeden Punkt für die Fasern eine kurze exakte Sequenz
vorliegt.
Es sei ein topologischer Raum und sei ein Untervektorbündel des reellen Vektorbündels . Zeige, dass eine kurze exakte Sequenz
vorliegt.
Es seien und topologische Räume und eine stetige Abbildung. Es sei ein Vektorbündel über . Zeige, dass (siehe Aufgabe 11.16) ein Vektorbündel über ist.
Es seien und topologische Räume und eine stetige Abbildung. Es sei ein Vektorbündel über . Beschreibe den Rückzug eines Vektorbündels mit der Hilfe von Verklebungsdaten.
Es sei ein topologischer Raum und seien und Vektorbündel über . Zeige, dass (siehe Aufgabe 11.16) ein Vektorbündel über ist, das mit der direkten Summe von Vektorbündeln über übereinstimmt.
Es sei eine differenzierbare Abbildung zwischen den differenzierbaren Mannigfaltigkeiten und . Zeige, dass die zu einem natürlichen Vektorbündelhomomorphismus
von Vektorbündeln auf führt.
- Aufgaben zum Abgeben
Aufgabe (4 Punkte)
Es sei ein topologischer Raum und seien reellwertige stetige Funktionen auf . Es sei und
vergleiche Bemerkung 12.5. Man gebe explizit Trivialisierungen für über an und zeige, dass ein Vektorbündel über vom Rang ist.
Aufgabe (4 Punkte)
Zeige, dass ein reelles Geradenbündel über einem topologischen Raum genau dann trivial ist, wenn es einen stetigen nullstellenfreien Schnitt besitzt.
Aufgabe (3 Punkte)
Zeige, dass ein Verklebungsdatum für ein Geradenbündel zu einer offenen Überdeckung das gleiche ist wie eine Familie von stetigen nullstellenfreien Funktionen , die auf jeweils die Bedingung erfüllen.
Aufgabe (4 Punkte)
Zeige, dass das Möbiusband eine zweidimensionale Mannigfaltigkeit ist.
<< | Kurs:Differentialgeometrie (Osnabrück 2023) | >> PDF-Version dieser Vorlesung Zur Vorlesung (PDF) |
---|