Sie sind auf Seite 1von 98

Oliver Labs

Frank-Olaf Schreyer
Algebraische Topologie
Eine kurze Einfhrung.
Skript zu einer zweistndigen Vorlesung,
gehalten in Saarbrcken von Oliver Labs
im Sommersemester 2007.
Version vom 26. September 2007
Ausgearbeitet und mit L
A
T
E
X gesetzt sowie
Bilder erzeugt mit oder
von Oliver Labs
Inhaltsverzeichnis
0 Einfhrung 3
0.1 Die grundlegende Fragestellung . . . . . . . . . . . . . . . . . 3
0.2 Erinnerung an die wesentlichen Begrie . . . . . . . . . . . . . 4
0.3 Zusammenhang und Wegzusammenhang . . . . . . . . . . . . 6
1 Die Fundamentalgruppe 13
1.1 Denition der Fundamentalgruppe und erste Beispiele . . . . 13
1.2 Die Fundamentalgruppe des Kreises . . . . . . . . . . . . . . . 20
1.2.1 Berechnung der Fundamentalgruppe . . . . . . . . . . 20
1.2.2 Die Umlaufzahl . . . . . . . . . . . . . . . . . . . . . . . 23
1.2.3 Eine Anwendung . . . . . . . . . . . . . . . . . . . . . . 23
1.3 berlagerungen und Liftungen . . . . . . . . . . . . . . . . . . 25
1.4 Decktransformationen und Universelle berlagerung . . . . . 30
1.4.1 Gruppenoperationen . . . . . . . . . . . . . . . . . . . . 30
1.4.2 Decktransformationen . . . . . . . . . . . . . . . . . . . 33
1.4.3 Lokaler Wegzusammenhang . . . . . . . . . . . . . . . 35
1.4.4 Universelle berlagerung . . . . . . . . . . . . . . . . . 40
1.5 Der Satz von Seifert van Kampen . . . . . . . . . . . . . . . . 44
1.5.1 Anwendungen . . . . . . . . . . . . . . . . . . . . . . . 45
1.5.2 Der Beweis des Satzes . . . . . . . . . . . . . . . . . . . 48
2 Homologie 51
2.1 Kategorien und Funktoren . . . . . . . . . . . . . . . . . . . . . 51
2.2 Erinnerung: Abelsche Gruppen . . . . . . . . . . . . . . . . . . 53
2.2.1 Freie abelsche Gruppen . . . . . . . . . . . . . . . . . . 53
2.2.2 Exakte Sequenzen abelscher Gruppen . . . . . . . . . . 55
2.2.3 Endlich erzeugte Abelsche Gruppen . . . . . . . . . . . 56
2.3 Simpliziale Homologie . . . . . . . . . . . . . . . . . . . . . . . 58
2.3.1 Simpliziale Komplexe . . . . . . . . . . . . . . . . . . . 58
2.3.2 Simpliziale Homologie . . . . . . . . . . . . . . . . . . . 61
2.3.3 Komplexe . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.4 Singulre Homologie . . . . . . . . . . . . . . . . . . . . . . . . 65
2.5 Das Ausschneidungsaxiom . . . . . . . . . . . . . . . . . . . . 70
2.5.1 Anwendungen des Ausschneidungsaxioms . . . . . . . 72
VII
2.5.2 Beweis des Aussschneidungsaxioms . . . . . . . . . . . 76
Baryzentrische Unterteilung . . . . . . . . . . . . . . . 76
Die Gruppen H
n
(X, a) . . . . . . . . . . . . . . . . . . . 77
Der Beweis des Ausschneidungsaxioms . . . . . . . . . 79
2.6 Zusammenhang simpliziale/singulre Homologie . . . . . . . 80
2.7 Zur Klassikation der kompakten orientierbaren Flchen . . . 84
Literatur 87
Index 89
Vorlesungsverzeichnis
1. (18. April 07) Fragestellung, Begrie, (Weg-)Zusammenhang . . . . 3
2. (25. April 07) Denition Fundamentalgruppe
1
(X, x), Bsp:
1
(R
n
, 0) 13
3. (2. Mai 07) Die Fundamentalgruppe des Kreises:
1
(S
1
, 1) Z . . 19
4. (9. Mai 07) berlagerungen und Liftungen . . . . . . . . . . . . . 25
5. (16. Mai 07) Decktransformationen. Denition, erste Eigenschaften 30
6. (23. Mai 07) Decktransformationen, Universelle berlagerung . . 36
7. (6. Juni 07) Exist. univers. berlagerung, Seifert van Kampen . 41
8. (13. Juni 07) Beweis Seifert van Kampen, algebraische Grundlagen 48
9. (20. Juni 07) Simpliziale Homologie . . . . . . . . . . . . . . . . . . 58
10. (27. Juni 07) Singulre Homologie . . . . . . . . . . . . . . . . . . . 65
11. (4. Juli 07) Das Ausschneidungsaxiom und Anwendungen . . . 70
12. (18. Juli 07) Beweis Ausschneidungsaxiom, Homologie-Axiome . 76
VIII
Abbildungsverzeichnis
0.1 Zwei nichthomomorphe Teilmengen des R
2
. . . . . . . . . . 3
0.2 Drei Knoten imR
3
. . . . . . . . . . . . . . . . . . . . . . . . . . 4
0.3 Stereographische Projektion vom Nordpol des Kreises auf R. . 6
0.4 Verknpfung von Wegen. . . . . . . . . . . . . . . . . . . . . . 7
0.5 Ein zusammenhngender nicht wegzshgd. Raum. . . . . . . . 11
1.1 Homotopie von Wegen. . . . . . . . . . . . . . . . . . . . . . . 14
1.2 Assoziativitt der Verknpfung von Wegen. . . . . . . . . . . . 14
1.3 Der konstante Weg. . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4 Verknpfung homotoper Wege. . . . . . . . . . . . . . . . . . . 16
1.5 Das neutrale Element von
1
(X, x
0
). . . . . . . . . . . . . . . . . 16
1.6 NichtKommutativitt von
1
(X, x
0
). . . . . . . . . . . . . . . . 17
1.7 Eine Homotopie zwischen
1
( f
0
) und f
1
. . . . . . 19
1.8 Liftung eines Weges in der S
1
mit c(0) = 1. . . . . . . . . . . . . 21
1.9 Die Umlaufzahl. . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.10 Zum Satz von Rouch. . . . . . . . . . . . . . . . . . . . . . . . 24
1.11 berlagerung des Kreises und eine triviale berlagerung. . . 26
1.12 Die Bltterzahl. . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.13 Das Mbiusband. . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.14 Der Torus. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.15 Die Kleinsche Flasche. . . . . . . . . . . . . . . . . . . . . . . . 33
1.16 Ein wegzusammenhngender nicht lokal wegzshg. Raum. . . 36
1.17
1
(P
2
R
, 1) Z/2Zanschaulich. . . . . . . . . . . . . . . . . . . 40
1.18 Semilokal einfacher Zusammenhang. . . . . . . . . . . . . . . . 43
1.19 Berechnung der Fundamentalgruppe der Sphre. . . . . . . . 46
1.20 Die Fundamentalgruppe der -Figur. . . . . . . . . . . . . . . 47
2.1 Einige Standardsimplizes. . . . . . . . . . . . . . . . . . . . . . 59
2.2 Der Rand des Standard-Simplexes. . . . . . . . . . . . . . . . . 59
2.3 Ein Beispiel, das keinen simplizialen Komplex bildet. . . . . . 60
2.4 Der Standard-2-Simplex ist homomorph zur S
2
. . . . . . . . . 60
2.5 Zwei Triangulierungen des Mbiusbandes. . . . . . . . . . . . 60
2.6 Zur Denition der Randabbildung
p
. . . . . . . . . . . . . . . 61
2.7 Die Prismenkonstruktion zum Beweis des Homotopieaxioms. 69
2.8 Die Randabbildung. . . . . . . . . . . . . . . . . . . . . . . . . . 71
IX
X ABBILDUNGSVERZEICHNIS
2.9 Die Situation beim Ausschneidungsaxiom. . . . . . . . . . . . 71
2.10 Die Situation bei der zweiten Formulierung. . . . . . . . . . . 72
2.11 Berechnung der Homologiegruppen der Sphre. . . . . . . . . 74
2.12 Baryzentrische Unterteilung. . . . . . . . . . . . . . . . . . . . 76
2.13 Denition von der Abbildung K
b
. . . . . . . . . . . . . . . . . . 77
2.14 Eine Facette und ihre duale Facette. . . . . . . . . . . . . . . . . 81
2.15 Orientierbarkeit einer Flche. . . . . . . . . . . . . . . . . . . . 85
2.16 Flchen vom Geschlecht 1, 1, 2. . . . . . . . . . . . . . . . . . . 85
2.17 Die Normalform eines Polygons. . . . . . . . . . . . . . . . . . 85
Version vom: 26. September 2007
Vorwort
Die Topologie beschftigt sich mit den grundlegenden Eigenschaften geome-
trischer Objekte bzw. topologischer Rume. Zwei Rume werden dabei als
topologisch gleich (homomorph, ) angesehen, wenn zwischen ihnen eine
bijektive stetige Abbildung existiert, deren Umkehrung ebenfalls stetig ist.
Beispielsweise sind ein Rettungsring und ein Ball mit Henkel homomorph;
eine Kugel ist aber nicht zu diesen beiden Objekten homomorph:

Dies ist allerdings keineswegs oensichtlich. Die algebraische Topologie ver-
sucht, die Entscheidung, welche Objekte homomorph sind, zu lsen, indem
sie jedem topologischen Raum ein gewisses algebraisches Objekt (beispiels-
weise eine Gruppe) so zuordnet, dass fr zwei homomorphe Rume die
zugeordneten Objekte isomorph sind. Haben wir also umgekehrt fr zwei
Rume berechnet, dass die zugeordneten Objekte nicht isomorph sind, so
knnen die Rume nicht homomorph sein.
Die Konzepte der algebraischen Topologie sind grundlegend fr viele Berei-
che der Geometrie. Beispielsweise basiert hierauf ein Teil der Klassikation
von Singularitten von Kurven in der komplexen Ebene. Noch naheliegender
ist deren Verwendung bei der reellen algebraischen Geometrie, in der sogar
viele Aussagen topologischer Natur sind, wie beispielsweise Harnacks obere
Schranke fr die Anzahl reeller Zusammenhangskomponenten einer reellen
ebenen algebraischen Kurve.
In der Vorlesung werden zwei wesentliche Mglichkeiten fr solche alge-
braischen Objekte vorgestellt, nmlich die Fundamentalgruppe und die Ho-
mologiegruppen. Die Fundamentalgruppe wird hierbei in Termen von Deck-
transformationen von berlagerungen interpretiert, mit deren Hilfe wir den
Satz von Seifert van Kampen beweisen. Dieser Satz erleichtert erheblich die
Berechnung von Fundamentalgruppen und bildet den Hhepunkt des ers-
ten Teils der Vorlesung. Die hher-dimensionalen Analoga der Fundamen-
talgruppe sind sehr schwierig zu berechnen. Daher gehen wir im zweiten
Teil der Vorlesung auf die leichter zugnglichen Homologiegruppen ein. Wir
fhren diese zunchst mit Hilfe der anschaulich recht leicht verstndlichen
simplizialen Homologie ein, bevor wir schlielich die singulre Homologie
behandeln. Zu deren Berechnung wird die MayerVietorisSequenz das we-
sentliche Hilfsmittel sein.
Leider knnen wir aus Zeitgrnden (12 Doppelstunden) weder auf die Koho-
mologietheorie noch auf PoincarDualitt eingehen. Wir knnen aber alle
wichtigen Stze ber die Fundamentalgruppe sowie ber Homologiegrup-
pen beweisen und die vorgestellte Theorie mit vielen interessanten klassi-
schen, sowie anschaulichen Beispielen und Anwendungen illustrieren.
An die Hrer wird, auer der groen Menge an Sto, die in recht kurzer Zeit
ohne begleitende bungsstunden prsentiert wird, kaum eine Anforderung
gestellt. Genauer setzen wir an Wissen nur Mengenleere, ein wenig lineare
Algebra und Algebra (insbesondere Gruppentheorie, hier hauptschlich abel-
sche Gruppen), grundlegende topologische Begrie (wie (gleichmig) stetig,
kompakt) und etwas Analysis (reelle Zahlen, Intervalle, Zwischenwertsatz,
komplexe Zahlen) voraus. Grundlagen der komplexen Analysis, also der
Funktionentheorie, sind hilfreich, aber nicht notwendig. Abgesehen von der
Gruppentheorie sollten also alle ntigen Grundlagen aus den Grundvorle-
sungen bekannt sein; wir werden daher an die wichtigsten Resultate aus der
Gruppentheorie, die wir bentigen, wenigstens kurz erinnern. Sollte dochUn-
klarheit bezglich eines von uns ohne ausfhrliche Erklrung verwendeten
grundlegenden Begries oder Faktes herrschen, so liefert [May89] (insbeson-
dere das einfhrende Kapitel) in den meisten Fllen eine gut verstndliche
Erluterung.
Als Appetithppchen verweisen wir auf die vom Dozenten gemeinsam mit
H.-C. Graf von Bothmer erstellten Animationen, die auf unserer Webseite
einsehbar sind und die einige der in der Vorlesung behandelten Konzepte
visualisieren: www.Calendar.AlgebraicSurface.net.
Diese Vorlesung basiert auf mehreren Bchern und Skripten, insbesondere
aber auf [Ful95], [May89], [SZ88], [Hat02] sowie den handschriftlichen Vor-
bereitungen einer ebenfalls zweistndigen Vorlesung, die der zweite Autor
im Wintersemester 2003/04 gehalten hat. Im Vergleich zur Letzteren behan-
deln wir zwar etwas weniger Theorie, besprechen dafr aber mehr konkrete
Beispiele und setzen weniger Hintergrundwissen als bekannt voraus.
Oliver Labs, Frank-Olaf Schreyer
0
Einfhrung
1. Vorlesung:
18. April 07
0.1 Die grundlegende Fragestellung
Wir beginnen mit einem Beispiel, an dem wir die wesentliche Frage, auf die
wir in dieser Vorlesung eingehen werden, erlutern knnen:
Frage 0.1. Gibt es zwischen zwei gegebenen topologischen Rumen X und Y (bei-
spielsweise Teilmengen des R
n
) eine bijektive stetige Abbildung, deren Umkehrung
ebenfalls stetig ist (einen sogenannten Homomorphismus, Notation: X Y)?
Beispiel 0.2. 1. Augenscheinlich gibt es zwischen den beiden Teilmengen
X und Y des R
2
, die in Abbildung 0.1 zu sehen sind, keinen Homomor-
phismus. Aber wie beweist man dies?
X Y
Abbildung 0.1. Zwei nichthomomorphe Teilmengen X und Y des R
2
.
2. Komplemente von Knoten (s. auch die Webseite: [Sch98]). Zwischen den
Komplementen Y und Z der in Abbildung 0.2 gezeigten Knoten gibt es
4 0 Einfhrung

X Y Z
Abbildung0.2. Drei Komplemente von Knoten imR
3
: X =Komplement der Kleeblatt-
schlinge, Y = Komplement des trivialen Knotens, Z = Komplement eines weitereren
Knotens. Es gilt: X Y Z.
einen Homomorphismus, zwischen Xund Y aber nicht. Wie knnen wir
dies nachweisen?

Grundlegende Idee der algebraischenTopologie ist es, topologischenRumen


X ein algebraisches oder diskretes Objekt H(X) zuzuordnen, so dass fr zwei
topologische Rume X, Y gilt:
X Y H(X) H(Y).
Dann liefert nmlich die NichtIsomorphie der zugeordneten algebraischen
Objekte die NichtHomomorphie der topologischen Rume:
H(X) H(Y) X Y.
0.2 Erinnerung an die wesentlichen Begrie
Obwohl wir, wie im Vorwort erwhnt, grundlegende topologische Begrie
als bekannt voraus setzen, erinnern wir kurz an die wesentlichsten De-
nitionen. Eine ausfhrlichere Diskussion dieser und anderer Begrie, wird
beispielsweise im einfhrenden Kapitel von [May89] gegeben.
Denition 0.3. Eine Topologie auf einer Menge X ist eine Menge T von Teilmen-
gen von X, die folgende Eigenschaften besitzt:
1. Die Vereinigung beliebig vieler Mengen aus T gehrt zu T.
2. Der Durchschnitt je zweier Mengen aus T gehrt zu T.
3. Die Menge X und die leere Menge gehren zu T.
Version vom: 26. September 2007
0.2 Erinnerung an die wesentlichen Begrie 5
Ein Element von T heit oene Menge der Topologie T. Eine Teilmenge A von X
heit abgeschlossen bezglich T, falls ihr Komplement A
c
:= X\A bezglich T
oen ist. Ein topologischer Raum ist ein Paar (X, T), bestehend aus einer Menge
X und einer Topologie T auf X.
Beispiel/Denition 0.4. 1. Ist Xeine beliebige Menge, so ist die Potenzmen-
ge P(X) von X, also die Menge aller Teilmengen von X, eine Topologie,
die sogenannte diskrete Toplogie.
2. Sei X eine beliebige Menge. Die Topologie {, X} ist diejenige mit der
geringsten Anzahl von Elementen. Manchmal wird diese Topologie tref-
fenderweise indiskrete Topologie genannt.

Oft ist aus dem Kontext klar, welche Topologie auf einer betrachteten Menge
verwendet werden soll; daher schreiben wir fr einen topologischen Raum
(X, T) meist kurz nur X.
Um topologische Rume miteinander vergleichen zu knnen, bentigen wir
Abbildungen zwischen ihnen:
Denition 0.5. X und Y seien topologische Rume, f : X Y eine Abbildung und
x X. f heit stetig in x, wenn es zu jeder oenen Umgebung V von f (x) eine
oene Umgebung U von x gibt, so dass f (U) V. f heit stetig, wenn f in jedem
Punkt von X stetig ist.
X und Y sind homomorph, wenn es eine bijektive stetige Abbildung f : X Y
gibt, so dass f
1
: Y X ebenfalls stetig ist. f heit dann Homomorphismus.
Wir schreiben dann kurz X Y.
Beispiel 0.6. 1. Sei
f : R
n
R
n
, x Ax + b,
wobei A R
nn
eine regulre reelle nn-Matrix und b R
n
ist. Dann sind
X R
n
und f (X) oenbar homomorph. Ane Abbildungen (verschie-
ben, drehen, spiegeln, strecken, scheren, stauchen) liefern also immer
homomorphe Teilrume.
2. Wir schreiben
D
n
= {y R
n
| y 1}
fr den abgeschlossenen n-dimensionalen Einheitsball und

D
n
= {y R
n
| y < 1}
fr die oene Variante. Mit dieser Notation ist die Abbildung
f :

D
1
R, x
x
1 |x|
ist ein Homomorphismus (

D
1
= [0, 1]).
Version vom: 26. September 2007
6 0 Einfhrung
3. Wir notieren die n-dimensionale Einheitssphre (imR
n+1
) als
S
n
:=
_
(x
0
, . . . , x
n
) R
n+1
| x = 1
_
.
Stereographische Projektion vom Nordpol (0, 1) R
2
des Einheitskrei-
ses S
1
R
2
zeigt, dass: S
1
\{(0, 1)} R.
(0,1)
Abbildung 0.3. Stereographische Projektion vom Nordpol des Einheitskreises auf R.

0.3 Zusammenhang und Wegzusammenhang


Im Beispiel 0.2.1 ist die einfachste Idee, mit der wir die beiden topologi-
schen Rume unterscheiden knnen, vielleicht der Wegzusammenhang. Die-
ses Konzept diskutieren wir im Folgenden, insbesondere erlutern wir den
Unterschied zum verwandten Begri des Zusammenhangs.
Denition 0.7. Sei X ein topologischer Raum und seien x
0
, x
1
X. Ein Weg von
x
0
nach x
1
ist eine stetige Abbildung
: [0, 1] X mit (0) = x
0
, (1) = x
1
.
Existiert ein Weg zwischen x
0
und x
1
, so heien diese beiden Punkte durch einen
Weg verbindbar.
Mit
x
0
bezeichnen wir den konstanten Weg mit
x
0
(t) = x
0
t. Ein Weg heit
geschlossen , falls (0) = (1) = x
0
. Die Menge der geschlossenen Wege bezeichnen
wir mit (X, x
0
).
Oensichtlich kann man zwei Wege zu einem zusammenfassen, wenn sie
aneinander passen:
Version vom: 26. September 2007
0.3 Zusammenhang und Wegzusammenhang 7
Satz/Denition 0.8. Sind , : [0, 1] X zwei Wege mit (1) = (0), dann ist
( )(t) =
_
(2t), 0 t
1
2
,
(2t 1),
1
2
t 1
der verknpfte Weg ein Weg von x
0
= (0) nach x
1
= (1) (Abb. 0.4).

(1) = ( )(1)
(0) = ( )(0)
(1) = (0) = ( )(
1
2
)

X
Abbildung 0.4. Verknpfung von Wegen.
Satz/Denition 0.9. Ist : [0, 1] X ein Weg von x
0
nach x
1
, dann ist

1
: [0, 1] X mit
1
(t) = (1 t) ein Weg von x
1
nach x
0
, der inverse Weg.
Mit den eben eingefhrten Bezeichnungen knnen wir direkt einsehen, dass
der folgende Satz gilt:
Satz/Denition 0.10. Durch einen Weg verbindbar ist eine quivalenzrelation
auf den Punkten eines topologischen Raumes X. Eine quivalenzklasse von weg-
verbindbaren Punkten von X heit Wegzusammenhangskomponente von X. Die
Menge aller quivalenzklassen bezeichnen wir mit:
0
(X).
Beweis. Reexivitt: x X. Der konstante Weg
x
verbindet x mit sich selbst.
Symmetrie: x
0
, x
1
X seien durch einen Weg verbindbar. Der inverse Weg

1
ist ein Weg von x
1
nach x
0
.
Transitivitt: Dies folgt direkt aus der Denition des verknpften Weges.

0
(X) ist vielleicht die einfachste topologische Invariante. Die Tatsache, dass

0
(X) tatschlich eine topologische Invariante ist, muss natrlich nachgewie-
sen werden. Dies ist aber recht leicht; siehe beispielsweise 6.14 und 6.22 in
[May89].
Beispiel 0.11. 1. Im obigen Beispiel 0.2.1 gilt wegen des Zwischenwertsat-
zes, der aus der Analysis zwar bekannt sein sollte, den wir spter aber in
Satz 0.19 nochmals (allerdings in unserer topologischen Sprache) bewei-
sen werden:
|
0
(X)| = 1, |
0
(Y)| = 2.
Also folgt: X Y. Schwieriger ist es zu zeigen, dass die einzelnen Kom-
ponenten von Y in diesem Beispiel nicht zu X homomorph sind.
Version vom: 26. September 2007
8 0 Einfhrung
2. Ist f : X Y ein Homomorphismus mit f (x
0
) = y
0
, so wird nach Deni-
tion auch f (X\{x
0
}) homomorph auf Y\{y
0
} abgebildet und somit gilt:

0
(X\{x
0
}) =
0
(Y\{y
0
}).
Dies knnen wir benutzen, um die NichtHomomorphie gewisser Ru-
me zu zeigen. Beispielsweise folgt daraus:
S
1
[0, 1],
da |
0
(S
1
\{x})| = 1 x S
1
, aber |
0
([0, 1]\{
1
2
})| = 2.
3. Auf hnliche Weise kann man die Frage nach der Homomorphie der
Buchstaben des Alphabets
A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z
lsen. Beispielsweise gilt H Y, weil es bei H zwei Punkte gibt, die den
Buchstaben in drei Wegzusammenhangskomponenten aufteilen, bei Y
aber nur einen. Hierbei kommt es auf die gewhlte Schriftart an: U U.
| Die Klassen sind oenbar: {A, R}, {B}, {C, I, J, L, M, N, S, U, V, W, Z},
Als bung! {D, O}, {E, F, G, T, Y}, {H}, {K, X}, {P}, {Q}. |

Eine Eigenschaft, die wie wir sehen werden ein wenig schwcher ist als
der Wegzusammenhang, ist der Zusammenhang.
Denition 0.12. Ein topologischer Raum X heit zusammenhngend, wenn er
nicht Vereinigung von zwei nichtleeren, disjunkten, oenen Teilmengen ist. Eine
Teilmenge A von X heit zusammenhngend, wenn der TeilraumA zusammenhn-
gend ist. Hierbei hat A die Teilraumtopologie T
A
:= {UA | U T} (den Beweis,
dass dies tatschlich eine Topologie ist, kann der Leser in [May89, S. 20] nachlesen
oder besser noch als bungsaufgabe fhren).
Beispiel 0.13. 1. Ein diskreter Raum, der wenigstens zwei Elemente besitzt,
ist nicht zusammenhngend. In einem solchen Raum sind nur die ein-
punktigen Mengen und zusammenhngend.
2. Der indiskrete Raum ist zusammenhngend, da er nur zwei oene Men-
gen besitzt, von denen eine leer ist.
3. Intervalle I R sind zusammenhngend, genauso wie R selbst. Dies
sind die einzigen nichtleeren zusammenhngenden Teilmengen von R.
(Dies ist nicht oensichtlich; ein Beweis steht beispielsweise in [May89,
Satz I.6.3, S. 57], er verwendet natrlich eine wesentliche Eigenschaft der
reellen Zahlen, und zwar die Existenz eines Supremums einer nach oben
beschrnkten Teilmenge von R.)

