Algebraische Topologie

W. Ebeling und K. Hulek

Einleitung
Grundzge der algebraischen Topologie sieht man bereits in den Vorlesunu gen Analysis und Funktionentheorie. Dort stellt sich beispielsweise die Frage, ob ein Integral der Form f (z)dz uber einen geschlossenen Weg Null

ist. Die Antwort ist im allgemeinen nein, wie etwa 1 dz = 2i z

S1

zeigt. Andererseits ist

f (z)dz = 0, wenn sich im Holomorphiegebiet von

f zusammenziehen lt, anders ausgedrckt, wenn f nullhomotop (besa u ser noch nullhomolog ist). Typische Fragen der Topologie sind etwa: Wann sind zwei Sphren S n a und S m homomorph? (Die Antwort ist, da dies genau fr n = m der Fall o u ist). Welche kompakte, orientierbare, zusammenhngende Mannigfaltigkeia ten der Dimension 2 gibt es? Dies sind genau die Flchen mit g-Lchern a o (oder quivalent die Sphren mit g Henkeln), also a a

g=0

g=1

g=2

Die Idee der algebraischen Topologie besteht darin, topologischen Ruma en algebraische Objekte zuzuordnen (Gruppen, Ringe, ...). Dies soll in natru licher (d.h. funktorieller) Weise geschehen. Insbesondere sollen Abbildungen f : X Y Morphismen der algebraischen Objekte zugeordnet werden. Sind dann die X und Y zugeordneten Objekte verschieden, so knnen X o und Y nicht homomorph gewesen sein. o

Zur Wiederholung sei erwhnt a Denition Ein topologischer Raum ist eine Menge X zusammen mit einem System T oener Mengen, so da gilt: (i) , X T (ii) U, V T U V T (iii) Ui T fr i I u
i Ui

T.

Beispiele (i) Auf Rn sei die euklidische Metrik

n
1 2

d(x, y) =
i=1

(xi yi )

gegeben. Dann erhlt man eine Topologie auf Rn , wenn man U oen nennt, a falls mit jedem Punkt x U auch eine -Kugel B (x) = {y; d(x, y) < } in U liegt. (ii) Dieselbe Topologie auf Rn erhlt man auch fr die Metriken a u
n

dp (x, y) : =
i=1

(xi yi

)p

1 p

p2

d (x, y) : = max |xi yi |. (iii) Auf jeder Menge M kann man die diskrete Topologie betrachten. In dieser Topologie ist jede Teilmenge von M oen. Eine Abbildung f : X Y zwischen topologischen Rumen heit stea tig, falls das Urbild jeder oenen Menge oen ist. Die Abbildung f ist ein Homomorphismus, falls es eine stetige Umkehrabbildung g : Y X gibt. o

I
1

Homotopietheorie
Die Fundamentalgruppe

Ein Weg in einem topologischen Raum X ist eine stetige Abbildung : I = [0, 1] X. Wir betrachten nun zwei Wege , : I X mit demselben Anfangs- und Endpunkt, d.h. (0) = (0) = x0 , (1) = (1) = x1 . Denition Die Wege und heien homotop (relativ {0,1}) falls es eine stetige Abbildung F : I I X gibt, mit (i) F (s, 0) = (s) fr s I u (ii) F (s, 1) = (s) fr s I u (iii) F (0, t) = x0 fr t I u 2

(iv) F (1, t) = x1 fr t I u Fr festes t I erhalten wir stets einen Weg u Ft : I X Ft (s) = F (s, t). Fr homotope Wege , ist die Bezeichnung gebruchlich. Man kann u a auch eine Homotopie wie folgt versinnbildlichen. x0 x1 F Ft x1

x0 I I Man uberprft sofort, da gilt: u (1) (2) (3) , .

Deniert man ferner das Produkt von zwei Wegen und mit (1) = (0) durch : I X 1 (2s) 0s 2 (s) = 1 (2s 1) 2 s 1 so gilt ferner (4) , . Alle Aussagen sind leicht zu zeigen. Im Fall von (4) geht man wie folgt vor: Ist F : I I X eine Homotopie von und , und G : I I X eine Homotopie von und erhlt man eine Homotopie von und a durch F G : I I X F (2s, t) 0s 1 2 F G(s, t) = G(2s 1, t) 1 s 1. 2

Man beachte, da F (1, t) = (1) = (0) = G(0, t). Symbolisch kann man dies wie folgt darstellen:

x0

x1

x2

Damit haben wir auf der Menge aller Wege eine Aquivalenzrelation deniert, die mit dem Produkt von Wegen vertrglich ist. a Wir betrachten nun einen festen Punkt x0 X und geschlossene Wege : I X mit Anfangs- und Endpunkt x0 . Theorem I.1.1 Es sei 1 (X, x0 ) die Menge der Homotopieklassen von geschlossenen Wegen mit Anfangs- und Endpunkt x0 . Bezglich dem Produkt u von Wegen ist 1 (X, x0 ) eine Gruppe, dessen neutrales Element durch den konstanten Weg x0 gegeben wird und in der das zu einer Klasse [] inverse Element durch [ 1 ] gegeben wird, wobei 1 (s) = (1 s) ist. Beweis. Alle Gruppeneigenschaften sind leicht nachzuprfen. Wir zeigen hier u 1 x0 . Eine Homotopie zwischen dem konstanten Weg x0 und 1 kann konkret wie folgt angegeben werden (2s) 0 2s t (t) t 2s 2 t F (s, t) = 1 (2s 1) 2 t 2s 2 Symbolisch kann dies so dargestellt werden 1

x0

x0

x0 F ist oensichtlich auf den eingezeichneten Dreiecken stetig. Da F wohldeniert ist, d.h. da die verschiedenen Denitionen auf den Durchschnitten 4

dieser Dreiecke ubereinstimmen, ist F auf ganz I I stetig. Klarerweise liefert F die gewnschte Homotopie. u Die nchste, oensichtliche, Frage ist, inwieweit die Fundamentalgruppe a 1 (X, x0 ) vom Basispunkt x0 abhngt. a Satz I.1.2 Ist ein Weg von x0 nach x1 , so wird durch : 1 (X, x0 ) 1 (X, x1 ), [] [1 ] ein Gruppenisomorphismus deniert. Beweis. Oensichtlich ist wohldeniert und ein Gruppenhomomorphismus. Das Inverse wird durch (1 ) gegeben. Bekanntlich heit ein topologischer Raum X wegzusammenhngend, wenn a je zwei Punkte x0 , x1 in X durch einen Weg verbunden werden knnen. o Korollar I.1.3 Die Fundamentalgruppe eines wegzusammenhngenden toa pologischen Raums X hngt nicht vom Basispunkt ab. a Wir betrachten schlielich eine Abbildung von punktierten topologischen Rumen: a f : (X, x0 ) (Y, y0 ) d.h. eine stetige Abbildung f : X Y mit f (x0 ) = y0 . Dann wird durch f : 1 (X, x0 ) 1 (Y, y0 ) [] [f ] ein Gruppenhomomorphismus gegeben. Dabei gilt (1) (idx ) = id1 (X, x ) (2) (f g) = f g fr Abbildungen f : (X, x0 ) (Y, y0 ) und g : (Y, y0 ) (Z, z0 ). Insbesondeu re folgt hieraus: Ist f : X Y ein Homomorphismus mit f (x0 ) = y0 , so ist o f : 1 (X, x0 ) 1 (Y, y0 ) ein Isomorphismus, d.h. homomorphe, wegzuo sammenhngende Rume haben isomorphe Fundamentalgruppen. Auf diese a a Weise haben wir einen Funktor von der Kategorie der punktierten topologischen Rume in die Kategorie der Gruppen deniert. a

Homotopie von Abbildungen

Wir betrachten Abbildungen f, g : Y X zwischen topologischen Rumen. a Es sei A eine Teilmenge von Y mit f|A = g|A . Denition Die Abbildungen f und g heien homotop relativ der Teilmenge A (f g rel A) falls es eine stetige Abbildung F : Y I X gibt, mit 5

(i) F (y, 0) = f (y) (ii) F (y, 1) = g(y)

fr y Y u fr y Y u fr y A, t I. u

(iii) F (y, t) = f (y) = g(y)

Ist A die leere Menge, so heien f und g homotope Abbildungen. Bemerkung Die Homotopie von zwei Wegen , , wie sie im obigen Abschnitt eingefhrt wurde, ist ein Spezialfall der obigen Denition, wenn wir u fr A die Menge {0, 1} whlen. Wir bleiben allerdings bei unserer (miu a bruchlichen) Notation . a Beispiel Es sei X eine konvexe Teilmenge des Rn . Dann sind je zwei stetige Abbildungen f, g : Y X homotop. Eine Homotopie wird gegeben durch F (y, t) = (1 t)f (y) + tg(y). Denition Ein topologischer Raum X heit zusammenziehbar, wenn die Identitt zu einer konstanten Abbildung auf einen Punkt x0 X homotop a ist. Auf Grund des obigen Beispiels sind alle konvexen Teilmengen des Rn zusammenziehbar. Zusammenziehbare Rume sind insbesondere wegzusama menhngend. a Lemma I.2.1 Ist X zusammenziehbar, so sind je zwei Abbildungen f, g : Y X homotop. Beweis. Es gengt zu zeigen, da eine gegebene Abbildung f : Y X u homotop zur konstanten Abbildung x0 ist. Es sei F : Y I X eine Homotopie zwischen idX und x0 , d.h. also F (x, 0) = x, F (x, 1) = x0 . Wir bekommen dann eine Homotopie zwischen f und x0 durch F : Y I X F (y, t) = F (f (y), t).

Denition Ein topologischer Raum X heit einfach zusammenhngend, a wenn er wegzusammenhngend und die Fundamentalgruppe trivial ist. a Satz I.2.2 Ein zusammenziehbarer Raum ist einfach zusammenhngend. a Beweis. Es sei ein geschlossener Weg mit Anfangs- und Endpunkt x0 . Dann ist homotop (bezglich der leeren Menge) zu dem konstanten Weg u x0 . Wir mssen zeigen, da es auch eine Homotopie relativ {0, 1} gibt. Hierzu u beweisen wir das folgende 6

Lemma I.2.3 Es sei F : I I X eine stetige Abbildung. Es sei (t) = F (0, t), (t) = F (1, t), (s) = F (s, 0), (s) = F (s, 1). Dann gilt 1 (im Sinn von Abschnitt (I.1)) Beweis. Wir erhalten die gesuchte Homotopie der Wege 1 und durch Zusammenfgen der folgenden drei Homotopien u x0 x1

x0

x1

wobei x0 = (0) = (1), x1 = (1) = (1) sowie E(s, t) = x0 st (1 + t s) s t (t + s) 1 s t x1 1 s t.

G(s, t) =

Ende des Beweises von Satz (I.1.2): Der geschlossene Weg liefert eine stetige Abbildung : S 1 X. Da zu dem konstanten Weg x0 homotop ist, gibt es eine entsprechende Homotopie F : S 1 I X. Dies liefert eine Abbildung F : I I X. wie in Lemma (I.2.3 )mit = , = x0 , = , d.h. [] = [1 ][x0 ][] = [x0 ], da [x0 ] das neutrale Element ist. Lemma I.2.4 (i) Es seien f, g : Y X homotope Abbildungen. Die Homotopie sei gegeben durch F : Y I X. Fr einen Punkt y0 Y u sei x0 = f (y0 ), x1 = g(y0 ). Es sei der Weg von x0 nach x1 , der durch (t) = F (y0 , t) gegeben wird. Dann kommutiert das Diagramm 1 (Y, y0 )
f G 1 (X, x0 ) MMM MMM M g MMM 8 

1 (X, x1 ) (ii) f ist genau dann ein Isomorphismus, wenn g ein Isomorphismus ist. 7

Beweis. (i) Es sei ein geschlossener Weg mit Anfangs- und Endpunkt y0 . Dann folgt die Behauptung sofort aus der Homotopie g

F ((s), t)

f (ii) Dies folgt sofort aus (i).

Denition (i) Eine Abbildung f : Y X heit eine Homotopiequivaa lenz, falls es eine Abbildung g : X Y gibt mit f g idX , g f idY . (ii) Die Rume X und Y heien homotopie-quivalent, falls es eine Homoa a topiequivalenz f : X Y gibt. Schreibweise: Sind zwei Rume X und Y homotopie-quivalent, so schreibt a man X Y. Beispiel Ist X eine konvexe Teilmenge des Rn und p ein Punkt, so sind X und p homotopie-quivalent. a Satz I.2.5 Ist f : (Y, y0 ) (X, x0 ) eine Homotopiequivalenz, so ist f : a 1 (Y, y0 ) 1 (X, x0 ) ein Isomorphismus. Beweis. Es gibt eine Abbildung g : X Y mit f g idX und g f idY . Nach Lemma (I.2.4 ) sind dann (f g) = f g und (g f ) = g f Isomorphismen, also auch f und g . Obiges Beispiel zeigt, da etwa eine Kreisscheibe und ein einpunktiger Raum homotop aquivalent sind und daher isomorphe Fundamentalgruppe besitzen. Andererseits sind diese Rume nicht homomorph (sie sind nicht a o einmal bijektiv aufeinander abbildbar). Homotopiegruppen eignen sich daher nicht so sehr, um Homomorphieklassen, wohl aber um Homotopieklaso sen, zu unterscheiden.

Die Fundamentalgruppe des Kreises

Wir wollen hier die Fundamentalgruppe des Einheitskreises S 1 = {z C; |z| = 1}

berechnen. Hierzu verwenden wir die Exponentialabbildung : R S 1 x e2ix . Die Einschrnkung dieser Abbildung auf das oene Intervall 1 , 1 liea 2 2 fert einen Homomorphismus dieses Intervalls mit S 1 \{1}. Es sei die o Umkehrabbildung. Lemma I.3.1 (i) Es sei : I S 1 ein Weg mit (0) = 1. Dann gibt es genau einen Weg : I R mit (0) = 0 und = . 1 ein weiterer Weg mit (0) = 1 und F : I I S 1 eine (ii) Es sei : I S Homotopie von und relativ {0, 1}. Dann gibt es genau eine Homotopie F : I I R von und relativ {0, 1} mit F = F . Beweis. Wir zeigen (i) und (ii) zugleich und setzen hierfr Y = I oder u Y = I I. Mit 0 Y sei der Punkt 0, bzw. (0, 0) gemeint. Die Abbildung f : Y S 1 sei entweder oder F . Da Y kompakt ist, ist f gleichmig a stetig. Also gibt es ein > 0, so da fr |y y | < gilt |f (y) f (y )| < 1, u also insbesondere f (y) = f (y ). Daher ist (f (y)/f (y )) deniert. Wir knnen N so gro whlen, da |y| < N fr alle Punkte y Y . Nach dieser o a u Vorberlegung ist die Abbildung f : Y R, die durch u f (y) = (f (y)/f
N 1 N y)

+ f
1 Ny

N 1 N y

/f

N 2 N y

+... + f

/f (0)

gegeben wird, wohldeniert, stetig mit f (0) = N (1) = 0, und es gilt f = f. Als nchstes wollen wir zeigen, da f eindeutig bestimmt ist. Es sei a : Y R eine weitere stetige Abildung mit f (0) = 0, f = f . Dann f ist (f f ) = 1, d.h. f f liegt in ker = Z. Da f f stetig ist, ist die (0) = f (0) = 0 folgt hiermit schlielich f = f . Abbildung konstant. Mit f = f eine Homotopie von und . Es Es sei nun Y = I I. Dann ist F (0 I) = 0 bleibt zu zeigen, da dies eine Homotopie relativ {0, 1} ist, d.h. F und F (1 I) = konstant. Da F (0 I) = F (0 I) = 1 ist und F (0, 0) = 0 gilt, folgt F (0 I) = 0 wie im obigen Argument. Analog schliet man im (1 I). Fall F Korollar I.3.2 Der Endpunkt (1) hngt nur von der Homotopieklasse von a ab. Damit knnen wir zeigen: o Theorem I.3.3 1 (S 1 ) Z. =

Beweis. Nach Korollar (I.3.2) ist die Abbildung : 1 (S 1 , 1) Z ([]) = (1) wohldeniert. Die Abbildung ist ein Homomorphismus. Fr [], [ ] u 1 (S 1 , 1) gilt nmlich folgendes: Es seien , die Liftungen von , nach a Lemma (I.3.1). Es sei m = (1), n = (1). Der Weg sei durch = + m deniert. Dann ist die Liftung von mit (0) = 0. Also gilt ([ ]) = (1) = m + n = ([]) + ([ ]). Die Abbildung ist surjektiv: Es sei (s) = ns. Dann gilt ([]) = n fr u = . Schlielich bleibt zu zeigen, da injektiv ist. Sei ([]) = 0. Dann ist ein geschlossener Weg mit (0) = (1) = 0. Da R kontrahierbar ist, ist R einfach zusammenhngend. Also gibt es eine Homotopie F von a eine mit dem konstanten Weg 0 (relativ {0, 1}). Dann liefert F = F Homotopie von mit dem konstanten Weg 1. Die Zahl ([]) heit auch Windungszahl des Weges . Diese Zahl kann auf vielfache Weise deniert werden. Wir wollen nun noch eine Anwendung dieses Theorems diskutieren. Ein Torus T ist homomorph zu dem Produkt S 1 S 1 : o

T Satz I.3.4 1 (T ) Z Z. = Der Beweis dieses Satzes, ebenso wie seine Verallgemeinerung in hhere o Dimensionen, folgt sofort aus: Satz I.3.5 Es seien (X, x0 ), (Y, y0 ) punktierte Rume. Dann gibt es einen a natrlichen Isomorphismus u 1 (X Y, (x0 , y0 )) 1 (X, x0 ) 1 (Y, y0 ) Beweis. Mit Hilfe der Projektionen
n nnn nnn nn wnnn
p =

(X Y, (x0 , y0 ))

OOO OOOq OOO OOO 9

(X, x0 ) 10

(Y, y0 )

erhlt man einen Homomorphismus a (p , q ) : 1 (X Y, (x0 , y0 )) 1 (X, x0 ) 1 (Y, y0 ). Hierzu kann man sofort ein Inverses angeben: Fr Wege in X mit (0) = u (1) = x0 und in Y mit (0) = (1) = y0 betrachten wir den Weg (, )(s) = ((s), (s)). Es ist klar, da dies eine Abbildung : 1 (X, x0 ) 1 (Y, y0 ) 1 (X Y, (x0 , y0 )) liefert mit (p , q ) = id. Dies zeigt insbesondere, da (p , q ) surjektiv ist und injektiv ist. Die Abbildung ist auch surjektiv, da jeder Weg : I X Y von der Form (s) = ((s), (s)) ist.

Uberlagerungstheorie

Es sei p : E X eine stetige Abbildung topologischer Rume. a Denition p : E X ist eine Uberlagerung, falls jeder Punkt x X eine Umgebung U besitzt mit der Eigenschaft: () p1 (U ) ist eine disjunkte Vereinigung oener Mengen Si in E, so da o p|Si : Si U ein Homomorphismus ist. Die Si heien dann die Bltter uber U . a Beispiel Die Abbildung : R S 1 , (x) = e2ix ist eine Uberlagerung. Analog zu diesem Beispiel kann man nun nach der Liftung von Wegen, Homotopien oder Abbildungen von X nach E fragen. Denition Ist f : Y X eine Abbildung, so ist eine Liftung von f bezglich p : E X eine Abbildung f : Y E mit p f = f , d.h. u da das Diagramm bE
} }} p }}  }} f GX Y
f

kommutiert. Satz I.4.1 Es sei p : (E, e0 ) (X, x0 ) eine Uberlagerung und f : (Y, y0 ) (X, x0 ) eine Abbildung. Falls Y zusammenhngend ist, gibt es hchstens eine a o Liftung f : (Y, y0 ) (E, e0 ) von f .

11

 Beweis. Es sei f : (Y, y0 ) (E, e0 ) eine weitere solche Liftung. Wir setzen A = {y Y ; f (y) = f (y)}. Dann ist A nicht leer, da f (y0 ) = f (y0 ) = e0 , also y0 A. Ist B = {y Y, f (y) = f (y)} so ist Y die disjunkte Vereinigung von A und B. Oensichtlich ist B offen. Wenn wir nun zeigen knnen, da A oen ist, so folgt, da Y zusamo menhngend ist, da A = Y gilt. Es sei nun a A, und S das Blatt uber a einer geeigneten Umgebung U von f (a) mit f (a) = f (a) S. Dann ist f 1 (S) (f )1 (S) eine oene Umgebung von a in A. Theorem I.4.2 Es sei p : (E, e0 ) (X, x0 ) eine Uberlagerung und ein Weg in X mit (0) = x0 . Dann gibt es genau eine Liftung von mit (0) = e0 . Beweis. Die Eindeutigkeit von folgt sofort aus dem obigen Satz. Um die Existenz von zu zeigen, unterteilen wir das Intervall I = [0, 1] in Teilin tervalle [tk , tk+1 ] mit 0 = t0 < t1 < < tn = 1, so da ([tk , tk+1 ]) in einer Menge Uk enthalten ist, fr die die Eigenschaft () gilt. Wir betrachu ten zunchst U0 sowie das Blatt S0 uber U0 mit e0 S0 . Dann gibt es eine a eindeutige Liftung von |[t0 ,t1 ] mit 0 (0) = e0 . Angenommen wir haben nun eine Liftung i : [0, ti+1 ] E von |[0,ti+1 ] mit i (0) = e0 . Dann gibt es eine Liftung i+1 : [ti+1 , ti+2 ] E mit i+1 (ti+1 ) = i (ti+1 ). Durch Zusam mensetzen von i und i+1 erhalten wir eine Liftung i+1 von |[0,ti+2 ] mit i+1 (0) = e0 . Theorem I.4.3 Es sei p : (E, e0 ) (X, x0 ) eine Uberlagerung. Die Abbil : (Y, y0 ) (E, e0 ) (d.h. dung f : (Y, y0 ) (X, x0 ) besitze eine Liftung f p f = f ). Ferner sei F : Y I X eine Homotopie mit F (y, 0) = f (y) fr y Y . Dann kann man F eindeutig zu einer Homotopie F : Y I E u (y, 0) = f (y) liften. mit F Beweis. Die Eindeutigkeit der Liftung folgt, da die Wege F (y0 , s) fr festes u y0 Y durch die Bedingung F (y0 , 0) = f (y0 ) eindeutig bestimmt sind. Es bleibt also die Existenz zu zeigen. Hat X selbst die Eigenschaft (), so ist dies klar. Ansonsten knnen wir X mit Umgebungen U uberdecken, die o diese Eigenschaften besitzen. Wir knnen ferner zu jedem y Y eine oene o Umgebung Ny von y nden, sowie eine Partition 0 = t0 < t1 < . . . < tn = 1, so da F (Ny [ti , ti+1 ]) in einer solchen Menge U enthalten ist. Wie im Beweis von Theorem (I.4.2) nden wir dann eine Liftung von F |Ny I . Es bleibt zu uberlegen, da diese Liftungen zusammenkleben. Dazu sei y1 Ny Ny . Da I zusammenhngend ist, stimmen die beiden Liftungen auf a y1 I uberein, und damit auf (Ny Ny ) I. 12

Korollar I.4.4 Es seien , Wege in X mit (0) = (0) = x0 . Ferner sei rel{0, 1}. Die eindeutig bestimmten Liftungen von und mit Anfangspunkt e0 seien mit e0 , e0 bezeichnet. Dann gilt auch e0 e0 rel {0, 1}. Korollar I.4.5 Die Abbildung p : 1 (E, e0 ) 1 (X, x0 ) ist injektiv. Beweis. Es sei ein Weg in E mit (0) = (1) = e0 . Ist p [ ] = 1, so gibt es also eine Homotopie von p mit dem konstanten Weg x0 . Nach Korollar (I.4.4) kann diese Homotopie zu einer Homotopie (relativ {0, 1}) der Wege und e0 geliftet werden. Im allgemeinen ist jedoch folgendes zu beachten: Ist ein geschlossener Weg in X mit (0) = (1) = x0 , so ist dessen Liftung e0 , die durch e0 (0) = e0 eindeutig bestimmt wird, im allgemeinen kein geschlossener Weg. Man kann lediglich sagen, da der Endpunkt e0 (1) in der Faser p1 (x0 ) enthalten ist. Dieser hngt nur von der Homotopieklasse von ab. Man erhlt also a a eine wohldenierte Abbildung p1 (x0 ) 1 (X, x0 ) p1 (x0 ) (e, []) e[] := e (1). Damit operiert die Gruppe 1 (X, x0 ) auf der Menge p1 (x0 ). Allgemein sagt man, eine Gruppe G operiert auf einer Menge X (von rechts), wenn es eine Abbildung X G X (x, g) xg mit folgenden Eigenschaften gibt x1 = x, (xg)g = x(gg ).

Der Stabilisator von x bezglich der Operation von G auf x ist dann die u Untergruppe Gx = {g G; xg = x}. Man sagt ferner, da G transitiv auf X operiert, falls es zu je zwei Elementen x, x , X ein Gruppenelement g G gibt mit xg = x . In unserem Fall ist der Stabilisator eines Punktes e p1 (x0 ) die Untergruppe p 1 (E, e) von 1 (X, x0 ). Ist E bogenweise zusammenhngend, a 1 (x ). Es sei nmlich ein Weg von so operiert 1 (X, x0 ) transitiv auf p a 0 e nach e . Dann ist = p ein geschlossenener Weg in X und e[] = e . Damit ergibt sich auch sofort p 1 (E, e ) = []p 1 (E, e)[]1 . Das heit, die Untergruppen p 1 (E, e), e p1 (x0 ) von 1 (X, x0 ) sind alle zueinander konjugiert. 13

 Denition Eine Decktransformationen der Uberlagerung p : E X ist ein Homomorphismus : E E, so da das Diagramm o EA A

