Inhaltsverzeichnis

Topologie 10 ECTS Prüfung 2019-08-01

Meta Information

Prüfung

Teil I: Grundlegende Konzepte der Topologie

Geprüft von Prof. Dr. Karl-Hermann Neeb.

> * Koprodukte: Das ist die Topologie auf dem Koprodukt in Set beider Grundmengen mit der derjenigen Topologie, sodass eine Menge darin offen ist gdw. der Schnitt mit den einzelnen Mengen („Kofaktormengen“ ←- meine Erfindung) offen war in den jeweiligen Kofaktortopologien.


* Quotiententopologien: Habe skizziert, wie man Torus, Möbiusband und Klein'sche Flasche aus [0,1] x [0,1] mittels Quotientierung konstruiert.
Ist das nicht einfach das Attachen einer n-Zelle an einen Ein-Punkt-Raum?
S^(n-1) ---> {*}
|           |
v         . v
D^n    --->  S^n


e.g. wenn man Rand von D² kollabiert, so kommt S² (3d-Kugel) raus.

Wir haben gesehen, dass man lokalkompakte Hausdorffräume zu kompakten Hausdorffräumen kompaktifizieren kann. Konkret fügen wir einen arbiträres neues Element hinzu (Anm.: das ist Koprodukt mit ein-elementiger Menge in Set).
Als Topologie nehmen wir die ursprüngliche + diejenigen Mengen von dem einen Punkt aus, sodass deren Komplement kompakt ist.
Mir gefällt die Riemannsche Zahlensphäre. *Male die als 3D-Kugel hin mit Punkt auf Nordpol und Kreis auf Oberfläche darum* Die gemalte Menge ist offen gdw. Komplement kompakt ist.

> Was für Komplemente genau?

> Ah ja, das war dieser Satz in der VL, dass dann X und Y homöomorph sind. (Anm.: Wohlgemerkt unter bestimmten Einschränkungen! Glaube Kompaktheit von X und Y)

In diesem Sinne sind Ein-Punkt-Kompaktifizierungen eindeutig.

Teil II: Algebraische Topologie

Geprüft von Prof. Dr. Catherine Meusbuger.

*bisschen viel erzählt:* Wir wollten Endowege [0,1] → S¹ kategorisieren (Anm.: Endowege sind mein Begriff für Wege, wo Start- = Endpunkt). Dazu haben wir sie mit Morphismen S¹ → S¹ (Anm.: in Top) identifiziert. Um die leichter handhab zu machen, haben wir mit Hilfe
von Überlagerungstheorie sie geliftet auf Hochhebungen R → R, sodass *skizziertes Quadrat* kommutiert.
Das Nette daran ist, dass die Hochhebungen in der Winkeldomäne sind und wir daher den Abbildungsgrad einfach als deg(f) := \tilde{f}(1) - \tilde{f}(0) definieren können.
Nein, aber eindeutig bis auf additive Konstante ⇒ Abbildungsgrad wohldefiniert
Def. g: S¹ → S¹, g(z) := z^(10) (Als Exponentiation in C zu verstehen)
Dann ist Hochhebung \tilde{g}: R → R, \tilde{g}(t) := 10 * t

Wir sehen dass Exponentiation in ursprünglicher S^1-Domain zu Multiplikation in Winkeldomäne wird.
Wir haben also deg(.) definiert auf S¹ → S¹, also auch auf Endowegen [0,1] → S¹. Man kann nun die Gruppe mit Wegen unter der Homotopierelation nehmen, wo Multiplikation Konkatenation ist.
Und die Gruppe Z mit Addition. Jetzt ist deg(.) darauf ein Gruppenisomorphismus.
Ja, sonst wäre das neutrale Element nicht eindeutig. (Anm.: e.g. sei e der triviale Weg, der auf dem Punkt sitzen bleibt. Dann wäre e \ast e != e)
Wenn Morphismen f: X → Y, g: Y → X in Top existieren, sodass f \circ g und g \circ f jeweils homotop zu den jeweiligen Identitätsfunktionen sind.
Das bedeutet, dass Homotopien existieren, bspw. für f \circ g, dass \exists h: [0,1] x Y → Y, die stetig ist, sodass h(0, -) = f \circ g, h(1, -) = id_Y
Z. B. indem man zeigt, dass sie unterschiedliche Fundamentalgruppen haben.
Also im Inneren haben wir ein 3-Bouqet, also freie Gruppe F_3 mit 3 Erzeugern. Wahrscheinlich im Ganzen also F_3 unter einem Normalteiler.
Ich würde mit Seifert-van-Kampen U_1, U_2 offen so wählen, dass U_1 ein offener Kreis im Inneren und U_2 alles bis auf das Zentrum von U_1.

Dann wäre Fundamentalgruppe von U_1 trivial, die von U_1 \cap U_2 wäre Z. U_1, U_1 \cap U_2, U_2 sind alle wegzshg., da U_1 trivial homöomorph zu interior(D²), U_2 war ohne Relation wegzshg., dann auch unter der Relation (stetige Abb. erhalten Wegzshg.)
U_1 \cap U_2 ist dann auch wegzshg.

*malt Pushout Diagramm*
Wir erhalten also F_3/N, wobei N halt der Normalteiler ist aus dem Diagramm.
Hmhmhm, ich kann mir das schwer visualisieren mit dieser Relation. Ist das nicht *nimmt A4 Papier und faltet*?
Ah, dann komm ich links raus. D.h. ich könnte die Schleife um die 3 Punkte oben rausziehen und hab sie dann links. Dann ist es zusammenziehbar!
Puh, weiter als F_3/N komme ich nicht.