Version vom: 26. September 2007


0.3 Zusammenhang und Wegzusammenhang 9
Satz 0.14. Fr jeden topologischen Raum X sind quivalent:
1. X ist zusammenhngend.
2. Die einzigen Teilmengen von X, die gleichzeitig oen und abgeschlossen sind,
sind X und .
3. Es gibt keine stetige surjektive Abbildung von X auf einen diskreten Raum, der
wenigstens zwei Punkte enthlt.
Beweis. 1. 2.: Wir nehmen an, dass 2. nicht gilt. Nach der Denition einer
Topologie sind und X sowohl oen als auch abgeschlossen. Ist U X
eine Teilmenge, die ebenfalls oen und abgeschlossen ist und fr die
U und U X gilt, so ist U U
c
= , U U
c
= X. X ist also nach
Denition nicht zusammenhngend. Dann gilt aber 1. nicht.
2. 3.: Wir nehmen an, dass 3. nicht gilt. Y sei ein diskreter Raum mit
mindestens zwei Elementen und f : X Y sei eine stetige surjektive
Abbildung. Fr jedes y Y ist f
1
(y) und f
1
(y) X, aber f
1
(y) ist
oen und abgeschlossen. Dann ist aber die Bedingung 2. nicht erfllt.
3. 1. Wir nehmen an, dass 1. nicht gilt. Dann gibt es nichtleere Teilmen-
gen U, V X mit U V = , U V = X. Sei {0, 1} mit der diskreten
Topologie versehen und f : X {0, 1} deniert durch
f (x) =
_
0, x U,
1, x V.
f ist oensichtlich surjektiv und stetig, im Widerspruch zu 3.

Die folgende Aussage ist eine triviale Konsequenz aus diesem Satz.
Korollar 0.15. Jede stetige Abbildung eines zusammenhngenden Raumes in einen
diskreten Raum ist konstant.
Wir erwhnten schon, dass Wegzusammenhang eine strkere Eigenschaft als
Zusammenhang ist. Dies knnen wir jetzt beweisen:
Satz 0.16. Jeder wegzusammenhngende Raum ist zusammenhngend.
Beweis. Es seien X ein wegzusammenhngender und X

ein diskreter Raum,


x
0
X und f : X X

eine stetige Abbildung. Fr jedes x X existiert ein


Weg c in X mit c(0) = x
0
und c(1) = x. Die Abbildung f c: [0, 1] X

, ist
stetig und daher konstant nach dem obigen Korollar 0.15, da das Intervall
[0, 1] zusammenhngend ist. Es folgt: f (x) = f (x
0
) fr jedes x X. Dann gibt
es aber keine stetige, surjektive Abbildung von X auf einen diskreten Raum,
der wenigstens zwei Punkte enthlt. Mit Satz 0.14 folgt die Behauptung.
Version vom: 26. September 2007
10 0 Einfhrung
Tatschlich muss, wie oben schon erwhnt, ein zusammenhngender Raum
nicht wegzusammenhngend sein. Dies zeigt das weiter unten stehende Bei-
spiel. Fr dessen Verstndnis bentigen wir zunchst aber noch ein paar
Eigenschaften zusammenhngender Rume:
Satz 0.17. Seien X ein topologischer Raum und A, B X mit A B A. Ist A
zusammenhngend, so auch B.

Als bung!
Beweis. | Angenommen, Bist nicht zusammenhngend. Danngibt es U, V
X oen mit UB , VB , (UB) (VB) = B und (UB) (VB) =.
Da A B ist (U A) (V A) = A und (U A) (V A) = . Weil B A
ist aber A U und A V . Dann ist A aber nicht zusammenhngend.
|
Satz 0.18. Gegeben sei eine stetige Abbildung f : X Y zwischen zwei topologi-
schen Rumen. Ist X zusammenhngend, so auch f (X).

Als bung!
Beweis. | Wre f (X) nicht zusammenhngend, sogbe es nachSatz 0.14eine
stetige Surjektion g: f (X) Z auf einen diskreten Raum Z, der wenigstens
zwei Elemente enthlt. Da g f : X Z ebenfalls stetig und surjektiv wre,
wre X nicht zusammenhngend. |
Mit dem bisher Gezeigten knnen wir nun den aus der Analysis in hnlicher
Form bekannten Zwischenwertsatz beweisen:
Satz 0.19 (Zwischenwertsatz). X sei ein topologischer Raum und f : X R sei
eine stetige Abbildung. Ferner seien a, b f (X) mit a < b. Ist X zusammenhngend,
dann ist [a, b] f (X), d.h. f nimmt jeden Wert zwischen a und b an.

Als bung!
Beweis. | Mit X ist auch f (X) nach Satz 0.18 zusammenhngend. Zusam-
menhngende Teilmengen von R sind aber Intervalle (s. Beispiel 0.13). |