AA A p AA 2

GE ~~ ~~ ~~ p ~~~

kommutiert, d.h. p = p. Oensichtlich bilden die Decktransformationen eine Gruppe. Denition Ein topologischer Raum X heit lokal bogenweise zusammenhngend, bzw. lokal einfach zusammenhngend, falls es zu jedem Punkt x a a und jeder Umgebung U von x eine Umgebung V von x mit V U gibt, die bogenweise zusammenhngend, bzw. einfach zusammenhngend ist. a a Theorem I.4.6 Es sei p : (E, e0 ) (X, x0 ) eine Uberlagerung. Falls E einfach zusammenhngend und lokal bogenweise zusammenhngend ist, gibt a a es einen natrlichen Isomorphismus von der Gruppe G der Decktransformau tionen in die Fundamentalgruppe 1 (X, x0 ). Beweis. Wir konstruieren zunchst einen Gruppenhomomorphismus : G a 1 (X, x0 ). Es sei dazu eine Decktransformation. Da E einfach zusammenhngend ist, sind alle Wege in E von e0 nach (e0 ) homotop relaa tiv {0, 1}. D.h. hierdurch wird eine wohlbestimmte Klasse [] = [p ] 1 (X, x0 ) deniert und die so bestimmte Abbildung : G 1 (X, x0 ) ist ein Homomorphismus. Nach Konstruktion gilt (e0 ) = e0 () = e0 []. ist injektiv, denn falls () = 1 gilt, folgt (e0 ) = e0 . Da E zusammenhngend ist, folgt hieraus wegen Satz (I.4.1), da = id E . a Um zu zeigen, da surjektiv ist, starten wir mit einem Element [] 1 (X, x0 ). Wir konstruieren wie folgt. Es sei e E und wir whlen einen a 1 ein geschlossener Weg von e0 nach e. Es sei = p . Dann ist Weg um x = p(e). Wir setzen (e) = e[ 1 ] p1 (p(e)). Da E einfach zusammenhngend ist, hngt (e) nur von [] nicht aber von a a der Wahl von ab. Es gilt p = p. Die Abbildung ist bijektiv, da dieselbe Konstruktion, angewandt auf 1 eine Umkehrabbildung liefert. Ebenso ist klar, da p = p ist. Nach Konstruktion ist X() = [], wenn wir gezeigt haben, da eine Decktransformation ist. Um die Stetigkeit von

14

 zu zeigen, gehen wir wie folgt vor: Es sei e1 E. Ferner sei ein Weg von e nach e1 . Dann gilt nach Konstruktion von : (e1 ) = p
(e)

(1).

Nun gibt es nach Voraussetzung an E, da p : E X eine Uberlagerung ist, eine Umgebung U1 von x1 = p(e1 ) in X, die sowohl die Eigenschaft () erfllt, als auch lokal bogenweise zusammenhngend ist. Es seien nun S1 , u a bzw. S1 die Bltter von E uber U1 in denen e1 , bzw. (e1 ) liegt. Da S1 und a S1 bogenweise zusammenhngend ist, folgt sofort, da a |S1 = (p1 )1 p1 : S1 S1 ist, wobei p1 = p|S1 : S1 U1 und (p1 ))1 die Umkehrung von p|S1 : S1 U1 ist. Dies ist oensichtlich stetig. Dasselbe Argument zeigt die Stetigkeit von 1 . Fr die Uberlagerung p : (E, e0 ) (X, x0 ) kann man nun allgemein nach u der Existenz von Liftung von Abbildungen fragen, d.h. gibt es zu vorgegebe ner Abbildung f : (Y, y0 ) (X, x0 ) eine Abbildung f : (Y, y0 ) (E, e0 ) so da das Diagramm (E, e0 )
f

tX

(Y, y0 ) kommutiert?

G (X, x0 )

Theorem I.4.7 Die Rume E, X und Y seien zusammenhngend und lokal a a bogenweise zusammenhngend. Dann existiert genau dann eine Liftung f : a (Y, y0 ) (E, e0 ) der Abbildung f : (Y, y0 ) (X, x0 ) wenn f 1 (Y, y0 ) p 1 (E, e0 ). Beweis. Da obige Bedingung notwendig ist folgt, da p f = f gilt. Wir gehen nun davon aus, da diese Bedingung erfllt ist, und konstruieren u zunchst f mengentheoretisch. Es sei y Y . Wir whlen einen Weg in Y a a von y0 nach y und setzen f (y) = (f )e0 (1). Auf Grund der Voraussetzung ist diese Denition unabhngig von der Wahl a von . Wir knnen auch die Abhngigkeit von y0 beseitigen. Es sei y1 Y o a beliebig und ein Weg von y1 nach y. Wir behaupten, da fr e1 = f (y1 ) u gilt: f (y) = (f )e1 (1). 15

Um dies zu sehen sei 1 ein Weg von y0 nach y1 . Dann ist f (y) = (f (1 ))e0 (1) = [(f 1 )e0 (f )e1 ](1) = (f )e1 (1). Um die Stetigkeit von f zu beweisen, whlen wir zunchst zu jedem Punkt a a y Y eine Umgebung Uy , die bogenweise zusammenhngend ist, und so a da f (Uy ) in einer oenen Menge V X liegt, fr die Eigenschaft () gilt. u Dies geht nach Voraussetzung. Der Rest des Beweises verluft analog zum a Beweis von Theorem (I.4.6) Korollar I.4.8 Ist Y einfach zusammenhngend, so ist jede Abbildung f : a Y X liftbar. Denition Eine universelle Uberlagerung von X ist eine Uberlagerung p : E X mit einem einfach zusammenhngenden Raum E. a Bemerkung Ist q : F X eine beliebige Uberlagerung und X lokal bogenweise zusammenhngend, so gibt es nach Korollar (I.4.8) stets ein a kommutatives Diagram EA A

AA AA A2

GF ~ ~ ~~ ~~ q ~~

In diesem Sinn ist die universelle Uberlagerung die grte Uberlagerung o von X. Denition Zwei Uberlagerungen p : (E, e0 ) (X, x0 ) und q : (F, f0 ) (X, x0 ) heien quivalent, falls es einen Homomorphismus : (E, e0 ) a o (F, f0 ) gibt, so da das Diagramm (E, e0 )

JJ JJ JJ p JJJ 7

G (F, f0 ) tt tt tt tt q zt

(X, x0 ) kommutiert. Korollar I.4.9 Es sei X lokal bogenweise zusammenhngend. Dann sind je a zwei universelle Uberlagerungen von X quivalent. a

16

 Beweis. Fr zwei universelle Uberlagerungen p : (E, e0 ) (X, x0 ) und u q : (F, f0 ) (X, x0 ) gibt es ein Diagramm

(E, e0 ) o

JJ JJ JJ p JJJ 7

tt tt ttq t ztt

(F, f0 )

(X, x0 ) Da (e0 ) = e0 und wegen der Eindeutigkeit der Liftung folgt = idE und analog = idF . Es soll schlielich noch die Frage nach der Existenz der universellen Uberlagerung beantwortet werden. Denition Ein Raum X heit semi-lokal einfach zusammenhngend, wenn a jeder Punkt x X eine Umgebung U besitzt, so da jeder geschlossene Weg um x in U in X zusammenziehbar ist. Ein Raum X, der eine universelle Uberlagerung besitzt, hat notwendigerweise diese Eigenschaft. Beispiele fr solche Rume sind topologische u a Mannigfaltigkeiten. Denition Eine topologische Mannigfaltigkeit M ist ein Hausdorraum, so da jeder Punkt x M eine Umgebung U besitzt, die homomorph zu o einer oenen Menge des Rn ist. Theorem I.4.10 Ein zusammenhngender, lokal bogenweise zusammen a hngender, semi-lokal einfach zusammenhngender Raum X besitzt stets eia a ne universelle Uberlagerung. Beweis. Wir whlen einen festen Punkt x0 X. Auf der Menge der Wege a in X mit Anfangspunkt x0 betrachten wir die Aquivalenzrelation, die durch Homotopie relativ {0, 1} gegeben ist. Insbesondere gilt fr zwei aquivalente u Wege und , da (1) = (1). Die Aquivalenzklassen dieser Wege seien mit < > bezeichnet, und wir denieren E als die Menge all dieser Aquivalenzklassen. Durch p(< >) = (1) erhalten wir eine Abbildung nach X. Da X bogenweise zusammenhngend ist, ist die Abbildung surjektiv. a Wir mssen nun E mit einer geeigneten Topologie versetzen. Dies tun u wir durch Angabe einer Basis: Es sei ein Weg in X mit (0) = x0 , (1) = p und V eine oene Umgebung von p. Dann denieren wir < , V >= {< >; ist ein Weg inV mit (0) = p}. Um zu zeigen, da dies die Basis einer Topologie ist, mssen wir zeigen, da u jeder Durchschnitt < , V > < , V > wieder als Vereinigung solcher 17

Mengen geschrieben werden kann. Es sei < , V > < , V >. Dann gilt < , V >=< , V > und < , V V >< , V > < , V >. Die Abbildung p ist stetig, und da p(< , V >) die Bogenzusammenhangskomponente von V ist, die p enthlt, auch oen. Wir zeigen als nchstes, a a da p eine Uberdeckung ist. Es sei dazu V eine Umgebung von p die bogenweise zusammenhngend ist, und so da jeder geschlossene Weg in V a in X kontrahierbar ist. Fr zwei oene Mengen < , V > und < , V > u gilt dann, da sie gleich oder disjunkt sind. Die Einschrnkung von p auf a < , V > ist surjektiv auf V . Es bleibt zu zeigen, da sie injektiv ist. Gilt aber p(< >) = p(< >), so haben und denselben Endpunkt. Nach Wahl von V bedeutet dies, da relativ {0, 1} also < >=< >. Schlielich bleibt zu zeigen, da E bogenweise zusammenhngend und einfach zusammenhngend ist. Es sei x0 E die Klasse a a des konstanten Weges x0 . Ist < > E so knnen wir x0 und in E wie o folgt durch einen Weg verbinden: s (t) = (st) s, t I.

Dann ist 0 (t) = x0 und 1 (t) = . Man zeigt leicht, da die Abbildung : I E, s < s > stetig ist. Also ist E bogenweise zusammenhngend. a Es gilt nach Konstruktion auch, da p = , d.h. ist eine Liftung von nach E. Es sei nun ein Weg in E mit (0) = (1) = x0 . Dann ist = p ein geschlossener Weg in X mit (0) = (1) = x0 . Der oben konstruierte Weg ist eine Liftung von mit (0) = x0 . Wegen der Eindeutigkeit der Liftung folgt = . Insbesondere ist geschlossen, d.h. (0) = (1). Damit folgt aber, da x0 = (0) = (1) =< >. D.h. ist homotop zum trivialen Weg und nach Theorem (I.4.3) lt sich diese Homotopie liften, d.h. = a ist homotop trivial. Schlielich sei noch darauf hingewiesen, da man auch hhere Homotoo piegruppen denieren kann. Die Fundamentalgruppe kann man als die Menge der Homotopieklassen von Abbildungen (S 1 , 1) (X, x0 ) auassen. Betrachtet man statt dessen Homotopieklassen von Abbildungen (S n , s0 ) (X, x0 ), so wird man auf die n-te Homotopiegruppe n (X, x0 ) gefhrt. Die u Berechnung der hheren Homotopiegruppen ist im allgemeinen schwierig. o So sind immer noch nicht alle Homotopiegruppen n (S m , s0 ) von Sphren a bekannt.

18

II
1

Singulre Homologiegruppen a
Ane Simplizes

Sind x, y Rn , so ist die Verbindungsstrecke zwischen x und y die Menge {(1 t)x + ty; 0 t 1}. Eine Menge C Rn heit konvex, wenn mit je zwei Punkten x, y C auch die Verbindungsstrecke in C liegt. Ist A Rn eine Teilmenge, so ist die konvexe Hlle von A deniert durch u C(A) = CA C ist konvex Die konvexe Hlle von A ist die kleinste konvexe Menge, die A enthlt. u a Denition Ein anes q-Simplex ist die konvexe Hlle von q + 1 Punkten u x0 , . . . , xq Rn in allgemeiner Lage, d.h. x1 x0 , . . . , xq x0 sind linear unabhngig. a Man beachte, da es fr die Frage, ob x0 , . . . , xq in allgemeiner Lage u sind, unerheblich ist, welchen Punkt man ausgezeichnet hat. x2 x1 x3 x2 C.

x0 q=1

x0 q=2

x1

x0 q=3

x1

Satz II.1.1 Fr Punkte x0 , . . . , xq in Rn sind quivalent: u a (i) x1 x0 , . . . , xq x0 sind linear unabhngig. a

q q q q

(ii) Aus
i=0

ai xi =
i=0

bi xi und
i=0 q

ai =
i=0 q

bi folgt ai = bi fr i = 0, . . . , q. u
q q

Beweis. (i) (ii). Es sei

i=0 q

ai xi =
i=0 q

bi xi und
i=0 q

ai =
i=0

bi . Dann folgt

0 =
i=0 q

(ai bi )xi =
i=0 i=1

(ai bi )xi
i=0

(ai bi )x0

(ai bi )(xi x0 ). 19

Da x1 x0 , . . . , xq x0 linear unabhngig sind, folgt ai = bi fr i = 1, . . . , q a u und mit ai = bi folgt auch noch a0 = b0 .

q

(ii) (i). Es sei

i=1 q

ai (xi x0 ) = 0. Dies kann man auch schreiben als

q q

ai xi + 0x0 =
i=1 i=1

0xi +
i=1

ai

x0 .

Nach (ii) folgt hieraus ai = 0 fr i = 1, . . . , q. u Sind x0 , . . . , xq Rn Punkte in allgemeiner Lage, so uberlegt man sich leicht (vgl. den Fall der Verbindungsstrecke), da das zugehrige Simplex S o die Menge
q q

S=
i=0

ti xi ;
i=0

ti = 1,

0 ti 1

ist. Nach Satz (II.1.1) besitzt jeder Punkt x S eine eindeutige Darstellung
q q

x=
i=0

ti xi mit
i=0

ti = 1, 0 ti 1.

Die Zahlen t0 , . . . , tq heien die baryzentrischen Koordinaten von S. Der 1 Punkt mit t0 = . . . = tq = q+1 ist der Schwerpunkt von S. (Ordnet man den
q

Punkten xi die Massen ti zu, so wird x =

i=0

ti xi zum Schwerpunkt).

Denition Ein geordnetes qSimplex ist ein q-Simplex zusammen mit einer Ordnung der Eckpunkte. Es sei e0 , . . . , eq die Standardbasis des Rq+1 . Dann heit das durch e0 , . . . , eq bestimmte Simplex q das (geordnete) Standard-q-Simplex . Es gilt
q

= {(t0 , . . . , tq ) R

q+1

;
i=0

ti = 1, 0 ti 1}.

e2

e1

e0 q=2 Ist S ein weiteres q-Simplex, so ist die Abbildung 20

f : q S (t0 , . . . , tq )

ti xi
i=0

eine stetige bijektive Abbildung zwischen kompakten Mengen, also ein Homoo morphismus.

Denition der Homologiegruppen

Es sei X ein topologischer Raum. Denition Ein singulres q-Simplex in X ist eine stetige Abbildung : a q X. Ein 0-Simplex ist also ein Punkt, ein 1-Simplex ein stetiger Weg. Wir betrachten nun die freie abelsche Gruppe, die durch die Menge der singulren q-Simplizes erzeugt wird, d.h. die Menge der (formalen) endlichen a Summen c= ni i , ni Z,
endlich

wobei die i (verschiedene) singulre q-Simplizes sind. Diese Summen bilden a in oensichtlicher Weise eine abelsche Gruppe, die wir mit Sq (X) bezeichnen. Die Elemente von Sq (X) heien die singulren q-Ketten. a Etwas formaler kann man die von einer Menge A erzeugte freie abelsche Gruppe F (A) wie folgt denieren: F (A) = {f : A Z; f (a) = 0 nur fr endlich viele a}. u Identiziert man dann ein Element a A mit der Abbildung fa : A Z x 1 falls x = a 0 falls x = a,

so erhlt man fr jedes Element f F (A) eine Darstellung a u f=

endlich

na a.

Fr q > 0 und i mit 0 i q denieren wir nun die Abbildung u Fiq : q1 q (t0 , . . . , tq1 ) (t0 , . . . , ti1 , 0, ti , . . . , tq1 ).

21

Geometrisch bedeutet dies, da man das Simplex q1 auf das der Ecke ei gegenberliegende Untersimplex von q abbildet: u
2 F0

e1
2 F1

e2

e1

e0

2 F2

e0

Ist : q X ein singulres Simplex, so wird die i-te Seite von deniert a durch (i) = Fiq : q1 X. Denition Der Rand des singulren Simplex ist deniert durch a
q

() =
i=0

(1)i (i) .

Durch lineare Fortsetzung erhalten wir den sogenannten Randoperator : Sq (X) Sq1 (X) ( Satz II.2.1 = 0. Beweis. Unmittelbar aus der Denition folgt
q1 Fiq Fjq1 = Fjq Fi1

ni i )

ni (i ).

falls j < i.

Es gengt zu zeigen, da fr ein Simplex gilt () = 0. Es gilt: u u

q

() =
i=0 q

(1)i (i) (1)i

q1 j=0

= =

i=0 q j<i=1

(1)j ( Fiq ) Fjq1

q1 0=ij

q1 (1)i+j Fjq Fi1 +

(1)i+j (Fiq Fjq1 )

= 0. Die letzte Gleichheit folgt, wenn man im ersten Summanden i = j und j = i 1 setzt.

22

Denition (i) Eine q-Kette c heit ein q-Zykel, falls (c) = 0 gilt. (ii) Eine q-Kette c heit ein q-Rand, falls es eine (q + 1)-Kette c gibt, so da c = (c ). Wir setzen nun Zq (X) = {c; c ist q-Zykel} = ker ( : Sq (X) Sq1 (X)) Bq (X) = {c; c ist q-Rand} = im ( : Sq+1 (X) Sq (X)). Nach Satz (II.2.1) gilt Bq (X) Zq (X). Denition Zwei q-Ketten c1 , c2 Sq (X) heien homolog (c1 c2 ) falls c1 c2 ein q-Rand ist. Denition Die q-te (singulre) Homologiegruppe von X ist deniert als a Hq (X) = Zq (X)/Bq (X). Die durch einen q-Zykel c denierte Homologieklasse wird im folgenden mit [c] bezeichnet. Die oben auftretende Situation ist eine Standardsituation in vielen mathematischen Theorien. Hieraus hat sich die homologische Algebra entwickelt. Denition (i) Eine graduierte (abelsche) Gruppe ist eine Familie (Gi )iZ abelscher Gruppen mit komponentenweiser Addition. (ii) Sind G und G graduierte abelsche Gruppen, so besteht ein Homomorphismus vom Grad r aus einer Familie von Homomorphismen fi : Gi Gi+r . (iii) Eine graduierte Untergruppe von G ist eine graduierte Gruppe (Hi )iZ , so da Hi Untergruppe von Gi ist. Der Quotient G/H wird deniert durch (G/H)i = Gi /Hi . Ist f : G G ein Homomorphismus graduierter Gruppen, so kann man in oensichtlicher Weise das Bild im f und den Kern ker f denieren. Dies sind Untergruppen von G , bzw. G. Denition Ein Kettenkomplex (C, ) ist eine graduierte Gruppe (Ci )iZ zusammen mit einem Homomorphismus : C C vom Grad 1 fr den u 2 = 0 gilt. Ist (C, ) ein Kettenkomplex, so haben wir also eine Sequenz von Homomorphismen Cq Cq1 Cq2 mit q q+1 = 0. 23
q+1 q q1

Denition

(i) Ist (C, ) ein Kettenkomplex so deniert man Z (C) = ker , B (C) = im .

(ii) Die Homologie des Kettenkomplexes (C, ) ist H (C) = Z (C)/B (C). Nach Konstruktion ist die Homologie H (C) eine graduierte Gruppe H (C) = (Hq (C))qZ mit Hq (C) = Zq (C)/Bq (C) = ker q / im q+1 . Denition Ein Homomorphismus : (C, ) (C , ) von Kettenkomplexen (oder auch eine Kettenabbildung) ist ein Homomorphismus : C C vom Grad 0 mit = . Analog deniert man auch Kettenabbildungen beliebigen Grades. Eine Kettenabbildung : (C, ) (C , ) liefert ein kommutatives Diagramm
G Cq
q q

G Cq1 
q1

und man sieht sofort, da

G Cq

G Cq1

(Z (C)) Z (C ), (B (C)) B (C ). Insbesondere induziert daher einen Homomorphismus : H (C) H (C ) graduierter Gruppen vom Grad 0. Ist X ein topologischer Raum, so haben wir zuvor eine graduierte Gruppe S (X) = (Sq (X))qZ deniert (wir setzen Sq (X) = 0 fr q 1). u Zusammen mit dem Randoperator erhalten wir einen Kettenkomplex (S (X), ) und die zugehrigen Homologiegruppen sind die singulren Hoo a mologiegruppen des Raumes X. Ist f : X Y eine stetige Abbildung und : q X ein singulres q-Simplex, so ist a f# () = f : q Y ein singulres q-Simplex von Y . Durch lineare Fortsetzung erhalten wir einen a Homomorphismus vom Grad 0: f# : S (X) S (Y ). 24

Dies ist sogar eine Kettenabbildung, da f# () = f# (). Letztere Gleichheit folgt sofort aus (f ) Fiq = f ( Fiq ). Damit induziert f# einen Homomorphismus f : H (X) H (Y ). Unmittelbar aus der Konstruktion folgt, da (1) (idX ) = idH (X) (2) (f g) = f g fr stetige Abbildungen g : X Y, f : Y Z. u Das heit, da wir einen Funktor konstruiert haben von der Kategorie bestehend aus topologischen Rumen und stetigen Abbildungen in die a Kategorie der Kettenkomplexe und Kettenabbildungen. Als unmittelbare Anwendung ergibt sich Satz II.2.2 Ist f : X Y ein Homomorphismus, so ist f : H (X) o H (Y ) ein Isomorphismus. Beispiel Wir berechnen die Homologie des einpunktigen Raums X = {x}. Fr jedes q 0 gibt es genau ein Simplex q : q X, nmlich die u a konstante Abbildung. Also ist Sq (X) = Fr q > 0 gilt q = q1 , also u
q q (i) (1)i q = i=0 i=0 (i)

Z fr q 0 u 0 fr q < 0. u

q = d.h. q =

(1)i q1

q1 fr q gerade , q > 0 u 0 fr q sonst. u

Damit wird der Kettenkomplex S2 ({x}) S1 ({x}) S0 ({x}) 0 zu also Hq ({x}) = Z fr q = 0 u 0 fr q = 0. u 25

0 id 0 id 0 0 Z Z Z Z Z 0,

Satz II.2.3 Ist X ein nicht-leerer, wegzusammenhngender topologischer a Raum, so gilt H0 (X) = Z. Beweis. Wir betrachten S1 (X) S0 (X) 0. Es gilt S0 (X) = Z0 (X) = F (X) die freie abelsche Gruppe, die durch die Punkte von X erzeugt wird, d.h. die Elemente in Z0 (X) sind von der Form z=
xX

nx x,

fast alle nx = 0.

Die Gruppe S1 (X) ist die freie abelsche Gruppe, die von den Wegen 1 : I X erzeugt wird. Ist 1 ein Weg von x0 nach x1 , so gilt 1 = x1 x0 . Wir betrachten nun den Augmentionshomomorphismus : S0 (X) Z nx x
xX xX

nx .

Da X = , ist surjektiv. Behauptung B0 (X) = ker . (i) B0 (X) ker folgt sofort, da 1 = (x1 x0 ) = 0. (ii) Es sei c = c= nx x mit (c) = nx x0 = nx = 0. Dann gilt nx (x x0 ) = nx x B0 (X)

nx x

wobei x ein Weg von x0 nach x ist. Damit folgt sofort H0 (X) = Z0 (X)/B0 (X) = Z.

Man kann nun den Kettenkomplex S2 (X) S1 (X) S0 (X) 0 abndern zu a S2 (X) S1 (X) S0 (X) Z 0 und erhlt immer noch einen Kettenkomplex (da = 0 fr alle Rume X a u a gilt). Man spricht dann vom augmentierten singulren Kettenkomplex. a 26
0

 Denition Die Homologiegruppen Hq (X) des augmentierten singulren a Kettenkomplexes heien die reduzierten singulren Homologiegruppen von a X. Bemerkung Es gilt Hq (X) = Hq (X) fr q > 0. Ist X wegzusammenu hngend, so gilt H0 (X) = 0. a Man kann jeden topologischen Raum in seine Wegzusammenhangskomponenten zerlegen: Nennt man zwei Punkte x, y X quivalent (x y), a wenn es einen Weg von x nach y gibt, so deniert dies eine Aquivalenzrelation, und damit eine disjunkte Zerlegung X = X in wegzusammenhngende Komponenten X . Da die Simplizes q wegzusammenhngend a a sind, ist jedes singulre Simplex : q X in einer Komponente X enta halten. Es ergibt sich sofort, da Hq (X) die direkte Summe der Homologiegruppen Hq (X ) ist, d.h. Hq (X) =
A A

Hq (X ).

Ist die Anzahl der Wegzusammenhangskomponenten r, so gilt insbesondere H0 (X) Zr , H0 (X) Zr1 . = =

Homotopieinvarianz der singulren Homologiegruppen a

Wir hatten jeder stetigen Abbildung f : X Y Homomorphismen f : Hq (X) Hq (Y ) zugeordnet. Ziel dieses Abschnitts ist der Beweis von folgendem wichtigen Satz II.3.1 Sind f, g : X Y homotope Abbildungen, so gilt f = g . Daraus ergeben sich unmittelbar: Korollar II.3.2 Sind X und Y homotopie-quivalent, so sind die Homoloa giegruppen isomorph, d.h. Hq (X) Hq (Y ) fr alle q. u = Beweis. Es gibt Abbildungen f : X Y, g : Y X mit g f idX , f g idY also idHq (X) = (g f ) = g f sowie idHq (Y ) = (f g) = f g . Korollar II.3.3 Ist X zusammenziehbar, so gilt Hq (X) = 0 fr q > 0 und u H0 (X) = Z. Beweis. X ist homotopie-quivalent zu einem Punkt x0 . a Vor dem Beweis von Satz (II.3.1) bentigen wir noch einige Vorbereio tungen. 27

Denition Es seien (C, ) und (C , ) Kettenkomplexe. Zwei Kettenabbildungen f, g : C C heien kettenhomotop, wenn es einen Homomorphismus K : C C vom Grad 1 gibt, mit K + K = f g. Man nennt K dann eine Kettenhomotopie von f und g. Lemma II.3.4 Fr zwei kettenhomotope Abbildungen f, g : C C gilt u f = g . Beweis. Wegen f g = (f g) = ( K + K) gengt es zu zeigen, da ( K + K) = 0 ist. Dies folgt, da fr z Zq (C) u u gilt ( K + K)(z) = K(z) Bq (C ).

Es ist an dieser Stelle sinnvoll, zunchst den Spezialfall zu behandeln, a da X eine konvexe Teilmenge des Rn ist. Satz II.3.5 Ist X eine konvexe Teilmenge des Rn , so gilt Hq (X) = 0 fr u q > 0 und H0 (X) = Z. Beweis. Da X zusammenhngend ist, gilt H0 (X) = Z nach Satz (II.2.3). Es a gengt nun, fr q 1 eine Abbildung K : Sq (X) Sq+1 (X) mit K +K = u u idSq (X) zu konstruieren. Es gilt dann nmlich id = (K + K) = 0. Wir a whlen x0 X fest. a Ist : q X ein singulres q-Simplex, so denieren wir K() : a q+1 X wie folgt: K()(t0 , . . . , tq+1 ) = (1 t0 ) x0
tq+1 t1 1t0 , . . . , 1t0

+ t0 x0 fr t0 < 1 u fr t0 = 1. u X

e2

e1 K() (1)

(0)

e0

x0

28

Die Abbildung K() ist stetig, mglicherweise mit Ausnahme des Punko tes (1, 0, . . . , 0). Die Stetigkeit in diesem Punkt folgt, da
t0 1

lim = =

||K()(t0 , . . . , tq+1 ) x0 || =
t0 1

lim ||(1 t0 )

tq+1 t1 1t0 , . . . , 1t0 tq +1 t1 1t0 , . . . , 1t0

(1 t0 )x0 || || + ||x0 ||

t0 1

lim (1 t0 ) ||

0,

wobei wir im letzten Schritt verwenden, da der Ausdruck in der Klammer beschrnkt ist. a Damit ist K() : q+1 X ein singulres (q+1)-Simplex mit K()(0) = a (nach Konstruktion). Durch lineare Fortsetzung erhalten wir einen Homomorphismus K : Sq (X) Sq+1 (X). Fr q 1 und 1 i q + 1 gilt nun u (1) K()(i) = K( (i1) ). Dies rechnet man sofort nach: K()(i) (t0 , . . . , tq ) = K()(t0 , . . . , ti1 , 0, ti , . . . , tq ) = (1 t0 ) bzw. K()(i1) (t0 , . . . , tq ) = (1 t0 ) (i1) = (1 t0 ) Daraus folgt
q+1 tq t1 1t0 , . . . , 1t0 + t0 x0 tq ti1 ti t1 1t0 , , 1t0 , 0, 1t0 , . . . , 1t0 t1 1t0 , ti1 ti q , 1t0 , 0, 1t0 , . . . , 1t0 + t0 x0 t

+ t0 x0 .

K() =
i=0

(1)i K()(i)
q+1 i=1

K()(0) +

(1)i K()(i)

q+1 i=1

(1)i K( (i1) )+
q

(1)j K( (j) )

j=0

= K() wobei wir beim letzten Gleichheitszeichen Formel (1) verwendet haben. Insgesamt erhalten wir K + K = id.

29

Beweis von Satz (II.3.1): Nach Lemma (II.3.4) gengt es zu zeigen, da die u Kettenabbildungen f# , g# : S(X) S(Y ) kettenhomotop sind. Hierzu betrachten wir fr t I die Abbildung u ht : X X I x (x, t). Durch {ht } wird eine Homotopie zwischen h0 und h1 gegeben. Behauptung Es gengt zu zeigen, da (h0 )# und (h1 )# kettenhomotop u sind. Die Behauptung zeigt man wie folgt: Es sei F : X I Y eine Homotopie zwischen f und g. Dann ist F h0 = f und F h1 = g. Falls die Abbildungen (h0 )# , (h1 )# : S (X) S (X I) kettenhomotop sind, gibt es eine Kettenhomotopie K : S (X) S (X I), d.h. K + K = (h0 )# (h1 )# . Anwendung von F# ergibt F# (K + K) = F# (h0 )# F# (h1 )# und damit (F# K) + (F# K) = f# g# , d.h. F# K ist eine Kettenhomotopie zwischen f# und g# . Dies ergibt die Behauptung. Unser Ziel ist es nun, zu jedem Raum X und jedem q 0 ein K = KX : Sq (X) Sq+1 (X I) zu konstruieren, so da gilt: (a) K + K = (h0 )# (h1 )# (b) Ist : W X eine stetige Abbildung, so ist das folgende Diagramm kommutativ: Si (W ) Si+1 (W I) W (id) #
K K

Si (X) Si+1 (X I). X Wir konstruieren KX induktiv. Induktionsschnitt Wir nehmen an, da fr alle Rume X und alle i < q u a ein Homomorphismus KX : Si (X) Si+1 (X I) mit den Eigenschaften (a) und (b) existiert.

30

Zunchst gengt es, KX auf den singulren qSimplizes zu denieren. a u a Es sei : q X ein solches qSimplex. Ist q das qSimplex auf q , das durch die Identitt id : q q gegeben wird, so ist # (q ) = . Wenden a wir nun die Eigenschaft (b) auf die Abbildung : q X an, so mu gelten: (2) KX () = KX (# (q )) = ( id)# (Kq ( q )). D.h. also, da KX durch Kq und (b) bereits festgelegt ist. Es sei nun ein singulres qSimplex auf q . Nach Induktionsannahme ist Kq ( ) erklrt. a a Wir betrachten nun (3) c = (h0 )# ( ) (h1 )# ( ) Kq ( ) Sq (q I), wobei h0 und h1 bezglich q zu verstehen sind. Dann gilt u c = = = = (h0 )# ( ) (h1 )# ( ) Kq ( ) (h0 )# ( ) (h1 )# ( ) [(h0 )# ( ) (h1 )# ( ) Kq (( ))] Kq ( 2 ) 0.

Also ist c ein qZykel in der konvexen Teilmenge q I Rq+2 . Nach Satz (II.3.5) ist c Bq (q I), d.h. es gibt ein b Sq+1 (q I) mit b = c. Wir setzen nun Kq ( ) := b. Dann gilt nach obiger Denition und wegen (3) da Kq ( ) + Kq ( ) = (h0 )# ( ) (h1 )# ( ). Es bleibt nun noch, K0 zu denieren. Dann haben wir Kq und somit auch KX festgelegt. Zu der Kette c = (h0 )# (0 ) (h1 )# (0 ) betrachten wir ein singulres 1Simplex in 0 I mit b = c und denieren a K0 (0 ) = b. Damit knnen wir Kq fr alle q und auch KX fr alle Rume X erklren. o u u a a (Beachte, da die Abbildungen Kq und damit auch KX nicht eindeutig bestimmt sind.) Wir mssen nun noch zeigen, da die Eigenschaften (a) und (b) erfllt u u sind. Um (a) zu beweisen, betrachten wir ein singulres qSimplex : q a

31