Damit knnen wir nun zeigen, dass Wegzusammenhang eine strkere Eigen-
schaft als Zusammenhang ist:
Beispiel 0.20. Wir betrachten die Menge (s. Abb. 0.5):
X :=
_
(x, y) R
2
| x > 0, y = sin
1
x
_
R
2
.
Es gilt: X = f (]0, [) mit f : ]0, [, x (x, sin
1
x
). X ist also stetiges Bild einer
zusammenhngenden Menge und daher nach Satz 0.18 selbst zusammenhn-
gend. Die abgeschlossene Hlle X von X in R
2
ist die Vereinigung von X mit
dem Intervall {(0, y) | 1 y 1}:
Version vom: 26. September 2007
0.3 Zusammenhang und Wegzusammenhang 11
Abbildung 0.5. Ein nicht wegzusammenhngender Raum: Ist X die abgebildete Men-
ge (der Graph von R R, x sin
1
x
), so ist X = X {(0, y) R
2
| 1 y 1} zwar
zusammenhngend, aber nicht wegzusammenhngend.
X = X {(0, y) R
2
| 1 y 1}.
X ist nach Satz 0.17 auch zusammenhngend, weil X es ist.
Wir zeigen nun, dass X aber nicht wegzusammenhngend ist. Wir nehmen
dazu an, dass es einen Weg c: [0, 1] X gibt mit c(0) = (0, 0) und c(1) = (
1

, 0).
Diese Abbildung c ist also stetig; das ist aber genau dann der Fall, wenn
p
1
c und p
2
c beide stetig sind, wobei p
i
die Projektion R
2
R auf die
i-te Koordinate bezeichnet. p
1
c nimmt wegen des Zwischenwertsatzes 0.19
alle Werte zwischen 0 und
1

an, also insbesondere auch die Werte


2
(2n+1)
fr n = 2, 3, . . .. Daher nimmt p
2
c die Werte sin
(2n+1)
2
und somit in jeder
Umgebung von 0 die Werte +1 und 1 an. Es gibt also kein > 0, so dass
[0, [ durch p
2
c ganz in ]
1
2
,
1
2
[ abgebildet wird. Alle oenen Umgebungen
von 0 in [0, 1] haben aber die Form [0, [. Damit ist c nach Denition in 0 nicht
stetig und X nicht wegweise zusammenhngend.
Hug sind in der algebraischen Topologie solche feinen Unterschiede sehr
relevant, beispielsweise bei der Frage der Existenz einer universellen berla-
gerung (Satz 1.68 auf Seite 43).
Version vom: 26. September 2007
1
Die Fundamentalgruppe
2. Vorlesung:
25. April 07
Die Fundamentalgruppe eines topologischen Raumes ist die erste Invariante,
mit der wir einige der HomomorphieFragen aus der Einfhrung beant-
worten knnen: insbesondere werden wir damit beweisen knnen, dass das
Gebiet mit genau einem Loch nicht homomorph zu jenem mit keinem oder
jenem mit zwei Lchern ist.
Wir werden hier auch das wichtigste Hilfsmittel zur Berechnung der Funda-
mentalgruppen beweisen, den Satz von Seifert van Kampen. Dieser fhrt
die Berechnung der Fundamentalgruppe eines topologischen Raumes auf
jene von Teilrumen zurck (deren Fundamentalgruppe dann hoentlich
leichter zu berechnen ist). Das wesentliche Hilfsmittel beim Beweis werden
berlagerungen sein; deren Theorie macht eine groen Teil dieses Kapitels
aus.
Mit Hilfe des Satzes von Seifert van Kampen werden wir beispielsweise die
Fundamentalgruppen der n-Sphren und der -Figur ermitteln knnen.
1.1 Denition der Fundamentalgruppe und erste Beispiele
Denition 1.1. Seien , : [0, 1] X Wege mit gleichem Anfangspunkt (0) =
(0) = x
0
und gleichem Endpunkt (1) = (1) = x
1
. und heien homotop, in
Zeichen: , wenn es eine stetige Abbildung
H: [0, 1] [0, 1] X
gibt mit:
H(0, t) = (t), H(1, t) = (t)
H(s, 0) = x
0
, H(s, 1) = x
1
.
H heit Homotopie. h
s
: [0, 1] X, h
s
(t) = H(s, t) ist eine Familie von Wegen
(Abb. 1.1).
14 1 Die Fundamentalgruppe
(0) = (0) = x
0
X = H(0, .)
= H(1, .)
(1) = (1) = x
1
Abbildung 1.1. Homotopie von Wegen.
Beispiel 1.2. X sei ein topologischer Raum.
1. Seien , , Wege von x
0
nach x
1
, x
1
nach x
2
bzw. x
2
nach x
3
, x
i
X. Dann
sind ( ) und ( ) homotope Wege von x
0
nach x
3
, in Zeichen:
( ) ( ).
Dies zeigt die Homotopie (s. Abb. 1.2):
H(s, t) =
_

_
((4 2s)t), 0 t
s+1
4
,
(4t (s + 1)),
s+1
4
t
s+2
4
,

_
(2 + 2s)t (1 + 2s)
_
,
s+2
4
t 1.
s = 0
s = 1
t =
1
4
t =
1
2
(4t 2) (4t 3)
x
0
x
3
x
1
x
2
s
(4t 1)
t =
1
2
t =
3
4
(4t)
(2t)
(2t 1)
Abbildung 1.2. Assoziativitt der Verknpfung von Wegen.
2. Sei
x
0
der konstante Weg mit Wert x
0
X und sei : [0, 1] X ein
beliebiger Weg mit (0) = x
0
. Dann gilt:

x
0

1
.
Dies zeigt die Homotopie (s. Abb. 1.3):
H(s, t) =
_

_
(2t), 0 t
1
2
(1 s)
(1 s),
1
2
(1 s) t
1
2
(1 + s)
(2 2t),
1
2
(1 + s) t 1.
Version vom: 26. September 2007
1.1 Denition der Fundamentalgruppe und erste Beispiele 15
s = 0
s = 1
t =
1
2

x
0

1
Abbildung 1.3.
1

x
0
, dem konstanten Weg.

Satz 1.3. Homotopie von Wegen ist eine quivalenzrelation.


Beweis. Nur die Transitivitt ist nicht trivial. Seien dazu , , : [0, 1] X
Wege mit Anfangspunkt x
0
und Endpunkt x
1
. Es gelte , , vermge
H
1
bzw. H
2
. Dann ist
H(s, t) =
_
H
1
(2s, t), 0 s
1
2
,
H
2
(2s 1, t),
1
2
s 1
eine Homotopie zwischen und .
Satz 1.4. Seien
1
,
2
: [0, 1] X,
1
,
2
: [0, 1] X Wege mit
1
(0) =
2
(0) = x
0
,

1
(1) =
2
(1) = x
1
und
1
(0) =
2
(0) = x
1
,
1
(1) =
2
(1) = x
2
. Gilt
1

2
und

1

2
, so auch:

1

1

2

2
.

Als bung!
Beweis. | H

und H

seien die Homotopien zwischen


1
und
2
bzw.
1
und
2
.
Dann ist
H(s, t) =
_
H

(s, 2t), 0 t
1
2
,
H

(s, 2t 1),
1
2
t 1
die gesuchte Homotopie (s. Abb. 1.4). |
Satz/Denition 1.5. Seien X ein topologischer Raum, x
0
X ein fester Punkt und
(X, x
0
) ein geschlossener Weg. Mit [] bezeichnen wir die Homotopieklasse
von . Sei

1
(X, x
0
) =
_
[] | (X, x
0
)
_
Version vom: 26. September 2007
16 1 Die Fundamentalgruppe
x
0
x
1
x
2

1

1

1

1
H

Abbildung 1.4. Verknpfung homotoper Wege.


die Menge der Homotopieklassen von geschlossenen Wegen mit Anfangs- und End-
punkt x
0
. Vermge
[] [] = [ ]
wird auf
1
(X, x
0
) eine wohldenierte Verknpfung erklrt. Dies gibt
1
(X, x
0
) die
Struktur einer Gruppe mit neutralem Element [
x
0
].

1
(X, x
0
) heit Fundamentalgruppe von X mit Basispunkt x
0
.
Beweis. Die Wohldeniertheit folgt aus dem obigen Satz 1.4. Die Assoziativi-
tt haben wir im Beispiel 1.2.1 gesehen. []
1
= [
1
] haben wir im Beispiel
1.2.2 nachgerechnet.
Das neutrale Element der Gruppe ist [
x
0
], da
x
0
fr jeden geschlosse-
nen Weg gilt, wie die folgende Homotopie zeigt (Abb. 1.5):
H(s, t) =
_
((2 s)t), 0 t
1
2s
,
x
0
,
1
2s
t.

s = 1
s = 0
t =
1
2

x
0

Abbildung 1.5. [
x
0
], das neutrale Element von
1
(X, x
0
).
Version vom: 26. September 2007
1.1 Denition der Fundamentalgruppe und erste Beispiele 17
Bemerkung 1.6.
1
(X, x
0
) ist im Allgemeinen keine kommutative Gruppe. Dies
knnen wir hier noch nicht beweisen. Es sollte aber anschaulich einleuchten, wenn
wir beispielsweise in X := R
2
\{p
1
, p
2
} mit (0, 0) p
1
, p
2
R
2
, p
1
p
2
, zwei Wege

i
mit dem Ursprung x
0
:= (0, 0) als Anfangs- und Endpunkt betrachten, die sich
jeweils einmal um p
i
winden. Anschaulich ist dann einsichtig (s. Abb. 1.6), dass gilt:

1

1
1

2

1
2

(0,0)

1

2

1
1

1
2
. Mit dem Satz von Seifert van
Kampen (Abschnitt 1.5) wird es leicht sein, dies auch zu beweisen.
x
0

1
2
p
2
p
1

1
1

2
Abbildung 1.6. Dieses Beispiel verdeutlicht anschaulich die NichtKommutativitt
von
1
(X, x
0
): Es gilt:
1

1
1

2

1
2

(0,0)

1

2

1
1

1
2
.
Bevor wir unsere erste Fundamentalgruppe berechnen knnen, bentigen
wir noch ein paar vorbereitende Stze und Begrie.
Satz/Denition 1.7. Ist f : X Y eine stetige Abbildung mit f (x
0
) = y
0
, dann
induziert
[] [ f ]
einen wohldenierten Gruppenhomomorphismus f

mit
f

:
1
(X, x
0
)
1
(Y, y
0
).
Beweis. Ist H eine Homotopie in X, dann ist f H eine Homotopie in Y.
Zwei triviale Beispiele, die wir spter verwenden werden:
Beispiel 1.8. 1. Sei x
0
X. id
X
: X X, x x induziert id
X
:
1
(X, x
0
)

1
(X, x
0
), [] [].
2. Sei y
0
Y, g: X Y, g(x) = y
0
x. Dann gilt: g

[] = [g ] = [
y
0
] . g

ist also der triviale Gruppenhomomorphismus.

Version vom: 26. September 2007


18 1 Die Fundamentalgruppe
Innerhalb einer Wegzusammenhangskomponente knnen wir den Basis-
punkt frei whlen, wie das folgende Resultat zeigt:
Satz/Denition 1.9. 1. Sind x
0
, x
1
X Punkte in der gleichen Wegzusammen-
hangskomponente und ist : [0, 1] X ein Weg von x
0
nach x
1
, dann liefert

1
() :
1
(X, x
0
)
1
(X, x
1
), [] [
1
]
einen Gruppenisomorphimus. Dieser hngt nur von [] ab.
2. Ist : [0, 1] X ein weiterer Weg von x
0
nach x
1
, dann ist
1
() ein weiterer
Isomorphismus, der sich von
1
() nur durch die Konjugation mit = [
1
]
unterscheidet:

1
()[] = [
1
]
1
(
1
()[])[
1
].
Beweis. 1.
1
() ist ein Gruppenhomomorphismus, da
1

x
0
und
wegen der Assoziativitt:
1
()([] []) = [
1
] = [
1


1
] = [
1
] [
1
] =
1
()[]
1
()[]. Es ist ein
Isomorphismus, weil
1
()
1
=
1
(
1
).
2. Klar wegen Assoziativitt.

Denition 1.10. Zwei stetige Abbildungen f


0
, f
1
: X Y heien homotop, in
Zeichen f
0
f
1
, falls es eine stetige Abbildung, genannt Homotopie, H: X
[0, 1] Y gibt, so dass
H(x, 0) = f
0
(x), H(x, 1) = f
1
(x) x X.
Sei x
0
X ein Basispunkt. Wir setzen y
0
= f
0
(x
0
), y
1
= f
1
(x
0
). Mit
: [0, 1] Y, t H(x
0
, t)
bezeichnen wir den Weg von y
0
nach y
1
.
Satz/Denition 1.11. Mit der Notation aus der vorigen Denition gilt, dass das
folgende Diagramm kommutiert:

1
(Y, y
0
)

1
()

1
(X, x
0
)
f
0

f
1

1
(Y, y
1
)
d.h.: f
1
([]) = (
1
())( f
0
([])) []
1
(X, x
0
).
Version vom: 26. September 2007
1.1 Denition der Fundamentalgruppe und erste Beispiele 19
Beweis. Sei (X, x
0
) ein geschlossener Weg. Wir mssen eine Homotopie
zwischen den Wegen
1
( f
0
) und f
1
konstruieren. Dazu betrachten
wir h(t, s) := H((t), s). Mit dieser Notation gilt: h(t, 0) = ( f
0
)(t) und h(t, 1) =
( f
1
)(t). Die Abbildung 1.7 liefert nun die gesuchte Homotopie.
s = 1
s = 0

f
1

f
0

Abbildung 1.7. Eine Homotopie zwischen
1
( f
0
) und f
1
.
Korollar 1.12. Sind f
0
, f
1
: X Y homotope Abbildungen mit H(x
0
, t) = y
0
t,
dann ist ( f
0
)

= ( f
1
)

:
1
(X, x
0
)
1
(Y, y
0
).
Beweis. Nach Voraussetzung ist f
0
(x
0
) = H(x
0
, 0) = y
0
= H(x
0
, 1) = f
1
(x
0
).
ist also der konstante Weg
y
0
. Damit ist
1
() :
1
(Y, y
0
)
1
(Y, y
0
), []
[
1
] = [] die Identitt.
3. Vorlesung:
2. Mai 07
Beispiel 1.13. Wir betrachten R
n
und darauf die Abbildungen f
1
= id
R
n und
f
0
0. f
1
und f
0
sind homotop vermge H(x, t) = x t und H(0, t) = 0 t. Es
folgt mit Korollar 1.12: id

1
(R
n
,0)
= ( f
1
)

= ( f
0
)

= trivialer Gruppenhomomor-
phismus. Damit gilt aber:
1
(R
n
, 0) = 1.
Einige spezielle Homotopien bekommen eigene Namen:
Denition 1.14. 1. Ist A eine Teilmenge von X und gilt fr die stetigen Abbil-
dungen f, g: X Y, dass f |
A
= g|
A
, so heit f zu g homotop relativ A, in
Zeichen f g rel A, wenn es eine Homotopie G von f nach g gibt, so dass fr
alle a A und alle t [0, 1] gilt:
G(a, t) = f (a) = g(a).
2. Sei X ein topologischer Raum und A X ein Teilraum. i : A X bezeichne die
Inklusionsabbildung. Eine stetige Abbildung r: X A mit r|
A
= id
A
heit eine
Retraktion. A heit Retrakt von X, wenn es eine Retraktion von X auf A gibt.
A heit Deformationsretrakt von X, wenn es eine Retraktion r von X auf A
gibt mit i r id
X
. A heit starker Deformationsretrakt von X, wenn es eine
Retraktion von X auf A gibt mit i r id
X
rel A. X heit zusammenziehbar,
wenn X einen seiner Punkte als Deformationsretrakt besitzt.
Version vom: 26. September 2007
20 1 Die Fundamentalgruppe
Beispiel 1.15. 1. R
n
ist alsoauf jedenseiner Punkte zusammenziehbar (siehe
Bsp. 1.13).
2. Die EinheitsSphre S
n1
ist ein starker Deformationsretrakt von R
n
\{0}:
Die Inklusion i : S
n1
R
n
\{0} ist deniert duch i(x) = x. Fr die Ab-
bildung r: R
n
\{0} S
n1
, deniert durch r(x) =
x
x
, gilt: r i = id
S
n1 .
Wir denieren eine Homotopie F von i r zur Identitt id
R
n
\{0}
durch:
F(x, t) = (1 t)
x
x
+ tx fr alle x R
n
\{0} und alle t [0, 1]. Diese lsst
oenbar die Sphre S
n1
punktweise fest.

1.2 Die Fundamentalgruppe des Kreises


Wir haben eben unsere erste Fundamentalgruppe ausgerechnet. Im Allge-
meinen ist dies nicht so einfach. In den folgenden Abschnitten stellen wir
Hilfsmittel bereit, um Fundamentalgruppen auszurechnen. Einige der we-
sentlichen Ideen, die wir dabei verwenden werden, tauchen bereits bei der
Berechnung der Fundamentalgruppe des Einheitskreises auf. Auerdem hat
deren Berechnung einige interessante Anwendungen. Daher nehmen wir
uns die Zeit, dieses Beispiel zu betrachten, obwohl wir das Resultat spter als
einfache Folgerung allgemeiner Stze erhalten werden. In diesem Abschnitt
folgen wir der Darstellung in [May89, II.3].
1.2.1 Berechnung der Fundamentalgruppe
Satz 1.16.
1
(S
1
, 1) Z.
Diese Aussage ist keineswegs trivial. Wir machen zunchst einige Vorbemer-
kungen und behandeln dann zwei Hilfsstze, die wir fr den Beweis des
Satzes bentigen.
Wir betrachten die Abbildung:
: R S
1
, (t) = e
2it
.
Als aus der Analysis bekannt setzen wir voraus, dass dies ein stetiger surjek-
tiver Gruppenhomomorphismus von (R, +) auf (S
1
, ) mit Ker = Z ist und
dass fr jedes a R die Einschrnkung |
]a,a+1[
ein Homomorphismus von
]a, a + 1[ auf S
1
\{(a)} ist. Mit
: S
1
\{1} ]
1
2
,
1
2
[
bezeichnen wir die Umkehrabbildung von |
]
1
2
,
1
2
[
.
Version vom: 26. September 2007
1.2 Die Fundamentalgruppe des Kreises 21
Ferner setzen wir als aus der Analysis bekannt voraus (s. auch [May89]), dass
eine stetige Abbildung f : X Y zwischen metrischen Rumen mit Metriken
d bzw. e gleichmig stetig ist, falls ihr Denitionsbereich X kompakt ist. f
heit dabei gleichmig stetig, falls es zu jedem > 0 ein > 0 gibt, so dass
fr alle x, y X mit d(x, y) < gilt: e( f (x), f (y)) < , und ein topologischer
Raum X ist kompakt, falls X hausdorsch ist und jede oene berdeckung
von X eine endliche Teilberdeckung besitzt.
Damit knnen wir zeigen:
Lemma 1.17. c: [0, 1] S
1
sei ein Weg mit c(0) = 1. Dann gibt es genau einen
Weg c: [0, 1] R mit c(0) = 0 und c = c (s. Abb. 1.8).

1
R
S
1
3
2
1
0 = c(0)
1 1
0 1
c
! c
Abbildung 1.8. Liftung eines Weges in der S
1
mit c(0) = 1.
Beweis. Wir zerlegen den Weg c in kleine Abschnitte, die man eindeutig mit-
tels nach R hochheben kann; dort kleben wir sie wieder aneinander. c ist
stetig und daher auch gleichmig stetig als stetige Abbildung mit kompak-
tem Denitionsbereich [0, 1]. Es gibt also ein > 0, so dass fr alle t, t

[0, 1]
mit |t t

| < gilt: |c(t) c(t

)| < 1. Damit ist insbesondere c(t

) c(t) und
(c(t

)/c(t)) ist deniert. Sei nun N Nmit


1
N
< . Wir denieren c durch:
c(t) =
_
c(t)/c
_
N 1
N
t
__
+
_
c
_
N 1
N
t
_
/c
_
N 2
N
t
__
+ +
_
c
_
1
N
t
_
/c(0)
_
.
c ist stetig, ( c)(t) = c(t) und c(0) = (1) N = 0 N = 0.
Ist c

ein zweiter Weg in R mit den geforderten Eigenschaften, so ist c


c

: [0, 1] R stetig und ( c c

) = c/c = 1. Daher ist c c

eine stetige
Abbildung von [0, 1] nach Z und wegen 0.15 konstant. Da c(0) c

(0) = 0 ist,
ist also c c

= 0 und damit c = c.
Jeder Weg in S
1
mit Anfangspunkt 1 lsst sich also auf genau eine Weise zu
einem Weg in R mit Anfangswert 0 anheben. Wenn c(1) = 1 ist, dann ist
Version vom: 26. September 2007
22 1 Die Fundamentalgruppe
c(1) eine ganze Zahl und diese ganze Zahl ist nach dem Lemma eindeutig
bestimmt.
Das folgende Lemma sagt nun, dass sich jede Homotopie von Wegen in
S
1
rel {0, 1} auf genau eine Weise zu einer Homotopie rel {0, 1} der angehobe-
nen Wege hochheben lsst. Insbesondere hngt der Endpunkt des hochge-
hobenen Weges nur von der Homotopieklasse rel {0, 1} des ursprnglichen
Weges ab. Der Beweis dieses Lemmas ist analog zum eben durchgefhrten;
er ndet sich beispielsweise in [May89, Hilfssatz II.3.3, S. 84].
Lemma 1.18. c, d: [0, 1] S
1
seien Wege mit c(0) = d(0) = 1 und c d rel {0, 1}
vermge einer Homotopie H: [0, 1][0, 1] S
1
. Danngibt es genaueine Abbildung

H: [0, 1] [0, 1] R mit



H = H und

H ist eine Homotopie rel {0, 1} von c
nach

d.
Endlich knnen wir die Fundamentalgruppe des Kreises bestimmen:
Beweis (von Satz 1.16). Wir geben einen Isomorphismus :
1
(S
1
, 1) Z an:
([c]) = c(1). Diese Abbildung ist nach den beiden Lemmata wohldeniert.
Wir zeigen, dass sie ein Homomorphismus ist, der surjektiv und injektiv ist.
ist ein Homomorphismus: Es seien c, d geschlossene Wege in S
1
mit An-
fangspunkt 1. Dann ist:

c d = c ( c(1) +

d), (1.1)
denn

c d = c d und c ( c(1) +

d) = c d. Die letzte Gleichheit sieht
man dabei folgendermaen: Fr alle t [0, 1] gilt:
c ( c(1) +

d)(t) =
_
( c(2t)) = c(2t), t [0,
1
2
],
( c(1) +

d(2t 1)), t [
1
2
, 1].
Fr t [
1
2
, 1] ist aber ( c(1) +

d(2t 1)) = 1 (

d(2t 1)) = d(2t 1). Daher
gilt (1.1), da die Anhebung eindeutig ist nach den Lemmata. Somit folgt:

c d(1) = c(1) +

d(1) und schlielich:
([c][d]) = ([c]) + ([d]).
ist surjektiv: Fr m Z denieren wir c
m
: [0, 1] S
1
durch c
m
(t) = (mt).
Dann ist oenbar ([c
m
]) = c
m
(1) = m und somit surjektiv.
ist injektiv: Wir zeigen, dass der Kern von trivial ist: Es sei dazu c ein
geschlossener Weg in S
1
mit Anfangspunkt 1 und ([c]) = c(1) = 0. Dann
ist c ein geschlossener Weg in R, c(0) = c(1) = 0. In R ist c homotop zum
konstanten Weg 0 rel {0, 1} vermge der Homotopie H(t, s) = (1 s) c(t).
Dann ist H eine Homotopie rel {0, 1} von c zum kontanten Weg
1
und
[c] = [
1
].
ist also ein Isomorphismus.
Version vom: 26. September 2007
1.2 Die Fundamentalgruppe des Kreises 23
1.2.2 Die Umlaufzahl
Eine ntzliche Anwendung des obigen Satzes und seines Beweises, ist die
Denition der Umlaufzahl. Diese Invariante ordnet jeder geschlossenen Kur-
ve c in C und jedem Punkt a C der nicht auf c liegt, eine ganze Zahl, die
Umlaufzahl Uml(c, a) zu, die anschaulich zhlt, wie oft die Kurve den Punkt
a in positiver Richtung umluft (s. Abb. 1.9).
a
c
c(0) = c(1)
Uml(c, a) = 2
a
c
c(0) = c(1)
a
c
c(0) = c(1)
Uml(c, a) = 1 Uml(c, a) = 2
Abbildung 1.9. Eine anschauliche Erluterung der Umlaufzahl.
Die exakte Denition sieht ein wenig umstndlich aus:
Satz/Denition 1.19. Seien a C und c ein geschlossener Weg in C\{a}. Die
Umlaufzahl von c um a ist deniert durch
Uml(c, a) :=
h

1
(r
a
)([c]),
wobei :
1
(S
1
, 1) Zder Isomorphismus aus demBeweis zu 1.16 ist, r
a
: C\{a}
S
1
deniert ist durch r
a
(z) =
za
|za|
und
h
:
1
(S
1
, r
a
c(0))
1
(S
1
, 1) der eindeutig
bestimmte Isomorphismus, der durch einen beliebigen Weg h in S
1
von 1 nach
(r
a
c)(0) gegeben wird.
Die Eindeutigkeit des Isomorphismus ist hierbei nicht schwer zu zeigen. Das
Konzept der Umlaufzahl kommt in vielen Bereichen der Mathematik vor,
beispielsweise in der komplexen Analysis. Im folgenden Abschnitt geben
wir eine Anwendung auf einen der wichtigsten Stze der Algebra.
1.2.3 Eine Anwendung
Als interessante Anwendung der Berechnung der Fundamentalgruppe des
Kreises auerhalb der Topologie erhlt man mit Hilfe der Umlaufzahl einen
schnen Beweis fr den Fundamentalsatz der Algebra. Dafr bentigen wir
allerdings zunchst noch einige Fakten zur Umlaufzahl, die wir alle bewei-
sen knnten, wenn wir ein klein wenig mehr Zeit htten. Da dies leider nicht
Version vom: 26. September 2007
24 1 Die Fundamentalgruppe
der Fall ist, verbleiben diese als bungsaufgaben, genauso wie deren Veran-
schaulichung. Letztere ist sicherlich fr das Verstndnis der Aussagen sehr
hilfreich.
Satz 1.20. Seien a C und c, d: [0, 1] C\{a} geschlossene Wege. Ferner sei
H: [0, 1] [0, 1] C\{a} eine Homotopie von c nach d, so dass fr alle s [0, 1]
gilt: H(0, s) = H(1, s) (d.h. H
s
ist ein geschlossener Weg). Dann gilt:
Uml(c, a) = Uml(d, a).

Als bung!
Beweis. | Siehe [May89, Satz II.3.8]. |

Satz 1.21 (von Rouch). Sei a C und seien c, d: [0, 1] C\{a} geschlossene
Wege. Wenn fr alle t [0, 1] gilt, dass
|c(t) d(t)| < |c(t) a|,
so ist
Uml(c, a) = Uml(d, a).

Als bung!
Beweis. | Eine Veranschaulichung der Aussage dieses Satzes ist in Abb.
1.10 zu sehen. Zum Beweis (aus [May89, S. 85]) benutzen wir den vorigen
Satz 1.20, indem wir eine Homotopie H von c nach d angeben:
H(s, t) = (1 t)c(s) + td(s).
Damit gilt:
|H(s, t) a| = |(1 t)c(s)td(s) a|
= |c(s) a t(c(s) d(s))|
|c(s) a| t|c(s) d(s)| > 0,
also: H(I I) C\{a}. |
c
d
a
c(t)
d(t)
Abbildung 1.10. Zum Satz von Rouch.

Satz 1.22. Sei f : D


2
C eine stetige Abbildung und c: [0, 1] C der Weg mit
c(t) = f (e
2it
). Ferner sei a C\c([0, 1]) ein Punkt, der nicht auf dem Weg liegt. Es
gilt:
Uml(c, a) 0 a f (D
2
).
Version vom: 26. September 2007
1.3 berlagerungen und Liftungen 25

Als bung!
Beweis. | (Siehe [May89, S. 86].) Ist a f (D
2
), so ist H: [0, 1] [0, 1] C\{a},
H(t, s) = f (s e
2it
) eine Homotopie von c zur konstanten Abbildung. Fr alle
s [0, 1] ist H(0, s) = H(1, s). Mit Satz 1.20 folgt: Uml(c, a) = 0. |
Mit den obigen Hilfsstzen knnen wir schlielich den angekndigten Satz
beweisen:
Satz 1.23 (Fundamentalsatz der Algebra). In C besitzt jedes Polynom
p(z) = z
k
+ a
k1
z
k1
+ + a
1
z + a
0
mit a
0
, . . . , a
k1
C und 1 k Neine Nullstelle.
Beweis. Siehe [vBL06, Tr 22] fr eine Animation, die diesen Beweis veran-
schaulicht. Fr z 0 gilt:
|z
k
p(z)| = |a
k1
z
k1
+ + a
0
| = |z
k
|

a
k1
z
+
a
k2
z
2
+ +
a
0
z
k

.
Fr ein r > |a
k1
| + + |a
0
| + 1 denieren wir den Weg c: [0, 1] C durch
c(t) = r e
2it
. Dann gilt:
|c(t)
k
p(c(t))| < |c(t)
k
| fr alle t [0, 1].
Nach dem Satz von Rouch gilt demnach: Uml(p c, 0) = Uml(c
k
, 0), aber
Uml(c
k
, 0) = k 0. Daher knnen wenden wir Satz 1.22 auf die Abbildung
f : D
2
C, f (z) = p(rz) anwenden und erhalten, da demnach 0 f (D
2
),
schlielich ein a D
2
mit f (a) = 0. Dann gibt es aber ein b C mit |b| r und
p(b) = 0.
1.3 berlagerungen und Liftungen
4. Vorlesung:
9. Mai 07
Ohne es explizit zu erwhnen, haben wir bereits bei der Berechnung der Fun-
damentalgruppe des Kreises berlagerungen benutzt. Wir geben in diesem
Abschnitt nun eine allgemeine Darstellung dieses Konzeptes, das uns viele
Berechnungen von Fundamentalgruppen stark vereinfachen wird.
Denition 1.24. Seien X, Y topologische Rume. Eine stetige Abbildung p: Y X
heit berlagerung von X, wenn jeder Punkt x X eine oene Umgebung N X
besitzt, so dass p
1
(N) disjunkte Vereinigung von oenen Mengen ist, die vermge
p homomorph auf N abgebildet werden. N X heit berlagerungsumgebung.
Fr x X heit das Urbild p
1
(x) Faser von x. Da eine berlagerung insbesondere
surjektiv ist, ist keine Faser leer.
Version vom: 26. September 2007
26 1 Die Fundamentalgruppe
Beispiel/Denition 1.25. 1. Eine berlagerung des Kreises S
1
durch R (sie-
he Abb. 1.11, links):
R S
1
, t (cos t, sint).
2. Eine berlagerung mit Y = XT, T diskret, heit triviale berlagerung
(siehe Abb. 1.11, rechts).
R
S
1
p
x
N
S
1
S
1
{1, 2, 3}
Abbildung 1.11. berlagerung des Kreises S
1
durch R (links) und eine triviale ber-
lagerung (rechts).
3. C

, z z
n
.

Denition 1.26. Ein Isomorphismus zwischen zwei berlagerungen (auch:


berlagerungsisomorphismus) Y
p
X, Y

X ist ein kommutatives Diagramm


Y

X
wobei ein Homomorphismus ist.
Ist p
1
(x) endlich, dann heit #p
1
(x) die Bltterzahl. Fr zusammenhnges X ist
die Bltterzahl oenbar wohldeniert (Abb. 1.12).
Beispiel 1.27. Fr eine berlagerungsumgebung N X ist p
1
(N) N zu
einer trivialen berlagerung isomorph.
Version vom: 26. September 2007
1.3 berlagerungen und Liftungen 27
S
1
S
1
{1, 2, 3}
Abbildung 1.12. Eine berlagerung mit Bltterzahl 3.
Denition 1.28. Sei p: Y X eine berlagerung und f : Z X eine stetige
Abbildung. Eine Liftung (auch: Hochhebung) von f ist eine stetige Abbildung

f : Z Y, so dass das Diagramm


Y
p

X
kommutiert.
Unter gewissen Voraussetzungen knnen wir die Eindeutigkeit solcher Lif-
tungen beweisen und manchmal auch deren Existenz. Damit beschftigt sich
der Rest dieses Abschnittes.
Satz 1.29 (Eindeutigkeit der Liftung). Seien p: Y X eine berlagerung und
f : Z X eine stetige Abbildung mit einem zusammenhngenden Raum Z. Seien
ferner

f
1
,

f
2
: Z Y Liftungen. Dann gilt:

f
1
(z
0
) =

f
2
(z
0
) fr einen Punkt z
0
Z

f
1
(z) =

f
2
(z) z Z.
Beweis. Wir zeigen, dass die Mengen
M
=
:=
_
z Z |

f
1
(z) =

f
2
(z)
_
und M

:=
_
z Z |

f
1
(z)

f
2
(z)
_
beide oen sind. Dann folgt die Behauptung, da Z zusammenhngend und
die erste Menge nicht leer ist.
Sei nun z Z und sei W eine berlagerungsumgebung von x = f (z) X.
Mit

W
i
bezeichnen wir das Blatt ber W, das

f
i
(z) enthlt, i = 1, 2. Dann ist
U :=

f
1
1
(

W
1
)

f
1
2
(

W
2
) Z eine oene Umgebung von z in Z.
Version vom: 26. September 2007
28 1 Die Fundamentalgruppe
Ist nun z M
=
, dann gilt

W
1
=

W
2
nach Denition einer berlagerung und
daher

f
1
(z) =

f
2
(z) z U. Ist andererseits z M

, so gilt nach Denition


einer berlagerung nun

W
1


W
2
= und daher

f
1
(z)

f
2
(z) z U.
In beiden Fllen haben wir also eine oene Umgebung von z Z gefunden,
die entweder ganz in M
=
oder ganz in M

enthalten ist. Somit sind beide


Mengen oen.
Beispiel 1.30. Es ist nicht schwer, ein Beispiel fr eine nicht eindeutige Lif-
tung anzugeben. | Wir betrachten das Diagramm
Als bung!
]0, 1[]2, 3[
]0, 1[]2, 3[
p
1
: (x, a) x
]0, 1[]2, 3[
g, h
]0, 1[]2, 3[

i : x x
Die Abbildungen g und h mit
g(x) =
_
(x, 0), falls x ]0, 1[,
(x, 0), falls x ]2, 3[,
h(x) =
_
(x, 0), falls x ]0, 1[,
(x, 1), falls x ]2, 3[,
sind verschiedene Liftungen von i, obwohl sie in einem Punkt bereinstim-
men: g(
1
2
) = h(
1
2
). |
Hug ist das folgende Lemma hilfreich (das in vielen Fllen bereits in der
Analysis bewiesen wird). Wir werden es verwenden, um die Existenz gewis-
ser Liftungen zeigen zu knnen.
Lemma 1.31 (von Lebesgue). Gegeben sei eine oene berdeckung eines kompak-
ten metrischen Raumes K. Dann gibt es ein > 0, so dass jede Teilmenge von K,
die vom Durchmesser kleiner als ist, enthalten ist in einer der Mengen der oenen
berdeckung.

Als bung!
Beweis. | Falls nicht, gibt es fr jede ganze Zahl n Z eine Teilmenge A
n
von K mit Durchmesser kleiner als
1
n
und nicht enthalten in einer oenen
Menge der berdeckung. Da K kompakt ist, gibt es einen Punkt P, so dass
jede Umgebung von P die Menge A
n
trit fr unendlich viele n. Sei U eine
oene Menge der berdeckung, die P beinhaltet, und sei r > 0, so dass

B
r
(P) U. Es gibt unendlich viele n mit
1
n
<
r
2
, so dass A
n

B
r/2
(P) . Aber
A
n
U, ein Widerspruch. |
Satz 1.32 (Pfadliftung). Sei p: Y X eine berlagerung, und : [a, b] X
ein Weg. Sei y Y ein Punkt mit p(y) = (a). Dann existiert genau eine Liftung
: [a, b] Y mit (a) = y:
Version vom: 26. September 2007
1.3 berlagerungen und Liftungen 29
Y

y = (a)

[a, b]

X
(a)
Beweis. Die Eindeutigkeit folgt direkt aus Satz 1.29. Um die Existenz ein-
zusehen, betrachten wir die berdeckung {U
i
| U
i
berlagerungsumge-
bung von X} und die induzierte berdeckung {
1
(U
i
)}
iI
des kompakten
Intervalls [a, b]. Nach dem Lemma von Lebesgue existiert eine Unterteilung
a = t
0
< t
1
< . . . < t
n
= b, so dass [t
j
, t
j+1
]
1
(U
j
) fr ein (von i abh.) j.
Vermge der lokalen Umkehrung von p|

U
0
:

U
0
U
0
, wobei

U
0
y, lsst
sich |
[t
0
,t
1
]
X zu : [t
0
, t
1
]

U
0
liften mit (t
0
) = y; (t
1
) = y
1
. Analog
lsst sich
[t
1
,t
2
]
liften. Sukzessive erhalten wir Liftungen : [t
i
, t
i+1
] Y und
schlielich : [a, b] Y.
Satz 1.33 (Homotopieliftung). Sei p: Y X eine berlagerung. Sei H: [0, 1]
[a, b] X eine Homotopie von Wegen. Sei
0
(t) = H(0, t) der Ausgangsweg und

0
eine Liftung von
0
. Dann gibt es genau eine Liftung

H: [0, 1] [a, b] Y
mit p

H = H und

H(0, t) =
0
(t).

Als bung!
Beweis. | Analog zum Beweis der Pfadliftung. Nach dem Lemma von
Lebesgue existiert eine Unterteilung in Rechtecke, so dass jedes H(Rechteck)
in einer berlagerungsumgebung liegt. Wir liften sukzessive. Die Stetigkeit
von

H ergibt sich aus der Eindeutigkeit. |
Korollar 1.34. Sei p: Y X eine berlagerung und y
0
Y ein Basispunkt.
Wir setzen x
0
= p(y
0
). Dann ist der Gruppenhomomorphismus p

:
1
(Y, y
0
)

1
(X, x
0
) injektiv.
Beweis. Sei (Y, y
0
) ein geschlossener Weg in Y. Angenommen p
x
0
.
Dannmssenwir zeigen, dass schon
y
0
gilt. Sei dazuH: [0, 1][0, 1] X
eine Homotopie zwischen p und
x
0
. Sei

H eine Liftung mit

H(0, t) = (t).
Dannist

Heine Homotopie zwischenund
y
0
, da

H(1, t) = y
0
undp

H(1, t) =
x
0
.
Satz 1.35 (Eindeutigkeit des Endpunktes). Sei p: Y X eine berlagerung.
Seien ferner , : [0, 1] X Wege mit gleichemAnfangspunkt x
0
und Endpunkt x
1
.
Sei y
0
p
1
(x
0
). Notwendig und hinreichend dafr, dass die Endpunkte (1),

(1)
zweier Liftungen, die den gleichen Anfangspunkt y
0
haben, bereinstimmen, ist:
[
1
] p

1
(Y, y
0
)
1
(X, x
0
).
Version vom: 26. September 2007
30 1 Die Fundamentalgruppe
Beweis. Die Notwendigkeit ist einfach. Ist nmlich (1) =

(1), dann ist [

1
]
1
(Y, y
0
) und daher:
p

1
] = [
1
] p

1
(Y, y
0
).
| Umgekehrt gilt:
1
p

fr einen geschlossenen Weg vermge


Als bung!
einer Homotopie H. Dann liefert Homotopieliftung ein

H: [0, 1] [0, 1] Y
mit

H(0, .) = . Die Eindeutigkeit dieser Liftung ergibt:

H(1, .) =

1
,
insbesondere:

H
_
1
2
,
1
2
_
= (1) =

(1).
|
Wir haben jetzt alle grundlegenden Eigenschaften von berlagerungen und
Liftungen insbesondere deren Eindeutigkeit und die Existenz von Pfad
und HomotopieLiftungen bewiesen, so dass wir diese Konzepte im fol-
genden Abschnitt anwenden knnen.
1.4 Decktransformationen und Universelle berlagerung
5. Vorlesung:
16. Mai 07
Viele berlagerungen entstehen aus Quotientenbildung nach einer Gruppen-
operation. Da diese im weiteren Verlauf eine wichtige Rolle spielen, fhren
wir zunchst kurz in dieses Konzept ein, bevor wir es danach auf Decktrans-
formationen anwenden, um einige weitere Fundamentalgruppen berechnen
zu knnen.
1.4.1 Gruppenoperationen
Denition 1.36. Sei G eine Gruppe mit neutralem Element e und sei Y ein topolo-
gischer Raum. Eine Operation von G auf Y ist eine Abbildung
G Y Y, (g, y) g.y
mit den folgenden Eigenschaften:
1. g.(h.y) = (gh).y g, h G, y Y,
2. e.y = y y Y,
3. Y Y, y g.y ist stetig g G.
Bemerkung 1.37. Dann ist also Y Y, y g.y ein Homomorphismus, denn
y g
1
.y ist die stetige Umkehrabbildung, da g
1
(g.y) = (g
1
g).y = e.y = y.
Version vom: 26. September 2007
1.4 Decktransformationen und Universelle berlagerung 31
Denition 1.38. Die Menge
G.y := {g.y | g G}
heit Orbit oder Bahn von y unter G. Die Menge der Orbiten (oder Bahnen)
bezeichnen wir mit X := Y/G.
Die natrliche Quotientenabbildung p: Y Y/G ist stetig, wenn wir Y/G die
Quotiententopologie geben, d.h.:
V Y/G oen : p
1
(V) Y oen .
Satz 1.39. Sei G Y Y eine Operation auf einem topologischen Raum Y.
p: Y Y/G ist eine berlagerung genau dann, wenn jeder Punkt y Y eine
oene Umgebung V besitzt, so dass g.V V = g G\{e}.
Beweis. Sei zunchst g.V V = g e und sei N := p(V). Dann gilt:
p
1
(N) =

_
gG
g.V
ist oen als Vereinigung oener Mengen (die Vereinigung ist disjunkt, da aus
der Voraussetzung folgt, dass g.V g

.V = , falls g g

). Also: N ist oen in


X = Y/G und N ist eine berlagerungsumgebung von x := G.y (= p(y)).
Umgekehrt sei Y Y/G eine berlagerung. Zu y Y betrachten wir eine
berlagerungsumgebung N von p(y) = x. Sei V p
1
(N) eine Komponente
mit y V. Dann gilt:
p
1
(N) =
_
gG
g.V
und g.V V = fr g e, da V N bijektiv ist (und also G.y G.y

= fr
y y

V und damit G.y g.y y

= e.y

G.y

).
Dies motiviert die folgende Begrisbildung:
Denition 1.40. Eine Gruppenoperation G Y Y heit lokal einfach (auch:
eigentlich diskontinuierlich), wenn jeder Punkt y Y eine oene Umgebung V
besitzt mit V g.V = g G\{e}.
Denition 1.41. Eine Operation einer Gruppe G auf einem topologischen Raum X
heit treu, wenn aus g.x = x x X folgt: g = e. Sie heit frei oder xpunktfrei,
wenn schon aus g.x = x fr ein x X folgt: g = e (d.h. fr e g G hat der
Homomorphismus X X, x g.x keinen Fixpunkt).
Bemerkung 1.42. 1. Eine lokal einfache Operation ist insbesondere frei, denn: |
Als bung! fr jedes y Y und e g G folgt: y g.y |.

Version vom: 26. September 2007


32 1 Die Fundamentalgruppe
2. Der Beweis von Satz 1.39 zeigt, dass die Bltterzahl der berlagerung, die aus
der lokal einfachen Operation einer Gruppe G entsteht, gerade die Mchtigkeit
|G| dieser Gruppe ist.
Beispiel/Denition 1.43. 1. Z Roperiert durch Translation: (n, x) x+n.
Zu x R ist V =]x , x + [,
1
2
, eine Umgebung, die zeigt, dass die
Operation lokal einfach ist. Es gilt:
R/Z S
1
vermge x (cos 2x, sin2x).
2.
n
:= Gruppe der n-ten Einheitswurzeln in C

.
n
operiert auf C

lokal
einfach durch Multiplikation. Es gilt:
C

/
n
C

.
Die Quotientenabbildung ist: C

, z z
n
.
3. G = ({1}, ) operiert lokal einfach auf S
n
. Der projektive Raum ist:
P
n
R
:= S
n
/{1} = { Menge der Ursprungsgeraden imR
n+1
}.
Speziell: S
2
P
2
R
. Wir knnen das Mbiusband als Teilmenge des P
2
R
erkennen mit: P
2
R
= Mbiusband Kreisscheibe. Das Mbiusband ist
hierbei der topologische Raum, der entsteht, indem wir zwei gegenber-
liegende Seiten des kompakten Einheitsquadrates entsprechend der Ab-
bildung 1.13 identizieren.
Das Einheitsquadrat. Das Mbiusband. Die Sphre S
2
.
Abbildung 1.13. Das Mbiusband als Bilddes Einheitsquadrats und als Teil des P
2
(R)
unter der berlagerung S
2
P
2
(R).
4. R
2
/Z
2
S
1
S
1
, der sogenannte Torus. Die Abbildung 1.14 zeigt hier-
bei nur eines der Gitterquadrate der Ebene, deren Projektion zum Torus
identiziert werden kann (jeweils gegenberliegende Seiten verkleben).
5. Die Operation auf R
2
, erzeugt von
: (x, y) (x + 1, y) und : (x, y) (x, y + 1)
Version vom: 26. September 2007
1.4 Decktransformationen und Universelle berlagerung 33
Abbildung 1.14. Der Torus als Bild des Einheitsquadrats.
ist lokal einfach. R
2
/, ist kompakt, und zwar das Bild des Einheits-
quadrates, bei demgegenberliegende Seiten wie in Abb. 1.15 angegeben
verklebt werden. Der Quotient ist die Kleinsche Flasche, eine Vereini-
gung zweier Mbiusbnder (siehe [vBL06]).
Abbildung 1.15. Die Kleinsche Flasche als Bild des Einheitsquadrats. Die drei
dimensionale Veranschaulichung ist ein Standbild aus dem Film [vBL06, Tr 11].

1.4.2 Decktransformationen
Denition 1.44. Sei p: Y X eine berlagerung. Eine Decktransformation
(auch: Deckbewegung) ist ein Homomorphismus : Y Y, so dass das Dia-
gramm
Y

Y
p

X
kommutiert. Deck(Y/X) := { : Y Y | Decktransformation } bezeichnet die
Gruppe der Decktransformationen (bzgl. Hintereinanderausfhrung).
Beispiel 1.45. Wir betrachten wieder die berlagerung
R S
1
, t (cos t, sint).
Version vom: 26. September 2007
34 1 Die Fundamentalgruppe
Die Decktransformationen sind dann oenbar genau die Verschiebungen

k
: R R um Vielfache k Zvon 2:
k
(x) = k 2 + x.
Satz 1.46. Sei p: Y X = Y/G eine berlagerung, die aus einer lokal einfachen
Gruppenoperation entsteht, und sei Y (also auch X) zusammenhngend. Dann ist
die natrliche Abbildung
G Deck(Y/X), g (: Y Y, (y) = g.y)
ein Isomorphismus von Gruppen, also:
G Deck(Y / (Y/G)).
Beweis. Um die Surjektivitt zu zeigen seien y
0
Y ein Punkt und
: Y

Y
p

X
eine beliebige Decktransformation. Wir setzen: (y
0
) =: y
1
Y, p(y
0
) =
p(y
1
) =: x
0
X. Dann knnen wir als Liftung von p auassen mit
(y
0
) = y
1
p
1
(x
0
). Da p
1
(x
0
) = G.y
0
, g G mit y
1
= g.y
0
, so dass
die natrliche Abbildung G Deck(Y/X) eine zweite Decktransformation
liefert, nmlich

: Y Y,

(y) = g.y, mit

(y
0
) = g.y
0
= y
1
. Wegen
(y
0
) = y
1
=

(y
0
) zeigt die Eindeutigkeit der Liftung (Satz 1.29), dass mit

bereinstimmt. Also ist das Bild von g und G Deck(Y/X) ist surjektiv.
Die Injektivitt ist klar, da die Operation frei ist.
Denition 1.47. Eine Gruppe G operiert transitiv auf einer Menge M, wenn fr
alle m
1
, m
2
ein g G existiert, das m
1
auf m
2
abbildet: g.m
1
= m
2
. Mit anderen
Worten: fr jedes m M gilt G.m = M.
NachDenition vertauscht eine Decktransformation: Y Yhchstens Ele-
mente innerhalb einer Faser p
1
(x). Operiert die Gruppe G der Decktransfor-
mationen aber transitiv auf einer Faser p
1
(x) einer berlagerung p: Y X,
so gilt fr jedes y p
1
(x) in dieser Faser: G.y = p
1
(x).
Satz 1.48. Sei p: Y X eine berlagerung und Y zusammenhngend. Deck(Y/X)
operiert lokal einfach auf Y. Falls Deck(Y/X) transitiv auf einer Faser p
1
(x) operiert,
dann gilt:
X Y/ Deck(Y/X).
Beweis. Um zu zeigen, dass die Operation lokal einfach ist, seien y Y und
N X eine berlagerungsumgebung von x = p(y). Sei V p
1
(N) Y die
Komponente mit y V. Sind ,

Deck(Y/X) Decktransformationen mit


Version vom: 26. September 2007
1.4 Decktransformationen und Universelle berlagerung 35
(V)

(V) , so hat
1

: V

V einen Fixpunkt. | Es gilt nmlich:
Als bung!

(v

) = (v) fr gewisse v, v

V. Da aber, weil und

Decktransforma-
tionen sind, die Gleichungen p((v)) = p(v) und p(

(v

)) = p(v

) erfllt sind,
folgt: p((v)) = p(

(v

)) und somit p(v) = p(v

). Nun ist p|
V
aber injektiv, also:
v = v

. Schlielich folgt somit:


1
(

(v)) = v. |
Die Existenz des Fixpunktes zeigt
1

= id
Y
wegen der Eindeutigkeit der
Liftungen (Satz 1.29), d.h.

= :
Y
p

Y
p

idY

X
Die Operation ist also nach Denition lokal einfach.
Sei nun G := Deck(Y/X). Da G nur Elemente innerhalb der Fasern vertauscht,
faktorisiert die berlagerung p ber:
Y

p

Y/G
p

X
p ist ebenfalls eine berlagerung. Operiert G nun auf einer Faser p
1
(x) tran-
sitiv, so besteht das Urbild p
1
(x) nur aus einem Punkt (da ja alle Urbilder in
einer einzigen GBahn liegen). Da X zusammenhngend ist als Bild des
zusammenhngenden Raumes Y unter einer stetigen Abbildung (Satz 0.18)
ist p also eine einblttrige berlagerung, d.h. ein Homomorphismus.
1.4.3 Lokaler Wegzusammenhang
Denition 1.49. Ein topologischer Raum X heit lokal wegzusammenhngend,
wenn in jeder oenen Umgebung U eines Punktes x eine wegzusammenhngende
oene Umgebung V liegt, x V U.
Bemerkung 1.50. Ein lokal wegzusammenhngender topologischer Raum ist weg-
zusammenhngend genau dann, wenn er zusammenhngend ist.

Als bung!
Beweis. | Die eine Richtung ist klar. Sei also Z ein lokal wegzusammen-
hngender und zusammenhngender Raum. Dann ist die Menge der Punkte
w Z, die sich mit einem festen z Z durch einen Weg verbinden lassen,
zugleich oen und abgeschlossen. |
Ein wegzusammenhngender Raum ist nicht notwendig lokal wegzusam-
menhngend:
Version vom: 26. September 2007
36 1 Die Fundamentalgruppe
Beispiel 1.51. Sei (siehe Abb. 1.16)
X = {(0, 1) + t(x, 1) R
2
| 0 t 1, x = 0 oder x =
1
n
, n = 1, 2, . . .} R
2
.
Dieser Unterraum von R
2
ist wegzusammenhngend, aber nicht lokal weg-
zusammenhngend: Mit der Notation
B
n
r
(p) := {x R
n
| x p r} R
n
enthlt beispielsweise nmlich die Umgebung

B
2
1
2
((0, 0) Xkeine zusammen-
hngende oene Umgebung von (0, 0) in X.
(0, 1) + t(1, 1)
(0, 1) + t(
1
3
, 1)
1
4
1
3
1
2
1
(0, 1) + t(
1
2
, 1)
1
(0, 0)
Abbildung 1.16. Ein wegzusammenhngender nicht lokal wegzusammenhngender
Raum (siehe Beispiel 1.51).
Lokaler Wegzusammenhang ist eine lokale Eigenschaft. Solche werden aber 6. Vorlesung:
23. Mai 07
von berlagerungen respektiert; daher gilt:
Bemerkung 1.52. Sei p: Y X eine berlagerung. Dann gilt: X lokal wegzusam-
menhngend Y lokal wegzusammenhngend.

Als bung!
Beweis. | Wir zeigen hier nur die Rckrichtung, die andere ist hnlich zu
beweisen. Sei also x X und V X eine oene Umgebung von x. Ferner sei
N V eine berlagerungsumgebung von x. Sei y p
1
(x) und Z die Kom-
ponente von p
1
(N), die y enthlt. Die Voraussetzung liefert nun: W Z
wegzusammenhngend mit y W. Es gilt: W p(W) x, da p eine berlage-
rung ist. p(W) ist also eine wegzusammenhngende oene Umgebung von x
mit p(W) V. |
Wir werden diese Bemerkung in der Formulierung folgender Stze stndig
implizit verwenden. Oft fordern wir nmlich den lokalen Wegzusammen-
hang eines Raumes X, der durch Y berlagert wird, da wir auf die Existenz
einer sogenannten universellen berlagerung fr ein gegebenes X hinarbei-
ten. Wegen der Bemerkung ist dann natrlich auch Y lokal wegzusammen-
hngend, auch wenn wir es nicht explizit fordern.
Version vom: 26. September 2007
1.4 Decktransformationen und Universelle berlagerung 37
Satz 1.53. Sei p: Y X eine berlagerung und sei f : Z X stetig mit Z zu-
sammenhngend und lokal wegzusammenhngend. Sei x X, y Y, z Z mit
f (z) = x = p(y). Es existiert eine Liftung

f : Z Y mit

f (z) = y genau dann, wenn
f

(
1
(Z, z)) p

(
1
(Y, y)).
Also:
Y
p

1
(Y, y)

_
p

1
(Z, z)


1
(X, x)
Wenn die Liftung existiert, ist sie eindeutig.
Beweis. Die Notwendigkeit ist klar, da f

= p

. Die Eindeutigkeit folgt aus


der Eindeutigkeit der Liftung (1.29).
Fr die Umkehrung notieren wir zunchst, dass mit der obigen Bemerkung
Z wegzusammenhngend ist. Seien nun w, z Z. Um

f (w) zu denieren,
whlenwir einen Weg von z nach wund betrachtendenWeg f in X. Dann
sei

f (w) der Endpunkt des eindeutigen Weges, den wir durch Pfadliftung von
f mit Anfangspunkt y erhalten. Wir mssen zeigen, dass

f (w) unabhngig
von der Wahl von ist. | Sei dazu

ein weiterer Weg von z nach w. Dann


Als bung! ist


1
ein geschlossener Weg und [ f (


1
)] ist nach Voraussetzung
im Bild p

(
1
(Y, y)). Nach Satz 1.35 ber die Eindeutigkeit des Endpunktes
ist der Endpunkt unabhngig von der Wahl des Weges. Also haben wir eine
wohldenierte Abbildung
Y
p

X
|
Es bleibt noch zu zeigen, dass

f stetig ist. | Dazu betrachten wir eine
Als bung! berlagerungsumgebung N X von f (w) und eine wegzusammenhngen-
de Umgebung U von w in f
1
(N) Z (diese gibt es, da Z lokal wegzusam-
menhngend ist!). Wir knnen jeden Punkt u U vermge in U mit w und
vermge schlielich mit z verbinden: . Dies geliftet bleibt in der Kom-
ponente V p
1
(N) Y mit

f (w) V, also w U

f
1
(V).

f ist also stetig in
w, da die berlagerungsumgebung N und damit auch die Umgebung V von

f (w) beliebig gewhlt war. |


Korollar 1.54. Seien p: Y X, p

: Y

X berlagerungen mit Y, Y

zusam-
menhngend und X lokal wegzusammenhngend. Seien y Y, y

Punkte
Version vom: 26. September 2007
38 1 Die Fundamentalgruppe
mit p(y) = p

(y

). Genau dann gibt es einen berlagerungsisomorphismus mit


(y) = y

, wenn:
p

(
1
(Y, y)) = p

(
1
(Y

, y

)).
Beweis. Wir wenden Satz 1.53 zweimal an, p und p

vertauschen dabei die


Rollen.
Insbesondere sind dann Y und Y

homomorph! Wir haben also eben


ein algebraisches Kriterium bewiesen, mit dem wir nicht nur die Nicht
Homomorphie, sondern sogar die Homomorphie zweier topologischer
Rume nachweisen knnen.
Denition 1.55. Eine Untergruppe U einer Gruppe G heit Normalteiler oder
normale Untergruppe, falls gilt:
u U, g G : g
1
ug U.
quivalent dazu sind: g G : g
1
Ug U und auch g G : g
1
Ug = U.
Die Menge G/U ist dann eine Gruppe.
Satz 1.56. Seien p: Y X eine berlagerung, Y zusammenhngend und X lo-
kal wegzusammenhngend, y Y und x = p(y). Ist p

(
1
(Y, y))
1
(X, x) ein
Normalteiler, dann gibt es einen kanonischen Isomorphismus

1
(X, x)/p

(
1
(Y, y)) Deck(Y/X).
Ferner gilt: X Y/G mit G = Deck(Y/X).
Beweis. Wir wollen eine Operation

1
(X, x) Y Y, ([], z) [].z Y,
erklren. Sei dazu z Y. Wir whlen einen Weg von y nach z. Ist []

1
(X, x), also ein geschlossener Weg, so betrachten wir den Weg (p )
in X. Pfadliftung liefert einen Weg
Y

[0, 1]

(p)

X
mit Anfangspunkt (0) = y und Endpunkt (1) = w Y. Wir haben also einen
Punkt w = w(, ) Y deniert. Homotopieliftung zeigt, dass w nur von der
Homotopieklasse [] abhngt, dass also w = w([], ). Um die gewnschte
Operation zu bekommen, bleibt zu zeigen, dass w nicht von der Wahl des
Weges von y nach z abhngt.
Version vom: 26. September 2007
1.4 Decktransformationen und Universelle berlagerung 39
Ist

ein weiterer Weg, dann sind (p ) und (p

) zwei Wege in X
und nach Satz 1.35 sind die Endpunkte der Liftung gleich genau dann, wenn:
[ (p

) ( (p ))
1
] p

1
(Y, y).
Dies zeigen wir folgendermaen. Es gilt: [ (p

) ( (p ))
1
] = [ (p

) (p )
1

1
] = [] p


1
] [
1
]. Da aber [


1
]
1
(Y, y), ist
genau dann das konjugierte Element [] p


1
] [
1
] p

(
1
(Y, y)) []
und ,

, wenn p

(
1
(Y, y)) ein Normalteiler ist.
Insgesamt haben wir somit bewiesen: w(, ) hngt nur von [] und z ab. Dies
gibt uns eine Operation

1
(X, x) Y Y, ([], z) [].z := w(, ).
Ein Element []
1
(X, x) operiert nach Denition von p

und von w genau


dann trivial, wenn [] p

(
1
(Y, y)). Also erhalten wir einen injektiven Grup-
penhomomorphismus der Quotientengruppe G :=
1
(X, x)/p

(
1
(Y, y)) nach
Deck(Y/X):
G Deck(Y/X).
Die Abbildung ist surjektiv, da Y wegzusammenhngend ist: Sei nmlich
Deck(Y/X). Das Bild eines Weges von y nach y

:= (y) p
1
(x) ist dann
geschlossen in X und das entsprechende Element erfllt [].y = y

= (y).
Wie im Beweis zu Satz 1.46 folgt nun wegen der Eindeutigkeit der Liftung,
dass dies schon festlegt.
1
Dies zeigt auch, dass Deck(Y/X) transitiv auf den Fasern p
1
(x) operiert. Es
gilt also:
X Y/ Deck(Y/X)
nach Satz 1.48.
Der obige Beweis hat gezeigt:
Korollar 1.57. Seien p: Y X eine berlagerung, Y zusammenhngend und X
lokal wegzusammenhngend, y Y und x = p(y). Deck(Y/X) operiert transitiv auf
den Fasern p
1
(x), x X, genau dann, wenn p

(
1
(Y, y))
1
(X, x) ein Normaltei-
ler ist.
Denition 1.58. Ein topologischer Raum X heit einfach zusammenhngend,
falls er wegzusammenhngend ist und
1
(X) = 1 gilt.
1
Alternativ htten wir auch sehen knnen, dass G lokal einfach operiert, da G
vermge des injektiven Gruppenhomomorphismus isomorph zu einer Untergruppe
von Deck(Y/X) ist. Dann Satz 1.46 anwenden.
Version vom: 26. September 2007
40 1 Die Fundamentalgruppe
Korollar 1.59. Sei p: Y X eine berlagerung mit Y einfach zusammenhngend
und X lokal wegzusammenhngend. Dann gilt:

1
(X, x) Deck(Y/X).
Beweis. Klar mit Satz 1.56, da
1
(Y, y) = {e} ein Normalteiler ist.
Mit Hilfe dieses Resultats knnen wir nun endlich einige Fundamentalgrup-
pen ohne groen Aufwand berechnen:
Beispiel 1.60. 1. Wie wir schon in Abschnitt 1.2 auf lngliche Weise gezeigt
haben, gilt mit Beispiel 1.45:

1
(S
1
, 1) Deck(R/S
1
) Z.
2. Die Fundamentalgruppe der reellen projektiven Ebene P
2
R
= S
2
/{1} ist:

1
(P
2
R
, 1) Deck(S
2
/P
2
R
) {1} Z/2Z,
da S
2
einfach zusammenhngend ist (dies ist zwar intuitiv einleuchtend,
der Beweis steht allerdings noch aus) und da mit Satz 1.46 gilt: {1}
Deck(S
2
/ (S
2
/{1}) ).
Intuitiv knnen wir uns die Tatsache, dass es bis auf Homotopie genau
einen nichtkonstanten Weg in P
2
R
gibt, folgendermaen veranschauli-
chen: Der Weg in Abb. 1.17, der ein geschlossener Weg mit Anfangs
und Endpunkt P P
2
R
ist, lsst sich nicht zusammenziehen. Im Gegen-
satz zum Einheitskreis ist der Weg , der zwei Mal herumgeht, hier
aber oenbar zusammenziehbar, da =
1
und somit:
P
.
P
P

Abbildung 1.17.
1
(P
2
R
, 1) Z/2Z anschaulich: ist ein geschlossener Weg mit
Anfangs und Endpunkt P P
2
R
, der sich nicht zusammenziehen lsst.

1.4.4 Universelle berlagerung


Denition 1.61. Eine berlagerung p:

X X mit

X einfach zusammenhngend
und lokal wegzusammenhngend heit universelle berlagerung.
Version vom: 26. September 2007
1.4 Decktransformationen und Universelle berlagerung 41
Aus den schon bewiesenen Existenz- und Eindeutigkeitsstzen folgt:
Satz 1.62 (Universelle Eigenschaft der universellen berlagerung). Sei
p:

X X eine universelle berlagerung und p

: Z X eine weitere berlagerung


mit Z zusammenhngend. Dann gibt es nach Wahl eines Basispunktes genau eine
berlagerungsabbildung p:

X Z:

X
p

Z
p

X
, x

x
Es gilt:
1
(Z, z) Deck(

X/Z) und:
Deck(Z/X) Deck(

X/X) / Deck(

X/Z).
Beweis. Eine Veranschaulichungdieses Satzes ist auf [vBL06, Tr 17] zusehen.
Die Existenz folgt direkt aus 1.53, da
1
(

X, x) = 1, also p

(
1
(

X, x)) = 1. Die
Eindeutigkeit folgt aus den Eindeutigkeitsstzen. Aus Korollar 1.59 folgt

1
(Z, z) Deck(

X/Z). Der Rest folgt aus Korollar 1.57.


Denition 1.63. Eine berlagerung Z X heit normal, wenn Z zusammenhn-
gend und Deck(Z/X) transitiv auf den Fasern operiert.
Die universelle Eigenschaft der universellen berlagerung zeigt: 7. Vorlesung:
6. Juni 07
Korollar 1.64 (Universelle berlagerung). X habe eine universelle berlage-
rung p:

X X.
1. Es gilt, dass diese universelle berlagerung nach Wahl eines Basispunktes x
p
1
(x) eindeutig ist vermge eines eindeutigen Isomorphismus.
2. Es gibt Bijektionen:
_
Untergruppen von
Deck(

X/X)
_
1:1

_
berlagerungen Z X
mit Z zusammenhngend
_
H Z =

X/H.
_
Normale Untergruppen von
Deck(

X/X)
_
1:1

_
Normale berlagerungen Z X
mit Z zusammenhngend
_
3. hnlich wie in der Galois-Theorie haben wir eine Entsprechung, bei der kleinere
Untergruppen der Fundamentalgruppe greren berlagerungen des Raumes
entsprechen:
Version vom: 26. September 2007
42 1 Die Fundamentalgruppe

X, x

X/H = Y
H
, y
H


X/K = Y
K
, y
K
X, x
{e} H K G
Eine Untergruppe H von G vom Index [G : H] = d entspricht hierbei einer
berlagerung mit Bltterzahl d.
Sei X zusammenhngend und lokal wegzusammenhngend. Wann besitzt X
eine universelle berlagerung?
Ist p:

X X die bis auf Isomorphie eindeutige universelle berlagerung
und ist N X eine berlagerungsumgebung von x N X, dann liftet
jeder geschlossene Weg in N, also (N, x), zu einem geschlossenen
Weg in

X. Da

X einfach zusammenhngend ist, ist aber homotop zu
x
fr ein x p
1
(x). Also: []. x = x x p
1
(N), d.h. [] liefert die triviale
Decktransformation Deck(

X/X). Das zeigt: p(


x
) =
x
, also: [] =
0.
2
Notwendig fr die Existenz einer universellen berlagerung ist also die
folgende Eigenschaft.
Denition 1.65. X sei zusammenhngend und lokal wegzusammenhngend. X
heit semilokal einfach zusammenhngend, wenn zu jedem Punkt x X und zu
jeder Umgebung U = U(x) des Punktes eine Umgebung N = N(x) U mit x N
existiert, so dass jeder geschlossene Weg in N homotop zu einem konstanten Weg
in X ist.
Wir werden sehen, dass diese Eigenschaft schon hinreichend fr die Existenz
einer universellen berlagerung ist. Zunchst aber zur Abgrenzung dieses
Begries von seinem nahen Verwandten, dem lokal einfachen Zusammen-
hang.
Denition 1.66. Ein zusammenhngender und lokal wegzusammenhngender to-
pologischer Raum X heit lokal einfach zusammenhngend, wenn jeder Punkt
x X eine oene Umgebung U(x) besitzt, die einfach zusammenhngend ist.
Das folgende Beispiel zeigt, dass es semilokal einfach zusammenhngende
Rume gibt, die nicht lokal einfach zusammenhngend sind. Dabei wird
auch klar werden, dass in der Denition 1.65 die Homotopie von in der
Umgebung N zum konstanten Weg nicht unbedingt in N verlaufen muss,
sondern nur in X.
Beispiel 1.67. Wir betrachten (Abb. 1.18, links):
A =

_
n=1
_
(x
1
n
)
2
+ y
2
=
1
n
2
_
R
2
.
Version vom: 26. September 2007
1.4 Decktransformationen und Universelle berlagerung 43
(1, 0)
A
(0, 0)
K
S
P
Abbildung 1.18. Ein nicht semilokal einfach zusammenhngender Raum (A) und
ein semilokal einfacher zusammenhngender Raum (K), der aber nicht lokal einfach
zusammenhngend ist.
Aist oenbar wegzusammenhngendundlokal wegzusammenhngend. Der
Punkt (0, 0) Ahat aber keine oene Umgebung N, in der jeder geschlossene
Weg in N homotop zu einem konstanten Weg ist, da jede oene Umgebung
von (0, 0) einen bzw. sogar unendlich viele Kreise enthlt. A ist also
nicht semilokal einfach zusammenhngend.
Der Kegel K R
3
ber A(Abb. 1.18, rechts) mit Spitze S ist dagegensemilokal
einfach zusammenhngend, aber nicht lokal einfach zusammenhngend.
Satz 1.68 (Existenz einer universellen berlagerung). Sei X zusammenhn-
gend und lokal wegzusammenhngend. X besitzt eine universelle berlagerung
genau dann, wenn X semilokal einfach zusammenhngend ist.
Beweis. Die Notwendigkeit haben wir bereits eingesehen. Zur Existenz sei
X semilokal einfach zusammenhngend. X ist wegzusammenhngend. Sei
x X fest. Wir denieren:

X =
_
[] | : [0, 1] X Weg , (0) = x
_
.
p:

X Xist durch [] (1) deniert. Wir mssen jetzt

Xeine Topologie ge-
ben, so dass p:

X X eine berlagerung und

X einfach zusammenhngend
wird.
Eine Umgebung N X mit z N heie gut, wenn N wegzusammenhngend
ist undwennjeder geschlossene Wegin(N, z) homotopinXzumkonstanten
Weg
z
ist. Fr jeden Weg von x nach z denieren wir eine Umgebung
N
[]
=
_
[ ] | Weg in N mit (0) = z
_


X.
Dann ist N
[]
N bijektiv und auerdem:
2
Umgekehrt folgt aus [] = 0 sofort, dass [] die triviale Decktransformation
Deck(

X/X) ergibt.
Version vom: 26. September 2007
44 1 Die Fundamentalgruppe
1. Ist ein geschlossener Weg in N mit (0) = (1) = z, so gilt: N
[]
= N
[]
.
2. Jedes N

N mit z N

X, oen und wegzusammenhngend, ist


ebenfalls gut und N

[]
N
[]
.
3. ,

seien zwei Weg von x nach z. Dann gilt:


N
[]
= N
[

und N
[]
N
[

]
= , falls [] [

]. Denn:

N
[]
= N
[

]
ist klar
nach Def. von N
[]
. Sei umgekehrt N
[]
N
[

]
. Dann gibt es , mit:
[ ] = [


1
. Nun:
1
ist ein geschlossener Weg in
N und X N ist semilokal einfach zusammenhngend, also
1

z
.


z
[] = [

].
Die Topologie auf

X erklren wir nun wie folgt: U

X ist oen, falls fr
jedes [] U eine gute Umgebung U in X existiert mit N
[]
U. Die Menge
{ U

X | U oen } ist dann in der Tat eine Topologie nach 1. und 2.. Wir
mssen nun zunchst einsehen, dass damit p:

X X zu einer berlagerung
wird. | Die Projektion p|
N
[]
: N
[]
N wird zu einem Homomorphismus
Als bung! nach 1. und 2., wobei die Umkehrabbildung w N auf [ ] abbildet, wobei
ein Pfad in N von (1) nach w ist. Das ist unabhngig von der Wahl von
, da falls

ein weiterer solcher Weg ist und und

in X homotop sind,
so ist homotop zu

. Diese Projektion ist stetig, da fr eine kleinere


Umgebung N

dieses N

in N

[]
abgebildet wird. p
1
(N) ist eine disjunkte
Vereinigung jener oenen Mengen N
[]
, fr die [] eine Homotopie-Klasse
von Pfaden von x zu einem gegebenen Punkt z N ist. |

X ist wegzusammenhngend: Ist nmlich []



X, also ein Weg in X mit
(0) = x, dann liefert
s
mit
s
(t) := (st) wegen der Eindeutigkeit der Liftung
eine Familie : [0, 1]

X, (s) [
s
] mit Anfangspunkt x = [
0
] = [
x
] und
Endpunkt [
1
] = []. ist also ein Pfad in

X von x nach [].

X ist einfach zusammenhngend: Jeder geschlossene Weg in



X, der in x
beginnt, hat die Form fr einen eindeutigen Weg in X. Damit ein
geschlossener Weg ist, muss der die Klasse des Endpunktes reprsentierende
Weg
1
= homotop zum konstanten Pfad
x
sein. Wegen der Liftung der
Homotopien zeigt dies, dass schon homotop zum konstanten Pfad
x
ist.

X
ist also einfach zusammenhngend.
1.5 Der Satz von Seifert van Kampen
Der Satz von Seifert van Kampen ist ein sehr ntzliches Hilfsmittel zur Be-
rechnung von Fundamentalgruppen. Mit seiner Hilfe kann man die Funda-
mentalgruppe eines Raumes berechnen, wenn man die Fundamentalgruppe
Version vom: 26. September 2007
1.5 Der Satz von Seifert van Kampen 45
gewisser Teilrume kennt. Da der Beweis etwas lang und technisch ist, geben
wir zunchst die przise Formulierung und Anwendungen des Satzes, bevor
wir ihn anschlieend allerdings nur unter der Zusatzvoraussetzung, dass
eine universelle berlagerung existiert beweisen.
Satz 1.69 (Seifert van Kampen). Sei X = U V die Vereinigung von zwei
oenen Teilmengen. U, V und UV seien wegzusammenhngend, x UV. Dann
hat die Fundamentalgruppe
1
(X, x) folgende Eigenschaft:

1
(U, x)
j
1

h
1

_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_

1
(U V, x)
i
1

i
2

1
(X, x)
h

1
(V, x)
j
2

h
2

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Fr jedes Paar h
1
:
1
(U, x) G, h
2
:
1
(V, x) G von Gruppenhomomorphismen,
so dass h
1
i
1
= h
2
i
2
existiert genau ein h:
1
(X, x) G, so dass h
i
= h j
i
,
i = 1, 2.
Wie schon oben bemerkt, werden wir diesen Satz nur unter der zustzlichen
Voraussetzung der Existenz einer universellen berlagerungbeweisen. Doch
zunchst einige Anwendungen dieses Satzes.
1.5.1 Anwendungen
Mit Hilfe des Satzes von Seitert van Kampen knnen wir nun endlich
einige der Resultate beweisen, die von Beginn an anschaulich einleuchtend
erschienen. Wir beginnen mit der Fundamentalgruppe der n-Sphren.
Satz 1.70. Es gilt:

1
(S
n
, ) = 0 fr n 2.
Beweis. Um den Satz 1.69 von Seifert van Kampen anwenden zu knnen,
mssen wir geeignete oene Mengen U und V nden mit S
n
= U V. Wir
setzen (s. Abb. 1.19:
U = S
n

_
x
n
>
1
2
_
, V = S
n

_
x
n
<
1
2
_
.
Dann sind U und V homomorph zu einem oenen Ball und UV S
n1

[0, 1]. Die Menge UVist also wegzusammenhngend, da n 2. Sei x UV.


Version vom: 26. September 2007
46 1 Die Fundamentalgruppe
Abbildung 1.19. Die Aufteilung der Sphre in zwei Teilmengen X
1
und X
2
mit S
2
=

X
1

X
2
. Das ganz rechte Bild zeigt deren Schnitt X
1
X
2
.
Da
1
(U, x) =
1
(V, x) = 0, erhaltenwir mit Seifert vanKampen:
1
(S
n
, x) = 0.
Wenn es nmlich ein g
1
(S
n
, x) geben wrde mit g e, dann gbe es
zwei verschiedene h:
1
(S
n
, x)
1
(S
n
, x), einmal die Identitt mit h(g) = g
und den trivialen Gruppenhomomorphismus mit h(g) = e. In beiden Fllen
wre die Voraussetzung fr h trivialerweise erfllt, da U und V ja einfach
zusammehngend sind und daher nur h
1
([
1
]) = h( j
1
(e)) = e = h
2
([
2
]) =
h( j
2
(e)) zu berprfen ist.
Der gleiche Beweis funktioniert auch allgemeiner:
Korollar 1.71. Ist X = UV mit U, V, UV wegzusammenhngend, so gilt: Aus

1
(U, ) = 0,
1
(V, ) = 0 folgt:
1
(X, ) = 0.
Die Voraussetzung U, V, UV zusammenhngend ist wichtig. Beispielsweise
trit sie nicht auf den Ring (ein ausgefllter Torus) zu, wenn er als Vereini-
gung zweier Mengen geschrieben wird, die jeweils zu einer Kreisscheibe
homomorph sind.
Denition 1.72. Sei A eine Menge, genannt Alphabet. Eine formale Potenz der
Form a
k
, a A, k Z heit Silbe, eine endliche Folge von Silben a
k
1
1
a
k
n
n
Wort.
Die Folge mit Lnge 0 heit leeres Wort, geschrieben als e oder 1. Mit W(A)
bezeichnen wir die Menge aller Wrter ber A. Mit der Hintereinanderschreibung
als Produkt wird (W(A), ) zu einer Halbgruppe mit neutralem Element 1.
Zu einer Gruppe wird dies, indem wir den Quotienten F(A) := W(A)/ betrachten,
wobei hierbei zwei Wrter als quivalent angesehen werden, wenn sie durch oen-
sichtliche Verkrzungen ineinander bergehen, genauer: fr U, V W(A), a A,
p, q Z: Ua
0
V UV und Ua
p
a
q
V Ua
p+q
V. Man kann zeigen, dass F(A)
tatschlich eine Gruppe ist, die sogenannte freie Gruppe ber A.
Beispiel 1.73. Die freie Gruppe F({a}) ber einem Buchstaben a ist isomorph
zu den ganzen Zahlen: F({a}) Z.
Version vom: 26. September 2007
1.5 Der Satz von Seifert van Kampen 47
Satz 1.74. Die Fundamentalgruppe der -Figur ist eine freie Gruppe, erzeugt von
zwei Elementen.
Beweis. Wir schreiben = U V mit
1
(U, ) =
1
(V, ) Z, erzeugt von
a = [
1
] bzw. b = [
2
], die jeweils einmal um den jeweiligen Kreis laufen.

2
V U U V
Abbildung 1.20. Die Fundamentalgruppe der -Figur.
Einen Gruppenhomomorphismus
1
(X, x) G anzugeben, ist gleichwertig
damit, zwei Elemente g
1
, g
2
G anzugeben: nach dem Satz 1.69 von Sei-
fert van Kampen gibt es nmlich einen eindeutigen Homomorphimus von

1
(X, x) G, der [
1
] auf g
1
und [
2
] auf g
2
abbildet, da die beidenHomomor-
phismen
1
(U, ) G und
1
(V, ) G durch die Bilder von [
1
] bzw. [
2
]
festgelegt sind. Dadurch ist dann auch das Bild von a
m
0
b
m
1
b
m
r
festgelegt.
Es ist also

1
(, ) = {a
m
0
b
m
1
b
m
r
| r : m
i
Z, m
i
0, auer vielleicht m
0
, m
r
}
die freie Gruppe auf zwei Elementen.
Korollar 1.75. Die Fundamentalgruppe der Vereinigung von n Schleifen ist die freie
Gruppe erzeugt von n Elementen g
1
, . . . , g
n
.
Beispiel 1.76. Sei G ein zusammenhngender Graph.
1. Gist homotop zumGraph G

, wenn dieser durch Zusammenziehen einer


Kante zwischen zwei Ecken entsteht.
2. Wir schreiben: e = Anzahl der Ecken, k = Anzahl der Kanten. Dann gilt:

1
(G, ) = freie Gruppe mit k e + 1 Erzeugern,
da G

, wie oben gesehen, homotop zu einer Vereinigung von k e + 1


Schleifen ist, wie in Korollar 1.75.

Als amsante Folgerung aus der berlagerungstheorie erhaltenwir das nicht-


triviale Resultat, dass eine Untergruppe einer freien Gruppe von endlichem
Index wiederum frei ist:
Version vom: 26. September 2007
48 1 Die Fundamentalgruppe
Satz 1.77. Sei G eine freie Gruppe mit n Erzeugern, H G eine Untergruppe von
endlichem Index [G : H] = d. Dann ist H isomorph zu einer freien Gruppe mit
d n d + 1 Erzeugern.

Als bung!
Beweis. | Sei X ein Graph mit einem Punkt und n Schleifen. Nach demSatz
1.64 ber die universelle berlagerung entspricht der Untergruppe H G

1
(X, x) eine berlagerung Y =

X/H

X/G = X mit Bltterzahl [G : H] = d.
Y ist ein zusammenhngender Graph: die d Punkte ber jeder Ecke von X
knnen als Eckenvon Ygenommen werdenund, da eine berlagerungtrivial
ist ber einem kleinen Intervall, die d Komponenten des Urbilds jeder Ecke
Ecken sind von Y. Also: Y hat d Ecken und n d Kanten, d.h.
1
(Y, y) freie
Gruppe mit n d d + 1 Erzeugern. |
1.5.2 Der Beweis des Satzes
8. Vorlesung:
13. Juni 07
Zum Beweis des Satzes von Seifert van Kampen werden wir sogenannte
G-berlagerungen verwenden. Wir stellen daher zunchst ein paar grundle-
gende Informationen dazu bereit, bevor wir den eigentlichen Beweis fhren.
Denition 1.78. Y sei ein topologischer Raum, auf dem eine Gruppe G lokal einfach
operiert. Dann nennen wir p: Y X = Y/G eine G-berlagerung. Y braucht
nicht zusammenhngend zu sein.
Beispiel/Denition 1.79. Die triviale G-berlagerung ist p: Y = G X X,
wobei G die diskrete Topologie hat. Jede Faser einer G-berlagerung lsst
sich also nach Wahl eines Basispunktes y p
1
(x) mit G identizieren.
Satz 1.80. Ist X einfach zusammenhngend, dann hat X nur die triviale G-
berlagerung.
Beweis. Sei p: Y X eine G-berlagerung und seien x X, y p
1
(x). Dann
ist G.y p
1
(x) G. Da X einfach zusammenhngend ist, lsst sich
G.y Y
p

X x

id
X

X
eindeutig liften. Dies deniert einen Homomorphismus G X

Y.
Allgemeiner gilt:
Satz 1.81. Sei X wegzusammenhngend mit universeller berlagerung

X. Dann
gibt es eine Bijektion
Hom(
1
(X, x), G)
1:1

_
G-berlagerungen p: Y X
mit Basispunkt y p
1
(x)
_
/ Isomorphie .
Version vom: 26. September 2007
1.5 Der Satz von Seifert van Kampen 49
Beweis (nur Beweisidee; fr eine ausfhrlichere Form siehe [Ful95], S. 193196).
Wie wir bereits wissen, gilt: Deck(

X/X)
1
(X, x). Wir whlen einen Basis-
punkt x

X ber x, so dass obiger Isomorphismus eindeutig deniert ist
(vermge Wegliftung). Wir betrachten zu einem Hom(
1
(X, x), G) auf

X G folgende Operation von


1
(X, x):

1
(X, x)(

XG)

XG, [].(zg) = ([].z)g ([]
1
) = ([].z)g ([])
1
.
Hierbei ist [].z die weiter oben beschriebene Wirkung von
1
(X, x) auf

X(die
([], z) den Endpunkt des nach Wahl des Basispunktes eindeutig gelifteten
Weges zuordnet) und g ([]
1
) das Produkt in der Gruppe G. Dies deniert
tatschlich eine Linksoperation:
[][](z g) = [ ] (z g).
Wir setzen
Y := (

X G)/
1
(X, x).
G operiert auf der zweiten Komponente von links:
h.(z g) z (h g).
Insgesamt haben wir also eine Operation von
1
(X, x) G auf

X G. Deren
Quotient ist:
(

X G)/(
1
(X, x) G)

X/
1
(X, x) X.
Also ist Y X Y/G eine G-berlagerung.
Sei umgekehrt p: Y X = Y/G, y x eine G-berlagerung. Pfadliftung
liefert Hom(
1
(X, x), G), der fr jedes []
1
(X, x) deniert ist durch:
[].y = ([]).y G.y. Wir mssen nun noch zeigen, dass die gegebene
G-berlagerung isomorph ist zu der berlagerung, die wir von aus bekom-
men: | siehe dazu beispielsweise die oben angegebene Literatur. |
Als bung!

Wir werden den Satz von Seifert van Kampen nur unter der zustzlichen
Annahme beweisen, dass U, V, UV eine universelle berlagerung besitzen,
also zusammenhngend und semilokal einfach zusammenhngend sind. Da-
zu werden wir die obige bijektive Beziehung zwischen G-berlagerungen
von X und Homomorphismen von
1
(X, x) nach G benutzen.
Beweis (von Satz 1.69 (Seifert van Kampen)). Wir interpretieren
1
(X, x) G
als eine geeignete berlagerung.
Seien h
1
, h
2
gegeben. Wir mssen h konstruieren:
Version vom: 26. September 2007
50 1 Die Fundamentalgruppe

1
(U, x)
j
1

h
1

_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_

1
(U V, x)
i
1

i
2

1
(X, x)
h

1
(V, x)
j
2

h
2

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Nach Satz 1.81 entsprechen h
1
und h
2
jeweils einer G-berlagerung Y
1
U
bzw. Y
2
V mit Basispunkten y
1
bzw. y
2
. Eingeschrnkt auf U V erhalten
wir zwei G-berlagerungen von U V, die wegen der Kommutativitt des
Diagramms isomorph sind. Wir knnen die G-berlagerungen vermge des
Isomorphismus kanonisch verkleben: Y kann man dabei als Quotientenraum
der disjunktenVereinigungvonY
1
undY
2
konstruieren, vermge der quiva-
lenzrelation, die ber denIsomorphismus entsprechende Punkte inh
1
1
(UV)
und h
1
2
(U V) identiziert (siehe auch [Ful95, S. 196197]). Dies gibt eine
G-berlagerung Y X, die auf die beiden obigen G-berlagerungen ein-
schrnkt.
Wieder vermge des Satzes 1.81 entspricht dieser G-berlagerung ein Ho-
momorphismus h von
1
(X, x) G. Die Tatsache, dass die eingeschrnkten
berlagerungen auf dem Schnitt bereinstimmen, sagt gerade: h j
1
= h
1
,
h j
2
= h
2
.
Version vom: 26. September 2007
2
Homologie
Bevor wir die Homologie einfhren knnen, bentigen wir einige algebrai-
sche Grundlagen. Diese werden in den ersten beiden Abschnitten dieses
Kapitels bereitgestellt.
Anschlieend fhren wir zunchst eine recht anschauliche Variante der Ho-
mologie, die simpliziale Homologie, ein, bevor wir schlielich die wesentlich
ausgereiftere Theorie der singulren Homologie vorstellen. Es wird sich
schlielich herausstellen, dass beide Zugnge im Wesentlichen die gleichen
Ergebnisse liefern.
Mit Hilfe der entwickelten Theorie werden wir dann endlich in der Lage sein,
so naheliegende Stze wie beispielsweise den ber die Nichthomomorphie
oener Teilmengen in R
n
, R
m
, n m beweisen zu knnen.
2.1 Kategorien und Funktoren
In den vergangenen Kapiteln haben wir jedem wegzusammenhngenden
topologischen Raum X eine Gruppe
1
(X, x) zugeordnet und jeder stetigen
Abbildung einen Gruppenhomomorphismus. Dies ist ein Beispiel fr einen
Funktor. Die obige Zuordnung war natrlich in dem Sinn, dass der Identitt
bei den topologischen Rumen der identische Homomorphismus der Grup-
pen zugeordnet wurde; der Komposition stetiger Abbbildungen entsprach
die Komposition der zugehrigen Homomorphismen.
Diese und hnliche Zusammenhnge kommen in der Mathematik allgemein
und auch hier in der algebraischen Topologie sehr hug vor, so dass da-
fr das sehr allgemeine Konzept von Kategorien und Funktoren eingefhrt
wurde. In diesemAbschnitt geben wir einen kurzen berblick ber die wich-
tigsten Begrie, insbesondere jene, die wir in den folgenden Kapiteln benti-
gen werden. Eine wesentlich ausfhrlichere Darstellung des Themas geben
Bcher ber homologische Algebra, beispielsweise [PH97].
52 2 Homologie
Denition 2.1. Eine Kategorie C besteht aus
1. einer Klasse Ob(C) von Objekten,
2. zu je zwei Objekten X, Y Ob(C) einer Menge von Morphismen Hom(X, Y)
(Schreibweise: f : X Y fr f Hom(X, Y)),
3. zu drei Objekten X, Y, Z Ob(C) einer Abbildung (der Komposition):
Hom(X, Y) Hom(Y, Z) Hom(X, Z), ( f, g) g f
mit folgenden Eigenschaften:
Assoziativitt: Es seien die Objekte X, Y, Z, W Ob(C) und die Morphismen f
Hom(X, Y), g Hom(Y, Z), h Hom(Z, W) gegeben. Dann gilt:
h (g f ) = (h g) f.
Identitt: Fr jedes X Ob(C) existiert ein Morphismus id
X
Hom(X, X), so dass:
f Hom(X, Y) : f id
X
= f, g Hom(Z, X) : id
X
g = g.
Denition 2.2. Ein Morphismus f : X Y heit Isomorphismus bzw. quiva-
lenz, falls es ein g: Y X gibt mit g f = id
X
und f g = id
Y
. Existiert ein
solcher Isomorphismus, so heien X und Y isomorph.
Beispiele fr Kategorien sind in der Mathematik allgegenwrtig:
Beispiel/Denition 2.3. 1. Die Kategorie S (oder Sets) der Mengen und Ab-
bildungen. Die Objekte sind die Mengen und fr je zwei Mengen X und
Y ist Hom(X, Y) die Menge der Abbildungen von X nach Y.
2. Die Kategorie TOP (oder Top) der topologischen Rume und stetigen
Abbildungen.
3. Die Kategorie TOP

der topologischen Rume mit Basispunkt und steti-


gen Abbildungen, die Basispunkte auf Basispunkte abbilden.
4. Die Kategorie G (oder Groups) der Gruppen und Gruppenhomomorphis-
men.
5. Die Kategorie AB (oder Ab) der abelschen Gruppen und Gruppenhomo-
morphismen.

Denition 2.4. Eine Unterkategorie C

C ist eine Kategorie C

, so dass jedes
Objekt von C

ein Objekt von C ist und fr X, Y C

Hom
C
(X, Y) Hom
C
(X, Y)
und die Kompositionen in C

die Komposition in C ist.


Version vom: 26. September 2007
2.2 Erinnerung: Abelsche Gruppen 53
Beispiel 2.5. Groups Sets

, e .
Denition 2.6. Ein kovarianter Funktor (bzw. kontravarianter Funktor)
F: C D zwischen zwei Kategorien ist eine Vorschrift, die jedem Objekt
X Ob(C) ein Objekt F(X) Ob(D) und jedem f Hom(X, Y) einen Morphismus
F( f ) Hom(F(X), F(Y)) (bzw. F( f ) Hom(F(Y), F(X)) ) zuordnet, mit:
1. F(id
X
) = id
F(X)
,
2. F(g f ) = F(g) F( f ) (bzw. F(g f ) = F( f ) F(g)) fr alle f Hom(X, Y) und
g Hom(Y, Z).
Beispiel 2.7. 1. Der kovariante Funktor v von der Kategorie Top in die Kate-
gorie Sets. v ordnet jedem topologischen Raum X die zugrundeliegende
Menge X zu und jeder stetigen Abbildunge zwischen topologischen Ru-
men die zugehrige Abbildung der zugrundeliegenden Mengen. Dieser
Funktor heit Vergissfunktor. Ein entsprechender Funktor kann fr viele
Kategorien deniert werden.
2. Wie eingangs schon erwhnt, ist
1
ein kovarianter Funktor von Top

in Groups.
1
ordnet jedem punktierten Raum (X, x
0
) die Fundamental-
gruppe
1
(X, x
0
) und jeder stetigen Abbildung f : (X, x
0
) (Y, y
0
) die
Abbildung f

:
1
(X, x
0
)
1
(Y, y
0
), [] [ f ] zu.
3. Der kontravariante Funktor

von der Kategorie der reellen Vektorrume
und linearen Abbildungen in die gleiche Kategorie ordnet jedem reellen
Vektorraum V den dualen Vektorraum V

und jeder linearen Abbildung


f : V W die duale Abbildung f

: W

zu.
4. Sei C eine Kategorie und X Ob(C). h
X
: C Sets, Y Hom(Y, X)
ist ein kontravarianter Funktor. Fr f Hom(Y, Z) ist h
X
( f ) : h
X
(Z) =
Hom(Z, X) Hom(Y, X) = h
X
(Y), g g f .

2.2 Erinnerung: Abelsche Gruppen


Zwar wollen wir, wie eingangs erwhnt, grundlegende Kenntnisse ber
Gruppen voraussetzen. Trotzdem geben wir hier einen kleinen berblick
ber die wichtigsten Begrie und Fakten, die wir im Folgenden verwenden
werden. Aus Zeitgrnden werden wir hier allerdings nicht alles beweisen
knnen und verweisen in diesen Fllen auf Literatur: [May89, III.1], [Rot].
2.2.1 Freie abelsche Gruppen
Denition 2.8. Sei M eine Menge und (G
m
)
mM
eine Familie von abelschen Grup-
pen mit G
m
= Z fr alle m M. Die direkte Summe
mM
G
m
heit die von M
erzeugte freie abelsche Gruppe und wird mit Z M bezeichnet.
Version vom: 26. September 2007
54 2 Homologie
Bemerkung 2.9. 1. Freie abelsche Gruppen sind im Allgemeinen keine freien
Gruppen, obwohl die freie Gruppe Z mit einem Erzeuger frei abelsch ist.
2. Z ist die Gruppe, die aus genaueinemElement besteht: Z = {0} = 0.
3. Die Z M zugrunde liegende Menge ist die Menge aller Abbildungen
: Z M mit (m) 0 fr hchstens endliche viele m M. Fr m M und
k Z bezeichnet k m oder km diejenige Abbildung : M Z mit (m) = k
und (n) = 0 n M\{m}. Jedes Element Z M lsst sich auf genau
eine Weise schreiben als
=

mM
k
m
m
mit k
m
0 fr hchstens endlich viele m M. Dies ist nicht schwer nachzu-
rechnen ([May89, Bem. III.1.5, S. 105]).
Satz 2.10 (Universelle Eigenschaft der freien abelschen Gruppen). Es seien
M eine Menge und g: M A eine Abbildung von M in eine abelsche Gruppe
A. Dann gibt es genau einen Homomorphismus g

: Z M A, so dass das
Diagramm
M
f
M

A
Z M
g

kommutativ ist.
Beweis. [May89, Satz III.1.6, S. 105]
Denition 2.11. Sei A eine abelsche Gruppe und B A eine Teilmenge. B heit
linear unabhngig, wenn fr alle Familien (n
b
)
bB
ganzer Zahlen mit n
b
0 fr
hchstens endlich viele b B gilt:

bB
n
b
b = 0 n
b
= 0 b B.
B heit eine Basis von A, wenn es zu jedem a A genau eine Familie (n
b
)
bB
ganzer
Zahlen mit n
b
0 fr hchstens endlich viele b B gibt mit a =

bB
n
b
b.
Eine abelsche Gruppe A heit freie abelsche Gruppe, wenn sie eine Basis besitzt.
Bemerkung 2.12. 1. Ist Meine Menge, so ist Z M eine freie abelsche Gruppe,
und die Menge M ist eine Basis von Z M .
2. Ist A eine freie abelsche Gruppe mit Basis B, so ist A isomorph zu Z B , d.h.:
A Z B .
3. Eine freie abelsche Gruppe lsst sich denieren als eine Gruppe, die isomorph zu
Z M ist fr eine Menge M.
Version vom: 26. September 2007
2.2 Erinnerung: Abelsche Gruppen 55
Satz/Denition 2.13. A sei eine freie abelsche Gruppe. Wenn A eine endliche Basis
besitzt, so ist jede Basis von A endlich, und alle Basen besitzen die gleiche Anzahl
von Elementen. Diese Anzahl heit der Rang von A. Wenn A keine endliche Basis
besitzt, so wird der Rang von A als unendlich deniert.
Beweis. [May89, Satz 1.10, S. 107]
2.2.2 Exakte Sequenzen abelscher Gruppen
Fr eine Gruppe G verwenden wir die Begrie Kern, Bild und Kokern wie
blich: Kern() := {g G | (g) = 0}, Bild() = {h H | g G, (g) = h},
Kokern() = H/ Bild().
Denition 2.14. 1. Ein Paar von Homomorphismen abelscher Gruppen
G


G

G

heit exakt, wenn Bild() = Kern() ist.


2. Eine Folge von Homomorphismen, etwa
G
2

2
G
1

1
G
0

0
G
1

1
G
2

2
G
3
heit exakt an der Stelle G

, wenn das Paar


G
1

1
G

G
+1
exakt ist. Die Folge heit eine exakte Sequenz, wenn jedes Paar aufeinanderfol-
gender Homomorphismen exakt ist.
3. Eine exakte Sequenz der Form
0 G


G

G

0
heit kurze exakte Sequenz.
Die Homologie, die wir spter denieren, wird die Abweichung von der
Exaktheit einer solchen Sequenz messen.
Satz/Denition 2.15. Fr eine kurze exakte Sequenz
0 G


G

G

0
sind die folgenden Aussagen quivalent:
1. Es gibt einen Homomorphismus : G

G, so dass ein Rechtsinverses


besitzt, d.h.: = id
G
.
Version vom: 26. September 2007
56 2 Homologie
2. Es gibt eine Homomorphismus : G G

, so dass ein Linksinverses besitzt,


d.h.: = id
G
.
In diesemFall sagt man, dass die kurze exakte Sequenz spaltet. Dann ist Gisomorph
zu G

.
Beweis. Siehe [May89, S. 109].
Satz 2.16. Wenn in der kurzen exakten Sequenz 0 G


G

G

0 die
Gruppe G

eine freie abelsche Gruppe ist, dann spaltet die Sequenz.


Beweis. Wir wenden den Satz 2.10 ber die universelle Eigenschaft der freien
abelschen Gruppen an: | Sei B eine Basis von G

. Fr jedes b B wird ein


Als bung! Element g
b
Ggewhlt mit (g
b
) = b. Nach der universellen Eigenschaft gibt
es genau einen Homomorphismus : G

G mit (b) = g
b
. Fr diesen ist
ebenfalls nach dem Satz = id
G
. |
Satz 2.17 (Fnferlemma). Das Diagrammvon Homomorphismen abelscher Grup-
pen
A

E
l

sei kommutativ und habe exakte Zeilen. Wenn g, k Isomorphismen sind, f surjektiv
und l injektiv ist, so ist auch h ein Isomorphismus.
Beweis. Wir zeigen die Aussage durch sogenannte Diagrammjagd. | h ist
Als bung! injektiv: Wir starten mit einem c Kern(h) C. Da 0 =

h(c) = k (c)
und k injektiv ist, ist (c) = 0 und b B mit (b) = c. Weil g injektiv ist und
0 = h(b) =

g(b), gibt es ein u A

mit

(u) = g(b). Da f surjektiv ist, gibt


es ein v A mit f (v) = u. Wegen g (v) =

(u) = g(b) und der Injektivitt


von g ist (v) = b und (b) = (v) = 0. Daher ist c = 0.
h ist surjektiv: analog. |
2.2.3 Endlich erzeugte Abelsche Gruppen
Denition 2.18. A sei eine abelsche Gruppe und E A eine Teilmenge. E heit
Erzeugendensystem von A und A heit von E erzeugt, wenn jedes Element aus A
eine endliche Summe von Elementen aus E und von Inversen zu Elementen aus E
ist. Wenn A ein endliches Erzeugendensystem besitzt, so heit A endlich erzeugt.
Beispiel 2.19. 1. Jede endliche abelsche Gruppe ist endlich erzeugt.
2. Z ist endlich erzeugt. {1} und {1} sind Erzeugendensysteme.
Version vom: 26. September 2007
2.2 Erinnerung: Abelsche Gruppen 57
3. Jede endliche direkte Summe von endlich erzeugten abelschen Gruppen
ist endlich erzeugt.

Wir werden im weiteren Verlauf der Vorlesung sehen, dass viele Homologie-
gruppen interessanter topologischer Rume endlich erzeugte abelsche Grup-
pen sind. Wir geben daher noch einige weitere Begrie und Stze, um deren
Struktur ein wenig besser kennenzulernen.
Denition 2.20. Sei A eine abelsche Gruppe. a A heit Torsionselement von
A, wenn es eine positive ganze Zahl m Z
>0
gibt mit ma = 0. Die Menge A
t
der
Torsionselemente vonAist eine Untergruppe vonAund heit Torsionsuntergruppe
von A. Eine abelsche Gruppe A heit torsionsfrei, wenn das neutrale Element das
einzige Torsionselement von A ist.
Der Beweis der folgenden Aussage ist trivial:
Proposition 2.21. A
t
ist eine Untergruppe von A und fr jede abelsche Gruppe A
ist die Faktorgruppe A/A
t
torsionsfrei.
Nicht trivial sindallerdings die folgendenStze (fr Beweise s. beispielsweise
[May89, S. 111]).
Satz 2.22. Ist A eine freie abelsche Gruppe von endlichem Rang und C eine Unter-
gruppe von A, so ist C eine freie Gruppe von endlichem Rang und rangC rangA.
Satz 2.23. Ist A eine torsionsfreie, endlich erzeugte abelsche Gruppe, so ist A frei
und A besitzt endlichen Rang.
Denition 2.24. Ist A eine endlich erzeugte abelsche Gruppe, so denieren wir den
Rang von A durch rangA := rang(A/A
t
):
A = Z
rangA
A
t
.
Der Rang abelscher Gruppen verhlt sich hnlich wie die Dimension von
Vektorrumen:
Satz 2.25. Ist Aeine endlich erzeugte abelsche Gruppe und B A eine Untergruppe,
so sind B und A/B endlich erzeugt und es gilt
rangA = rangB + rangA/B.
Beweis. [May89, Satz III.1.26, S. 112]
Zusammen mit dem Klassikationssatz der endlichen abelschen Gruppen
lsst sich die Klassikation der endlich erzeugten abelschen Gruppen sehr
grig formulieren:
Version vom: 26. September 2007
58 2 Homologie
Satz 2.26 (Klassikationssatz der endlich erzeugten abelschen Gruppen).
Ist A eine endlich erzeugte abelsche Gruppe, so gilt:
A Z
rangA
Z/Z
p
k
1
1
Z/Z
p
k
2
2
Z/Z
p
kn
n
fr gewisse Primzahlen p
i
und natrliche Zahlen k
i
. Hierbei ist
A
t
Z/Z
p
k
1
1
Z/Z
p
k
2
2
Z/Z
p
kn
n
die Torsionsgruppe von A. Genauer kann man sogar eindeutig bestimmte natrliche
Zahlen l
i
> 1, i = 1, 2, . . . , u mit der Eigenschaft l
i
| l
i+1
, i = 1, 2, . . . , u 1, nden,
so dass
A
t
Z/Z
l
1
Z/Z
l
2
Z/Z
l
u
.
2.3 Simpliziale Homologie
9. Vorlesung:
20. Juni 07
Wir stellen in diesem Abschnitt das Konzept der Homologie an den sehr an-
schaulichen simplizialen Komplexen vor. Erst imnchsten Abschnitt wenden
wir uns dann der singulren Homologie zu, die ein zwar abstrakteres und
schwieriger verstndlicherer Zugang ist, fr die aber auch wesentlich kom-
fortablere Hilfmittel zur Berechnung existieren. Da beide Homologietheorien
aber im Wesentlichen auf das selbe herauslaufen, nehmen wir uns die Zeit,
zunchst den anschaulicheren Zugang zu besprechen.
2.3.1 Simpliziale Komplexe
Denition 2.27. Die (abgeschlossene!) Menge

n
:=
_
(x
0
, . . . , x
n
) R
n+1
| x
i
0,

x
i
= 1
_
heit Standard n-Simplex (s. Abb. 2.1).
Fr jede Teilmenge I {0, . . . , n}, |I| = m+ 1, haben wir ein m-Simplex

I
:=
n
{(x
0
, . . . , x
n
) R
n
| x

= 0, falls I}.
Es gilt:
m

I
, I = {i
0
< < i
m
} vermge des Homomorphismus (y
0
, . . . , y
m
)
{(x
0
, . . . , x
n
) | x
i

:= y

}.
Der Rand des Standard n-Simplexes besteht aus (n + 1) abgeschlossenen (n 1)-
Simplizes:

n
=

0
. . .
n
,
wobei

i
:=
{0,...,i1,i+1,...,n}
den abgeschlossenen n1-Simplex bezeichnet, der durch
alle Ecken auer der i-ten von
n
aufgespannt wird (Abb. 2.2).
Version vom: 26. September 2007
2.3 Simpliziale Homologie 59
1
1

1
R
2
1
1
1

2
R
3
Abbildung 2.1. Der 1- und der 2-dimensionale Standardsimplex..
0
1
3
2

0
Abbildung 2.2. Der Rand des Standard-Simplexes besteht aus (n+1) abgeschlossenen
(n 1)-Simplizes, die ihrerseits von allen auer einer Ecke aufgespannt werden. Das
Bild zeigt
0
, den von den Ecken 1, 2, . . . , n aufgespannten Teilkomplex von
n
, n = 3.
Denition 2.28. Ein endlicher abstrakter simplizialer Komplex mit N+1 Ecken
ist eine Teilmenge K der Potenzmenge von {0, . . . , N}, so dass mit I K fr jede
Teilmenge J I auch J K gilt.
Der zugrundeliegende topologische Raum von K ist
|K| :=
_
IK

I

N+1
.
Die
I
mit I K nennt man die Simplizes von K. |K| ist eine abgeschlossene (und
daher kompakte) Teilmenge von
N+1
.
Die 0- bzw. 1-Simplizes von K heien Ecken bzw. Kanten von K.
Beispiel 2.29. Eine Menge, die keinen simplizialen Komplex bildet, ist in
Abbildung 2.3 zu sehen. Die dort gezeigte Menge von Simplizes besteht aus
zwei (!) der Ecken, allen drei sichtbaren Kanten und der Dreiecksche. Um
ein simplizialer Komplex zu sein, msste auch die dritte Ecke im Komplex
enthalten sein.
Denition 2.30. Eine Triangulierung eines kompakten topologischen Raumes X
ist ein abstrakter endlicher simplizialer Komplex K zusammen mit einem Homo-
morphismus
: |K|

X.
Version vom: 26. September 2007
60 2 Homologie
Abbildung 2.3. Ein Beispiel, das keinen simplizialen Komplex bildet.
Beispiel 2.31. 1. K = P({0, . . . , n})\{0, . . . , n} das Standard-Simplex ohne
Inneres ist homomorph zuS
n1
vermge der Projektion vomZentrum
Z =
1
n+1
(1, 1, . . . , 1).
Z
Abbildung 2.4. Der Standard-2-Simplex ist homomorph zur S
2
vermge der Projek-
tion vom Zentrum Z.
2. Triangulierungen eines Mbiusbandes (Abb. 2.5, siehe dazuauch Beispiel
1.43.3). Mankannzeigen, dass es keine Triangulierungdes Mbiusbandes
mit weniger als 5 Ecken gibt. Die rechte Abbildung zeigt eine solche. Mit
der dortigen Nummerierung sind die dabei verwendeten Dreiecke die
folgenden: 123, 124, 135, 245, 345.
1 2
5
3 4
Abbildung 2.5. Zwei Triangulierungen des Mbiusbandes; eine mit 8 Ecken, die
andere mit nur 5 Ecken.
3. Eine ausfhrliche Erluterung, wie man auf eine Triangulierung des P
2
R
mit Hilfe der 5-punktigen Triangulierung des Mbiusbandes erhlt, steht
Version vom: 26. September 2007
2.3 Simpliziale Homologie 61
in [SZ88, 3.1.22]. Diese Konstruktion benutzt die Tatsache, dass man das
Mbiusband in der reellen projektiven Ebene wiedernden kann (siehe
Beispiel 1.43.3).

Denition 2.32. Sei Keinsimplizialer Komplex. Wir setzenC


0
(K) := C
0
(K, Z) := 0
und C
p
(K) := C
p
(K, Z), wobei
C
p
(K, Z) := freie abelsche Gruppe erzeugt von
I
, I K mit |I| = p + 1.

p
: C
p
(K, Z) C
p1
(K, Z)
ist die Z-lineare Abbildung, die auf den Erzeugern durch

I
:=
p

=0
(1)

I\{i

}
deniert ist,
0
= 0 (siehe Abb. 2.6).
i

I\{i}
Abbildung 2.6. Zur Denition der Randabbildung
p
auf den Erzeugern
I
.
2.3.2 Simpliziale Homologie
Die folgende Eigenschaft von
p
ist ganz wesentlich fr alle anschlieenden
Konstruktionen:
Lemma 2.33. Es gilt:

p1

p
= 0.
Beweis. Es gilt:

{0,...,n}
=
n

=0
(1)

{0,...,,...,n}
=
n

=0
(1)

_
1

=0
(1)

{0,...,,...,,...,n}
+
n1

=
(1)

{0,...,,...,

+1,...,n}
_
= 0,
da
{0,...,n}\{i, j}
zweimal vorkommt, aber mit verschiedenen Vorzeichen.
Version vom: 26. September 2007
62 2 Homologie
Denition 2.34. Wir setzen:
Z
p
(K) := Kern
p
, B
p
(K) := Bild
p+1
.
Da
p1

p
= 0 ist, gilt B
p
(C ) Z
p
(C ), so dass wir den Quotienten
H
p
(K) = H
p
(K, Z) :=
Z
p
(K)
B
p
(K)
bilden knnen, weil alle involvierten Gruppen abelsch sind. H
p
(K) heit die p-te
(reduzierte) Homologiegruppe von K mit Koezienten in Z.
Die Homologiegruppen H
p
(K) messen also, an welchen Stellen die Sequenz
0 C
n

n
C
n1

n1


2
C
1

1
C
0

0
0
nicht exakt ist.
Satz/Denition 2.35. Ist X ein triangulierbarer topologischer Raum, d.h. es
gibt einen simplizialen Komplex K mit |K| X, dann gilt:
H
p
(K, Z) H
p
(L, Z)
fr jeden weiteren simplizialen Komplex L mit |K| X |L|.
Beweis. Erst spter (Satz 2.74), ohne weitere Methoden zu schwierig.
Damit knnen wir von H
p
(|K|, Z) sprechen, da diese Gruppe ja nicht von der
gewhlten Triangulierung abhngt. Wir knnen also denieren:
Bemerkung/Denition 2.36. H
p
(|K|, Z) ist eine endlich erzeugte abelsche Gruppe.
b
p
:= rangH
p
(|K|, Z)
heit p-te Bettizahl von |K|.
e =
n

p=0
(1)
p
b
p
heit die Eulerzahl von |K|.
Korollar 2.37. Die Eulerzahl von |K|,
e(|K|) =
n

p=0
(1)
p
rangH
p
(|K|, Z)
()
=
n

p=0
(1)
p
rangC
p
(K, Z),
ist unabhngig von der Triangulierung:
e(|L|) = e(|K|), falls |K| = |L|.
Version vom: 26. September 2007
2.3 Simpliziale Homologie 63
Beweis. Die Unabhngigkeit von der Triangulierung folgt aus dem obigen
Satz 2.35. Fr die Gleichung () bemerken wir zunchst, dass es eine kurze
exakte Sequenz
0 Kern
p
id
C
p
(K, Z)

p
Bild
p
0
gibt, da dann oenbar die Stelle C
p
exakt ist. Dies zeigt:
rangB
p1
(K) + rangZ
p
(K) = rangC
p
(K, Z).
Auerdem gilt nach Denition der Homologiegruppen:
rangH
p
(K) + rangB
p
(K) = rangZ
p
(K).
Mit diesen beiden Gleichungen folgt nun:
n

p=0
(1)
p
rangC
p
(K, Z) =
n

p=0
(1)
p
_
rangB
p1
(K) + rangZ
p
(K)
_
=
n

p=0
(1)
p
_
rangB
p1
(K) + rangH
p
(K) + rangB
p
(K)
_
=
n

p=0
(1)
p
rangH
p
(K) = e(|K|).

Dieses Korollar liefert eine recht einfache Mglichkeit, die Eulerzahl fr einen
gegebene trianguliertenRaumauszurechnen. Wir betrachtendies amBeispiel
der Zwei-Sphre:
Beispiel 2.38. Wir betrachten zwei Triangulierungen der S
2
R
3
: diejenige,
die durcheinenregelmigenTetraeder gegebenwirdundjene, die durchden
Wrfel gegeben wird, bei der jede Seitenche in zwei Dreiecke geteilt wird.
Wir berechnen die Eulerzahl ber die Rnge der freien abelschen Gruppe C
p
,
d.h. ber die Anzahl c
i
der Erzeuger in den einzelnen Dimensionen:
Fr den Wrfel gilt: c
0
= 8, c
1
= 3 4 + 6 = 18, c
2
= 6 2 = 12, also
e(Wrfel) = c
0
c
1
+ c
2
= 8 18 + 12 = 2.
Fr den Tetraeder ergibt sich:
e(Tetraeder) = c
0
c
1
+ c
2
= 4 6 4 = 2.
Wie erwartet erhalten wir also fr beide Triangulierungen das gleiche Ergeb-
nis. Die Eulerzahl der Sphre ist e(S
2
) = 2.
Version vom: 26. September 2007
64 2 Homologie
Die Berechnungen des Beispiels zeigen mit Korollar 2.37:
Satz 2.39 (Eulerschen Polyedersatz). Fr jede Triangulierung der 2-Sphre gilt:
e k + d = 2 (= e(S
2
)),
wobei e die Anzahl der Ecken, k die Anzahl der Kanten und d die Anzahl der Dreiecke
der Triangulierung ist.
2.3.3 Komplexe
Die vorige Konstruktion folgt einem allgemeinen Konzept, mit Hilfe dessen
sich Homologiegruppen allgemein denieren lassen.
Denition 2.40. Ein Komplex abelscher Gruppen (bzw. R-Vektorrumen, R-
Moduln)
C : C
p
C
p1

ist eine Folge vonabelschen Gruppen(bzw. R-Vektorrumen, R-Moduln) zusammen
mit Dierentialen

p
: C
p
C
p1
, mit
p1

p
= 0.
Ein Morphismus f : C D zwischen zwei Komplexen ist eine Familie von
Morphismen f
p
: C
p
D
p
, so dass das Diagramm
C
p

f
p

C
p1
f
p1

D
p

D
p1
kommutiert fr jedes p.
Dies erklrt die Kategorie Comp der Komplexe.
Ist C nun ein Komplex, so setzen wir:
Z
p
(C ) := Kern
p
, B
p
(C ) := Bild
p+1
.
Da
p1

p
= 0 ist, gilt wie schon im obigen Beispiel der simplizialen Homologie
B
p
(C ) Z
p
(C ), so dass wir den Quotienten
H
p
(C ) :=
Z
p
(C )
B
p
(C )
bilden knnen, weil alle involvierten Gruppen abelsch sind. H
p
(C ) heit p-te Ho-
mologiegruppe von C .
Version vom: 26. September 2007
2.4 Singulre Homologie 65
Denition 2.41. Eine Sequenz von Homomorphismen von Komplexen heit exakt,
wenn fr jedes p die zugehrige Sequenz von Homomorphismen zwischen abelschen
Gruppen exakt ist.
Eine exakte Sequenz von Homomorphismen von Komplexen der Form
0 K


K

K

0
heit entsprechend kurze exakte Sequenz von Komplexen. 0 ist hierbei der Komple-
xe, der aus nur trivialen Gruppen besteht.
Satz/Denition 2.42 (lange Homologiesequenz von Komplexen). Jede kurze
exakte Sequenz von Komplexen induziert eine lange exakte Homologieequenz.
Beweis. Diagrammjagd; siehe auch [May89, Satz III.3.8].
2.4 Singulre Homologie
10. Vorlesung:
27. Juni 07
Wir werden nun die schon angesprochene Theorie der singulren Homologie
einfhren, mit Hilfe derer wir viele Homologiegruppen ausrechnen werden
knnen. In diesem Kapitel gehen wir zunchst hnlich vor wie das Buch
[Hat02].
Denition 2.43. Sei X ein topologischer Raum. Ein singulres n-Simplex ist eine
stetige Abbildung
1
:
n
X,
wobei
n
wie blich das Standard n-Simplex bezeichnet. Wir setzen:
C
n
(X) := freie abelsche Gruppe erzeugt von allen n-Simplizes :
n
X.
Den Rand eines Simplexes denieren wir als
:=
n

i=0
(1)
i
_

n
i
_
,
wobei
n
i
die Abbildung

n
i
:
n1

n
, e
0
, . . . , e
n1
e
0
, . . . , e
i1
, e
i+1
, . . . , e
n
ist. Wir setzen zu einer Z-linearen Abbildung
: C
n
(X) C
n1
(X)
1
Der Bezeichnung singulr erinnert daran, dass keine besonderen Anforderungen
an diese Abbildung gestellt werden; sie kann auch Singularitten besitzen.
Version vom: 26. September 2007
66 2 Homologie
fort. Dann gilt:
: C
n
(X) C
n2
(X), = 0,
was genauso wie bei der simplizialen Homologie gezeigt werden kann. Die Elemente
von C
n
(X) nennen wir n-Ketten, die von
Z
n
(X) := Ker(: C
n
(X) C
n1
(X))
n-Zykel und
B
n
(X) := Im(: C
n+1
C
n
(X))
n-Rnder. Schlielich heit
H
n
(X) := Z
n
(X)/B
n
(X)
die n-te singulre Homologiegruppe von X. Der Komplex (C (X), ) heit der
singulre Kettenkomplex.
Bemerkung/Denition 2.44. Ist f : X Y eine stetige Abbildung zwischen to-
pologischen Rumen, dann induziert f durch Z-lineare Fortsetzung eine
Abbildung
f

: C (X) C (Y)
zwischen Komplexen. Es gilt ferner:
f

() = f

_
n

i=0
(1)
i
_

n
i
_
_

_
=
n

i=0
(1)
i
_
f
n
i
_
= ( f ) = ( f

).
Dies zeigt, dass f einen Gruppenhomomorphismus
H
n
( f ) : H
n
(X) H
n
(Y)
induziert, da Rnder wieder auf Rnder abgebildet werden.
Bemerkung 2.45. 1. Wir haben Funktoren:
Top
C
Comp
H
Ab.
Im Gegensatz zu der Konstruktion mit Triangulieren ist hier alles funktoriell.
Der Nachteil ist hier aber, dass alleine mit der Denition nicht klar ist, wie man
die Homologiegruppen nher bestimmen kann.
2. Einen n-Zykel stellt man sich oft als (Summe von) triangulierten n-
dimensionalen kompaktenUntermannigfaltigkeitenvon X ohne Rand vor. Einen
n-Rand kann man sich als Rand einer (n + 1)-dimensionalen kompakten Unter-
mannigfaltigkeit von X mit Rand vorstellen
Version vom: 26. September 2007
2.4 Singulre Homologie 67
3. Methoden zur Bestimmung der H
n
(X) werden wir erst nach und nach kennen-
lernen. Man kann zeigen, dass die nachfolgenden Stze die Homologiegruppen
(in einer groen Klasse von topologischen Rumen) eindeutig bestimmen. Sie
bekommen daher auch das Attribut Axiom.
Satz 2.46 (Dimensionsaxiom). Sei X = {} ein einpunktiger topologischer Raum.
Dann gilt:
H
0
({}) Z, H
i
({}) = 0, fr i > 0.
Beweis. Da X = {} nur aus einem Punkt besteht, gibt es nur eine Abbildung
:
n
{}.
Also:
C
n
({}) Z.
Das Dierential
n
: C
n
({}) C
n1
({}) ist:

n
=
_

n1
, n 0 mod 2,
0, n 1 mod 2,
da wir in
n
() =

n
i=0
(1)
i
(
n
i
) eine gerade bzw. ungerade Anzahl von
(identischen) Summanden
n1
:
n1
X haben. Vermge des Isomorphis-
mus C
n
({}) Zhaben wir also
n
= 1 fr n gerade und
n
= 0 fr n ungerade.
Somit ist C ({}) der Komplex
C
4
= Z
1
C
3
= Z
0
C
2
= Z
1
C
1
= Z
0
C
0
= Z
0
0.
Es folgt: H
0
({}) Z und H
i
({}) = 0, i > 0.
In der Einleitung (Satz 0.10) haben wir
0
(X) als die Anzahl der Wegzusam-
menhangskomponenten deniert. Es lsst sich nicht schwer zeigen, dass dies
gerade der Rang der 0-ten Homologiegruppe ist:
Satz 2.47 (Die 0-te Homologie).
1. Entsprechend der Zerlegung eines topologischen Raumes X in Wegzusammen-
hangskomponenten X

gibt es einen Isomorphismus


H
n
(X)

H
n
(X

).
2. Falls X nicht leer und wegzusammenhngend ist, so gilt: H
0
(X) = Z. Also:
H
0
(X) ist eine direkte Summe von Zs, eine fr jede Komponente H
0
(X) Z

0
(X)
.
Also: b
0
(X) =
0
(X) ist die Anzahl der Zusammenhangskomponenten.
Version vom: 26. September 2007
68 2 Homologie
Beweis. 1. Ein singulres n-Simplex hat immer ein wegzusammenhngen-
des Bild. Daher spaltet sich C
n
(X) als direkte Summe von Untergruppen
C
n
(X

). Die Abbildung
n
erhlt diese Aufspaltung und bildet C
n
(X

) in
C
n1
(X

) ab. Die Behauptung folgt.


2. Es gilt H
0
(X) = C
0
(X)/ Bild
1
, da
0
= 0. Wir denieren : C
0
(X)
Z durch (

i
n
i

i
) =

i
n
i
. Oenbar ist surjektiv. Man kann zeigen,
dass, da X wegzusammenhngend ist, Kern = Bild
1
gilt. | Siehe
Als bung! beispielsweise [Hat02, Prop. 2.7]. |

Das erste wichtige Resultat, das wir ber singulre Homologie beweisen, sagt,
dass homotopiequivalente Rume isomorphe Homologiegruppen besitzen.
Wie in 1.10 deniert heien f, g: X Y homotop, wenn es eine stetige
Abbildung H: X [0, 1] Y gibt mit H(x, 0) = f (x), H(x, 1) = g(x) x X:
Satz 2.48 (Homotopieaxiom). Sei f, g: X Y eine stetige Abbildung zwischen
topologischenRumen. Sind f und g homotop ( f g), dannstimmendie induzierten
Abbildungen auf der Homologie berein:
H
n
( f ) = H
n
(g) : H
n
(X) H
n
(Y) n.
Beweis. Die Idee ist die Prismenkonstruktion (s. auch [Hat02, S. 111 ]): Fr
ein :
n
X erhalten wir vermge der Komposition mit f bzw. g eine
Abbildung:
F ( id) :
n
[0, 1] Y.
Wir zerlegen das Prisma
n
[0, 1] in (n + 1) verschiedene (n + 1)-Simplizes
mit den Ecken (s. Abb. 2.7):
[a
0
, b
0
, . . . , b
n
], . . . , [a
0
, . . . , a
i
, b
i
, . . . , b
n
], . . . , [a
0
, . . . , a
n
, b
n
].
Mit [p
0
, . . . , p
k
] :
k
Z, Z R
N
, eine konvexe Teilmenge, bezeichnen wir
die ane Abbildung mit e
i
p
i
.
Wir denieren:
() :=
n

i=0
(1)
i
(F ( id)) [a
0
, . . . , a
i
, b
i
, . . . , b
n
]
.,.

n+1
Y C
n+1
(Y)
.
Dies ist eine sinnvolle Denition wegen der Aufteilung des Prismas. Der
Rand () ist hierbei das Bild des Randes des Prismas.
Durch Z-lineare Fortsetzung erhalten wir
: C
n
(X) C
n+1
(Y)
Version vom: 26. September 2007
2.4 Singulre Homologie 69
a
0
a
2
a
1
b
2
b
1
b
0
Abbildung 2.7. Die Prismenkonstruktion zum Beweis des Homotopieaxioms.
und damit:

C
n
(X)

C
n1
(X)

C
n+1
(Y)

C
n
(X)

C
n1
(X)


Man kann nachrechnen (wiederum hnlich dem Beweis fr = 0 weiter
oben), dass gilt:
+ = g

: C
n
(X) C
n
(Y),
wobei f

, g

: C (X) C (Y) wie oben deniert die von f, g: X Y induzier-


ten Abbildungen auf den Komplexen sind.
Wir mssen noch einsehen, dass damit auch schon die Abbildungen auf der
Homologie gleich sind: Ist z Z
n
(X) = Kern(: C
n
(X) C
n1
(X)) ein Zykel,
dann gilt wegen der Bemerkung 2.44: f

(z) = ( f

z) und g

(z) = (g

z) und
daher mit der Identitt von oben:
g

(z) f

(z) = ((z)) + ( (z)


.,.
=0
) = ((z)).
Die letzte Gleichung gilt, da z ein Zykel ist. Also ist g

(z) f

(z) ein Rand, so


dass g

(z) und f

(z) die gleiche Homologieklasse denieren und daher sind


f

und g

auf der Homologie die gleichen Abbildungen.


Wir fassen das, was wir am Ende des obigen Beweises gesehen haben, noch
einmal mit einem eigenen Begri zusammen:
Denition 2.49. Seien f , g : (C , ) (D , ) zwei Morphismen zwischen Kom-
plexen. Eine Homotopie zwischen f und g ist eine Familie von
p
: C
p
D
p+1
mit:
Version vom: 26. September 2007
70 2 Homologie

p+1

p
+
p1

p
= g
p
f
p
.
f und g heien dann homotop.
Korollar 2.50. Homotope Morphismen zwischen Komplexen induzieren die gleiche
Abbildung auf den Homologiegruppen.
Sehr leicht lassen sich nun beispielsweise die Homologiegruppen sternfrmi-
ger oder zusammenziehbarer Rume berechnen:
Korollar/Denition 2.51. Ist X R
n
sternfrmig (d.h. es existiert ein Punkt
p X, so dass die Strecke von q X nach p in X enthalten ist), dann gilt:
H
n
(X) =
_
Z, n = 0
0, n > 0.
Beweis. Sei x
0
X der Punkt bzgl. dessen X sternfrmig ist. Dann sind id
X
und die Konstante Abbildung X
p
x
0
X homotop vermge
F: X [0, 1] X, F(x, t) := x + t(x
0
x).
Die Behauptung folgt.
2.5 Das Ausschneidungsaxiom
11. Vorlesung:
4. Juli 07
Denition 2.52. Sei X ein topologischer Raum, A X eine Teilmenge. (X, A) heit
dann ein Raumpaar. Dann ist C (A) C (X) ein Unterkomplex. Wir denieren
C (X, A) := C (X)/C (A)
mit induziertem Dierential. Die Homologie eines Raumpaares (X, A) (auch
relative Homologie von X modulo A genannt) ist:
H
n
(X, A) := H
n
(C (X, A)).
Satz/Denition 2.53 (Lange Homologiesequenz, Exaktheitsaxiom). Zu ei-
nem Raumpaar A X existiert eine lange exakte Homologiesequenz
H
n
(A) H
n
(X) H
n
(X, A) H
n1
(A) .
Fr eine stetige Abbildung f : (X, A) (Y, B) zwischen Raumpaaren, d.h.
f : X Y stetig, f (A) B, ist die Randabbildung mit H ( f ) vertrglich, d.h.
das Diagramm

H
n
(X)

H
n
(X, A)

H
n1
(A)

H
n
(Y)

H
n
(Y, B)

H
n1
(B)

ist kommutativ.
Version vom: 26. September 2007
2.5 Das Ausschneidungsaxiom 71
Beweis. Klar nach Konstruktion der Abbildungen, Diagrammjagd.
Bemerkung/Denition 2.54. 1. Ein typisches Element von H
n
(X, A) wird repr-
sentiert durch eine triangulierte n-dimensionale Untermannigfaltigkeit M mit
Rand, deren Rand M in A liegt. Die Randabbildung bildet [M] [M] ab
(s. Abb. 2.8).
A
M
X
[M] H
2
(X, A)
M H
1
(A)
Abbildung 2.8. Die Randabbildung.
2. H
n
(X) = H
n
(X, ), da sich fr A = in der langen exakten Sequenz ergibt
H
n
(A) = H
n1
(A) = 0 und daher 0 H
n
(X) H
n
(X, A) 0 exakt ist.
Satz 2.55 (Ausschneidungsaxiom). Sei (X, A) ein Raumpaar, U X eine Teil-
menge, deren Abschluss im Inneren von A liegt: U

A. Dann gilt:
H
n
(X, A) H
n
(X\U, A\U)
vermge der Inklusion.
X
A
U
Abbildung 2.9. Die Situation beim Ausschneidungsaxiom.
Bevor wir diesen Satz beweisen, geben wir zunchst eine Umformulierung
und dann einige Anwendungen.
Satz 2.56 (Ausschneidungsaxiom, zweite Formulierung). Seien X
1
, X
2
X
und X =

X
1

X
2
. Dann induziert j : (X
1
, X
1
X
2
) (X, X
2
) einen Isomorphismus
H
n
(X
1
, X
1
X
2
)

H
n
(X, X
2
).
Version vom: 26. September 2007
72 2 Homologie
X
X
1
X
2
X
1
X
2
Abbildung 2.10. Die Situation bei der zweiten Formulierung des Ausschneidungs-
axioms.
Beweis. Wir setzen: A = X
2
, U = X\X
1
. Dann gilt: U = X\

X
1

X
2
=

A.
Ferner ist: A\U = X
1
X
2
, X\U = X
1
. Damit ist die quivalenz der beiden
Formulierungen des Ausschneidungsaxioms oensichtlich.
2.5.1 Anwendungen des Ausschneidungsaxioms
Die zweite Version des Ausschneidungsaxioms ist quivalent zur ersten. Eine
wichtige Anwendung dieser Stze ist die Existenz der sogenannten Mayer-
Vietoris-Sequenz, mit Hilfe derer wir viele Homologiegruppen ausrechnen
knnen, analog zum Satz von Seifert van Kampen fr die Fundamental-
gruppen. Dafr bentigen wir das folgende Lemma:
Lemma 2.57. Gegeben sei ein Diagramm


A
n
i
n

f
n

B
n
k
n

g
n

C
n
m
n

h
n

A
n1
i
n1

f
n1

n
j
n

n
l
n

n

A

n1
j
n1


mit exakten Zeilen, bei dem h
n
ein Isomorphismus ist. Dann gibt es eine exakte
Sequenz
A
n
(i
n
, f
n
)
B
n
A

n
D
A
n1
,
wobei D deniert ist durch m
n
h
1
n
l
n
und die Abbildung : B
n
A

n
B

n
durch
(b, a) g
n
(b) j
n
(a).
Beweis. Diagrammjagd.
Damit knnen wir ein Analogon zum Satz von Seifert van Kampen fr die
Homologiegruppen zeigen:
Satz 2.58 (Mayer-Vietoris-Sequenz). Seien X
1
, X
2
X mit X =

X
1

X
2
. Dann
gibt es eine lange exakte Sequenz:
H
n
(X
1
X
2
)
(i
1
,i
2
)
H
n
(X
1
) H
n
(X
2
)
j
1
j
2
H
n
(X)
D
H
n1
(X
1
X
2
) .
Version vom: 26. September 2007
2.5 Das Ausschneidungsaxiom 73
Beweis. Wir mchten das Lemma auf die beiden langen exakten Homologie-
sequenzen
H
n
(A) H
n
(X) H
n
(X, A) H
n1
(A)
zu den Paaren
(X
1
X
2
, )


_

(X
1
, )


_

(X
1
, X
1
X
2
)
h

(X
2
, )

(X, )

(X, X
2
)
anwenden:
H
n
(X
1
X
2
)

H
n
(i)

H
n
(X
1
)

H
n
(j)

H
n
(X
1
, X
1
X
2
)

h
n

H
n1
(X
1
X
2
)
H
n1
(i)

H
n
(X
2
)

H
n
(X)

H
n
(X, X
2
)

H
n1
(X)
Die zweite Version des Ausschneidungsaxioms (Satz 2.56) zeigt, dass die
h
n
Isomorphismen sind. Das Lemma liefert dann die Existenz der exakten
Sequenz.
Einen ausfhrlichen Schritt-fr-Schritt-Beweis fr die Existenz der Mayer-
Vietoris-Sequenz liefert Fulton [Ful95, S. 140]. Mit dem Satz knnen wir
nun die Homologiegruppen der n-Sphren berechnen:
Satz 2.59 (Homologie der n-Sphre). Sei S
n
, n > 1, die n-Sphre. Dann gilt:
H
p
(S
n
)
_
Z, p = 0 oder n,
0, sonst.
Beweis. Die Aussage ber H
0
(S
n
) kennen wir bereits (Satz 2.47).
Wir betrachten nun, wie bei der Berechnung der Fundamentalgruppe der
Sphren in Satz 1.70, die Mengen X
1
= S
n
{x
n

1
2
}, X
2
= S
n
{x
n

1
2
} (s.
Abb. 2.11). Dann: X
1
X
2
S
n1
homotop und X
1
X
2
D
n
.
Die Mayer-Vietoris-Sequenz liefert fr p 2:
H
p
(X
1
) H
p
(X
2
) = 0 H
p
(S
n
) H
p1
(S
n1
) 0 = H
p1
(X
1
) H
p1
(X
2
),
also:
H
p
(S
n
) H
p1
(S
n1
).
Per Induktion folgt also die Behauptung; wir mssen nur noch den Fall p = 1
klren. H
1
(S
n
) = 0 fr n 2 folgt mit der exakten Sequenz:
H
1
(X
1
) H
1
(X
2
)
.,.
0
H
1
(X) H
0
(X
1
X
2
)
.,.
Z
H
0
(X
1
) H
0
(X
2
)
.,.
ZZ
0.

Version vom: 26. September 2007


74 2 Homologie
Abbildung 2.11. Die Aufteilung der Sphre in zwei oene Teilmengen X
1
und X
2
mit
S
2
=

X
1

X
2
zur Berechnung der Homologiegruppen der Sphre. Das ganz rechte
Bild zeigt deren Schnitt X
1
X
2
.
Einiges aus diesemBeweis kannmanaucheinwenigallgemeiner formulieren.
Dazu fhren wir zunchst einen Begri ein:
Denition 2.60. Gilt H
p
(X) = 0 p 0, so heit X azyklisch.
Bemerkung 2.61. 1. Ist X
1
X
2
azyklisch, so folgt mit der Mayer-Vietoris-
Sequenz (Satz 2.58) unmittelbar: H
p
(X) H
p
(X
1
) H
p
(X
2
) fr p 0.
2. Ebenso gilt: Sind X
1
und X
2
azyklisch, so ist H
p
(X) H
p1
(X
1
X
2
) ein
Isomorphismus fr p 2.
Eine interessante Anwendung der vorigen Stze ist der folgende Fixpunkt-
satz, fr dessen Formulierung algebraische Topologie gar nicht verwendet
wird:
Korollar/Denition 2.62 (Brouwerscher Fixpunktsatz). Sei f : D
n
D
n
eine
stetige Abbildung des Einheitsballes D
n
auf sich. Dann hat f einen Fixpunkt, d.h.
x D
n
mit f (x) = x.
Beweis. Angenommen f habe keinen Fixpunkt. Dann ist fr jedes x D
n
die
Halbgerade von f (x) nach x deniert. Diese schneidet S
n1
in genau einem
Punkt. Dies liefert eine stetige Abbildung r: D
n
S
n1
, die alle Punkte auf
S
n1
festlsst.
Dann ist aber h
t
(x) = r(tx) eine Homotopie h
t
: S
n1
S
n1
mit h
0
= const
und h
1
= id
S
n1 . Die (n 1)-Sphre ist aber nicht zusammenziehbar wegen
des Satzes 2.59 ber die Homologie der Sphren.
Endlich knnen wir einen Satz beweisen, dessen Infragestellung uns viel-
leicht gar nicht in den Sinn gekommen wre:
Korollar 2.63 (Invarianz der Dimension). Aus m n folgt R
m
R
n
.
Version vom: 26. September 2007
2.5 Das Ausschneidungsaxiom 75
Beweis. Andernfalls wre R
m
\{0} R
n
\{0} und also S
m1
S
n1
, was nicht
der Fall ist wegen 2.59.
Allgemeiner gilt:
Satz 2.64 (Nichthomomorphie oener Teilmengen in R
n
, R
m
, n m). Zwei
nichtleere oene TeilmengenU R
n
und V R
m
sind fr n mnicht homomorph.
Beweis. Wir zeigen den Satz nur fr n 2, da n 1 recht einfach separat zu
betrachten ist. Angenommen, es existiere ein Homomorphismus : U V.
Fr ein x U bezeichnen wir y = (x).
Dann betrachten wir die Paare U\{x} U R
n
und V\{y} V R
m
.
Wir mchten die zweite Formulierung des Ausschneidungsaxioms 2.56 fr
X = R
n
, U = X
1
, R
n
\{x} = X
2
anwenden. Dazu bemerken wir, dass wir diesen
Satz tatschlich anwenden drfen, da:
X = R
n
= U (R
n
\{x}) =

X
1

X
1
.
Da U\{x} = X
1
X
2
, erhalten wir somit:
H
p
(U, U\{x}) = H
p
(X
1
, X
1
X
2
) H
p
(X, X
2
) = H
p
(R
n
, R
n
\{x}). (2.1)
Die lange exakte Sequenz der Homologie liefert mit A = X
2
= R
n
\{x} S
n1
und X = R
n
fr p 2:
H
p
(X)
.,.
=0
H
p
(X, A)
.,.
H
p
(R
n
,R
n
\{x})
H
p1
(A) H
p1
(X)
.,.
=0
.
Also:
H
p
(R
n
, R
n
\{x})
_
Z, p = n,
0, sonst.
Wegen der Identitt (2.1) und deren Analogon fr das Paar V\{y} V folgt
die Behauptung.
Bemerkung 2.65. Der Beweis des vorigen Satzes zeigt:
H
p
(D
n
, S
n1
) H
p
(R
n
, R
n
\{x})
_
Z, p = n,
0, sonst.
Es gibt noch viele weitere Anwendungen der bisher entwickelten Theorie.
Eine bekannte Tatsache ist beispielswiese den Satz vom Igel, der eng mit
demBrouwerschen Fixpunktsatz zusammenhngt und der besagt: Die Haare
eines kugelrunden Igels knnen nicht alle in eine Richtung gekmmt werden;
Version vom: 26. September 2007
76 2 Homologie
es gibt mindestens einen Punkt, an dem dies nicht funktioniert. Fr diesen
und weitere Anwendungen siehe die angegebene Literatur, wie [SZ88].
Im Kapitel 11.7 wird dort beispielsweise der sogenannte Brouwersche Sepa-
rationssatz bewiesen, der sagt, dass R
n
\S bzw. S
n
\S aus genau zwei Wegzu-
sammenhangskomponenten bestehen, falls S R
n
bzw. S S
n
eine (n 1)-
dimensionale Sphre ist, falls n 2; fr n = 2 heit dieser Satz Jordanscher
Kurvensatz. Im Gegensatz dazu werden R
n
und S
n
durch eine darin enthal-
tene Sphre der Dimemsion < n 1 nicht zerlegt.
Mit Hilfe solcher Zerlegungsstze kann man auch den sogenannten Satz von
der Invarianz des Gebietes zeigen, der besagt, dass, falls X R
n
oen und
Y R
n
homomorph zu X ist, dann Y auch oen ist.
2.5.2 Beweis des Aussschneidungsaxioms
12. Vorlesung:
18. Juli 07
Baryzentrische Unterteilung
Die Grundidee ist es, den Simplex (links in Abb. 2.12) durch die Kette (rechts
in Abb. 2.12) zu ersetzen und zu zeigen, dass wir dadurch die gleichen Ho-
mologiegruppen erhalten.
Abbildung 2.12. Baryzentrische Unterteilung.
Denition 2.66. 1. [a
0
, . . . , a
n
] sei ein anes n-Simplex in einer konvexen Menge
V R
N
. Dann heit
a =
a
0
+ + a
n
n + 1
sein Baryzentrum (oder sein Baryzenter).
2. Sei [a
0
, . . . , a
n
] ein anes n-Simplex in einer konvexen Menge V R
N
und
b V ein weiterer Punkt. Wir bezeichnen mit
K
b
[a
0
, . . . , a
n
] := [b, a
0
, . . . , a
n
]
die Z-lineare Fortsetzung fr Ketten von anenen n-Simplizes in V (s. Abb.
2.13).
Version vom: 26. September 2007
2.5 Das Ausschneidungsaxiom 77
Abbildung 2.13. Denition der Abbildung K
b
[a
0
, . . . , a
n
].
3. Wir denieren nun Unterteilungsoperatoren
U
n
: C
a
n
(V) C
a
n
(V),
wobei C
a
n
(V) die anen Simplizes in V bezeichnet. Dazu setzen wir U
0
= id,
U
n
_
[a
0
, . . . , a
n
]
_
:= K
a
_
U
n1
_
[a
0
, . . . , a
n
]
__
.
Lemma 2.67. Es gilt:

n
U
n
= U
n1

n
.
Beweis. Mit Induktion.
Wir verallgemeinern U
n
nun auf beliebige topologische Rume:
Denition 2.68. Wir setzen:
U
n
: C
n
(X) C
n
(X), U
n
() := U
n
(id

n
).
Weiterhin gilt
n
U
n
= U
n1

n
und auerdem:
Lemma 2.69. U
n
induziert die Identitt auf der Homologie H
n
(X).
Beweis. Leider haben wir keine Zeit, hier eine Homotopie R
n
: C
n
(X)
C
n+1
(X) zwischen U
n
und id
C (X)
zu konstruieren. Dies wre etwa eine Seite
Detailarbeit. Problem:
Es fehlt noch etwas!
Die Gruppen H
n
(X, a)
Denition 2.70. Sei X ein topologischer Raum und a = {U
i
| i I} eine berde-
ckung von X mit
_
iI

U
i
= X (das Innere liefert also eine oene berdeckung). Wir
denieren:
C
n
(a) := C
n
(X, a) := C
n
(X) | Bild U
i
fr ein i
als die Simplizes mit Feinheit a.
Version vom: 26. September 2007
78 2 Homologie
Satz 2.71. Es gilt:
(H
n
(a) =) H
n
(X, a) H
n
(X) n.
Beweis. Wir betrachten die Inklusion von Komplexen
(C (a) =) C (X, a) C (X).
Es gengt zu zeigen:
1. Jeder Zykel z Z
n
(X) ist homolog zu einem Zykel z Z
n
(a).
2. Sind z
1
, z
2
Z
n
(a) Z
n
(X) homolog bzgl. B
n
(X), so gilt schon z z B
n
(a).
Wir haben leider nicht die Zeit, dies hier zu zeigen. Es ist etwa eine Seite
Detailarbeit. Hierbei wird auch wieder das Lemma von Lebesgue verwen-
det. Relevant geht auch das Lemma 2.69 ein: es reicht nmlich fr die erste
Behauptung zu zeigen, dass ein N existiert mit U
N
z Z
n
(a), weil nach dem
Lemma z und U
N
z in B
n
(X) homolog sind. Problem:
Es fehlt noch etwas!
Wir denieren nun:
Denition 2.72.
C (X, A, a) :=
C (X, a)
C (A, a A)
.
Fr die entsprechenden Homologiegruppen gilt:
Korollar 2.73. Sei a eine berdeckung von X mit

a oene berdeckung von X.
Dann gilt:
H
n
(X, A, a) H
n
(X, A)
vermge der Inklusion C (X, A, a) C (X, A).
Beweis. Wir betrachten die langen exakten Sequenzen der Paare
H
n
(A, a)

H
n
(X, a)

H
n
(X, A, a)

H
n1
(A, a)

H
n1
(X, a)

H
n
(A)

H
n
(X)

H
n
(X, A)

H
n1
(A)

H
n1
(X).
Alle senkrechten Pfeile bis auf den mittleren sind Isomorphismen nach Satz
2.71. Nach dem Fnferlemma 2.17 ist somit auch der mittlere Pfeil ein Iso-
morphismus.
Version vom: 26. September 2007
2.5 Das Ausschneidungsaxiom 79
Der Beweis des Ausschneidungsaxioms
Endlich knnen wir das Ausschneidungsaxiom
H
n
(X, A) H
n
(X\U, A\U), falls

U

A,
beweisen, auf dem so viele Stze des Abschnitts 2.5.1 basieren:
Beweis (des Ausschneidungsaxioms 2.55). Wir betrachten die berdeckung
a = {A, X\U} mit

a = {

A, X\

U}.
und die Abbildungen:
C
q
(X\U) / C
q
(A\U)
j
q

i
q

C
q
(X, a) / C
q
(A, a)
k
q

C
q
(X) / C
q
(A).
Zwei der indiesemDiagrammauftretendenGruppen C
q
(X\U) undC
q
(A)A
knnen wir nach dem Homomorphiesatz (auch Noetherscher Isomorphie-
satz) folgendermaen in Beziehung setzen:
C
q
(X\U)
C
q
(X\U) C
q
(A)

C
q
(X\U) + C
q
(A)
C
q
(A)
.
Die restlicheninobigemDiagrammvorkommendenGruppenberechnensich,
wegen der nur aus zwei Mengen bestehenden berdeckung a, sehr einfach
aus diesen beiden:
C
q
(A\U) = C
q
(X\U) C
q
(A),
C
q
(X, a) = C
q
(X\U) + C
q
(A) C
q
(X),
C
q
(A, a) = C
q
(X, a) C
q
(A) = C
q
(A).
Diese folgen direkt aus den Denitionen von a und C
q
(X, a) (Denition 2.70).
Also induziert i
q
einen Isomorphismus von Kettenkomplexen.
Die Abbildung k
q
induziert aber auch einen Isomorphismus in der Homolo-
gie, nmlich nach Korollar 2.73. Wir erhalten somit:
H
q
(X\U, A\U)
i
q

H
q
(X, A),
wie behauptet.
Version vom: 26. September 2007
80 2 Homologie
2.6 Zusammenhang simpliziale/singulre Homologie
Wir zeigennun, dass die beidenHomologieTheorien, die wir indenvorange-
henden Abschnitten eingefhrt haben, im Wesentlichen das Gleiche liefern.
Dies fassen wir am Ende dieses Abschnittes in den EilenbergSteenrood
Axiomen zusammen.
Sei dazu K ein simplizialer Komplex und |K|
N
R
N+1
der zugrunde
liegende Raum. Elemente von C
p
(K) sind spezielle ane Simplizes in |K|. Wir
haben also eine Inklusion von Komplexen:

C
p
(K)

C
p1
(K)

C
p
(|K|)

C
p1
(|K|)

Es gilt aber sogar:
Satz 2.74. Die Inklusion C (K) C (|K|) induziert einen Isomorphismus von Ho-
mologiegruppen:
H
n
(K) H
n
(|K|).
Beide Homologietheorien liefern also das gleiche Ergebnis und es folgt sofort
der Satz 2.35, dessen Beweis wir verschoben hatten. Bevor wir Satz 2.74 aber
beweisen knnen, bentigen wir noch einige Vorbereitungen. Zunchst aber
eine weitere unmittelbare Folgerung:
Korollar 2.75. Fr einen triangulierbaren Raum X sind alle Homologiegruppen
H
n
(X) endlich erzeugte abelsche Gruppen.
Beweis. Nach Voraussetzung ist X = |K| fr ein gewisses K. Fr H
n
(K) ist die
endliche Erzeugung klar, da schon der ganze Komplex C (K) endlich erzeugt
ist (und Znoethersch ist).
Den Beweis von Satz 2.74 werden wir induktiv fhren. Dazu bentigen wir
den Begri eines Paares auch fr simpliziale Komplexe:
Denition 2.76. Sei L K ein Unterkomplex. Dann ist C (L) C (K) ein Unter-
kettenkomplex.
C (K, L) := C (K)/C (L) und H
n
(K, L) := H
n
(C (K, L))
heien relativer simplizialer Kettenkomplex und relative simpliziale Homo-
logie.
Version vom: 26. September 2007
2.6 Zusammenhang simpliziale/singulre Homologie 81
Mit dieser Notation gilt knnen wir ein erster Resultat beweisen, das uns
dem Induktionsschritt (nach der Anzahl der Simplizes im Komplex) fr den
Beweis von Satz 2.74 nher bringt:
Lemma 2.77. Sei K ein simplizialer Komplex, K ein maximaler Simplex und
L = K\{} ein Unterkomplex. Dann gilt:
H
n
(K, L)
_
Z, dim|| = n,
0, sonst.
Beweis. Die Aussage direkt folgt aus:
C
n
(K, L)
_
Z, dim = n,
0, sonst.
Fr dim nist diese Isomorphie aber klar, da sichKundLnur inDimension
n unterscheiden. Im verbleibenden Fall ist der Quotient der beiden freien
abelschen Gruppen gerade die freie abelsche Gruppe, die von erzeugt
wird.
Lemma/Denition 2.78. Seien
|| = {(
0
, . . . ,
n
, 0, . . . , 0) |
i
0,

i
= 1}

N
= {(
0
, . . . ,
n
,
n+1
, . . . ,
N
) |
i
,
j
0,

i
+

i
= 1}
eine Facette und
|
c
| = {(0, . . . , 0,
n+1
, . . . ,
N
) |
i
0,

i
= 1}
die duale Facette (Abb. 2.14). Dann sind |
N
|\|
c
| und || homotopiequivalent.

Abbildung 2.14. Eine Facette und ihre duale Facette.


Eine stetige Abbildung f : X Y heit hierbei eine Homotopiequivalenz, falls
es eine stetige Abbildung g: Y X gibt mit g f id
Y
und f g id
X
; dies ist
also eine etwas schwchere Eigenschaft als die eines Homomorphismus.
Version vom: 26. September 2007
82 2 Homologie
Beweis. Wir betrachten die Homotopie
H: (|
N
|\|
c
|) [0, 1] |
N
|
H(
0
, . . . ,
n
,
n+1
, . . . ,
N
, t) :=
_
1
1 t
(
0
, . . . ,
n
),
1 t
1 t
(
n+1
, . . . ,
N
)
_
,
wobei =

i
. Wegen (, )
c
gilt < 1; H ist also wohldeniert. H
ist eine Homotopie zwischen id
|
N
|\|
c
|
und H(0, 1) = f : |
N
|\|
c
| || mit
f |
|
n
|
:= id
||
, H(., t) = id

. Sei i : || |
N
|\|
c
| die Inklusion. Dann gilt:
f i = id

, i f id
|
N
|\|
c
|
vermge H.
Damit knnen wir jetzt ein Resultat beweisen, das die Basis fr den Induk-
tionsschritt im Beweis von Satz 2.74 bilden wird. Die Homologiegruppen
H
p
(D
n
, S
n1
) kennen wir dabei bereits aus Bemerkung 2.65:
Korollar 2.79. Seien K ein Komplex, K ein maximaler Simplex, L = K\{} und

L = K
c
. Dann gilt:
H
p
(|K|, |L|)
Ausschneidung
H
p
(|K|\|

L|, |L|\|

L|)
Homotopiequivalenz
H
p
(|K| ||, |L| ||)
H
p
(D
n
, S
n1
)

_
Z, p = n,
0, sonst.
Insbesondere gilt nach Lemma 2.77:
H
p
(K, L) H
p
(|K|, |L|) p.
Beweis. Wir mssen nur die Isomorphie H
p
(|K| ||, |L| ||) H
p
(D
n
, S
n1
)
zeigen. Vermge der Homotopie H wie in Lemma 2.78 erhalten wir einen
Isomorphismus
H
p
(K, L) H
p
(|K|, |L|)
Ausschneidung
H
p
(|K|\(|K| |
c
|), |L|\(|L| |
c
|))
wie im Lemma
H
p
(|K| ||
.,.
=||
, |L| ||
.,.
=||
)
H
p
(D
n
, S
n1
),
da (
n
,
n
) (D
n
, S
n1
) einHomomorphismus ist. Das Bildvon Z
n
(K, L)
wird dabei auf den Erzeuger von H
n
(D
n
, S
n1
) H
n
(
n
,
n
) abgebildet. Dies
gibt den gewnschten Isomorphismus.
Version vom: 26. September 2007
2.6 Zusammenhang simpliziale/singulre Homologie 83
Schlielich knnen wir den Satz 2.74 vom Anfang des Abschnittes beweisen:
Beweis (von Satz 2.74). Wir gehen per Induktion nach der Anzahl der Simpli-
zes vor. Fr |K| = {p} ein Punkt ist die Behauptung wahr nach dem Dimensi-
onsaxiom (Satz 2.46):
H
0
({p}) = H
0
(K) = Z
und alle anderen Gruppen sind null.
Fr den Induktionsschritt betrachten wir K und L = K\{}, wobei ein
maximaler Simplex ist. Die lange exakte Sequenz der Paare gibt zusammen
mit dem Korollar 2.79 und der Induktionsvoraussetzung, die sich ja auf L
anwenden lsst:
H
p+1
(K, L)

H
p
(L)

H
p
(K)

H
p
(K, L)

H
p1
(L)

H
p+1
(|K|, |L|)

H
p
(|L|)

H
p
(|K|)

H
p
(|K|, |L|)

H
p1
(|L|).
Das Fnfer-Lemma (2.17) liefert nun: H
p
(K) H
p
(|K|).
Damit haben wir endlich den Satz 2.35 ber die Unabhngigkeit der Homo-
logie von der Wahl der Triangulierung bewiesen, mit Hilfe dessen wir in 2.36
erst die Eulerzahl denieren und berechnen konnten.
Das eben Gezeigte knnen wir auch noch etwas allgemeiner hinschreiben:
Korollar 2.80. Sei K ein simplizialer Komplex, L ein Unterkomplex. Dann gilt:
H
p
(K, L)

H
p
(|K|, |L|).
Beweis. Dies folgt ebenfalls aus demFnfer-Lemma. Das folgende Diagramm
H
p
(L)

H
p
(K)

H
p
(K, L)

H
p1
(L)

H
p1
(K)

H
p
(|L|)

H
p
(|K|)

H
p
(|K|, |L|)

H
p1
(|L|)

H
p1
(|K|).
kommutiert nmlich.
Bemerkung/Denition 2.81. Fr ein triangulierbares Paar (X, A) haben wir gese-
hen, dass
H
n
(X, A) H
n
(|K|, |L|) H
n
(K, L),
falls X |K| , A |L|. Fr den Nachweis haben wir lediglich die Stze
ES 1: Homotopieaxiom: Satz 2.48
Version vom: 26. September 2007
84 2 Homologie
ES 2: Exaktheitsaxiom: Satz 2.53
ES 3: Ausschneidungsaxiom: Satz 2.55
ES 4: Dimensionsaxiom: Satz 2.46
sowie die Eigenschaft (s. Bemerkung 2.65)
H
p
(D
n
, S
n1
)
_
Z, p = n,
0, sonst
verwendet.
Die Mayer-Vietoris-Sequenz und damit auch die letzte Eigenschaft waren aber ei-
ne Konsequenz aus den obigen vier Axiomen. Diese vier Axiome ES 14 heien
EilenbergSteenroodAxiome, da sie, wie gerade gezeigt, die Homologietheorie,
d.h. die Gruppen H
n
(X, A) fr triangulierbare Paare (X, A) bestimmen.
Es gibt noch weitere Mglichkeiten, die Homologiegruppen von (X, A) zu denieren.
Statt singulrer Simplizes kann man beispielsweise dierenzierbare Simplizes oder
auch C

-Simplizes betrachten fr Paare von dierenzierbaren Mannigfaltigkeiten


mit Rand oder andere Rume. Alle diese Abstze ergeben aber letztlich die gleiche
Homologietheorie, wenn sie den vier EilenbergSteenroodAxiomen gengen.
2.7 Zur Klassikation der kompakten orientierbaren Flchen
Leider haben wir nicht die Zeit, die Klassikation der kompakten (trian-
gulierbaren) orientierbaren Flchen hier noch vorzufhren. Wenigstens das
Hauptresultat mchten wir aber als Abschluss dieser Vorlesung erwhnen,
da es ein sehr schnes Ergebnis ist und auch eine Anwendung in der alge-
braischen Geometrie besitzt.
Denition 2.82. 1. Unter einer Flche verstehenwir hier eine 2-Mannigfaltigkeit,
d.h. einen topologischen Raum X, so dass zu jedem Punkt x X eine oene
Umgebung U existiert, die homomorph zu einer oenen Teilmenge V R
2
der
reellen Ebene ist: U V.
2. Eine Triangulierung einer Flche heit orientierbar, falls man fr jedes der
Dreiecke eine Reihenfolge der Ecken angeben kann, so dass zwei Dreiecke mit
einer gemeinsamen Kante diese Kante in umgekehrter Richtung durchlaufen
(Abb. 2.15).
Satz/Denition 2.83 (Klassikation der kompakten (triangulierbaren) ori-
entierbaren Flchen). Ist X eine (triangulierbare) zusammenhngende kompakte
orientierbare Flche, dann ist X homomorph zu einer Sphre mit g Grien fr eine
gewisse Zahl g N
0
. g heit Geschlecht der Flche.
Version vom: 26. September 2007
2.7 Zur Klassikation der kompakten orientierbaren Flchen 85
Abbildung 2.15. Orientierbarkeit einer Flche.
Abbildung 2.16. Flchen vom Geschlecht 1, 1, 2.
Beweis (nur Beweisidee, siehe Kapitel 17 von [Ful95] fr einen sehr anschaulichen
Beweis). Man kann zeigen, dass sich eine solche Flche (auer einer Sphre)
als ebenes Polygon mit 4g Seiten, bei dem jeweils 4 nebeneinander liegen-
de Seiten nach dem Schema
1

1
identiziert werden, darstellen lsst.
Genauer kann man das Polygon sogar auf die Normalform bringen, die in
Abbildung 2.17 zu sehen ist.

1
1

1
1

1
3

1
3

1
2

1
2

2
Abbildung 2.17. Die Normalform eines Polygons, aus dem eine kompakte orientier-
bare Flche durch Identizierung der Seiten
i
und
i
entsteht.
Beispiel/Denition 2.84 (Geschlecht einer ebenen algebraischen Kurve).
Die komplexe Nullstellenmenge einer (glatten) algebraischen Kurve (ggf.
Version vom: 26. September 2007
86 2 Homologie
nach Hinzufgen von Punkten im Unendlichen) ist eine solche kompakte
Flche; die Zahl g heit dann Geschlecht der Kurve.
1. Die komplexe Nullstellenmenge von x
2
+ y
2
1 (reell ein Kreis) ist eine
Sphre; derenGeschlecht ist also g = 0. Kurven mit g = 0 heien rationale
Kurven.
2. Die komplexe Nullstellenmenge einer nicht-singulren ebenen Kurve
vom Grad 3, beispielsweise y
2
x
2
+ x
3
+ 1/16 (reell zwei Zusammen-
hangskomponenten) ist ein Torus, also eine Sphre mit einemGri; deren
Geschlecht ist also g = 1. Solche Kurven heiten elliptische Kurven.
3. Man kann zeigen, dass jede glatte ebene algebraische Kurve vom Grad d
Geschlecht g =
1
2
(d 1)(d 2) hat.

Vonder Normalform, die imvorigenBeweis erwhnt wurde, ausgehendkann


manauchrelativleicht die Fundamentalgruppenunddie Homologiegruppen
der Flchen ausrechnen:
Satz 2.85. Die erste Homologie H
1
(X) einer (triangulierbaren) kompakten orientier-
baren Flche ist Z
2g
.
Beweis. Auch dies geschieht im zitierten Kapitel von Fultons Buch.
Genauwie bei Satz 2.39ergibt sichdaraus schlielichdie allgemeinere Version
des Polyedersatzes:
Satz 2.86 (Allgemeinerer Eulerscher Polyedersatz). Fr jede Triangulierung
einer (triangulierbaren) kompakten orientierbaren Flche gilt:
e k + d = 2 g,
wobei e die Anzahl der Ecken, k die Anzahl der Kanten und d die Anzahl der Dreiecke
der Triangulierung und g das Geschlecht der Flche ist.
Version vom: 26. September 2007
Literatur
Ful95. W. Fulton, Algebraic Topology, A First Course, Springer, 1995.
Hat02. A. Hatcher, Algebraic Topology, Cambridge University Press, 2002, Download:
http://www.math.cornell.edu/ hatcher/AT/ATpage.html.
May89. K.H. Mayer, Algebraische Topologie, Birkhuser, 1989.
PH97. U. Stammbach P.J. Hilton, A Course in Homological Algebra, Springer, 1997.
Rot. Rotman, Introduction to the Theory of Groups, Springer, ????
Sch98. R. Scharein, The KnotPlot Site, www.knotplot.com, 1998.
SZ88. R. Stcker and H. Zieschang, Algebraische Topologie, Teubner Stuttgart, 1988.
vBL06. H.-C. Graf v. Bothmer and O. Labs, Geometrical Animations Calendar 2006,
www.Calendar.AlgebraicSurface.net, 2006.
Index
A
c
5
A
t
57
C (X, A) 70
D
n
5, 74
G-berlagerung 48
H
n
(X) 66
H
n
(X, A) 70
S
n
6, 73
X Y 3, 5
[] 15
Deck(Y/X) 33
(X, x
0
) 6
13
AB 52
G 52
S 52
TOP 52
TOP

52

D
n
5

p
61
b
p
62
f g rel A 19
f : X Y 52
f
0
f
1
18
berlagerungsisomorphismus 26
Comp 64
Ab 52
abgeschlossen 5
quivalenz 52
Alphabet 46
A
t
57
Ausschneidungsaxiom 71
zweite Formulierung 71
azyklisch 74
Bahn 31
Baryzenter 76
Baryzentrum 76
Basis 54
Basispunkt 16
Bettizahl 62
Bild 55
Bltterzahl 26
b
p
62
Brouwersche Separationssatz 76
Brouwerscher Fixpunktsatz 74
C (X, A) 70
Deckbewegung 33
Decktransformation 30, 33
Deck(Y/X) 33
Deformationsretrakt 19

p
61
Diagrammjagd 56
Dierentialen 64
Dimensionsaxiom 67
diskrete Toplogie 5
duale Facette 81
Ecken 59
eigentlich diskontinuierlich 31
EilenbergSteenroodAxiome 84
einfach zusammenhngend 39
Einheitsball 5
Einheitskreises 6
90 Index
Einheitssphre 6
elliptische Kurven 86
endlich erzeugt 56
Erzeugendensystem 56
Eulerscher Polyedersatz 64
allgemeinere Form 86
Eulerzahl 62
exakt 55, 65
exakt an der Stelle 55
exakte Sequenz 55
kurze 55
spaltet 56
f

17, 66
Facette 81
Faser 25
Fixpunkt 74
xpunktfrei 31
Flche 84
frei 31
freie abelsche Gruppe 53, 54
freie Gruppe ber A 46
Fundamentalgruppe 16
Fundamentalsatz der Algebra 25
Funktor 53
kontravarianter 53
kovarianter 53
Geschlecht 84, 86
geschlossener Weg 6
gleichmig stetig 21
Groups 52
H
n
(X, A) 70
H
n
( f ) 66
Hochhebung 27
homomorph 5
Homomorphismus 3, 5
Homologie der n-Sphre 73
Homologie eines Raumpaares (X, A)
70
Homologiegruppe 62, 64
eines Komplexes 64
Homologietheorie 84
homotop 13, 18, 70
homotop relativ A 19
Homotopie 13, 18, 69
homotopiequivalent 81
Homotopiequivalenz 81
Homotopieaxiom 68
indiskrete Topologie 5
Invarianz der Dimension 74
inverse Weg 7
isomorph 52
Isomorphismus 52
Isomorphismus zwischen zwei
berlagerungen 26
Jordanscher Kurvensatz 76
Kanten 59
Kategorie 52
Kern 55
Klassikationssatz der abelschen
Gruppen 58
Kleinsche Flasche 33
Kokern 55
kompakt 21
Komplement 5
Komplex
simplizialer 59
Komplex abelscher Gruppen 64
Komposition 52
konstanter Weg 6
kontravarianter Funktor 53
kovarianter Funktor 53
kurze exakte Sequenz 55, 65
lange exakte Homologieequenz 65
lange Homologiesequenz 70
leeres Wort 46
Lemma von Lebesgue 28
Liftung 27
Eindeutigkeit 27
Homotopie- 29
Pfad- 28
linear unabhngig 54
lokal einfach 31
lokal einfach zusammenhngend 42
lokal wegzusammenhngend 35
Mbiusband 32
Mayer-Vietoris-Sequenz 72
Morphismus 52, 64
zwischen Komplexen 64
n-dimensionaler Einheitsball 5
n-dimensionaler Einheitsball 74
Version vom: 26. September 2007
Index 91
n-Ketten 66
n-Rnder 66
n-Sphre 6, 73
n-te singulre Homologiegruppe 66
n-Zykel 66
natrliche Quotientenabbildung 31
Nichthomomorphie oener Teilmengen
in R
n
, R
m
, n m 75
normale berlagerung 41
normale Untergruppe 38
Normalteiler 38
Objekten 52
oene Menge 5
(X, x
0
) 6
Operation 30
Orbit 31
orientierbar 84
Pfadliftung 28

0
(X) 7

1
() 18

1
(X) 16
Potenzmenge 5
Prismenkonstruktion 68
projektive Raum 32
Quotiententopologie 31
Rand 65
Randabbildung 71
Rang 55, 57
rationale Kurven 86
Raumpaar 70
relative Homologie von X modulo A
70
relative simpliziale Homologie 80
relativer simplizialer Kettenkomplex
80
Retrakt 19
Retraktion 19
Satz vom Igel 75
Satz von der Invarianz des Gebietes 76
Seifert van Kampen 44
semilokal einfach zusammenhngend
42
Sequenz
exakt 55
exakt an der Stelle 55
Sets 52
Silbe 46
Simplex
aufgespannt durch Ecken 58
Simplizes mit Feinheit a 77
Simplizes von K 59
simplizialer Komplex 59
singulre Kettenkomplex 66
singulres n-Simplex 65
spaltet 56
Standard n-Simplex 58
starker Deformationsretrakt 19
Stereographische Projektion 6
sternfrmig 70
stetig 5
in x 5
stetige Abbildung
zwischen Raumpaaren 70
Teilraumtopologie 8
Top 52
Top

52
Topologie 4
topologischer Raum 5
Torsionselement 57
torsionsfrei 57
Torsionsuntergruppe 57
Torus 32
transitiv 34
treu 31
triangulierbarer topologischer Raum
62
Triangulierung 59
triviale G-berlagerung 48
triviale berlagerung 26
berlagerung 25
normal 41
berlagerungen 25
berlagerungsumgebung 25
Umlaufzahl 23
universelle berlagerung 40
Universelle Eigenschaft der freien
abelschen Gruppe 54
Unterkategorie 52
verbindbar
durch einen Weg 6
Version vom: 26. September 2007
92 Index
Vergissfunktor 53
verknpfte Weg 7
von E erzeugt 56
Weg 6
geschlossen 6
konstanter 6
Wegzusammenhangskomponente 7
Wort 46
zusammenhngend 8
zusammenziehbar 19
Zwischenwertsatz 7, 10, 11
Version vom: 26. September 2007