X. Es gilt KX () +KX () = KX (# (q )) + KX (# (q )) = ( id)# Kq (q ) + KX (# (q )) = ( id)# Kq (q ) + ( id)# Kq (q ) = ( id)# (Kq (q ) + Kq (q )) = ( id)# ((h0 )# (q ) (h1 )# (q )) = (h0 )# (# (q )) (h1 )# (# (q )) = (h0 )# () (h1 )# (). Die Eigenschaft (b) gilt, da wegen (2) fr : W X und jedes qSimplex u q W: : KX (# ) = KX ( ) = ( id)# Kq (q ) = (( id)# ( id)# ) Kq (q ) = ( id)# KW (). Wir schlieen diesen Abschnitt mit einem weiteren Korollar ab. Denition (i) Eine Teilmenge A X heit ein Retrakt von X, falls es eine stetige Abbildung r : X A mit r i = idA gibt, wobei i : A X die natrliche Inklusion ist. Die Abbildung r heit dann eine Retraktion von X u auf A. (ii) A heit Deformationsretrakt von X, wenn zustzlich i r idX gilt. a Korollar II.3.6 Ist A ein Deformationsretrakt von X, so gilt Hq (A) = Hq (X) fr alle q. u Beweis. Dies folgt aus Satz (II.3.4), da i : A X eine Homotopiequivalenz a ist. An dieser Stelle soll noch kurz auf den Zusammenhang zwischen erster Homologiegruppe und Fundamentalgruppe eingegangen werden. Ein Weg : I X mit (0) = (1) = x0 deniert eine Homotopieklasse [] 1 (X, x0 ), kann aber auch als singulrer 1Zykel auf X aufgefat wera den. Die zugehrige Homologieklasse sei mit H1 (X) bezeichnet. o Ist G eine Gruppe, so wird der Kommutator G von G wie folgt deniert: G = {ghg 1 h1 ; g, h G} . Man sieht leicht, da G ein Normalteiler von G, und da G/G abelsch ist. Man kann G auch dadurch charakterisieren, da es der kleinste Normalteiler von G ist, fr den G/G abelsch ist. u 32

Satz II.3.7 Die Abbildung h : 1 (X, x0 ) H1 (X), [] ist wohldeniert und ein Homomorphismus. Ist X wegzusammenhngend, so a ist h surjektiv und der Kern von h ist genau der Kommutator von 1 (X, x0 ). Man nennt h den Hurewicz-Homomorphismus. (Es gibt auch hnliche a Vergleichsstze fr die hheren Homotopie- und Homologiegruppen.) Ist X a o wegzusammenhngend, so ist die erste Homologiegruppe H1 (X) gerade die a abelsch gemachte Fundamentalgruppe 1 (X, x0 ).

Relative Homologiegruppen

Wir betrachten nun Paare (X, A), wobei A ein Unterraum von X ist (d.h. A X ist mit der Relativtopologie versehen). Dann knnen wir ein sino gulres qSimplex : q A auch als ein qSimplex in X auassen. Da a dann auch eine Summe von (q 1)Simplizes in A ist, erhalten wir ein kommutatives Diagramm

G Sq (A)  G Sq (X)

G Sq1 (A)  G Sq1 (X)  G Sq1 (X)/Sq1 (A)

 G Sq (X)/Sq (A)

wobei der induzierte Homomorphismus ist, also (c) = (c). Es gilt ( )2 = 0, also knnen wir auch von dem unteren Komplex die Homologie o betrachten. Denition Die Homologiegruppe Hq (X, A) := Hq (S (X)/S (A)) heit die qte relative singulre Homologiegruppe von X bezglich A (bzw. a u mod A). Man kann diese Homologiegruppe auch anders denieren. Dazu betrachten wir nochmals das Diagramm Sq (X)

Sq (X)/Sq (A) Sq1 (X)/Sq1 (A), 33

Sq1 (X)

wobei die Projektion ist. Ist c Sq (X), so da (c) = 0, so gilt auch (c) = 0, also c Sq1 (A). Dies fhrt auf die Gruppe u Zq (X, A) := {c Sq (X); c Sq1 (A)}. Wir nennen die Elemente von Zq (X, A) relative q-Zykeln von X bezglich A. u Andererseits gilt fr c Sq (X), da c im genau dann, wenn es ein u c Sq (A) gibt, mit c c im = Bq (X). Wir betrachten also Bq (X, A) := {c Sq (X); c c Bq (X) fr ein c Sq (A)} u Die Elemente in Bq (X, A) heien relative qRnder von X bezglich A. a u Lemma II.4.1 Hq (X, A) Zq (X, A)/Bq (X, A). = Beweis. Es gilt nach obigem ker im Damit ergibt sich Hq (X, A) = ker / im Zq (X, A)/Bq (X, A). = = Zq (X, A)/Sq (A) = Bq (X, A)/Sq (A).

Beispiel Wir betrachten den Zylinder X = I S 1 mit A = {0}S 1 {1} S 1 . Ein relativer 1-Zykel ist ein Weg mit Anfangs- und Endpunkt in A, also etwa eine Mantellinie. Beispiele fr relative 1-Rnder sind alle horizontalen u a Kreise.

Ist A = , so hat man oensichtlich Sq (A) = 0, also Hq (X) = Hq (X, ). Denition Eine Abbildung f : (X, A) (Y, B) von Paaren ist eine stetige Abbildung f : X Y mit f (A) B. Eine solche Abbildung induziert Homomorphismen f# : Sq (X) Sq (Y ), f# (Sq (A)) Sq (B) 34

und damit auch Homomorphismen f : Hq (X, A) Hq (Y, B) wobei wieder id = id, gilt. Denition Zwei Abbildungen f, g : (X, A) (Y, B) heien homotop (als Abbildungen von Paaren), wenn es eine Abbildung F : (X I, A I) (Y, B) gibt mit F (x, 0) = f (x), F (x, 1) = g(x). Aus der Denition folgt, da fr festes t fr die Abbildung ft (x) = F (x, t) u u gilt, da ft (A) B, d.h. ft : (X, A) (Y, B) eine Abbildung von Paaren ist. Satz II.4.2 Sind die Abbildungen f, g : (X, A) (Y, B) homotop als Abbildung von Paaren, so gilt f = g : Hq (X, A) Hq (Y, B). Beweis. Dies folgt im wesentlichen aus dem Beweis von Satz (II.3.1). Die dort betrachteten Abbildungen h0 , h1 : X X I knnen als Abbildungen o von Paaren h0 , h1 : (X, A) (X I, A I) aufgefat werden. Fr die u Homomorphismen K : Sq (X) Sq+1 (X I) folgt nach Konstruktion, da K(Sq (A)) Sq+1 (AI) gilt. Deshalb induziert K eine Kettenhomotopie K : Sq (X)/Sq (A) Sq+1 (X I)/Sq+1 (A I). (g f ) = g f

Beispiel Den Unterschied zwischen Homotopie von Abbildungen und Homotopie von Abbildungen von Paaren kann man an folgendem Beispiel veranschaulichen: Sei X = [0, 1], A = {0, 1}, Y = S 1 , B = {1}. Die Abbildungen f : (X, A) (Y, B), x e2ix g : (X, A) (Y, B), x 1 sind absolut homotop, nicht aber homotop als Abbildungen von Paaren.

35

Die lange exakte Homologiesequenz

Eine Sequenz von abelschen Gruppen Gi1 Gi Gi+1 heit exakt, falls im fi1 = ker fi , fr alle i gilt. Eine exakte Sequenz der u Form f g 0 C D E 0 heit auch eine kurze exakte Sequenz. Dies ist quivalent dazu, da f injeka tiv, g surjektiv und im f = ker g ist. Eine kurze exakte Sequenz von Kettenkomplexen ist eine Sequenz von Kettenkomplexen 0 C D E 0 so da fr alle q die Sequenz u 0 Cq Dq Eq 0 eine kurze exakte Sequenz von Gruppen ist. Satz II.5.1 Eine kurze exakte Sequenz 0 C D E 0 von Kettenkomplexen induziert eine lange exakte Sequenz von Homologiegruppen
Hq (D) Hq (E) Hq1 (C) Hq1 (D)

fi1

fi

Denition Man nennt die Verbindungshomomorphismen. Beweis. Durch die Abbildungen f und g erhalten wir Homomorphismen Hq (C) Hq (D) Hq (E) 1. Schritt: Wir zeigen zunchst, da dieses Tripel exakt ist. Da g f = a (g f ) = 0 folgt im f ker g . Um ker g im f zu zeigen, betrachten wir das kommutative Diagramm
f g

36

. . .
 G Cq+1 
f f

. . .
 G Dq+1 
g g

. . .
 G Eq+1 

G0

G Cq 

G Dq 

G Eq 

G0

G Cq1 

G Dq1 

G Eq1 

G0

. . .

. . .

. . .

dessen Zeilen exakt sind. Es sei nun d Zq (D) mit g [d] = 0. D.h. es gibt e Eq+1 mit e = g(d). Da g surjektiv ist, gibt es ein d Dq+1 mit g(d ) = e. Dann gilt: g(d d ) = g(d) g(d ) = g(d) g(d ) = e e = 0. Also nden wir ein c Cq mit f (c) = d d . Wir behaupten, da c Zq1 (C). Dies folgt, da f (c) = (f (c)) = d (d ) = 0. Damit deniert c eine Homologieklasse [c] Hq (C) und es gilt: f [c] = [d d ] = [d]. 2. Schritt: Wir konstruieren nun den Verbindungshomomorphismus. Dazu betrachten wir ein Element [z] Hq (E) reprsentiert durch einen q-Zykel a z Zq (E). Da g surjektiv ist, gibt es ein d Dq mit g(d) = z. Es gilt g(d) = g(d) = z = 0 d.h. wir knnen ein c Cq1 nden mit f (c) = (d). Wir behaupten, da c o sogar ein (q 1)Zykel ist, d.h. c = 0 gilt. Dies folgt aus f (c) = f (c) = (d) = 0 und der Injektivitt von f . Der Verbindungshomomorphismus soll dann dea niert werden durch : Hq (E) Hq1 (C). [z] [c] Dazu mu man zeigen, da die obige Konstruktion wohldeniert ist auf dem Niveau der Homologieklassen. Es seien z, z Zq (E) homolog, d.h. z z = e fr ein e Eq+1 . Ferner seien d, d Dq mit g(d) = z, g(d ) = z u und c, c Cq1 mit f (c) = d, f (c ) = d . 37

Behauptung c c . Da g surjektiv ist, gibt es ein a Dq+1 mit g(a) = e. Damit gilt g(d d a) = g(d) g(d ) g(a) = z z g(a) = z z e = 0. Also gibt es ein b Cq mit f (b) = d d a. Nun gilt f (b) = f (b) = d d = f (c) f (c ) = f (c c ). Wiederum aus der Injektivitt von f folgt c c = b, also c c . a Die Homomorphismeneigenschaft folgt unmittelbar aus der Konstruktion. Wir haben also nun die lange Homologiesequenz konstruiert. Es bleibt, ihre Exaktheit nachzuprfen. u 3. Schritt: Wir haben noch die Exaktheit an den Stellen Hq (E) und Hq1 (C) zu uberprfen. u (1) Exaktheit bei Hq (E) : (1a) im g ker : Es sei d Zq (D). Dann wird g [d] durch ein c Cq1 mit f (c) = d = 0 reprsentiert. Da f injektiv ist, folgt c = 0. a (1b) ker im g : Wir betrachten z Zq (E) mit [z] = 0. Es sei d Dq mit g(d) = z und c Cq1 mit f (c) = d, also [c] = [z] = 0. Also gibt es a Cq mit a = c. Dann gilt: (d f (a)) = d f (a) = f (c) f (c) = 0. D.h. d f (a) Zq (D). Andererseits gilt: g(d f (a)) = g(d) g(f (a)) = z d.h. g [d f (a)] = [z]. (2) Exaktheit bei Hq1 (C): Dies wird mit vllig analogen Argumenten o bewiesen.

Satz II.5.2 Der Verbindungshomomorphismus ist natrlich in folgendem u Sinn: Ist 38

GC

GD

GE  GE

G0 G0

GC

GD

ein kommutatives und exaktes Diagramm von Kettenkomplexen, so ist auch das Diagramm
G Hq (D)
g

G Hq (E)

G Hq1 (C)

G Hq1 (D)  G Hq1 (D )

G Hq (D )

G Hq (E )

G Hq1 (C )

kommutativ. Beweis. Dies folgt aus der Konstruktion des verbindenden Homomorphismus. Ein Unterkomplex eines Kettenkomplexes (C, ) ist eine graduierte Untergruppe D von C mit (D) D. Dann ist D zusammen mit der Einschrnkung von auf D selbst ein Kettenkomplex. Wir schreiben (D, ) a (C, ). In dieser Situation erhalten wir in natrlicher Weise auch einen Quou tientenkomplex (C/D, ) mit (C/D)q = Cq /Dq und c = c. Dies liefert eine kurze exakte Sequenz von Kettenkomplexen 0 D C C/D 0 wobei i die Inklusion und die Projektion bezeichnet. Dies wiederum liefert eine lange exakte Homologiesequenz
Hq (D) Hq (C) Hq (C/D) Hq1 (D)

wobei [] = [c]. c Wir knnen diese Uberlegungen nun speziell in der Situation anwenden, o wenn (X, A) ein Raumpaar ist. Die exakte Sequenz 0 S (A) S (X) S (X)/S (A) 0 liefert eine lange Homologiesequenz
Hq (A) Hq (X) Hq (X, A) Hq1 (A) .

i#

j#

39

Dabei ist der Verbindungshomomorphismus wie folgt deniert: Fr z u Zq (X, A) gilt [z] = [z]. Ebenfalls aus der langen exakten Homologiesequenz liest man ab, da i : H (A) H (X) genau dann ein Isomorphismus ist, wenn H (X, A) = 0 ist. Insbesondere folgt: Satz II.5.3 Ist A ein Deformationsretrakt von X, so ist H (X, A) = 0. Die lange exakte Homologiesequenz von Paaren ist natrlich in folgenu dem Sinn: Ist f : (X, A) (Y, B) eine stetige Abbildung von Paaren, so kommutiert das folgende Diagramm:
G Hq (A)  G Hq (B) G Hq (X)  G Hq (Y ) G Hq (X, A)  G Hq (Y, B) G Hq1 (A)  G Hq1 (B) G

G .

Ist (X, A, B) ein Tripel von Rumen, so deniert die exakte Sequenz a 0 S (A)/S (B) S (X)/S (B) S (X)/S (A) 0 eine lange exakte Homologiesequenz Hq (A, B) Hq (X, B) Hq (X, A) Hq1 (A, B) , die in der naheliegenden Weise natrlich ist. u Wir schlieen diesen Abschnitt mit folgendem Beispiel, welches spter bei der Berechnung der Homologiegruppen der Sphren ntzlich sein wird. Sei a u X = Dn = {x Rn ; A = S n1 = Dn . Da Dn konvex ist, folgt nach Satz (II.3.5), da Hq (Dn ) = 0 fr q 1. Also u folgt aus der langen Homologiesequenz des Paares (Dn , S n1 ), da : Hq (Dn , S n1 ) Hq1 (S n1 ) fr q 2. u = Fr q = 1 erhalten wir aus der langen Homologiesequenz u
0 H1 (Dn , S n1 ) H0 (S n1 ) H0 (Dn ) 0.

x2 + . . . + x2 1} n 1

40

Fr n 2 ist S n1 zusammenhngend und daher ist i : H0 (S n1 ) u a H0 (Dn ) ein Isomorphismus. Damit folgt H1 (Dn , S n1 ) = 0 Fr n = 1 ist S 0 = {1, 1}, also u H0 (S 0 ) Z2 = und H1 (D1 , S 0 ) ker i Z. = = fr n 2. u

Der Ausschneidungssatz

Der Ausschneidungssatz ist ein wesentliches Hilfsmittel bei der Berechnung von Homologiegruppen. In dieser Form gilt der Ausschneidungssatz nur in der Homologie -, nicht jedoch der Homotopietheorie. Denition Es sei (X, A) ein Paar topologischer Rume. Man sagt, ein Una terraum U A kann ausgeschnitten werden, wenn die natrliche Inklusion u i : (X U, A U ) (X, A) einen Isomorphismus i : Hq (X U, A U ) Hq (X, A) fr alleq u induziert. Man nennt dann i : (X U, A U ) (X, A) auch eine Ausschneidung.

Theorem II.6.1 (Ausschneidungssatz) Ist (X, A) ein Paar topologischer Rume, und gilt U A, so kann U ausgeschnitten werden. a Wir werden den Beweis dieses Satzes zurckstellen und zunchst Anwenu a dungen diskutieren. Wir nennen ein Paar (Y, B) (X, A) einen Deformationsretrakt, falls es eine stetige Abbildung r : (X, A) (Y, B) gibt mit r i = id(Y,B) und i r id(X,A) . Dann induziert die Inklusion i : (Y, BF (X, A) Isomorphismen i : H (Y, B) H (X, A). = Satz II.6.2 Es sei V U A. Kann V ausgeschnitten werden, und ist (X U, A U ) ein Deformationsretrakt von (X V, A V ), so kann auch U ausgeschnitten werden. 41

Beweis. Wir betrachten die Inklusion i : (X U, A U ) (X V, A V ) Da (X U, A U ) Deformationsretrakt von (X V, A V ) ist, gilt i : Hq (X U, A U ) Hq (X V, A V ) fr alle q. u = Da V ausgeschnitten werden kann, ist Hq (X V, A V ) Hq (X, A) fr alle q. u = Hintereinanderschaltung der beiden Isomorphismen liefert die Behauptung. Wir wollen nun die Homologiegruppen der Sphren berechnen, und bea trachten dazu S n = {x Rn+1 ; x2 + . . . + x2 = 1} 1 n+1
n E+ = {x S n ; xn+1 0} n E = {x S n ; xn+1 0}.

Dann ist
n n E+ E = S n1

wobei S n1 als Aquator von S n interpretiert werden kann. Die Teilmenge

n E+

Sn S n1

n E

U := E n = {x S n ; xn+1 < 0}. ist die sdliche Hemisphre (ohne Aquator). Es gilt u a
n n E+ = S n U , S n1 = E U.

Lemma II.6.3 E n kann ausgeschnitten werden, d.h.

n n i : (E+ , S n1 ) (S n , E )

induziert einen Isomorphismus der Homologiegruppen. 42

n Beweis. Da U = E E n knnen wir den Ausschneidungssatz nicht un o mittelbar anwenden. Deshalb betrachten wir

V =

x S n ; xn+1 <

1 2

Da V E n , knnen wir den Ausschneidungssatz auf V anwenden. Ferner o n U, E n U ) ein Deformationsretrakt von (S n V, E n V ). Nun ist (S folgt die Behauptung aus Satz (II.6.2). Die Projektionen auf die ersten n Koordinaten liefern Homomorphiso men n p+ : (E+ , S n1 ) (Dn , S n1 )
n p : (E , S n1 ) (Dn , S n1 ).

Da Dn Rn konvex ist, folgt

n n Hq (E ) = Hq (E+ ) = Hq (Dn ) = 0 fr alle q 1. u n Die lange exakte Homologiesequenz des Paares (S n , E ) ist

n n n Hq (E ) Hq (S n ) Hq (S n , E ) Hq1 (E )

und liefert daher

n Hq (S n ) Hq (S n , E ) =

fr q 1. u

Andererseits gilt
n n Hq (S n , E ) Hq (E+ , S n1 ) ( nach Lemma (II.6.3)) = Hq (Dn , S n1 ) ( mittels p+ ) = Hq1 (S n1 ) ( fr q 2). u =

wobei der letzte Isomorphismus aus dem im vorigen Abschnitt behandelten Beispiel folgt, wo wir auch gezeigt haben, da H1 (Dn , S n1 ) = Damit folgt sofort, da 0 f ur n > 1 n Z f ur n = 1 H1 (S ) = 0 f ur n = 0. Fr q 2, n 1 folgt ferner u Hq (S n ) Hq1 (S n1 ) = 43 0 Z fr u fr u n2 n = 1.

und daher gilt mittels Induktion fr q 2 u Hq (S n ) = Zusammenfassend erhalten wir: Satz II.6.4 (i) Fr n 1 gilt u Hq (S n ) = (ii) fr n = 0 gilt u Hq (S 0 ) = Z2 f ur q=0 0 sonst. Z f ur q = 0, n 0 sonst 0 f ur q = n, q 2 Z f ur q = n.

Korollar II.6.5 Fr n = m haben S n und S m verschiedenen Homotopieu typ. Korollar II.6.6 Es gibt keine Retraktion von Dn auf S n1 . Beweis. Fr n = 1 folgt dies, da D1 zusammenhngend ist, aber S 0 nicht. u a n S n1 eine Retraktionsabbildung, d.h. eine stetige Es sei n > 1 und r: D Abbildung mit r i = idS n1 , wobei i : S n1 Dn die Inklusion ist. Dann erhalten wir ein kommutatives Diagramm id
G Hn1 (S n1 ) = Z qqV qqq q qqq qqq r

Z = Hn1 (S n1 )

MMM MMM MMM M i MM8

Hn1 (Dn ) || 0

und damit oensichtlich einen Widerspruch. Korollar II.6.7 Jede stetige Abbildung f : Dn Dn hat einen Fixpunkt, d.h. es gibt einen Punkt x mit f (x) = x. Beweis. Es sei f : Dn Dn eine Abbildung ohne Fixpunkt. Wir wollen zeigen, da es dann eine Retraktion g : Dn S n1 gibt. Die Abbildung g kann wie folgt deniert werden: Fr x Dn sei g(x) S n1 derjenige u Punkt, an dem der Strahl von f (x) durch x die Sphre S n1 schneidet a (ziehe Abbildung auf der nchsten Seite). Da f stetig ist, ist auch g stetig, und es gilt, da g eingeschrnkt auf a n1 die Identitt ist. S a 44

g(x) x f (x)

Es sei nun n 1 und f : S n S n eine stetige Abbildung. Ist Hn (S n ) Z ein Erzeuger, so ist = f () = m fr ein m Z. Die Zahl m ist unabhngig von der Wahl des erzeugenden u a Elements , da f () = m = m(). Denition Die Zahl m heit der Grad von f . Ist n = 1, so kann man f : S 1 S 1 als geschlossenen Weg in S 1 auassen. Dann stimmt m mit der Umlaufzahl uberein. Um Satz (II.6.1) zu beweisen, bentigen wir einige Vorbereitungen. Wir o betrachten hierzu eine Uberdeckung U = (Ui )iI von X. Ein singulres qa Simplex : q X heit klein von der Ordnung U, wenn (q ) Ui U fr ein i I gilt. Wir betrachten die Untergruppe Sq (X) von Sq (X), die u von allen q-Simplizes erzeugt wird, die klein von der Ordnung U sind. Ist U klein von der Ordnung U, so ist Sq1 (X). Wir erhalten also einen U Unterkomplex S (X) von S (X) mit einer Inklusion
U i : S (X) S (X). U Die Zuordnung, die U den Komplex S (X) zuordnet, ist in folgendem Sinn natrlich. Es sei V = (Vj )jJ eine Uberdeckung eines topologischen u Raums Y und f : Y X eine stetige Abbildung, so da es zu jedem j J ein i(j) I gibt mit f (Vj ) Ui(j) . Dann gibt es einen Homomorphismus V U f# : S (Y ) S (X), so da V U S (Y ) S (X) (i ) )
#

f#

(iY

X #

S (Y ) S (X) ein kommutatives Diagramm von Kettenabbildungen ist. Das wesentliche Hilfsmittel beim Beweis von Satz (II.6.1) ist der folgende Satz. 45

f#

Satz II.6.8 Es sei U = (Ui )iI eine Familie von Teilmengen von X, so da U= (U i )iI eine Uberdeckung von X ist. Dann ist
U i : Hq (S (X)) Hq (X)

ein Isomorphismus fr alle q. u Wir werden dann diesen Satz auf die Uberdeckung {X U, A} anwenden, und so den Ausschneidungssatz beweisen. Um Satz (II.6.8) zu beweisen, bentigen wir noch weitere Vorbereitungen. o Es seien C Rn und C Rm konvexe Mengen. Denition Eine Abbildung f : C C heit an, wenn fr alle x, y C u und 0 t 1 gilt f ((1 t)x + ty) = (1 t)f (x) + tf (y). Beispiele solcher Abbildungen sind die Einschrnkungen aner Abbila dungen F : Rn Rm mit der Eigenschaft, da F (C) C . In der Tat kommt jede ane Abbildung f : C C auf diese Weise zustande, wenn auch im allgemeinen F nicht eindeutig bestimmt ist. Ist f eine ane Abbildung, und ist x0 , . . . , xp C, t0 , . . . , tp mit 1, so gilt f( ti xi ) = ti f (xi ). Insbesondere bildet f Simplizes auf Simplizes ab. Es sei nun C Rn eine konvexe Teilmenge. Mit Aq (C) Sq (C) bezeichnen wir diejenige Untergruppe, die von den anen singulren q-Simplizes a q C erzeugt wird. Die Ecken von q sind e , . . . , e Rq+1 . Ein : 0 q anes singulres q-Simplex : q C ist durch die Eckpunkte xi = (ei ) a vollstndig bestimmt. Wir bezeichnen es mit (x0 , . . . , xq ). In dieser Notation a gilt dann (x0 , . . . , xq )(i) = (x0 , . . . , xi1 , xi+1 , . . . , xq ). Insbesondere gilt (Aq (C)) Aq1 (C) und wir knnen A (C) als Untero komplex von S (C) auassen. Ist = (x0 , . . . , xq ) ein anes singulres q-Simplex in C und b C, so a denieren wir ein anes singulres (q + 1)-Simplex durch a Cb () = (b, x0 , x1 , . . . , xq ). Man nennt Cb () den Kegel uber (mit Spitze b). 46 ti =

x0

Cb b

x1

Durch lineare Fortsetzung erhalten wir einen Homomorphismus Cb : Aq (C) Aq+1 (C). Als nchsten Schritt denieren wir nun eine Kettenabbildung a S : Aq (C) Aq (C) wobei S fr simplicial division steht. (Wir werden spter noch fr belieu a u bige Rume X Abbildungen S : Sq (X) Sq (X) konstruieren). Die Kona struktion geschieht durch Induktion nach q. Zunchst setzen wir S = id fr a u q = 0. Es sei nun S in jeder Dimension < q deniert. Ist = (x0 , x1 , . . . , xq ) ein anes singulres q-Simplex in C, so ist der Schwerpunkt von deniert a durch x0 + x1 + . . . + xq b = b() = q+1 Damit denieren wir S () := Cb() (S ()). Diese Konstruktion lt sich wie folgt veranschaulichen: a

S ()

Cb() (S ())

Wir zeigen nun, da S eine Kettenabbildung ist. Lemma II.6.9 Es gilt S =S . Beweis. Wir machen Induktion nach q. Fr q = 0 ist die Aussage trivial. u Um den Induktionsschritt von q 1 nach q durchzufhren, gengt es, die u u Aussage fr ein anes singulres q-Simplex zu beweisen. Es gilt u a S () = (Cb (S ())) = S () Cb ((S ())). 47

Dabei kommt die Summe dadurch zustande, da man alle (q 1)Simplizes zusammenfat, die b nicht enthalten, bzw. b enthalten. Das Vorzeichen kommt dadurch zustande, da b jeweils der erste Punkt in einem Simplex der Form Cb ( ) ist. Nach Induktionsannahme gilt nun S () = S ( 2 ) = 0.

Da Unterteilung von Simplizes die Homologie nicht verndern sollte, a kann man erwarten, da S kettenhomotop zur Identitt ist. Wir konstruiea ren im folgenden eine solche Kettenhomotopie, d.h. eine Abbildung K : Aq (C) Aq+1 (C) mit K + K = S id . Dazu fhren wir wiederum eine Konstruktion mittels Induktion durch. Fr u u q = 0 sei K = 0. Wir nehmen nun an, da K auf allen Ketten der Dimension < q bereits deniert ist. Fr ein anes singulres qSimplex denieren wir u a dann K () := Cb() (S K ). Lemma II.6.10 Es gilt K + K = S id . Beweis. Wir machen erneut Induktion nach q, wobei der Induktionsanfang q = 0 oensichtlich ist. Um den Induktionsschritt von q 1 nach q durchzufhren, betrachten wir ein anes singulres qSimplex mit Schwerpunkt u a b = b(). Entsprechend wie im Beweis von Lemma (II.6.9) gilt: K () = Cb (S K ) = S K Cb (S K ). Unter Zuhilfenahme der Induktionsvoraussetzung folgt (S K ) = S + K S + = 0.

Wir wollen nun die obigen Konstruktionen auf beliebige topologische Rume ubertragen. Das Ziel ist es, Homomorphismen S : Sq (X) Sq (X) a und K : Sq (X) Sq+1 (X) zu konstruieren, die funktoriell sind. Dies heit folgendes: Ist f : X Y eine stetige Abbildung, so sind die folgenden Abbildungen kommutativ:

48

Sq (X) Sq (X) f f
# #

Sq (Y ) Sq (Y ) sowie Sq (X) Sq+1 (X) f f

# #

Sq (Y ) Sq+1 (Y ). Hierdurch wird auch klar, wie Sd und K fr einen Raum X zu denieren u sind (vgl. auch den Beweis von Satz (II.3.1).) Es sei dazu : q X ein singulres qSimplex. Dann ist = # (q ), wobei q : q q die a Identitt ist. Wir erhalten dann aus obigen Diagrammen: a S() = S# (q ) = # (S(q )) := # (S (q )), K() = K# (q ) = # (K(q )) := # (K (q )). Lemma II.6.11 (i) S = S

(ii) K + K = Sd id. Beweis. Unmittelbar aus Lemma (II.6.9) und Lemma (II.6.10). Wir bentigen noch weitere Hilfsstze aus der konvexen Geometrie. o a Denition Ist C Rn eine beschrnkte, abgeschlossene konvexe Menge, a so ist der Durchmesser von C deniert als d(C) := sup ||x y||. x, y C

Lemma II.6.12 Ist ein qSimplex mit Ecken x0 , . . . , xq , so gilt d() = max ||xi xj ||. 0 i, j q ti xi . Wir lassen x fest und variieren = || = ti (x xi )|| ti ||x xi || max ||x xi ||.

Beweis. Es sei x = x . Dann gilt

ti xi , sowie x = ||x

||x x || =

ti xi ||

|ti | ||xi xi ||

ti max ||x xi || =

49

Indem wir die Abschtzung wiederholen, nun aber x variieren, erhalten wir a ||x x || max ||xj xi ||.

Lemma II.6.13 Es sei ein anes qSimplex in Rn . Dann hat jedes ane singulre Simplex in der qKette S als Durchmesser hchstens den Wert a o qd()/q + 1. Beweis. Wir machen wieder Induktion nach q. Fr q = 0 ist S (s) = s und u d() = 0. Wir nehmen nun an, da die Behauptung fr (q 1)Simplizes u gilt. Ist ein anes singulres qSimplex in S (), so gilt a = (b(), u0 , . . . , uq1 ) wobei b() der Schwerpunkt von und u0 , u1 , . . . , uq1 die Ecken eines (q 1)Simplex in S (s) sind. Es sei das (q 1)Simplex in , das enthlt: a u1 u0

b()

Nach Lemma (II.6.11) gilt d( ) = max{||ui uj ||; ||ui b()||}. Nach Induktionsannahme gilt ||ui uj || d() (q 1)d( ) qd() q q+1

wobei wir bei der letzten Abschtzung (q1)/q q/(q+1) und d( ) d() a verwenden. Ist = (x0 , x1 , . . . , xq ), so gilt b() = 1 q+1 50
q

xi .
i=0

Nun gilt ||ui b()|| ||xj b()|| Letzteres lt sich wie folgt abschtzen a a ||xj b()|| = ||xj = || =
i=j 1 (q+1) 1 q+1 q

fr ein j. u

xi ||
i=0

(xj xi )/(q + 1)|| ||xj xi ||

i=j

q q+1 max ||xj q q+1 d().

xi ||

Lemma II.6.14 Es sei X ein topologischer Raum, V = (Vi )iI eine oene Uberdeckung von X und ein singulres Simplex in X. Dann gibt es ein a m > 0, so da S m eine Linearkombination von singulren Simplizes ist, a die klein von Ordnung V sind. Beweis. Es sei : q X ein singulres qSimplex. Dann ist W = a { 1 (Vi )}iI eine oene Uberdeckung von q . Da q kompakt ist, gibt es ein > 0, so da es fr jeden Punkt x q einen Index i(x) I gibt mit u B (x) 1 Vi(x) . Wegen Lemma (II.6.12) und wegen
m

lim

q q+1

=0

gibt es ein m > 0, so da die anen singulren qSimplizes in der qKette a m einen Durchmesser < haben. Daraus folgt S q
V S m = # (S m q ) Sq (X).

Beweis von Satz (II.6.8): Ziel ist es, eine Kettenabbildung

U : S (X) S (X)

zu konstruieren mit i = id und i kettenhomotop zur Identitt. a Nach Lemma (II.6.13) angewandt auf die Uberdeckung U = {U i }iI gibt es fr jedes singulre qSimplex in X eine Zahl m() 0, so da gilt u a
U S m() Sq (X).

Wir nehmen an, da m() jeweils minimal gewhlt ist. Es gilt m( (i) ) a m(). Nach Lemma (II.6.11) gilt (1) K + K = S id . 51

Da S eine Kettenabbildung ist, folgt, da fr alle k 1 gilt: u (2) KS k1 + KS k1 = S k S k1 . Durch Addition ergibt sich (3) K(id + . . . + S m1 ) + K(id + . . . + S m1 ) = S m id . Wir setzen nun fr beliebiges : u (4) K() := K(id +S + . . . + S m()1 )(). Dann gilt: (K + K)() = K(id + . . . + S m()1 )()
q
(i) )1

+
i=0

(1)i K(id + . . . + S m(

) (i)

(3) =

S m() K(id + . . . + S m()1 )

q

+
i=0 q

(1)i K(id + . . . + S m( (1)i K(S m(

(i) )

(i) )1

) (i)

S m()
i=0

+ . . . + S m()1 ) (i) .

Dies fhrt uns auf die folgende Denition: u

q

() := S m()
i=0

(1)i K(S m(

(i) )

+ . . . + S m()1 ) (i) .

Nach Wahl von von m() gilt

U () Sq (X).

Nach Konstruktion von gilt K + K = i id

U also ist i kettenhomotop zur Identitt. Ist andererseits Sq (X), dann a gilt m() = 0 und daher i = id . Wir bentigen im folgenden noch das o

Lemma II.6.15 (Funferlemma) Es sei C1

f1 1

G C2
f2

G C3
f3

G C4
f4

G C5
f5

D1

G D2

G D3

G D4

 G D5

ein kommutatives Diagramm abelscher Gruppen mit exakten Zeilen. Sind f1 , f2 , f4 und f5 Isomorphismen, dann ist auch f3 ein Isomorphismus. 52

 Beweis. Ubungsaufgabe Schlielich knnen wir nun den Ausschneidungssatz beweisen. o Beweis von Satz (II.6.1). Wir betrachten die Uberdeckung U = (X U, A) von X. Wegen U A uberdecken auch die oenen Mengen (X U ) = X U und A den Raum X. Analog ist U = (A U, A) eine Uberdeckung von A. Nach Satz (II.6.8) induzieren die Inklusionen
U i : S (X) S (X), U i : S (A) S (A)

Isomorphismen
U U i : Hq (S (X)) Hq (X), i : Hq (S (A)) Hq (A).

fr alle q. u U U Da wir S (A) als Unterkomplex von S (X) betrachten knnen, haben o wir eine Kettenabbildung
U U j : S (X)/S (A) S (X)/S (A).

Die Kettenabbildungen i, i und j induzieren nun das folgende kommutative Diagramm:

G H (S U (A)) q G Hq (A) 
i

G Hq (S U (X)) G Hq (X) 
i

G H (S U (X)/S U (A)) q G Hq (X, A) 

j

U GH q1 (S (A))

G Hq1 (S U (X)) G Hq1 (X) 

i

G Hq1 (A)

Da i und i fr alle q Isomorphismen sind, ist auch j nach dem Fnferu u lemma ein Isomorphismus. Nach Denition von U und U haben wir
U S (X) = S (X U ) + S (A) U S (A) = S (A U )

+ S (A)

wobei die Summe nicht notwendig exakt ist. Also folgt

U U S (X)/S (A) S (X U )/S (A U ). =

53

Damit gilt
U U Hq (S (X)/S (A)) Hq (X U, A U ) fr alle q. u =

Hintereinanderschaltung mit j zeigt, da i : Hq (X U, A U ) Hq (X, A) fr alle q ein Isomorphismus ist. u

Die Mayer-Vietoris-Sequenz

Wir betrachten einen topologischen Raum X zusammen mit einer Uberdeckung U = {U, V } von der wir annehmen, da auch U= {U , V } eine Uberdeckung von X ist. Dann haben wir natrliche Inklusionen u

Y U LLL ww LLLk LLL ww LL7 ww U W V = X. U V GG r GG rrr GG GG rrr j G5 rrrr l

i www

Satz II.7.1 (Mayer-Vietoris-Sequenz) Es gibt eine lange exakte Sequenz

Hq (U V ) Hq (U ) Hq (V ) Hq (X) Hq1 (U V )

mit g = (i , j ), h = k + l . Beweis. Wir betrachten A A Dann ist Sq (U ) = F (A ), Sq (V ) = F (A ) U Sq (U V ) = F (A A ), Sq (X) = F (A A ). Wir betrachten die Sequenz 0 F (A A ) F (A ) F (A ) F (A A ) 0 mit g() = (, ), h( , ) = + 54
g h

= {; : q U ist ein singulres q-Simplex in U } a q V ist ein singulres q-Simplex in V }. = {; : a

und behaupten, da diese Sequenz exakt ist. Oensichtlich ist g injektiv, h surjektiv und h g = 0. Es bleibt zu zeigen, da ker h im g ist. Es sei also 0=h ni i , mj j = ni i + mj j

wobei die i paarweise verschieden sind, und dasselbe fr die j gilt. Dann u mu es zu jedem ni = 0 ein j geben mit mj = ni und i = j , d.h. also mj j = x = ni i F (A A )

und damit ( ni i , mj j ) = (x, x) = g(x). Da heit, wir haben eine kurze exakte Sequenz von Kettenkomplexen
U 0 S (U V ) S (U ) S (V ) S (X) 0. g h

Auf Grund von Satz (II.5.1) liefert dies eine lange exakte Homologiesequenz
U Hq (U V ) Hq (U ) Hq (V ) Hq (S (X)) Hq1 (U V )

U Da nach Satz (II.6.8) gilt, da Hq (S (X)) = Hq (X) folgt die Behauptung.

Bemerkung Der Verbindungshomomorphismus kann wie folgt beschrieben werden. Jede Homologieklasse [w] Hq (X) besitzt eine Darstellung [w] = [c + d] mit c Sq (U ), d Sq (V ). Wegen w = c + d = 0 ist c = d Sq1 (U V ) und (c, d) = (c, c) = g(c). Dann gilt [w] = [c + d] = [c]. Bemerkung Die Mayer-Vietoris Sequenz ist in folgendem Sinn natrlich. u Es sei X ein weiterer topologischer Raum und {U , V } eine Uberdeckung von X mit U V = X. Es sei f : X X eine stetige Abbildung mit f (U ) U und f (V ) V . Dann kommutiert das folgende Diagramm:
g h

Hq (U V ) Hq (U ) Hq (V ) Hq (X) f f f f Hq (U V ) Hq (U ) Hq (V ) Hq (X ) Hq1 (U V ) f Hq1 (U V ) Dies folgt unmittelbar aus der Konstruktion.

55

Das Anheften von Rumen a

Es sei X ein topologischer Raum und eine Aquivalenzrelation auf X. Die Menge der Aquivalenzklassen wird mit X/ bezeichnet und die natrliu che Projektion mit : X X/ . Die Quotiententopologie ist die feinste Topologie auf X/ , so da die natrliche Projektion stetig ist. Es gilt u U X/ oen 1 (U ) oen in X. Wir wollen zunchst untersuchen, wann X/ ein Hausdorraum ist. a Die Diagonale von X ist die Menge D = {(x, x) X X; x X} X X. Aus der mengentheoretischen Topologie kennt man den Satz II.8.1 X ist genau dann ein Hausdorraum, wenn die Diagonale D abgeschlossen in X X ist. Wir betrachten nun die stetige Abbildung : X X (X/ ) (X/ ) und bezeichnen die Diagonale in (X/ ) (X/ ) mit . Die Menge := ( )1 () = {(x, y) X X; x y} heit Graph der Relation . Die Relation heit abgeschlossen, falls der Graph abgeschlossen in X X ist. Ist X/ Hausdorraum, so ist oensichtlich abgeschlossen. Falls X kompakt ist, gilt auch die Umkehrung. Satz II.8.2 Es sei X ein kompakter Hausdorraum. Dann ist X/ genau dann ein Hausdorraum, wenn abgeschlossen ist. Beweis. Wir hatten bereits gesehen, da fr jeden Raum X aus der Hausu doreigenschaft von X/ die Abgeschlossenheit von folgt. Wir nehmen nun an, da abgeschlossen ist. Da X kompakt und Hausdor ist, ist eine Teilmenge A X genau dann abgeschlossen, wenn sie kompakt ist. Wir zeigen nun, da das Bild (A) einer abgeschlossenen Menge A in X ebenfalls abgeschlossen ist. Es seien dazu p1 und p2 die Projektion auf den ersten und den zweiten Faktor von X X. Dann gilt p2 (p1 (A) ) = {y X; y x fr ein x A} = 1 ((A)). u 1
1 Da abgeschlossen ist, ist auch 1 (A) abgeschlossen und somit kompakt. Damit gilt dasselbe fr p2 (p1 (A )) = 1 ((A)). Aus der Konu 1 struktion der Quotientenopologie folgt, da dann auch (A) abgeschlossen ist. Ist x X ein Punkt, so ist x kompakt, also abgeschlossen. Damit gilt

56

dasselbe fr x = (x) und 1 ((x)). Ist x = y , so sind 1 () und 1 () u x y disjunkte abgeschlossene Mengen. Da X kompakt und Hausdor ist, ist X auch normal, also gibt es oene Umgebungen U, V von 1 (), bzw. 1 () x y mit U V = . Wir setzen U = X U, V = X V . Dann sind U , V abgeschlossen und nach obiger Bemerkung sind auch (U ) und (V ) abge schlossen. Also sind U = (X/ ) (U ) und V = (X/ ) (V ) oen. Da x U , y V und U V = haben wir gezeigt, da sich x und y in X/ durch oene Umgebungen trennen lassen. Ist eine Relation auf X , so knnen wir daraus stets eine Aquivalenzo relation machen, indem wir setzen: x y es gibt eine Folge x0 , x1 , . . . , xn X mit x0 = x und xn = y, so da (i) xi+1 = xi oder (ii) xi+1 xi oder (iii) xi xi+1 . Dann heit die durch erzeugte Aquivalenzrelation. Beispiele (1) Es sei X = S n , n 1 und die durch x x erzeugte Aquivalenzrelation. Dann ist Pn (R) = S n / der n-dimensionale reelle projektive Raum. Fr den Graphen gilt u =DD, D = {(x, x); x S n },

also ist abgeschlossen. Daher ist Pn (R) ein kompakter Hausdorraum. In der Tat ist Pn (R) eine topologische (und auch dierenzierbare) Mannigfaltigkeit. Wir htten Pn (R) auch auf folgende Art einfhren knnen: a u o Pn (R) = (Rn+1 {0})/ wobei x y : es gibt R mit x = y. Geometrisch ist Pn (R) also die Menge der Geraden in Rn+1 durch den Ursprung. (2) Wir identizieren R2n+2 = Cn+1 = {(z0 , . . . , zn ); zi C}. Dann wird die Einheitssphre S 2n+1 Cn+1 gegeben durch a S 2n+1 = {(z0 , . . . , zn ) Cn+1 ; 57 |z0 |2 + + |zn |2 = 1}.

 Wir denieren hierauf eine Aquivalenzrelation durch z z : es gibt C, || = 1 mit z = z . Der Quotient Pn (C) = S 2n+1 / ist wiederum ein kompakter Hausdorraum (und sogar eine komplexe Mannigfaltigkeit). Analog htten wir denieren knnen: a o Pn (C) = (Cn+1 {0})/ mit z z : es gibt C mit z = z . Also ist Pn (C) der Raum der (komplexen) Geraden in Cn+1 durch den Ursprung. Wir betrachten nun folgende Situation: Es seien X, Y disjunkte topologische Rume, A ein Unterraum von X. Auf der Vereinigung X Y fhren a u wir die Summentopologie ein (d.h. die oenen Mengen sind die Vereinigungen U V , wobei U und V oen in X bzw. Y sind; insbesondere sind X, Y oene und abgeschlossene Teilmengen). Ferner sei f : A Y eine stetige Abbildung. Es sei die Aquivalenzrelation, die durch x f (x) auf X Y erzeugt wird. Denition (i) Der Raum X f Y := X Y / heit der aus Y durch Anheften von X an Y mittels f : A Y entstandene Raum. (ii) Ist speziell X = Dn und A = Dn = S n1 , so heit Yf := Dn f Y der durch Anheften einer n-Zelle an Y mittels f entstandene Raum. Satz II.8.3 Sind X und Y kompakte Hausdorrume und ist A abgeschlosa sen in X, dann ist X f Y ein kompakter Hausdorraum. Beweis. Da X und Y kompakt sind, gilt dasselbe fr X Y und also fr u u X f Y . Nach Satz (II.8.2) gengt es dann zu zeigen, da abgeschlossen u ist. Der Graph von ist = DXY f f (f f )1 (DY ) 58 fr x A u

wobei DXY die Diagonale von X Y , und f = {(a, f (a)); a A}, f = {(f (a), a); a A} ist. Ferner ist DY die Diagonale von Y . Da X und Y kompakte Hausdorrume sind, sind alle diese Rume ebenfalls kompakt und abgeschlossen. a a Bemerkung Wir halten an dieser Stelle noch fest, da in dieser Situation die Inklusion i : Y X f Y einen Homomorphismus von Y auf das o Bild i(Y ) liefert. Um diesen Proze zu illustrieren, betrachten wir nochmals die reelle 2 projektive Ebene P2 (R). Man kann P2 (R) aus E+ durch Identizieren von 2 Diametralpunkten auf dem Rand E+ = S 1 erhalten:

Wir erhalten damit P2 (R) = X f Y

2 mit X = D2 (man erinnere sich daran, da D2 homomorph zu E+ ist), o 1 = D 2 , Y eine weitere Kopie von S 1 und A=S

f : A S1,

Dies wollen wir benutzen, um im folgenden die Homologie von projektiven Rumen zu berechnen. Wir kehren jedoch zunchst zum allgemeinen Proze a a des Anheftens von nZellen zurck. u Satz II.8.4 Ist f : S n1 Y eine stetige Abbildung und Yf der Raum, der aus Y durch Anheften einer nZelle entsteht, so gibt es eine exakte Sequenz
Hq (S n1 ) Hq (Y ) Hq (Yf ) Hq1 (S n1 )

H0 (S n1 ) H0 (Y ) Z H0 (Yf ) 0.
1 Beweis. Es sei U die oene Kugel in Dn vom Radius 2 um den Nullpunkt 0, sowie V = Yf {0}. Dann denieren U, V eine oene Uberdeckung von Yf , auf die die Mayer-Vietoris-Sequenz angewendet werden kann:

59

ei e2i .

U V

Dn

Hq (U V ) Hq (U ) Hq (V ) Hq (Yf ) Hq1 (U V )

Nun hat U V den Homotopietyp von S n1 . Die Menge U ist konvex and Y ist ein Deformationsretrakt von V . Dabei kann man die Retraktion auf V Y durch f r denieren, wobei r eine Retraktion von Dn {0} auf S n1 ist. Zusammen ergibt dies die Behauptung. Wir wollen dies nun benutzen, um die Homologie von P2 (R) zu berechnen Satz II.8.5 Fr die reelle projektive Ebene gilt u u 0 fr q 2 2 Z2 fr q = 1 u Hq (P (R)) = Z fr q = 0. u Beweis. Wir benutzen die Darstellung P2 (R) = Yf aus unserem frheren u Beispiel, wobei Y = S 1 und f : S 1 S 1 durch f (ei ) = e2i gegeben ist. Aus dem Teil i Hq (S 1 ) Hq (P2 (R)) Hq1 (S 1 ) der in Satz II.8.4 bewiesenen Sequenz folgt Hq (P2 (R)) = 0 fr q 3. Der u Rest der Sequenz lautet
H2 (S 1 ) H2 (P2 (R)) H1 (S 1 ) H1 (S 1 ) H1 (P2 (R)) || || || Z Z 0

H0 (S 1 ) H0 (S 1 ) Z H0 (P2 (R)) 0.

Dabei ist g () = (, ), Fr die Abbildung f gilt u f () = 2. 60 h ( , ) = + .

Damit folgt H1 (P2 (R)) = Z/2Z = Z2 . Die Behauptung fr H0 (P2 (R)) folgt ebenfalls aus der obigen Sequenz, aber u auch direkt daraus, da P2 (R) wegzusammenhngend ist. a Wir beweisen nun ein Kriterium, wie man beweisen kann, da ein Raum aus dem Ankleben eines Raums an einen anderen entstanden ist. Satz II.8.6 Es seien X, Y und W kompakte Hausdorrume, A X aba geschlossen und f : A Y stetig. Existiert eine stetige surjektive Abbildung g : X Y W mit der Eigenschaft, da fr jedes w W entweder u g 1 (w) = {x}, x X A oder g 1 (w) = f 1 (y) {y}, y Y gilt, so ist W homomorph zu X f Y . o Beweis. Es sei : X Y X f Y die Restklassenabbildung. Dann haben wir ein kommutatives Diagramm
GW X YKK vY KKK vv KK vv vv KKK vv h 7 X f Y
g

wobei h durch g induziert wird. Nach den Voraussetzungen ist h bijektiv. Da g stetig ist, und h eine Faktorisierung von g uber den Quotienten, so ist auch h stetig. Nach Voraussetzung ist h bijektiv. Da X f Y und W kompakt und Hausdorsch sind (fr X f Y folgt dies aus Satz (II.8.3)), ist u h sogar ein Homomorphismus. o Wir kehren nun nochmals zu unserem Beispiel Pn (R) = S n / zurck. u Dabei ist : S n Pn (R) die Quotientenabbildung. Wir knnen nun dazu o benutzen, um an Pn (R) eine nZelle anzuheften. Wir behaupten, da dann gilt: Pn+1 (R) = Dn+1 Pn (R). Hierzu betrachten wir die Einbettung Sn S n+1 (x1 , . . . , xn+1 ) (x1 , . . . , xn+1 , 0) die S n als Aquator von S n+1 darstellt. Dies induziert eine Einbettung i : Pn (R) Pn+1 (R). Wir erinnern an die Zerlegung
n+1 n+1 n+1 n+1 S n+1 = E+ E , E+ E = S n .

61

n+1 Die Projektion p+ liefert einen Homomorphismus p1 : Dn+1 E+ . Ist o + n+1 Pn+1 (R) die Quotientenabbildung, so denieren wir :S n+1 g1 : Dn+1 E+ S n+1 Pn+1 (R). p1 +

Schlielich denieren wir g : Dn+1 Pn (R) Pn+1 (R) g(x) = g1 (x) i(x) fr x Dn+1 u fr x Pn (R). u

Die Abbildung g ist surjektiv, da schon g1 surjektiv ist. Fr w Pn+1 (R) u gilt g 1 (w) = {x} Dn+1 S n fr w Pn+1 (R) i(Pn (R)) u oder g 1 (w) = {x, x} {i1 (w)} fr w Pn (R). u Da g oensichtlich stetig ist, knnen wir Satz (II.8.6) anwenden. o Analog knnen wir im Fall des komplexen projektiven Raums argumeno tieren. Es sei f : S 2n+1 S 2n+1 / = Pn (C) die Quotientenabbildung. Dann gilt genau wie oben Pn+1 (C) = D2n+2 f Pn (C). Wir knnen nun die Homologie von Pn (C) berechnen. o Satz II.8.7 Es gilt Hq (Pn (C)) = Z f ur q = 0, 2, . . . , 2n 0 sonst.

Beweis. Wir machen einen Induktionsbeweis nach n. Die Behauptung ist richtig fr n = 0, da P0 (C) = {pt}, und n = 1, da P1 (C) = S 2 gilt. (Letzteres u sieht man z.B. daran, da P1 (C) aus P0 (C) durch Anheften einer 2Zelle entsteht). Aus Satz (II.8.4) erhalten wir eine exakte Sequenz
Hq (S 2n+1 ) Hq (Pn (C)) Hq (Pn+1 (C)) Hq1 (S 2n+1 )

fr q > 0. Nun gilt u Hq (S 2n+1 ) = 0 fr q = 0, 2n + 1 u und auf Grund der Induktionsvoraussetzung Hq (Pn (C)) = 0 fr q ungerade. u 62

Also ist f : Hq (S 2n+1 ) Hq (Pn (C)) die Nullabbildung fr alle q > 0. Damit erhalten wir fr q > 1 eine kurze u u exakte Sequenz
0 Hq (Pn (C)) Hq (Pn+1 (C)) Hq1 (S 2n+1 ) 0

und damit die Behauptung in diesem Bereich. Fr q = 1 erhalten wir u 0 H1 (Pn (C)) H1 (Pn+1 (C)) 0. || 0 Die Surjektivitt folgt dabei aus der Tatsache, da die Abbildung a H0 (S 2n+1 ) H0 (Pn (C)) Z injektiv ist. Schlielich ist H0 (Pn+1 (C)) = Z, da Pn+1 (C) wegzusammenhngend a ist. Mit derselben Methode, aber etwas mehr Aufwand, beweist man fr die u reellen projektiven Rume a Satz II.8.8 Es gilt Z Z2 Hq (Pn (R)) = 0 fr q = 0 und q = n falls n ungerade u fr 1 q n 1, q ungerade u sonst.

Zellenkomplexe

Zellenkomplexe sind topologische Rume, die durch sukzessives Anheften a von n-Zellen an eine endliche Menge von Punkten entstehen. Denition Es sei (X, A) ein Paar von Rumen und die Aquivalenzrea lation, die durch x y fr alle x, y A erzeugt wird. Der Quotientenraum u X/ wird mit X/A bezeichnet, und heit der aus X durch Zusammenschlagen von A auf einen Punkt entstandene Raum. Bemerkungen (i) Ist f : A {pt} die konstante Abbildung, so ist X/A = X f {pt}. (ii) Ist X kompakter Hausdorraum und A X abgeschlossen, so ist auch X/A ein kompakter Hausdorraum. Denition Ein Unterraum A von X heit ein starker Deformationsretrakt von X, wenn es eine stetige Abbildung F : X I X gibt, mit 63

(i) F (x, 0) = x fr alle x X, u (ii) F (x, 1) A fr alle x X, u

(iii) F (a, t) = a fr alle a A, t I. u Bemerkung Ein starker Deformationsretrakt ist insbesondere ein Deformationsretrakt mit Retraktionsabbildung r(x) = F (x, 1). Lemma II.9.1 Es sei X ein topologischer Raum, A X abgeschlossen, : X X/A die Identizierungsabbildung, y := (A) X/A. Ist A ein starker Deformationsretrakt von X, dann ist {y} starker Deformationsretrakt von X/A. Beweis. Es sei F : X I X die starke Deformationsretraktion von X auf A. Wir betrachten das Diagramm X I (X/A) I Wir setzen x F (, t) = F ( id)1 (, t). x Wegen (iii) ist dies wohldeniert. Aus (i), (ii) folgt x F (, 0) = x, F (, 1) = y x Ferner liefert (iii) F (y, t) = y fr t I. u Es bleibt zu zeigen, da F stetig ist. Dies folgt aber sofort aus der Stetigkeit von F und der Denition der Quotiententopologie. Satz II.9.2 Es sei X ein kompakter Hausdorraum und A X abgeschlossen. Ferner sei A starker Deformationsretrakt einer abgeschlossenen Umgebung von A in X. Dann induziert die Quotientenabbildung : X X/(A) einen Isomorphismus : H (X, A) H (X/A, y). Beweis. Es sei A starker Deformationsretrakt der kompakten Umgebung U von A in X. f ur x X/A.

id F _ _ F

GX _G X/A 

64

X U V A

Da A starker Deformationsretrakt von U ist, folgt aus der langen Homologiesequenz des Tripels (X, U, A): Hq (U, A) Hq (X, A) Hq (X, U ) Hq1 (U, A) 0 || || 0 0 da H (X, A) H (X, U ). = Nach Lemma (II.9.1) ist {y} starker Deformationsretrakt von (U ), also folgt analog H (X/A, {y}) H (X/A, (U )) = Da X kompakter Hausdorraum ist, ist X normal, d.h. es gibt eine oene Menge V mit A V V U . Der Ausschneidungssatz liefert dann einen Isomorphismus H (X V, U V ) H (X, U ) = und analog H (X/A (V ), (U ) (V )) H (X/A, (U )). = Wegen A V liefert die Einschrnkung von einen Homomorphismus von a o Paaren : (X V, U V ) (X/A (V ), (U ) (V )) und daher einen Isomorphismus H (X V, U V ) H (X/A (V ), (U ) (V )). = Zusammen ergeben diese Isomorphismen die Behauptung. Denition Eine Abbildung f : (X, A) (Y, B) von Paaren heit ein relativer Homomorphismus, wenn f die Menge X A bijektiv auf Y B o abbildet.

65

Satz II.9.3 Ist f : (X, A) (Y, B) ein relativer Homomorphismus zwio schen kompakten Hausdorrumen, wobei A (bzw. B) abgeschlossen und a starker Deformationsretrakt einer abgeschlossenen Umgebung in X (bzw. Y ) ist, ist f : H (X, A) H (Y, B) ein Isomorphismus. Beweis. Wie im Beweis von Lemma II.9.1 erhalten wir ein kommutatives Diagramm steiger Abbildungen X
f

X/A Y /B. Da f ein relativer Homomorphismus ist, ist f bijektiv und daher ein o Homomorphismus, da X/A und Y /B kompakt sind. Es sei x0 = (A), y0 := o (B). Zusammen mit Satz (II.9.2) erhalten wir ein kommutatives Diagramm von Isomorphismen H (X, A)

H (X/A, x0 H (Y /B, y0 ).

H (Y, B)

Wir knnen nun Zellenkomplexe denieren. o Denition Ein (endlicher) Zellenkomplex (oder ein endlicher CW Komplex) ist ein kompakter Hausdorraum X, der eine endliche Zerlegung {eq ; q = i 0, 1, . . . , n, i = 1, . . . , rq } in disjunkte Teilmengen mit den folgenden Eigenschaften besitzt. Es sei X q :=
pq 1 j rp

ep , j

X 1 := .

Dann soll gelten: (i) Jedes x X ist in genau einem eq enthalten. i (ii) Zu jedem i und q existiert ein relativer Homomomorphismus o : (Dq , S q1 ) (eq X q1 , X q1 ). i 66

Dann heit eq eine (oene) qZelle von X, heit charakteristische Abbili dung von eq , und der Unterraum X q heit das qGerst von X. u i Die Bezeichnung CW Komplex stammt von J.H.C. Whitehead, der auch unendliche Zellkomplexe untersucht hat, und dabei die CW Bedingungen formuliert hat. Die qGerste X q sind abgeschlossen. Wir erhalten den u q , indem wir eine qZelle mittels der Abbildung f = | Raum X S q1 an X q eq anheften. i Denition Ist X n1 = X, aber X n = X, so heit n die Dimension des CW Komplexes X. Beispiele Wir haben folgende Beispiele kennengelernt Pn (R) = e0 e1 e2 . . . en Pn (C) = e0 e2 e4 . . . e2n S n = e0 en T = S 1 S 1 = e0 e1 e1 e2 . 1 2 Die Homologie von CW -Komplexen lt sich in vielen Fllen schrittweise a a uber die Homologie der qGerste ausrechnen. Hierzu bentigen wir den u o Begri des Unterkomplexes. Denition Es sei X ein Zellenkomplex mit Zellen {eq }. Eine Teilmenge A i von X heit ein Unterkomplex, falls fr alle i, q gilt: Ist A eq = , so ist u i eq A. i Bemerkung Ist A ein Unterkomplex von X, so ist A abgeschlossen und mit der von X induzierten Zellenzerlegung selbst wieder ein Zellenkomplex. Unser nchstes Ziel ist nun der a Satz II.9.4 Ist A ein Unterkomplex eines Zellenkomplexes X, so ist A starker Deformationsretrakt einer kompakten Umgebung von A in X. Als Vorbereitung hierzu zeigen wir zuerst: Lemma II.9.5 Es sei Y ein kompakter Hausdorraum, f : S n1 Y eine stetige Abbildung und Yf der durch Anheften einer nZelle an Y mittels f entstandene Raum. Dann ist Y ein starker Deformationsretrakt einer kompakten Umgebung von Y in Yf . Beweis. Es sei U := x Dn ; ||x|| 1 2

67

Dann ist U eine kompakte Umgebung von S n1 in Dn . Deniere F : (U Y ) I U Y x (x, t) x (1 t)x + t ||x|| falls x Y falls x U.

Dann gilt: F ist stetig, F (x, 0) = x, F (x, 1) S n1 Y fr alle x, F (x, t) = x u n1 Y und alle t. Also ist F eine starke Deformationsretrakfr alle x S u tion von U Y auf S n1 Y . Nun sei : Dn Y Yf die Quotientenabbildung. Wie zuvor erhalten wir ein kommutatives Diagramm stetiger Abbildungen (U Y ) I id
F F

U Y

(U Y ) I (U Y ). Die Abbildung F liefert dann eine starke Deformationsretraktion der kompakten Umgebung (U Y ) von (Y ) auf (Y ). Beweis von Satz (II.9.4): Wir fhren einen Induktionsbeweis nach der Anzahl u der Zellen N in X A. Fr N = 0 ist die Aussage trivial, fr N = 1 folgt u u sie aus obigem Lemma (II.9.5). Um den Induktionsschritt durchzufhren, u nehmen wir an, da die Aussage fr jedes Paar (Y, B), wobei Y B hchstens u o N 1 Zellen enthlt, richtig ist. a Es sei em eine Zelle maximaler Dimension in X A. Setze i X1 = X em . i Dann ist X1 Unterkomplex von X und A ist Unterkomplex von X1 . Wenden wir die Induktionsannahme auf X1 A an, so folgt die Existenz einer abgeschlossenen Umgebung U1 von A in X1 , so da A starker Deformationsretrakt von U1 ist. Nach Denition des Zellenkomplexes gibt es einen relativen Homomoro phismus : (Dm , S m1 ) (em X m1 , X m1 ) (em X1 , X1 ). i i

68

X1

em i

Dm X U1

Es sei r : Dm {0} S m1 die durch r(x) = x/||x|| gegebene radiale Projektion. Wir denieren 1 V := {(x); x Dm , ||x|| , r(x) 1 (U1 )}, 2 U := U1 V. Dann ist U eine kompakte Umgebung von A in X. Zusammen mit der nach der Induktionsannahme existierenden Retraktion von U1 nach A erhalten wir dann, da A ein starker Deformationsretrakt von U ist. Satz II.9.6 Es sei X ein Zellenkomplex mit r qZellen. Dann gilt Hj (X q , X q1 ) = 0 Zr fr u fr u j=q j = q.

Beweis. X q1 ist ein Unterkomplex von X q , und damit nach Satz (II.9.4) starker Deformationsretrakt einer Umgebung von X q1 . Auf Grund der Denition eines Zellenkomplexes gibt es einen relativen Homomorphismus o
q q1 q q1 : (D1 . . . Dr , S1 . . . Sr ) (X q , X q1 ).

Nach Satz (II.9.3) ist ein Isomorphismus, also

q q q1 q1 Hj (X q , X q1 ) Hj (D1 . . . Dr , S1 , . . . Sr ) =

= =

r i=1

q q1 Hj (Di , Si )

0 Zr

fr u fr u

j=q j = q.

69

Wir wollen an dieser Stelle noch kurz auf die Begrie Bettizahl und Eulercharakteristik eingehen. Dazu sei an folgenden algebraischen Sachverhalt erinnert. Jede endlich erzeugte abelsche Gruppe ist von der Form A = Zr T wobei T die Torsionsuntergruppe von A ist. Die Zahl r ist eindeutig bestimmt, und heit der Rang von A. Wir betrachten im folgenden nur Rume X, deren Homologie H (X) a endlich erzeugt ist. Denition (i) Die ite Bettizahl von X ist deniert durch bi (X) = rang Hi (X). (ii) Die Eulerzahl von X ist deniert durch (X) :=
i

(1)i bi .

Nach Voraussetzung ist diese Summe endlich. Beispiel Fr X = Pn (C) gilt b0 = b2 = . . . = b2n = 1 und bi = 0 sonst. u Also gilt (Pn (C)) = n + 1. Satz II.9.7 Ist X ein Zellenkomplex der Dimension n, so gilt: (i) Hj (X) = 0 fr j > n. u (ii) H (X) ist endlich erzeugt. Beweis. Wir fhren einen Induktionsbeweis nach n. Fr n = 0 besteht X aus u u endlich vielen Punkten und die Aussage ist klar. Fr den Induktionsschnitt u betrachten wir die Sequenz des Paares (X n , X n1 ): Hj (X n1 ) Hj (X n ) Hj (X n , X n1 ) Hj1 (X n1 ) Die Aussage folgt dann aus der Induktionsvoraussetzung und Satz (II.9.6). Schlielich halten wir noch fest: Satz II.9.8 Ist X ein CW Komplex mit i Zellen der Dimension i, so gilt (X) = Beweis. Ubungsaufgabe. (1)i i .

70

III

Poincare-Dualitt

In diesem Abschnitt beweisen wir den Satz uber die Poincare-Dualitt. a

Orientierung auf Mannigfaltigkeiten

Im folgenden sei X stets eine Mannigfaltigkeit der Dimension n 1 (d.h. X ist ein Hausdorraum und jeder Punkt x X besitzt eine Umgebung, die homomorph zu einer Kugel im Rn ist). o Lemma III.1.1 Fr jeden Punkt x X gilt u Hn (X, X {x}) Z. = Beweis. Es sei U eine Koordinatenumgebung von x, d.h. U sei homomorph o n . Dann kann man die abgeschlossene Menge zu einer oenen Kugel in R X U aus X {x} ausschneiden und der Ausschneidungssatz liefert einen Isomorphismus Hn (U, U {x}) Hn (X, X {x}). = Da U konvex ist, liefert die Sequenz des Paares (U, U {x}) einen Isomorphismus Hn (U, U {x}) Hn1 (U {x}). = Da schlielich U {x} homotop quivalent zu S n1 ist, folgt a Hn1 (U {x}) Z = und daher die Behauptung. Ist n = 2, so entsprechen die beiden Erzeugenden von Hn (X, X {x}) den beiden Homologieklassen, die durch die einfach geschlossenen Wege um x deniert werden. Sie unterscheiden sich um die Orientierung. Im allgemeinen Fall kann man S n1 mit dem Rand des n-Simplex n identizieren. Ist n : n n das singulre n-Simplex, das durch die Identitt gegeben ist, a a so entsprechen die beiden Erzeugenden gerade n . Denition Eine Orientierung im Punkt x ist die Wahl eines Erzeugers von Hn (X, X {x}). Wir wollen nun untersuchen, inwieweit man Orientierungen global whlen a kann. Lemma III.1.2 (Fortsetzungslemma): Es sei x Hn (X, X {x}). Dann gibt es eine Umgebung U von x und ein Element Hn (X, X U ), so da U x = jx (), wobei
U jx : Hn (X, X U ) Hn (X, X {x})

die durch die Inklusion denierte Abbildung ist. 71

Beweis. Es sei a Zn (X, X {x}) ein relativer Zykel, der x reprsentiert. a Dann ist der Trger |a| eine kompakte Menge in X {x}. Also ist U = a X |a| eine oene Umgebung von x und a Zn (X, X U ). Wir knnen o fr die durch a reprsentierte Homologieklasse whlen. u a a Satz III.1.3 Jede Umgebung W von x enthlt eine Umgebung U von x, so a U ein Isomorphismus ist. da fr alle y U die Abbildung jy u Beweis. Wir whlen eine Koordinatenumgebung V von x in W . Sei U V a eine Untermenge, die einer in V enthaltenen Kugel entspricht. Dann haben wir fr jedes y U ein kommutatives Diagramm u Hn (X, X U ) Hn (V, V U ) jU
y

Hn (X, X {y}) Hn (V, V {y}) Dabei sind die horizontalen Pfeile Ausschneidungsisomorphismen. Da (V, V U ) und (V, V {y}) homotop aquivalent sind, ist auch der rechte senkrechte U Pfeil ein Isomorphismus, und damit auch jy .
U Ein Element Hn (X, X U ) mit jx () = x heit eine Fortsetzung von x . Fr y U setzen wir u U y := jy ().

Korollar III.1.4 Ist x Hn (X, X {x}), so gibt es eine Umgebung U von x mit: (i) x kann eindeutig zu Hn (X, X U ) fortgesetzt werden. (ii) Ist x Erzeuger, dann auch y fr y U . u Bemerkung Der Beweis von Satz (III.1.3) zeigt, da man in diesem Beweis die oene Menge U auch durch einen Quader der Dimension d n ersetzen kann.

72

oder

U .

Denition Eine Orientierung von X entlang U ist ein Element Hn (X, X U ), so da y fr alle y U ein Erzeuger ist. u Ist V U so haben wir einen natrlichen Homomorphismus u
U jV : Hn (X, X U ) Hn (X, X V )

so da fr alle y V gilt u
V U U jy (jV ()) = jy ().

Denition (i) Ein globales Orientierungssystem von X ist eine Familie (Ui , i )iI wobei (a) (Ui )iI ist eine oene Uberdeckung von X, (b) i Hn (X, X Ui ) ist eine Orientierung entlang Ui ,
U U (c) ist x Ui Uk , so gilt jx i (i ) = jx k (k ) =: x .

(ii) Zwei Orientierungssysteme (Ui , i ) und (Vj , j ) heien quivalent, falls a stets x = x . Denition Eine Mannigfaltigkeit X heit orientierbar, falls es ein globales Orientierungssystem auf X gibt. Eine Orientierung ist eine Aquivalenzklasse von Orientierungssystemen. Bemerkung Die folgenden Aussagen sind im wesentlichen oensichtlich: (i) Ist X orientierbar und V X oen, so ist auch V orientierbar. (ii) X ist genau dann orientierbar, wenn jede Zusammenhangskomponente von X orientierbar ist. Satz III.1.5 (i) X sei zusammenhngend. Dann stimmen zwei Orientiea rungen, die in einem Punkt ubereinstimmen, uberall uberein. (ii) Eine zusammenhngende orientierbare Mannigfaltigkeit besitzt genau a zwei Orientierungen. Beweis. Es gengt (i) zu zeigen. Es sei A die Menge der Punkte, in denen u die beiden Orientierungen ubereinstimmen. Nach Satz (III.1.3) sind sowohl A als auch X A oen. Beispiel (i) Fr X = S n gilt Hn (S n , S n {x}) Hn (S n ) = Z. Alu = so kann man ein Orientierungssystem whlen, das aus einer einzigen a oenen Menge und einem der beiden Erzeuger besteht. (ii) Das Mbiusband und P2 (R) sind nicht orientierbar. o 73

Es sei X eine Mannigfaltigkeit. Dann denieren wir die Menge XZ := {(x, x ); x X, x Hn (X, X {x})}. Wir haben eine natrliche Abbildung u p : XZ X, (x, x ) x,

deren Fasern bijektiv zu Z sind. Wir wollen nun XZ zu einem topologischen Raum machen. Eine Basis der Topologie soll aus folgenden Mengen bestehen:
U U, U = {(x, x ); x U, x = jx (U )}

wobei U X oen und U Hn (X, X U ) ist. Wir mssen zeigen, da u dies tatschlich die Basis einer Topologie deniert. Sei dazu a (x, x ) U, U U , U . Dann gibt es nach Satz (III.1.3) eine Umgebung U U U und ein U U Element U Hn (X, X U ) mit jU (U ) = U = jU (U ), d.h. also U , U U, U U , U .

Mit dieser Topologie wird p : XZ X eine Uberlagerung. Wir knnen nun eine Abbildung o v : X Z N0 v(x, x ) = |x | betrachten, da fr x Hn (X, X{x}) Z der Absolutbetrag wohldeniert u = ist. Dann besteht X := v 1 (1) XZ aus allen Paaren (x, x ), wobei x ein Erzeuger ist. Mittels p ist p : X X eine zweifache Uberlagerung. X ist genau dann orientierbar, wenn diese Uberlagerung einen Schnitt hat, d.h. wenn es eine stetige Abbildung s : X X mit p s = idX gibt. Dies ist genau dann der Fall, wenn X in zwei Zusammenhangskomponenten zerfllt. Insbesondere ist jede Mannigfaltigkeit, deren Fundamentala gruppe keine Untergruppe vom Index 2 hat, orientierbar. Dies gilt speziell fr einfach-zusammenhngende Mannigfaltigkeiten. Dies fhrt uns auf folu a u gende 74

Denition Ist A ein Unterraum von X, so ist ein Schnitt uber A eine ste tige Abbildung s : A XZ mit p s = idA . Die Menge der Schnitte wird mit A bezeichnet. Jeder Schnitt s A lt sich in der Form a s(x) = (x, s (x)), s (x) Hn (X, X {x})

darstellen. Zwei Schnitte s1 , s2 A lassen sich addieren durch (s1 + s2 )(x) := (x, s1 (x) + s2 (x)) sowie mit einer Zahl n Z multiplizieren: (ns)(x) := (x, ns (x)). Damit wird A zu einer abelschen Gruppe, bzw. einem Z-Modul. Denition (i) XZ heit die Orientierungsgarbe von X.

(ii) Schnitte, die uber ganz X deniert sind, heien globale Schnitte. Denition Wir sagen, da X orientierbar entlang eines Unterraums A ist, wenn es einen Schnitt s A gibt mit s(a) X fr alle a A (d.h. u s (a) Hn (X, X {a}) ist Erzeuger). Satz III.1.6 X ist genau dann orientierbar entlang A, wenn es einen Homoo morphismus : p1 (A) AZ gibt (hierbei trgt Z die diskrete Topologie), a so da das Diagramm p1 (A)

FF FF F p FFF F5

GAZ yy yy yypr1 y |yy

kommutiert. Ist X orientierbar entlang A und hat A genau k Zusammenhangskomponenten, so gilt A = Zk . Beweis. Ist X orientierbar entlang A, so gibt es einen Schnitt s : A v 1 (1). Insbesondere ist s (x) Hn (X, X {x}) ein Erzeuger. Also gibt es zu jedem (x, x ) p1 (A) ein x Z mit x = x s (x). Wir denieren : p1 (A) A Z, (x, x ) (x, x ).

Ist U eine oene Menge, so da x eine eindeutig bestimmte Fortsetzung U Hn (X, XU ) besitzt, so bildet die oene Menge U, U auf U {x } 75

ab. Da oensichtlich bijektiv ist, ist es ein Homomorphismus. Ist umgeo kehrt gegeben, so erhlt man eine Orientierung durch s(x) := 1 (x, 1). a Wir betrachten nun den kanonischen Homomorphismus jA : Hn (X, X A) A A jA ()(x) := (x, jx ()). (Die Stetigkeit der Abbildung jA () folgt sofort aus der Konstruktion der Topologie auf XZ ). Ist B A, so haben wir ein kommutatives Diagramm Hn (X, X A) A A r jA
B

Hn (X, X B) B B wobei r die Einschrnkung von Schnitten bedeutet. a Denition Wir sagen, da s A kompakten Trger hat, falls es eine a kompakte Menge K in A gibt, mit s(x) = (x, 0) fr x K. u Die Menge der Schnitte mit kompaktem Trger wird mit c A bezeichnet. a c A ist ein Untermodul von A. Ist A kompakt, so ist c A = A. Theorem III.1.7 Es sei X eine Mannigfaltigkeit der Dimension n und A eine abgeschlossene Teilmenge von X. Dann gilt: (i) Hq (X, X A) = 0 fr q > n u (ii) jA ist injektiv mit Bild c A, d.h. jA : Hn (X, X A) c A. u Insbesondere gilt jX : Hn (X) c X und Hq (X) = 0 fr q > n. Bevor wir diesen Satz beweisen, wollen wir einige Folgerungen festhalten. Korollar III.1.8 Ist A abgeschlossen, zusammenhngend und nicht koma pakt, dann ist Hn (X, X A) = 0. Insbesondere ist Hn (X) = 0, falls X zusammenhngend und nicht kompakt ist. a Beweis. Es sei Hn (X, X A). Da A zusammenhngend ist, ist v(jA ()) a konstant. Da jA () kompakten Trger hat, und A nicht kompakt ist, folgt a v(jA ()) = 0, d.h. jA () = 0 und da jA injektiv ist, auch = 0. Korollar III.1.9 A sei kompakt und habe k Zusammenhangskomponenten. Ist X orientierbar entlang A, so gilt Hn (X, X A) Zk . = 76
= =

Beweis. Aus Satz (III.1.6) folgt, da A kompakt ist, c A = A Zk . = Korollar III.1.10 Es sei A eine kompakte Teilmenge von Rn , n 2, mit k Zusammenhangskomponenten. Dann ist bn1 (Rn A) = k. Beweis. Es gilt Hn1 (Rn A) Hn (Rn , Rn A) Zk = = nach Korollar (III.1.9), da Rn orientierbar ist. Korollar III.1.11 Es sei X eine kompakte zusammenhngende Mannigfala tigkeit. Dann gilt Hn (X) = Z falls X orientierbar ist 0 sonst.

Beweis. Falls X orientierbar ist, gilt nach Satz (III.1.6), da c X = X = Z. Sei umgekehrt s X mit s = 0. Dann ist v(s(x)) konstant, und von 0 verschieden. Also erhlt man eine Orientierung durch s(x) = (x, s (x)/a) a mit a = v(s(x)), Bemerkung Dies zeigt, da P2 (R) nicht orientierbar ist. Ist X kompakt, zusammenhngend und orientierbar, so entspricht eine a Orientierung einem Erzeuger Hn (X). Die lokale Orientierung im Punkt X x ist dann gegeben durch jx () Hn (X, X {x}). Denition Die Klasse heit die Fundamentalklasse der orientierten Mannigfaltigkeit X. Bevor wir Theorem (III.1.7) beweisen knnen, bentigen wir noch folo o genden Satz III.1.12 Es sei X ein topologischer Raum, A1 , A2 seien abgeschlossene Teilmengen von X und A = A1 A2 . Dann gibt es eine Mayer-Vietoris Sequenz Hq (X, X A) Hq (X, X A1 ) Hq (X, X A2 ) Hq (X, X A1 A2 ) Hq1 (X, X A) Beweis. Analog zum Beweis der Mayer-Vietoris Sequenz. Beweis von Theorem (III.1.7): Wir gehen in mehreren Schritten vor. 0. Schritt: A = . Hier ist die Aussage trivial.

77

1. Schritt: Falls die Aussage fr A1 , A2 und A1 A2 gilt, dann auch fr u u A = A1 A2 . Die Mayer-Vietoris Sequenz von Satz (III.1.12) liefert zunchst a Hq (X, X A) = 0 fr q > n und weiter ein kommutatives Diagramm: u
0

Hn (X, X A)

Hn (X, X A1 ) Hn (X, X A2 )
jA jA = 1 2

G Hn (X, X A1 A2 )  G c (A1 A2 )
jA A = 1 2

c A

jA (r1 ,r2 )

G c A1 c A2

r1 +r2

wobei r1 , r2 die Einschrnkungsabbildungen sind. (Die Bilder unter jA haa ben kompakten Trger, da dies fr jA1 und jA2 gilt.) Aus dem Fnferlemma a u u folgt dann, da jA ein Isomorphismus ist. 2. Schritt: Wir nehmen an, da A kompakt und zusammenhngend und in a einer Koordinatenumgebung enthalten ist. Mittels Ausschneidung knnen o wir X durch Dn ersetzen, d.h. Hq (X, X A) = Hq (Dn , Dn A). Fall 1: A ist ein Quader der Dimension n. Dann gilt Hq (Dn , Dn A) = n A) H n1 ). Insbesondere ist H (D n , D n A) = 0 f r Hq1 (D u = q1 (S q q > n. Dies zeigt (i). Die Aussage (ii) folgt, da Hn1 (S n1 ) = Z = A, wobei wir bei der letzten Gleichheit die Orientierbarkeit von Dn und Satz (III.1.6) verwenden. Fall 2: A = A1 . . . Am wobei die Ai Quader sind, deren Seiten parallel zu Koordinatenebenen sind. Wegen Fall 1 knnen wir schon annehmen, o da m 2 ist. Wir machen Induktion nach m. Sei A = A1 . . . Am1 . Dann ist A Am vom selben Typ und besteht aus hchstens m 1 Quadern o (mglicherweise kleinerer Dimension). Also knnen wir die Induktionsvoro o aussetzung auf A und A Am anwenden und dann mit Schritt 1 schlieen. Fall 3: A kompakt. Wir beweisen zunchst die Surjektivitt von jA . Es sei also s A gegeben. a a Auf Grund von Satz (III.1.6) gibt es s X mit s |A = s (beachte, da s(A) wegen des Zusammenhangs der Menge a das Bild in einer Komponente von p1 X liegen mu). Wir whlen nun zu jedem x A einen Quader in a X der Dimension n, der X in seinem Inneren enthlt, und dessen Seiten a parallel zu den Koordinatenebenen liegen. Es sei A die Vereinigung endlich vieler solcher Quader, die A umfat. Dann haben wir ein Diagramm Hn (X, X A ) A s |A jA A
jA =

Hn (X, X A)
jA

78

wobei jA nach Fall 2 ein Isomorphismus ist. Also ist

1 A s = jA jA jA (s |A )

Es sei nun Hn (X, X A) mit jA () = 0. Wir mssen zeigen, da = 0. u Es sei z ein relativer Zykel, der reprsentiert. Dann ist V = X |z| a eine oene Menge, die A enthlt. Es sei die Homologieklasse von z in a V ( ) = j A () = 0 f r alle x A. Also gibt es Hn (X, X V ). Es gilt jx u x nach Korollar (III.1.4) eine oene Umgebung V mit A V V , so da V jx ( ) = 0 fr alle x V . Wir konstruieren nun ein A wie oben mit u V A A V . Dann gilt jA ()(x) = jx ( ) = 0 fr alle x A . Mit Hilfe u von Fall 2 schlieen wir dann, da = 0 ist und damit auch = 0. Ein analoges Argument zeigt auch, da Hq (X, X \ A) = 0 fr q > n. u 3. Schritt: A ist kompakt. Dann ist A endliche Vereinigung von kompakten, zusammenhngenden Mena gen A1 , . . . , Am , die in Koordinatenumgebungen liegen. Wir machen dann unter Verwendung von Schritt 1 und Schritt 2 einen Induktionsbeweis. 4. Schritt: A U, U oen, aber U kompakt. Dann gilt der Satz fr das u Paar (U, A). Wir betrachten das Tripel (X, U (X U ), (U A) (X U )). Mit Hilfe des Ausschneidungssatzes folgt Hq (U, U A) Hq (U (X U ), (U A) (X U )). = Dann liefert uns die exakte Homologiesequenz des obigen Tripels Hq+1 (X, U (XU )) Hq (U, U A) Hq (X, (U A)(XU )) Wir knnen Schritt 3 fr die Mannigfaltigkeit X und die kompakten o u Mengen U U und A (U U ) anwenden. Daraus ergibt sich, da die beiden ueren Terme der obigen Sequenz und damit auch der mittlere fr a u q > n gleich 0 sind. Fr q = n haben wir ein kommutatives Diagramm u
0

G Hn (U, U A) G 
jA i

Hn (X, (U A) (X U ))

Hn (X, U (X U ))

c A

c (A (U U ))

= r

G c (U U ).

Dabei ist r die Einschrnkung und i ist wie folgt deniert: Es sei s c A. a Dann ist s = 0 auerhalb einer kompakten Menge K A und wir setzen i(s) = s auf A 0 auerhalb von K. 79

Dies ist wohldeniert und stetig. Die Abbildung i ist injektiv und das Diagramm zeigt, da jA ein Isomorphismus ist (es zeigt insbesondere auch, da das Bild von jA in c A enthalten ist). 5. Schritt: Der allgemeine Fall. Wir stellen zunchst fest, da alle Elemente a im Bild von jA kompakten Trger haben: Ist Hn (X, X A), so whle a a man einen reprsentierenden Zykel z von . Dann ist der Trger |z| von z a a kompakt, und wegen des Diagramms Hn (|z|, |z| A) Hn (X, X A)

Hn (|z|, |z| {x}) Hn (X, X {x}) folgt jA ()(x) = 0 falls x |z|. Wir zeigen als nchstes, da das Bild von jA ganz c A ist. Es sei dazu a s c A und K A kompakt mit s = 0 auerhalb von K. Dann knnen wir o kompakt. Wir betrachten A = eine oene Umgebung U von K whlen mit U a A U und den Schnitt s = s|A . Wir haben ein kommutatives Diagramm Hn (U, U A ) Hn (X, X A) j j
=
A A

s c A

c A

s.

Hierbei ist jA auf Grund von Schritt 4 ein Isomorphismus. Damit ist die Surjektivitt gezeigt. a Es sei nun Hq (X, X A) mit q > n oder es sei q = n und jA () = 0. Wir mssen zeigen, da = 0. Wir whlen eine oene Menge U mit |z| U u a kompakt, wobei z wieder reprsentiert. Es sei wieder A = A U . und U a Fr q = n folgt die Aussage aus obigem Diagramm. Fr q > n verwenden u u wir wieder Schritt 4 (ist z homolog zu einem Zykel in U A , dann erst recht in X A).

Kohomologie

In diesem Abschnitt fhren wir die Kohomologiegruppen ein. Diese spielen u bei den Dualittsstzen auf Mannigfaltigkeiten eine entscheidende Rolle. a a Sind A und G abelsche Gruppen, so ist die Menge der Gruppenhomomorphismen von A nach G Hom(A, G) = {; : A G ist Homomorphismus} selbst wieder eine Gruppe, wobei die Verknpfung gegeben wird durch u ( + )(a) := (a) + (a). 80

Wir halten nun die abelsche Gruppe G fest. Zu jedem Gruppenhomomorphismus f : A B gibt es einen G-dualen Homomorphismus f # : Hom(B, G) Hom(A, G) f # () = f. Es gilt id # = id. Ist g : B C ein weiterer Homomorphismus, so ist (g f )# = f # g # . Damit wird die Zuordnung A Hom(A, G), f f # zu einem kontravarianten Funktor. Denition Man sagt, die kurze exakte Sequenz 0ABC0 spaltet, wenn g ein Rechtsinverses besitzt, d.h. es gibt einen Homomorphismus r : C B mit g r = idC . Man drckt dies meist mit folgender Notation aus: u 0 A B C 0. r Satz III.2.1 Es sei 0 A B C 0 eine kurze exakte Sequenz. Dann sind die folgenden Aussagen quivalent: a (i) Die Sequenz spaltet. (ii) Es gibt zu f ein Linksinverses, d.h. einen Homomorphismus l : B A mit l f = idA . (iii) Es gibt einen Isomorphismus : A C B mit (a, 0) = f (a) und g (a, c) = c. Beweis. (i)(iii). Wir denieren (a, c) = f (a) + r(c). Dann kommutiert das Diagramm 0
 GA GA 
iA f g f g f g

GAC

GC GC 
idC

G0  G0

idA f

GB

und das Fnferlemma zeigt, da ein Isomorphismus ist. u (iii)(i). Setze r(c) = (0, c). (ii)(iii). Wir erhalten einen Isomorphismus : B A C durch (b) = l(b) + g(b) und setzen dann = 1 .

81

(iii)(ii). Es sei = 1 . Dann erhalten wir l durch l(b) = (A )(b). Da nicht jede kurze exakte Sequenz von Gruppen spaltet, zeigt das Beispiel n 0 Z Z Z/n 0. Andererseits gilt der Satz III.2.2 Ist 0 A B C 0 eine kurze exakte Sequenz abelscher Gruppen und C eine freie abelsche Gruppe, so spaltet die Sequenz. Beweis. Es sei (ci )iI eine Basis von C. Da g surjektiv ist, knnen wir bi B o whlen mit g(bi ) = ci . Dann wird durch r(ci ) = bi ein Gruppenhomomora phismus r : C B deniert, fr den g r = idC gilt. u Satz III.2.3 (i) Ist 0 A B C 0 eine kurze exakte Sequenz, so ist auch die Sequenz 0 Hom(C, G) Hom(B, G) Hom(A, G) exakt. (ii) Ist 0 A B C 0 eine kurze exakte spaltende Sequenz, so gilt dasselbe fr u 0 Hom(C, G) Hom(B, G) Hom(A, G) 0. Beweis. (i) g # ist injektiv: 0 = g # () = g impliziert = 0, da g surjektiv ist. Die Aussage im g # ker f # folgt wegen f # g # = (g f )# = 0# = 0. Es bleibt ker f # im g # zu zeigen. Es sei dazu Hom(B, G) mit 0 = f # () = f . Also ist |im f =ker g = 0. Damit ist (c) = (g 1 {c}) fr c C wohldeniert und liefert einen Homomorphismus : C G mit u = g = g # (), d.h. es ist im g # . (ii) Dies folgt aus Satz (II.2.1): Ist l : B A ein Linksinverses von f , d.h. gilt l f = idA , so folgt f # l# = idHom(A,G) , d.h. l# ist Rechtsinverses von f # und insbesondere ist f # surjektiv. Das Beipiel vor Satz (II.2.2) zeigt auch, da f # im allgemeinen nicht surjektiv ist. Man sagt auch, da Hom (, G) ein linksexakter Funktor ist. Wir wollen nun messen, inwieweit f # nicht surjektiv ist. Denition Eine freie Ausung von A ist eine kurze exakte Sequenz o 0RF A0 wobei F eine freie abelsche Gruppe ist. 82
g# f# f g g# f# f g f g

Beispiele

(1) Die exakte Sequenz 0 Z Z Z/n 0

n

ist eine freie Ausung von Z/n. o (2) Jede abelsche Gruppe A besitzt eine freie Ausung. Wir betrachten o hierzu die durch die Menge A erzeugte freie abelsche Gruppe F (A) = { : A Z; Die Abbildung p : F (A) A (a)a
aA

(a) = 0 fr fast alle a A}. u

ist surjektiv. Ist R = ker p, so ist 0 R F (A) A 0 eine freie Ausung von A. Wir nennen dies die Standardausung. o o Denition Es sei 0 R F A 0 eine freie Ausung der abelschen o Gruppe A. Deniere Ext(A, G) = Hom(R, G)/ im(i# ). Satz III.2.4 Ext(A, G) hngt nur von den Gruppen A und G, nicht jedoch a von der Wahl der freien Ausung ab. o Beweis. p i (a) Es sei 0 R F A 0 eine weitere freie Ausung der Gruppe o A. Wir denieren zunchst Homomorphismen f : F F und f : R R a so da das Diagramm 0
GR
i i p

 GR

GF

GF AA AA p AA AA 2 f bA ~~ ~~ ~~  ~~ p

G0

kommutiert. Dies geschieht wie folgt: Es sei B eine Basis von F . Zu jedem b B whlen wir ein Element xb F mit p (xb ) = p(b) und denieren a f : F F durch f (b) = xb . Dann gilt p f = p. Daher gilt auch p f i = p i = 0, d.h. im (f i) ker p = im i . Wir knnen also o f =i
1

f i

83

setzen (wobei i 1 auf im i wohldeniert ist). (b) Sind nun f1 : F F und f1 : R R weitere solche Homomorphismen, so gibt es einen Homomorphismus : F R mit f f1 = i und f f1 = i: 0
GF AA AA p  AA  AA  2  f1 f f1 A   ~b ~~  ~  ~~   i  ~~ p GR GF
i

GR

G0

Fr x F ist nmlich f (x)f1 (x) ker p = im i , d.h. man kann denieren u a = i 1 (f f1 ). Damit folgt sofort, da i = f f1 und weiterhin i (f f1 ) = (f f1 ) i = i i. Da i injektiv ist, ergibt dies f f1 = i. (c) Das duale Diagramm sieht nun wie folgt aus
oU ooo ooo oo ooo
p#

Hom(F, G)
y

i#

G Hom(R, G) y
(f )#

G Hom(A, G) OOO OOO OOO OOO (p )# 9

f#

Hom(F , G)

(i )#

G Hom(R , G).

Wegen der Kommutativitt des Diagramms bildet (f )# insbesondere das a Bild im(i )# nach im i# ab, d.h. (f )# induziert einen Isomorphismus : Hom(R , G)/ im(i )# Hom(R, G)/ im i# . Dieser Homomorphismus hngt nicht von der Wahl von f und f ab: Ist a nmlich Hom (R , G), dann gilt a (f )# (f1 )# ( ) = (i)# ( ) = i# (# ) im i# . (d) Durch Vertauschen der Rollen der beiden Ausungen erhlt man umo a gekehrt einen Homomorphismus : Hom(R, G)/ im i# Hom(R , G)/ im (i )# . 84

Aus (c) folgt = id und = id und damit die Behauptung.

Satz III.2.5 Es gelten folgende Aussagen: (i) Ist A eine freie abelsche Gruppe, so gilt Ext(A, G) = 0 fr jede Gruppe u G. (ii) Ext(Z/n, G) G/nG fr n > 0 wobei nG = {ng; g G}. u = (iii) Ext(A1 A2 , G) Ext(A1 , G) Ext(A2 , G). = Beweis. (i) Ist A eine freie abelsche Gruppe, so ist 00AA0 eine freie Ausung von A. o (ii) Dualisiert man die freie Ausung o 0 Z Z Z/n 0 so erhlt man a
p n 0 Hom(Z/n, G) Hom(Z, G) G Hom(Z, G) G. = =
#

id

(iii) Sind 0 Ri Fi Ai 0 freie Ausungen von Ai fr i = 1, 2, so o u ist 0 R1 R2 F1 F2 A1 A2 0 eine freie Ausung von A1 A2 . o Es sei nun (C , ) ein Kettenkomplex. Anwendung des Funktors Hom(, G) ergibt C q := Hom(Cq , G) # q1 := q : C q1 C q
# # u mit q q1 = q+1 q = (q q+1 )# = 0. Dies fhrt auf die folgende Denition.

Denition Ein Kokettenkomplex (C , ) ist eine Sequenz von abelschen Gruppen und Homomorphismen . . . C q C q+1 . . . mit 2 = 0. 85

Denition (i) Ist (C , ) ein Kokettenkomplex so heit Z q (C) = ker( : C q C q+1 ) die Gruppe der q-Kozykel. (ii) Die Gruppe der q-Kornder ist deniert durch a B q (C) = im ( : C q1 C q ). (iii) Die q-te Kohomologiegruppe von (C , ) ist H q (C) = Z q (C)/B q (C). Beispiel Es sei U ein Gebiet in Rn , und q (U ) der Vektorraum der qFormen. Zusammen mit der ueren Ableitung d : q (U ) q+1 (U ) erhala ten wir einen Kokettenkomplex ( (U ), d). Die q-te de Rhamsche Kohomologiegruppe ist deniert durch
q HdR (U ) = Z q ( (U ))/B q ( (U )).

Die Elemente in Z q ( (U )) heien die geschlossenen Formen, die Elemente in B q ( (U )) die exakten Formen. Das Poincarsche Lemma besagt dann fr u q konvexe Mengen, da jede geschlossene Form exakt ist, d.h., da HdR (U ) = 0 ist fr q > 0, falls U konvex ist. u Denition (i) Sind (C , ) und (D , ) Kokettenkomplexe, so ist eine Kokettenabbildung f : C D eine Familie von Homomorphismen f q : C q Dq mit f = f . (ii) Zwei Kokettenabbildungen f und g heien kokettenhomotop, falls es eine Familie von Homomorphismen K q : C q Dq1 gibt mit K + K = f g. Wir betrachten nun wieder den Fall, da C = (C , ) ein Kettenkomplex ist, und denieren (C , ) durch C q = Hom(Cq , G) und = # , wobei wir die Gruppe G fest gewhlt haben. In diesem Fall benutzen wir die Bezeichnung a H q (C, G) = H q (C ). Ist f : (C , ) (D , ) eine Kettenabbildung, so ist f # : (D , ) (C , ) eine Kokettenabbildung und deniert daher einen Homomorphismus f : H (D, G) H (C, G). Sind f und g kettenhomotop, so sind f # und g # kokettenhomotop und es gilt f = g .

86

Ist C q = Hom (Cq , G) und c Cq , so setzen wir , c := (c). Hierdurch erhalten wir eine bilineare Abbildung , d.h. es gilt 1 + 2 , c , c1 + c2 Ferner gilt , c = , c . (1) = = 1 , c + 2 , c , c1 + , c2 . : C q Cq G

Beispiel Ist C q = q (U ), so haben wir eine Bilinearform , : q (U ) Sq (U ) R , c =

c

Man kann zeigen, da diese Bilinearform nicht ausgeartet ist und damit q (U ) mit Hom(Sq (U ), R) identizieren. Dann entspricht Formel (1) gerade dem Satz von Stokes. Es gilt nun Z q (C) , c = 0 , c = 0 |Bq (C) 0. Andererseits gilt B q (C) = fr ein C q1 u , c = , c = , c fr c Zq (C) u |Zq (C) 0. Hieraus folgt, da die Bilinearform , , eine Bilinearform fr c Cq+1 u fr c Cq+1 u

: H q (C, G) Hq (C) G [], [c] = , c

deniert. Denition Man nennt die Bilinearform , das Kroneckerprodukt.

87

Dieses Produkt bestimmt wiederum einen Homomorphismus : H q (C, G) Hom (Hq (C), G) ( )() := , fr H q (C, G) und Hq (C). u Wir wollen nun die Eigenschaften des Homomorphismus untersuchen. Denition Ein Kettenkomplex C = (C , ) heit frei, wenn alle Cq freie abelsche Gruppen sind. Nach einem nichttrivialen Satz der Algebra ist jede Untergruppe einer freien abelschen Gruppe wieder frei. Also sind insbesondere die Untergruppen Zq = ker q und Bq = im q+1 frei, falls C ein freier Komplex ist. Nach Satz (III.2.2) spaltet die kurze exakte Sequenz 0 Zq Cq Bq1 0, wobei jq die Inklusion und q (x) = q (x) ist. Nach Satz (III.2.3) ist die duale Sequenz 0 Hom(Bq1 , G) Hom(Cq , G) Hom(Zq , G) 0 ebenfalls exakt und spaltet. Auerdem hat man die kurze exakte Sequenz 0 Bq1 Zq1 Hq1 (C) 0. Dies ist eine freie Ausung von Hq1 (C). Nach Satz (III.2.4) gilt dann o Ext(Hq1 (C), G) = Hom(Bq1 , G)/ im i# . q1 # Lemma III.2.6 Der Homomorphismus q bildet Hom(Bq1 , G) nach Z q # und im iq1 nach B q ab, induziert also einen Homomorphismus : Ext(Hq1 (C), G) H q (C, G). Beweis. a) Es sei Hom(Bq1 , G). Dann gilt
# # q (q ()) = q (q ) = q+1 (q ) = q q+1 = 0. iq1 pq1 # q
# jq

jq

# Also gilt q () Z q .

88

b) Es sei im i# . Dann gibt es einen Homomorphismus q1 Hom(Zq1 , G) mit = |Bq1 . Da die Sequenz 0 Zq1 Cq1 Bq2 0 spaltet, gibt es einen Homomorphismus l : Cq1 Zq1 mit l jq1 = id . Deniere = l Hom(Cq1 , G). Dann ist C q1 und |Bq1 = . Also gilt # q1 () = q = q = q (), # d.h. q () B q . Theorem III.2.7 (Universelles Koeziententheorem:) Ist C ein freier Kettenkomplex, so ist fr jedes q Z die Sequenz u 0 Ext(Hq1 (C), G) H q (C, G) Hom(Hq (C), G) 0 exakt und spaltet. Insbesondere gibt es daher einen (nichtkanonischen) Isomorphismus H q (C, G) Hom(Hq (C), G) Ext(Hq1 (C), G). = Beweis. a) is injektiv. Es sei Hom(Bq1 , G) mit () = 0 in H q (C, G). Dann gibt es ein Hom(Cq1 , G) mit () = q = q1 = q = jq1 iq1 q . q surjektiv ist, folgt daraus Da = jq1 iq1 = i# (jq1 ) im i# , q1 q1 d.h. = 0 in Ext(Hq1 (C), G). b) im ker : Es sei Hom(Bq1 , G). Fr alle [z] Hq (C) gilt: u # (())[z] = q (), z = , q (z) = , 0 = 0. Also ist () ker . c) ker im : Es sei [] H q (C, G) mit ([]) = 0. Dann gilt fr alle u z Zq : ([])([z]) = , z = 0.
# Also ist 0 = jq = jq (). Also folgt # # ker (jq ) = im (q ) jq1 q1

89

 und daher [] im . d) hat ein Rechtsinverses : Wir denieren : Hom(Hq (C), G) H q (C, G) [ pq lq ] wobei lq : Cq Zq wie im Beweis von Lemma (III.2.6) gewhlt ist. Dies ist a wohldeniert, da q ( pq lq ) = pq lq q+1 = 0 d.h. pq lq Z q (C, G). Nach Konstruktion ist = id. Insbesondere ist surjektiv und die Sequenz spaltet. Wir knnen nun die singulren Kohomologiegruppen von topologischen o a Rumen einfhren. Es sei (X, A) ein Paar von Rumen. Wir hatten bereits a u a die Gruppen Sq (X, A) = Sq (X)/Sq (A) eingefhrt. Dies ist ein freier Kettenkomplex, da man Sq (X, A) mit der freien u abelschen Gruppe identizieren kann, die durch singulre Simplizes, deren a Trger nicht in A enthalten ist, identizieren kann. a Denition (i) Die Elemente der Gruppen S q (X, A) = Hom(Sq (X, A), Z) heien qKoketten in X mod A. (ii) Die Gruppe H q (X, A) heit die qte singulre Kohomologiegruppe von a (X, A) (mit Werten in Z). Bemerkungen (i) Deniert man fr eine beliebige abelsche Gruppe G den u Komplex S q (X, A; G) = Hom(Sq (X, A), G) so fhrt dies auf die singulren Kohomologiegruppen mit Werten in G. u a (ii) Analog kann man den Komplex S(X, A; G) = S(X, A) G betrachten und erhlt auf diese Weise die singulren Homologiegruppen a a Hq (X, A; G) mit Werten in G.

90

Bemerkung Der Satz von de Rham besagt, da fr jede dierenzierbare u Mannigfaltigkeit M gilt
q HdR (M ) H q (M, R). =

Das universelle Koeziententheorem gibt uns einen Zusammenhang zwischen Homologie- und Kohomologiegruppen. Satz III.2.8 Es sei X ein topologischer Raum, so da H (X) endlich erzeugt ist. Es sei Tq1 die Torsionsuntergruppe von Hq1 (X) und Fq der Quotient von Hq (X) nach Tq . Dann gilt H q (X) Tq1 Fq . = Beweis. Das universelle Koeziententheorem liefert einen Isomorphismus H q (X) Ext(Hq1 (X), Z) Hom(Hq (X), Z). = Die Behauptung folgt dann aus folgenden Aussagen: Ext(Z, Z) = 0, Ext(Zn , Z) Zn = Z, Hom(Zn , Z) = 0. Hom(Z, Z) =

Da S (X, A) ein freier Kettenkomplex ist, ist 0 S (A) S (X) S (X, A) 0 eine kurze exakte, spaltende Sequenz. Nach Satz (III.2.3) gilt dies auch fr u 0 S (X, A) S (X) S (A) 0. Die zugehrige lange Homologiesequenz lautet dann o H q (X, A) H q (X) H q (A) H q+1 (X, A) . Ist schlielich f : (X, A) (Y, B) eine stetige Abbildung von Paaren, so induziert dies einen Homomorphismus: f : H (Y, B) H (X, A). Wir knnen nun die Eigenschaften der Kohomologiegruppen in folgeno dem Satz zusammenfassen. Satz III.2.9 Die singulren Kohomologiegruppen haben die folgenden Eia genschaften: (1) Kontravarianter Funktor 91

(i) Sind f : (X, A) (Y, B) und g : (Y, B) (Z, C) stetige Abbildungen von Paaren, so gilt (g f ) = f g . (ii) Fr id : (X, A) (X, A) gilt id = id. u (2) Exakte Kohomologiesequenz Man hat eine exakte Kohomologiesequenz H q (X, A) H q (X) H q (A) H q+1 (X, A) (3) Kommutative Diagramme Ist f : (X, A) (Y, B) eine stetige Abbildung von Paaren, so kommutiert das Diagramm H q (A) H q+1 (X, A) (f | ) f A

H q (B) H q+1 (Y, B). (4) Homotopieinvarianz Sind f, g : (X, A) (Y, B) homotop als Abbildungen von Paaren, so gilt f = g . (5) Ausschneidung Ist (X, A) ein Paar von Rumen und U A mit U A, so induziert a die Inklusion i : (X U, A U ) (X, A) einen Isomorphismus i : H (X, A) H (X U, A U ). (6) Kohomologie eines Punktes H q ({pt}) = Z fr q = 0 u 0 fr q = 0. u

Beweis. Man kann dies aus den entsprechenden Aussagen fr die Homolou giegruppen ableiten. Die obigen Aussagen (1)-(6) sind die Axiome von Eilenberg-Steenrod fr eine Kohomologietheorie. Man kann zeigen, da es fr Paare von Zellu u komplexen bis auf Isomorphie nur eine Kohomologietheorie gibt, die diesen Aussagen gengt. u

92

Cup- und Cap-Produkt

Ein Vorteil der Kohomologietheorie gegenber der Homologietheorie besteht u darin, da auf der graduierten Kohomologiegruppe eine natrliche Multipliu kation, das Cup-Produkt besteht. Dieses Produkt und das davon abgeleitete Cap-Produkt zwischen Kohomologieklassen und Homologieklassen soll hier eingefhrt werden. u Es sei X ein topologischer Raum und S (X) die Gruppe der Koketten. Wir wollen zunchst eine bilineare Abbildung a : S p (X) S q (X) S p+q (X) (, ) einfhren. Hierzu gengt es , fr jedes singulre (p + q)-Simplex u u u a zu denieren. Dazu betrachten wir die folgenden anen Simplizes p = (e0 , . . . , ep ) : p p+q q = (ep , ep+1 , . . . , ep+q ) : q p+q wobei e0 , . . . , ep+q die Ecken des (p + q)-Standardsimplex p+q sind. Denition Ist : p+q X ein singulres (p+q)Simplex, so heit p a die p-dimensionale Vorderseite und q die qdimensionale Rckseite von u . Denition Fr S p (X) und S q (X) ist S p+q (X) deniert u durch , = , p , q fr Sp+q (X). u Satz III.3.1 Fr S p (X) und S q (X) gilt u ( ) = + (1)p . Beweis. Es sei : p+q+1 X ein singulres (p + q + 1)Simplex. Dann a gilt: , = = =
i=0 p

, p+1 , q , (p+1 ) , q
p+1

(1)i , (p+1 )(i) , q

=
i=0

(1)i , (i) p , q + (1)p+1 , p , q .

93

Analog gilt: , = =
i=p

, p , (q+1 )
p+q+1

(1)ip , p , (q+1 )(ip)

p+q+1 i=p+1

, p , q + (1)p

(1)i , p , (i) q .

Zusammen ergibt dies + (1)p , =

p+q+1

=
i=0

(1)i , (i) p , (i) q

= =

, ( ), .

(Hierbei beachte man, da fr alle i p + 1 gilt (i) p = p und analog u (k) = f r k p.). q q u Korollar III.3.2 (i) Fr Z p (X), Z q (X) gilt Z p+q (X). u

(ii) Ist Z p (X), B q (X) oder B p (X), Z q (X), so gilt B p+q (X). Beweis. (i) Aus = 0, = 0 folgt sofort aus Satz (III.3.1), da auch ( ) = 0. (ii) Ist = mit S p1 (X) und = 0, so folgt = = ( ) B p+q (X) wobei die letzte Gleichung ebenfalls wieder aus Satz (III.3.1) folgt. Die erste Aussage beweist man analog. Damit ubertrgt sich das Cup-Produkt auf Kohomologieklassen. a Denition Fr = [] H p (X) und [] H q (X) wird das Cupu Produkt deniert durch := [ ] H p+q (X). Dies liefert eine bilineare Abbildung : H p (X) H q (X) H p+q (X). Der Vollstndigkeit halber notieren wir hier den folgenden Satz, den wir a jedoch im folgenden nicht benutzen werden. 94

Theorem III.3.3 Das Cup-Produkt ist schiefsymmetrisch, d.h. es gilt a b = (1)pq b a fr a H p (X), b H q (X). u Beweis. Der Beweis ist erstaunlich aufwendig und fhrt auf die Theorie der u azyklischen Modelle. Der Leser wird hierzu auf [GH, section 24] oder [V, chapter 4] verwiesen. Bemerkung Stellt man mittels der de-Rham-Kohomologie Kohomologieklassen durch Dierentialformen dar, dann entspricht das Cup-Produkt dem -Produkt und der obige Satz folgt sofort. Wir untersuchen nun das Verhalten des Cup-Produkts unter Abbildungen. Satz III.3.4 (i) Ist f : X Y eine stetige Abbildung, so gilt f # () = f # () f # () fr S p (Y ) und S q (Y ). u (ii) f ( ) = f () f () fr H p (Y ) und H q (Y ), d.h. f ist u ein Ringhomomorphismus. Beweis. (i) Es sei : p+q X ein singulres (p + q)Simplex. Dann gilt: a f # ( ), = = = = , f , f p , f q f # , p f # , q f # f # , .

(ii) folgt sofort aus (i). Wir betrachten nun die zu dem Cup-Produkt assoziierte Operation, das Cap-Produkt. Ziel ist es zunchst, eine bilineare Abbildung a : S q (X) Sp+q (X) Sp (X) zu denieren, die zu dem Cup-Produkt adjungiert ist, d.h. fr S q (X) u und c Sp+q (X) soll c die eindeutig bestimmte p-Kette sein mit , c = , c fr alle S p (X). u Denition (i) Fr ein S q (X) und ein singulres (p + q)Simplex u a p+q X sei : = , q p .

95

(ii) Fr eine (p + q)Kette c = u n denieren wir c durch lineare Fortsetzung c= n . Satz III.3.5 Fr S p (X), S q (X) und c Sp+q (X) gilt u , c = , c . Beweis. Es gengt, dies fr ein (p + q)Simplex zu beweisen. Dann gilt: u u , = , p , q = , .

Satz III.3.6 Fr S q (X), c Sp+q (X) gilt u ( c) = c (1)p c. Beweis. Wir betrachten das Kroneckerprodukt mit Elementen S p1 (X) : , ( c) = , c = , c wobei das zweite Gleichheitszeichen nach Satz (III.3.5) gilt. Weiter gilt nach Satz (III.3.1) und Satz (III.3.5): , c = = = = ( ) (1)p , c , c (1)p , c , c (1)p , c , c (1)p c .

Da dies fr alle S p1 (X) gilt, folgt hieraus die Behauptung. u Korollar III.3.7 (i) Fr Z q (X), c Zp+q (X) gilt c Zp (X). u

(ii) Fr B q (X), c Zp+q (X) oder Z q (X), c Bp+q (X) gilt u c Bp (X). Beweis. Dies folgt aus Satz (III.3.6), vgl. den Beweis von Korollar (III.3.2). Damit lt sich das Cap-Produkt auf Kohomologie- und Homologieklasa sen ubertragen. Denition Fr = [] H q (X), = [c] Hp+q (X) denieren wir das u Cap-Produkt := [ c] Hp (X).

96

Wir erhalten auf diese Weise eine bilineare Abbildung : H q (X) Hp+q (X) Hp (X). Satz III.3.8 Fr eine stetige Abbildung f : X Y gilt: u (i) f# (f # () c) = f# (c) fr S q (Y ), c Sp+q (X). u (ii) f (f () ) = f () fr H q (Y ), Hp+q (X). u Beweis. (i) Fr alle S p (Y ) gilt: u , f# (f # () c) = = = = f # , f # () c f # ( ), c , f# (c) , f# (c) .

(ii) Folgt sofort aus (i). Es sei die 0Kokette mit , x = 1 fr alle x X. Dann ist ein 0 u Kozykel, da fr jedes 1Simplex gilt , = , = , (1) (0) = u 0. Denition Wir setzen 1X := [] H 0 (X). Satz III.3.9 (i) Es gilt 1X = 1X = fr alle H p (X), d.h. u (X). 1X ist Einselement des Kohomologierings H (ii) Es gilt 1X = fr alle Hp (X). u Beweis. (i) Nach Denition des Cup-Produkts gilt , = , 0 , p = 1 , fr alle singulren p-Simplizes . u a (ii) Folgt sofort aus (i) und Satz (III.3.5). Beispiel X sei wegzusammenhngend. Dann gilt H0 (X) Z und H0 (X) a = wird erzeugt von der Klasse [x] eines Punktes x X. Nach dem universellen Koeziententheorem ist auch H 0 (X) Z und wird durch 1X = [] erzeugt. = Fr H p (X) und Hp (X) gilt u = , [x]. Dies folgt, da , = , = , .

97

Man kann auch eine relative Version des Cap-Produkts denieren. Es gibt Abbildungen : H q (X, A) Hp+q (X, A) Hp (X) : H q (X) Hp+q (X, A) Hp (X, A). Wir begrnden dies im ersten Fall: Es sei c Z q (X, A) Z q (X) und u z Zp+q (X, A). Wir zeigen zunchst, da c z wohldeniert ist. Hierzu sei a w singulres p + q-Simplex in A. Dann gilt fr S p (X): a u , c w = c, w = , wp c, wq = 0 da wq Sq (A). Schlielich ist noch zu zeigen, da c z ein pZykel ist auf X. Nach Satz (III.3.6) gilt (c z) = c z (1)p c z. Es gilt c = 0 und z Sp+q1 (A). Dann folgt wie oben, da c z = 0 ist, also (c z) = 0. Die zweite Paarung behandelt man analog.

Algebraische Limiten

Um Kohomologie mit kompakten Trger einzufhren, bentigen wir noch a u o einige algebraische Vorbereitungen. Denition Ein gerichtetes System ist eine Menge I zusammen mit einer Teilordnung , so da es fr je zwei Elemente i, i I ein i gibt mit i i u und i i . Beispiele (1) Es sei I = N = {1, 2, . . .}. Dann sei j j genau dann wenn j|j . In diesem Fall knnen wir fr i das kleinste gemeinsame Vielfache von o u i und i whlen. a (2) Es sei X eine Menge und K X eine Teilmenge. Sei I das System aller Mengen, die K enthalten. Die Teilordnung sei dadurch deniert, da V V genau dann, wenn V V . Dann knnen wir fr V den Durcho u schnitt V V nehmen. Denition Es sei I ein gerichtetes System. Ein gerichtetes (induktives) System von abelschen Gruppen ist eine Familie (Gi )iI von abelschen Gruppen zusammen mit Homomorphismen i ,i : Gi Gi fr i i , so da gilt: u (1) i
,i

i ,i = i

,i

fr i i , i i . u

(2) i,i = idGi .

98

Denition Es sei (Gi )iI ein induktives System von abelschen Gruppen. Ein direkter (induktiver) Limes dieses Systems ist eine abelsche Gruppe G, zusammen mit Homomorphismen i : Gi G, so da gilt: (i) i i ,i = i fr i i , d.h. das Diagramm u Gi A
i
,i

AA AA i AA 2

G Gi } } }} }} i ~}}

kommutiert. (ii) G erfllt folgende universelle Eigenschaft: Ist G eine weitere abelsche u Gruppe, zusammen mit Homomorphismen i : Gi G mit i i ,i = i fr i i , so gibt es genau einen Homomorphismus : G G mit u i = i , d.h. das Diagramm Gi A
GG AA AA A i A 2  A
i

G kommutiert fr alle i I. u Beispiel Es sei p Rn und I sei das System der oenen Umgebungen von p. Wir betrachten die Gruppen F(U ) := {f ; f : U R ist dierenzierbar}. Fr U V sei u iU,V : F(V ) F(U ) die Einschrnkungsabbildung. Dies deniert ein induktives System abelscher a Gruppen. Der induktive Limes ist der Halm der dierenzierbaren Funktionen im Punkt p, der aus den Keimen der dierenzierbaren Funktionen in p besteht. Satz III.4.1 Der induktive Limes existiert und ist eindeutig bestimmt. Beweis. Die Eindeutigkeit folgt wie ublich aus der universellen Eigenschaft. Es seien G, G zwei induktive Limiten. Dann gibt es eindeutig bestimmte Homomorphismen :GG, :G G Nochmalige Anwendung der universellen Eigenschaften liefert weiterhin = idG und = idG . 99

Um die Existenz zu zeigen, betrachten wir die direkte Summe G=

iI

Gi

zusammen mit den oensichtlichen Inklusionen + : Gi G. i In G betrachten wir die Untergruppe H, die erzeugt wird von den Elementen + (i ,i (x)) + (x); i i Es sei G = G/H und i := + : Gi G, i wobei die Projektion ist. Die Gruppe G erfllt die Eigenschaften eines u induktiven Limes: Es seien nmlich i : Gi G Homomorphismen mit a i i ,i = i , dann erhlt man : G G durch ([+ (x)]) = i (x) fr a u i x Gi . Dies ist auch die einzige Mglichkeit, um zu denieren. o Bemerkungen (i) Sind alle Gi Untergruppen einer Gruppe G, so kann man fr den induktiven Limes whlen u a G=
iI

i i , x Gi .

Gi

und die i als die natrlichen Inklusionen. Da G tatschlich eine Unteru a gruppe ist, folgt aus den Eigenschaften eines gerichteten Systems. (ii) Es gilt fr einen induktiven Limes, da u G=
iI

i (G).

Die Begrndung ist wie folgt. Oensichtlich ist die rechte Seite ein induktiver u Limes G . Dann sei i : G G die Abbildung, die auf Grund der universellen Eigenschaft von G existiert. Andererseits gibt es auf Grund der universellen Eigenschaft von G auch eine Abbildung p : G G mit p i = idG , und i p = idG . Also ist G G. = Bezeichnung Wir verwenden die Notation G = lim Gi ,

= lim i .

100

Lemma III.4.2 (Additivitt) Es sei Gi = Hi Ui fr alle i I, so da a u fr i i der Homomorphismus i ,i eine direkte Summe i ,i = i ,i + u i ,i ist. Es sei H = lim Hi und U = lim Ui . Dann erhalten wir induzierte Homomorphismen : H G, : U G mit i = i |Hi , i = i |Ui . Diese denieren einen Isomorphismus : H U G. Beweis. Wir konstruieren eine zu inverse Abbildung. Es sei dazu x G. Dann whlen wir i I und xi Gi mit x = i (xi ). Fr xi haben wir eine a u (eindeutige) Darstellung xi = yi + zi mit yi Hi , zi Ui . Sei (x) = (i yi , i zi ) H U. Dann prft man leicht nach, da (x) unabhngig ist von der Wahl von xi , u a 1 . und es gilt = ( ) In manchen Fllen ist es nicht notwendig, alle Gruppen Gi zu betrachten, a um den induktiven Limes zu bestimmen. Denition Eine Teilmenge J I heit ein nales System, falls J mit der induzierten Ordnung ein gerichtetes System ist, und falls es zu jedem i I ein j J gibt mit i j. Ist J I ein nales System, so liefert uns die universelle Eigenschaft einen Homomorphismus : lim Gj lim Gi .
=

Satz III.4.3 ist ein Isomorphismus. Beweis. Es sei G = lim Gi , G = lim Gj . Ferner sei j : Gj G der kanoni

sche Homomorphismus. Es gilt dann j = j . Surjektivitt von : Es sei x G. Dann ist x = i (xi ) fr ein i I. Da J a u nal ist, gibt es j i. Es sei xj = j,i (xi ). Dann gilt x = j (xj ) = j (xj ). Injektivitt von : Es sei x G mit (x ) = 0. Wir knnen x = j (xj ) a o schreiben fr ein xj Gj . Dann gilt also j (xj ) = 0. u Behauptung Ist i (xi ) = 0, so gibt es i mit i i , so da i ,i (xi ) = 0.

101

Wir nehmen zunchst an, da diese Behauptung gilt. Dann gibt es i I a mit j i und i ,j (xj ) = 0. Da J nal ist, gibt es ein j J mit i j . Dann gilt j ,j (xj ) = j ,i i ,j (xj ) = 0. Also ist x = j j ,j (xj ) = 0. Beweis der Behauptung: Wir verwenden die Konstruktion von G von Satz (III.4.1). Da i (xi ) = 0 ist, ist + (xi ) endliche Summe von Elementen der i Form: + (k ,k (yk ,k )) + (yk ,k ) (yk ,k Gk ). k k Nach Denition von + gilt i xi =
k =i

k ,k (yk ,k )
k=i

yk ,k

(1)

und 0=
k =h

k ,k (yk ,k )
k=h

yk ,k fr h = i. u

(2)

Wir whlen nun ein i mit i k fr alle auftretenden Elemente k . a u Wir wenden i ,i auf Gleichung (1) und i ,h auf alle Gleichungen (2) an. Addition ergibt i ,i (xi ) =
(k ,k)

i ,k k ,k (yk ,k ) i ,k (yk ,k ) = 0

wobei die letzte Gleichheit aus den Eigenschaften des induktiven Systems folgt. Folgerung Falls es ein Element m I gibt, so da i m fr alle i I, u so ist m : Gm G ein Isomorphismus. Induktive Limiten sind kompatibel mit exakten Sequenzen. Es sei hierzu fr jedes i I eine exakte Sequenz u
i G Gi Gi i

gegeben, so da fr i i das Diagramm u G i

,i i i i

G Gi
,i

i i

GG
,i

G i

G Gi

 GG i

102

kommutiert. Dann induziert dies eine Sequenz G G G mit = i i , i = i i fr i I. u i Lemma III.4.4 Die Sequenz G G G ist exakt. Beweis. Es sei x G . Whle x G mit x = (x ). Dann gilt x = a i i i i i i i (x ) = 0. i Sei ferner x G mit (x) = 0. Wir schreiben x = i (xi ) fr ein xi Gi . u Da i i (xi ) = 0 gibt es ein i mit i i , so da 0 = i ,i i (xi ) = i i ,i (xi ). Wegen der Exaktheit der ursprnglichen Sequenzen gibt es ein x G mit u i i ). Dann gilt (x ) = (x ) = (x ) = (x ) = i ,i (xi ) = i (xi i i i i i i ,i i i i i x. Schlielich betrachten wir noch iterierte Limiten. Es seien nun I, J gerichtet Systeme. Ferner nehmen wir an, da es zu jedem j J eine gerichtete Teilmenge Ij I gibt, so da fr j j gilt Ij Ij . Wir setzen ferner voru aus, da I= Ij .
j

Zunchst knnen wir fr jedes j den induktiven Limes a o u G = lim Gi j

iIj

bilden. Ist j j , so knnen wir nun Homomorphismen j ,j : G G o j j wie folgt denieren. Es sei x G . Whle dann i Ij und xi Gi mit a j x = (xi ), wobei : Gi G der kanonische Homomorphismus ist. i i j Whle i Ij mit i i und setze j ,j (x) = i ,i (xi ) (dies ist unabhngig a a i von den getroenen Wahlen). Die Homomorphismen j ,j denieren auch ein induktives System. Wir betrachten dessen induktiven Limes G = lim G . i
jJ

Schlielich sei G = lim Gi . Dann gibt es eindeutige, zueinander inverse Homomorphismen : G G, : G G , so da das Diagramm Gi A
G G G G j AA | || b || AA | || | AA || | A2  ~| || |
iI

fr alle j J und i Ij kommutativ ist. u 103

Poincar-Dualitt a

In diesem Abschnitt wollen wir den Satz uber die Poincar-Dualitt beweisen. a Im folgenden sei X stets eine orientierte Mannigfaltigkeit der Dimension n mit fest gewhlter Orientierung. Der Isomorphismus Hn (X, X K) K a = von Theorem (III.1.7) (hierbei ist K eine kompakte Teilmenge von X) und die Orientierung denieren dann eine Fundamentalklasse K Hn (X, X K). Die kompakten Mengen auf X bilden, zusammen mit der Inklusion, ein gerichtetes System (K K bedeutet hier K K ). Ist K K , so induziert die Inklusion (X, X K ) (X, X K) einen Homomorphismus H q (X, X K) H q (X, X K ). Auf diese Weise erhalten wir ein induktives System von abelschen Gruppen. Denition Der induktive Limes
q Hc (X) = lim H q (X, X K) K

heit die qte Kohomologiegruppe von X mit kompaktem Trger. a Bemerkungen (i) Ist X kompakt, so ist X ein nales Objekt und es gilt q Hc (X) = H q (X). q (ii) Eine Kohomologieklasse in Hc (X) wird durch einen Kozykel reprsentiert, der alle Ketten mit Trger in X K annuliert. Dies erklrt a a a die Bezeichnung Kohomologie mit kompaktem Trger. a Es sei nun U eine oene Teilmenge von X. Ist K U , so deniert die Inklusion (U, U K) (X, X K) auf Grund des Ausschneidungssatzes einen Isomorphismus H q (X, X K) H q (U, U K) mit Inversem H q (U, U K) H q (X, X K). Diese Abbildungen sind mit Einschrnkuna gen vertrglich und wir erhalten ein kommutatives Diagramm a H q (U, U K) H q (X, X K)
q Hc (U )

q Hc (X)

q q wobei die Abbildung Hc (U ) Hc (X) als Limesabbildung deniert ist.

Beispiel Es sei X = Rn . Wir erhalten ein nales System von kompakten Mengen durch Km = {x Rn ; ||x|| m} (m N). 104

Die Km sind zusammenziehbar und Rn Km ist homotopiequivalent zur a Sphre S n1 . Also gilt a H q (Rn , Rn Km ) H q1 (Rn Km ) H q1 (S n1 ). = = Also gilt
q Hc (Rn ) H q1 (S n1 ) = =

Z fr q = n u 0 sonst.

Es sei nun K X kompakt. Wir hatten am Ende von Abschnitt (III.3) gesehen, da das Cap-Produkt eine Abbildung K : H q (X, X K) Hnq (X) K deniert. Ist K K , so kommutiert das Diagramm H q (X, X K)
PPP PPP K PPP PPP @ nT nnn nnn nn nnn K

Hnq (X).

H q (X, X K )

Der Ubergang zum induktiven Limes deniert dann einen Homomorphismus q D : Hc (X) Hnq (X). Ist U eine oene Teilmenge von X, so kommutiert das Diagram
q Hc (U ) Hnq (U ) D D

q Hc (X) Hnq (X).

Theorem III.5.1 Es sei X eine orientierte n-dimensionale Mannigfaltigkeit. Dann ist der Homomorphismus
q D : Hc (X) Hnq (X)

ein Isomorphismus fr alle q. u Bevor wir den Beweis dieses Satzes geben knnen, bentigen wir noch o o einige Vorbereitungen. Es seien C und C Kettenkomplexe. Denition Eine Kettenabbildung f : C C ist eine Kettenhomotopiequivalenz, falls es eine Kettenabbildung g : C C gibt mit f g a idC und gf idC . 105

In diesem Fall induziert f einen Isomorphismus f : H (C) H (C ). Fr freie Kettenkomplexe gilt auch die Umkehrung: u Satz III.5.2 Seien C und C freie Kettenkomplexe. Falls die Kettenabbildung f : C C einen Isomorphismus f : H(C) H (C ) deniert, so ist f eine Kettenhomotopiequivalenz. a
U Beispiel Ist U = (Ui )iI eine oene Uberdeckung, so induziert i : S (X) U (X)) H (X), ist also eine KettenS (X) einen Isomorphismus H (S homotopiequivalenz. Wir werden dies dann auch auf die Mayer-Vietorisa Sequenz anwenden.

Um obigen Satz zu beweisen, fhren wir den Begri des Abbildungskegels u einer Kettenabbildung f : C C ein. Denition Der Abbildungskegel (Cf, f ) von f : C C ist wie folgt deniert: (Cf )q = Cq Cq1 f (x, y) = ( x + f (y), y). Dies ist wieder ein Komplex, da f ( f (x, y)) = f ( x + f (y), y) = ( x + f (y) f (y), 2 y) = (0, 0). Wir knnen daher folgende exakte Sequenz von Kettenkomplexen betrachten o 0 C Cf C + 0 wobei (C + )q = Cq1 + q = q1 ,
i j

i(x) = (x, 0),

j(x, y) = y.

Die zugehrige lange Homologiesequenz lautet dann o

Hq (C ) Hq (Cf ) Hq (C + ) Hq1 (C )

Dabei kann der verbindende Homomorphismus wie folgt beschrieben werden: Es sei y C + mit + (y) = 0. Dann ist f (x, y) = ( x + f (y), 0). Also gilt y = f (y) und wir erhalten also, da = f ist, d.h. wir haben
Hq (C ) Hq (Cf ) Hq (C + ) Hq1 (C ) .

Damit ergibt sich unmittelbar 106

Lemma III.5.3 Ist f ein Isomorphismus, so gilt H (Cf ) = 0. Lemma III.5.4 Ist C ein freier Kettenkomplex mit H (C) = 0, so ist die Identitt id : C C kettenhomotop zur Nullabbildung. a Beweis. Nach Voraussetzung gilt Zq = Bq fr alle q, d.h. wir haben eine u exakte Sequenz

0 Bq Cq k

Bq1 0.

Da C freier Kettenkomplex ist, ist auch Bq1 frei und die obige Sequenz spaltet nach Satz (III.2.2), d.h. es gibt einen Homomorphismus k : Bq1 Cq mit k = id. Also ist Cq Bq Bq1 = und : Cq Cq1 ist von der Form (x, y) = (y, 0). Wir denieren Homomorphismen Dq : Cq Cq+1 Dq (x, y) = (0, x). Dies deniert eine Abbildung D : C C. Es gilt (D + D)(x, y) = (0, x) + D(y, 0) = (x, 0) + (0, y) = (x, y). Also ist id 0.

Lemma III.5.5 Es sei f : C C eine Kettenabbildung zwischen freien Kettenkomplexen, fr die H (Cf ) = 0 gilt. Dann ist f eine Kettenhomotou piequivalenz. a Beweis. Nach Lemma (III.5.4) gibt es eine Kettenhomotopie D : Cf Cf mit f D + D f = id. Die Abbildung Dq : Cq Cq1 Cq+1 Cq deniert vier Abbildungen Sq : Cq Cq+1 , gq : Cq Cq Eq1 : Cq1 Cq+1 , Tq1 : Cq1 Cq so da gilt Dq (x, y) = (Sq (x) + Eq1 (y), gq (x) + Tq1 (y)). Nach Denition von f gilt f D(x, y) = ( S(x) + E(y) + f g(x) + f T (y), g(x) T (y)). 107

Ebenso gilt D f (x, y) = D( x + f (y), y) = (S (x) + Sf (y) E(y), g (x) + gf (y) T (y)). Addition beider Formeln fr den Spezialfall (x, 0) gibt u (x, 0) = ( S(x) + f g(x) + S (x), g(x) + g (x)). Die erste Komponente dieser Gleichung zeigt id f g = S + S . Die zweite Komponente zeigt zudem, da g eine Kettenabbildung ist. Schlielich ergibt Addition der beiden obigen Gleichungen im Spezialfall (0, y) in der zweiten Komponente die Beziehung y = T (y) + gf (y) T (y) also id gf = (T ) + (T ).

Beweis von Satz (III.5.2) Da f ein Isomorphismus ist, folgt nach Lemma (III.5.3), da H (Cf ) = 0. Dann folgt aus obigem Lemma (III.5.5), da f eine Kettenhomotopiequivalenz ist. a Fr das folgende bentigen wir die relative Version der Mayer-Vietorisu o Sequenz fr die Kohomologie u Satz III.5.6 Es sei X ein topologischer Raum und A1 , A2 seien abgeschlossene Zeilmengen von X. Es sei A = A1 A2 . Dann gibt es eine lange exakte Kohomologiesequenz H q (X, X (A1 A2 )) H q (X, X A1 ) H q (X, X A2 ) H q (X, X A) H q+1 (X, X (A1 A2 )) . . . Beweis. Der Beweis ist eine direkte Ubertragung des Beweises fr die gewhnu o liche Mayer-Vietoris-Sequenz. Beweis von Theorem (III.5.1) Wir gehen in mehreren Schritten vor. Schritt 1: Gilt das Theorem fr die oenen Mengen U, V und B = U V , u dann gilt es auch fr Y = U V . u

108

Es seien K (bzw. L) kompakt in U (bzw.V ). Wir betrachten das Diagramm H q+1 (B, B (K L)) H q (Y, Y (K L))
KL KL

Hnq1 (B)

Hnq (Y )

H q (U, U K) H q (V, V L) H q (B, B (K L))

K L KL

Hnq (U ) Hnq (V )

Hnq (B)

Dabei ist die untere Zeile eine gewhnliche Mayer-Vietoris-Sequenz. Die obeo re Zeile ist die relative Version der Mayer-Vietoris-Sequenz fr die Kohomou logie zusammen mit Ausschneidungsabbildungen der Form (W, W S) (Y, Y S). Die beiden rechten Quadrate in diesem Diagramm kommutieren auf Grund der Natrlichkeit des Cap-Produkts (Satz (III.3.8)). Der wesentu liche Schritt ist nun der Beweis der Behauptung Das folgende Diagramm kommutiert bis auf (1)q+1 : H q+1 (Y, Y (K L)) o

= KL

H q (Y, Y (K L))

H q+1 (B, B (K L)) Hnq1 (B) o


KL

Hnq (Y ).

Hierbei sind , Korandabbildungen der Mayer-Vietoris-Sequenz und der senkrechte Isomorphismus ist eine Ausschneidungsabbildung. Beweis der Behauptung: Wir mssen und auf dem Niveau der Kornder, u a bzw. Rnder berechnen. Hierzu betrachten wir folgendes Diagramm a

109

(1)

(4)

(6)

S (Y, Y K) o S (Y, Y (K L)) y y tt mmm t mmm tt mmm tt ytt vmmm (5) S (U, U K) (8) S (B, B (K L)) eJJ hQQQ JJ QQQ JJ QQQ JJ QQQ J o o S (X, X (K L)) S (X, X K) S (X, X (K L))

S (Y, Y (K L)) o y

(2)

(3)

(7)

Hierbei sind alle Abbildungen durch Inklusionen induziert. Im folgenden verwenden wir folgende Notation: Ist R S X und j : (X, X S) (X, X R) die Inklusion, so gilt fr x S (X, X R): u x R = j# (j # (x) S ). in S (X) (wegen Satz (III.3.8)). Wir schreiben hierfr abkrzend u u x R = x S . Es sei nun c in (1) mit c = 0. Sei a2 in (2) das Bild von c unter einer Kettenabbildung, die ein Inverses (modulo Kettenhomotopie) zur Ausschneidungsabbildung ist (vgl. Satz (III.5.2)). Dann ist a2 = 0. Es sei a3 ein Element in (3), so da a3 in (7) ein Reprsentant des Bildes von a2 unter a dem Randoperator der Mayer-Vietoris-Sequenz ist (vgl. die Konstruktion des Randoperators in der Mayer-Vietoris-Sequenz). Es seien a4 und a5 die Bilder von a3 in (4) und (5). Dann ist das Bild von a4 in (1) gleich c + Dc, wobei D eine Kettenhomotopie ist. Also wird (c) in (6) durch a4 reprsena tiert. Auf Grund der Kommutativitt des obigen Diagramms sind die Bilder a von a4 und a3 in (8) gleich. Es gilt (c) KL = a4 KL = a3 KL in S (X). (Dies ist ein Element im Bild von S (B)). Ferner gilt a3 KL = a3 K = (1)q+1 (a3 K ) = (1)q+1 (a4 K ) = (1)q+1 (a5 K ) wobei das zweite Gleichheitszeichen aus Satz (III.3.6) folgt. Andererseits gilt a4 K = a4 KL = (c + Dc) KL 110

= c KL + (1)q (Dc KL ) (wiederum mit Satz (III.3.6)). Also wird, nach Konstruktion des Korandoperators in der Mayer-Vietoris-Sequenz, das Bild (c KL ) durch (a4 K ) = (a5 K ) reprsentiert (wobei wir S (B) S (U ) S (Y ) vera wenden.). Das heit also, wir erhalten, wenn wir das Diagramm auf verschiedene Weise durchlaufen, Elemente in S (B), welche in S (X) bis auf (1)q+1 gleich sind. Da S (B) S (X) injektiv ist, folgt die Behauptung. Jede kompakte Menge in Y ist von der Form K L mit K U und L V . Ubergang zum Limes gibt ein Diagramm, das bis auf Vorzeichen kommutativ ist:
q+1 Hc (B) D q Hc (Y ) D

q q Hc (U ) Hc (V ) D+D

q Hc (B) D

Hnq1 (B) Hnq (Y ) Hnq (U ) Hnq (V ) Hnq (B)

Die Zeilen dieses Diagramms sind exakt. Die senkrechten Pfeile sind Isomorphismen, auer mglicherweise in den Fllen, in denen der Raum Y o a vorkommt. Die Behauptung folgt damit auf dem Fnferlemma. u Schritt 2: Es sei (Ui )iI ein (bezglich der Inklusion) total geordnetes Syu stem oener Mengen und U die Vereinigung dieser oenen Mengen. Gilt der Satz fr alle Ui , dann auch fr U . u u Um dies zu zeigen, gengt es zu sehen, da die Abbildungen u 1 : lim Hnq (Ui ) Hnq (U )
q 2 : lim Hc (Ui ) q Hc (U )

Isomorphismen sind. Dies gilt aus folgendem Grund: Ist K U eine kompakte Menge, so ist, da das System der (Ui )iI total geordnet ist, K Ui fr ein i I. Dies zeigt, da 1 ein Isomorphismus ist (jede singulre Kette u a hat nmlich kompakten Trger). Die Behauptung fr 2 schliet man anaa a u log, wobei man noch die Aussage uber iterierte Limiten zu Ende des letzten Abschnitts verwenden mu. o Schritt 3: U ist in einer Koordinatenumgebung enthalten (d.h. wir knnen n auassen). U als oene Teilmenge des R Fall 1: U ist konvex. Dann ist U homomorph zur oenen Kugel Dn . Um o lim H q (Dn , Dn K) zu berechnen, gengt es K ein nales System abgeu schlossener Kugeln um den Ursprung durchlaufen zu lassen (Satz (III.4.3)).

111

Fr eine solche Menge gilt dann H q (Dn , Dn K) = 0 fr q = n. Auerdem u u ist K : H n (Dn , Dn K) H0 (Dn ) Z = ein Isomorphismus (da K = K , und K erzeugendes Element ist). Also ist auch der Limeshomomorphismus D ein Isomorphismus. Fall 2: U sei beliebig. Die Menge der Punkte in U mit rationalen Koezienten ist abzhlbar. Wie whlen eine solche Abzhlung. Es sei Vj U eine a a a oene konvexe Menge um den j-ten Punkt. Sei U1 = V1 , Ui = Ui1 Vi (i > 1).

Ein Induktionsbeweis, zusammen mit Schritt 1 zeigt dann, da das Theorem fr alle Ui gilt (der Induktionsanfang ist Schritt 3, Fall 1). Mit Schritt 2 gilt u es auch fr U . u Schritt 4: Das Theorem gilt fr X. Das Zornsche Lemma (zusammen mit u Schritt 2) zeigt, da es eine maximale Menge U X gibt, fr die das Theou rem gilt. Ist U = X, so erhlt man mit Hilfe von Schritt 1 und 3 sofort einen a Widerspruch.
n Korollar III.5.7 Ist X zusammenhngend und orientierbar, so ist Hc (X) a = Z.

P2 (R)

Die Voraussetzung orientierbar ist notwendig, wie etwa das Beispiel X = 2 zeigt, da Hc (P2 (R)) = H 2 (P2 (R)) = Z2 gilt.

Im folgenden setzen wir stets voraus, da die Bettizahlen i = rang Hi (X) endlich sind. Wir notieren aber: Theorem III.5.8 Ist X eine kompakte Mannigfaltigkeit der Dimension n, so gilt (i) X kann in den R2n eingebettet werden. (ii) X hat die Struktur eines endlichen CW-Komplexes. (iii) Die Homologie von X ist endlich erzeugt. Korollar III.5.9 Ist X eine kompakte, orientierbare Mannigfaltigkeit der Dimension n, so gilt i (X) = ni (X). Beweis. Nach dem universellen Koeziententheorem bzw. Satz (III.2.8) gilt rang (H i (X, Z)) = rang (Hi (X, Z)). Dann folgt die Behauptung aus der Poincar-Dualitt. a 112

Wir erhalten auch eine Aussage uber die Torsionsuntergruppen. Es sei Tq die Torsionsuntergruppe von Hq (X). Dann gilt Korollar III.5.10 Tq Tnq1 . = Beweis. Ebenfalls aus Satz (III.2.8) und Satz (III.3.5). Korollar III.5.11 Ist X eine kompakte, orientierbare Mannigfaltigkeit ungerader Dimension, so gilt fr die Eulerzahl (X) = 0. u Korollar III.5.12 Ist X kompakt, orientierbar mit gerader Dimension, die aber nicht durch 4 teilbar ist, so ist (X) gerade. Beweis. Es sei n = 4k + 2. Es ist zu zeigen, da 2k+1 (X) gerade ist. Das Cup-Produkt liefert eine nicht-ausgeartete Bilinearform H 2k+1 (X) Q H 2k+1 (X) Q Q. Diese Form ist nach Theorem (III.3.3) schiefsymmetrisch, also ist 2k+1 gerade. Poincar-Dualitt kann man auch benutzen, um den Kohomologiering a H k (X) von Mannigfaltigkeiten zu bestimmen. Es sei etwa X = H (X) = P2 (C) und 4 H4 (X) Z eine Fundamentalklasse. Es sei h H 2 (P2 (C)) = ein Erzeuger. Dann folgt aus der Poincar-Dualitt, da h 4 H2 (P2 (C)) a ein Erzeuger ist. Da das Kroneckerprodukt H 2 (P2 (C)) H2 (P2 (C)) Z nicht ausgeartet ist, erzeugt h, h 4 = h h, 4 die Gruppe Z. Also ist h h ein Erzeuger von H 4 (P2 (C)) Z. Da h3 = = 6 (P2 (C)) = 0 ist, gilt hhhH H (P2 (C)) = Z[h]/(h3 ). Durch Induktion erhlt man a Satz III.5.13 H (Pn (C)) = Z[h]/(hn+1 ). Literatur: M. Greenberg, J. Harper: Algebraic Topology, Benjamin. J. Vick: Homology Theory, Academic Press. W. Fulton:Algebraic Topology, Springer Verlag. R. Stcker, H. Zieschang: Topology, Teubner Verlag. o E. Spanier: Algebraic Topology, Mc Graw Hill. 113
k0