Sie sind auf Seite 1von 271

Lecture Notes in Mathematics

A collection of informal reports and seminars Edited by A. Dold, Heidelberg and B. Eckmann, Z0rich

Series: Mathematisches Institut der Universit#it Heidelberg Adviser: K. Krickeberg

157

Tammo tom Dieck Klaus Heiner Kamps Dieter Puppe

Universit~t Heidelberg

Universit~t Konstanz

Universit~t des Saarlandes, SaarbrLicken

Homotopietheorie

Springer-Verlag Berlin -Heidelberg • New York 1970

This work is subject m copyright. All rights are reserved, whether the whole or part of the material is concerned~ specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to the publisher, the amount of the fee m be determined by agreement with the publisher.

© by Springer-Verlag Berlin • Heidelberg1970.LibraryofCongreuCatalogC.ard Number79-137900Primed in Germany. Title No. 3314

Vorwort

Diese Ausarbeitung geht zur~ck auf eine Vorlesung, die ich im Herbst und Winter 1966/67 an der University of Minne-

sota, Minneapolis, Minn. USA gehalten habe, und deren Ziel

es war, die Grundz~ge der Homotopietheorie 1Gckenlos ohne

Verwendung anderer Teile der algebraischen Topologie (wie

z.B. Homologietheorie) aufzubauen und dabei bis zu interes- santen Resultaten (wie z.B. den Einh~ngungss~tzen und dem Satz von James Gber den Schleifenraum einer Einh~ngung) zu

gelangen. Im Wintersemester 1967/68 habe ich an der Univer- sit~t des Saarlandes, Saarbr~cken nochmals ~ber das gleiche

Thema gelesen und mich bemtLht, die Darstellungsweise zu ver- bessern. Zwei H~rer dieser Vorlesung haben die vorliegende

Ausarbeitung verfaBt: K.H. Kamps die 94 0-7 und den Anhang, T.tom Dieck die 94 8-17.

In den 94 I-9 wird die Theorie der Cofaserungen und Fase- rungen ausfULhrlich behandelt. Die Ergebnisse und Methoden

sind zum gr~ten Teil bekannt, finden sich aber sonst nicht in systematischer Zusammenstellung und scheinen mir grundle- gend zu sein.

Der § 10 Gber die Operation des Fundamentalgruppoids auf den Homotopiemengen wurde yon tom Dieck nach eigenen Ideen

ausgebauto (In der Vorlesung kam nur der Pall K = Punktraum vor. )

In den 94 11-13 werden die Homotopiegruppen im Zusammen- hang mit den Funktoren "Einhgngung., "Schleifenraum" und den

Begriffen "H-Raum", "Co-H-Raum" eingeftLhrt.

§ 14 enth~lt die Faserfolge, aus der sich die exakten Homotopiesequenzen f~r Paare und f~r Faserungen als Korollare

ergeben. Dual dazu ist die "Cofaserfolge". Auf ihre Beschrei- bung haben wir verzichtet, weil sie sich ganz analog ent- wickeln l~t und well sie in [19] (unter dem Namen "Abbil- dungsfolge") eingehend diskutiert wird. (Die Darstellung in [19] ist an einigen Punkten umst~ndlicher als sie heute m~g-

lich ist, indem man mit Hilfe der Ergebnisse von §4 1,2 ge-

nau dual zu § 14 vorgeht.)

Die 99 15-17 bringen den Homotopie-Ausschneidungssatz von Blakers-Massey, Einh~ngungss~tze und eine Verallgemeinerung

IV

des Satzes von James ~ber den Schleifenraum einer Einh~ngung. Dieser Satz wird mit rein homotopietheoretischen Mitteln be- wiesen, und man erh~lt eine echte Homotopie~quivalenz, we die sonst verwendeten Methoden nur eine sehwache Homotopie- gquivalenz liefern. Nach Fertigstellung dieses Manuskripts habe ich gemerkt, da~ man den in § 17 gegebenen Beweis unter Beibehaltung der Grundideen noch etwas vereinfachen kann~8~. Ursprthuglich habe ich den Satz yon James zum Beweis der Einh~ngungssgtze herangezogen. Erst sp~ter habe ich den hier in § 15 ausgef~hrten elementaren Beweis des Homotopie-Aus- schneidungssatzes gefunden. (Eine wichtige Idee dazu erhielt ich durch eine m~ndliche Mitteilung von J.M° Boardman.) Er er~ffnet einen einfacheren Zugang zu den Einh~ngungss~tzen und damit zu den ersten interessanten Aussagen ~ber die Homo- topiegruppen ven Sph~ren (vgl.16.3) als der Satz von james und als alle anderen uns bekannten Methoden. Daher haben wir entsprechend umgestellt. Geblieben ist von dem frttheren Auf- bau, dab die Homotopiegruppen erst verh~ltnism~2ig sp~t er- scheinen, ebwohl das jetzt nicht mehr n~tig w~re. Von den vorhergehenden §§ 1-12 wird f~r sie nur ein kleiner Teil ge- braucht. F~r den Satz yon James wird die Theorie der §§ 1-12 dagegen entscheidend verwendet (s. insbesondere 17.8 Hilfs- satz 14).

Ich danke meinen beiden Mitautoren f~r die Zusammenarbeit. Herrn Ulrich Mayr danke ich f~r eine kritische Durchsicht und Frau Marianne Karl fGr das Schreiben des Manuskripts.

Heidelberg, den 10.5.1970

D. Puppe

Inhalt

§ 0. Kategorientheoretische

Grundlagen,

Grundlagen der Homotopietheorie

Kapitel I. Cofaserun~en

20

§ I. Erweiterung yon Homotopien, Cofaserungen

20

§ 2. Homotopiecofaserungen

44

§ 3. Lokale Charakterisierung von Cofaserungen und Homotopiecofaserungen

68

Ka~itel II. Faserun~en

86

§ 4. Abbildunger~ume

86

§ 5. Faserungen

92

§ 6. Homotopiefaserungen

109

§ 7. Induzierte Faserungen

125

§ 8. Erweiterung yon Schnitten

143

§ 9. Der Ubergang "lokal-global" bei Faserungen

152

Kapitel Ill. Hometopiemenge ~ und Homotopiegrup~en

159

§

10. Operation des Fundamentalgruppoids

159

§

11. Einhgngung, 8chleifenraum

176

§

12. H-Rgume. Co-H-Rgume

182

13. Homotopiegruppen

197

§

14. Die Faserfolge

202

§

15. Der

Ausschneidungssatz yon Blakers-Massey

211

§

16. Einh~ngungss~tze

220

§

17. Der Satz yon James

225

vI

Anhang

255

Literaturverzeichnis

260

Stichwortverzeichnis

263

O. Kate6orientheoretische Grundla6en. Grundlagen der Homotopietheorie.

0.1 Kategorientheoretische Grundla~en.

(0.1)

Wir stellen uns auf den Standpunkt yon Brinkmann-Puppe [ 4] und bauen die Theorie der Kategorien auf elner Mengen-

lehre mit Universen auf (Brinkmann-Puppe

[ 4 ], 1.1 5,1 .I 6).

Wir setzen die Grundbegriffe der Kategorientheorie (Kategorie, Funktor, natGrllche Transformation, duale Kate- gorie, Diagramm usw.), wie sie etwa in Brinkmann-Puppe 4], 0., 2. definiert sind, als bekannt voraus.

(0.2)

Ist ~ elne Kategorie, dann bezeichne I~I die Menge

jekte yon ~, ~(X,Y) die Menge der Morphismen yon X nach Y

der Ob-

(X,Y E I~I), id x die Einheit von ~(X,X) (X E I~I). f : X > Y steht fGr f E ~(X,Y). FUr die Komposition

zweier Morphismen f : X

) Y und g

:

Y

) Z schreiben

wir gf oder g.f. Wir werden uns im folgenden haupts~chlich mit der Kategorie Top der topologischen R~ume und stetigen Abbildungen be- fassen.

Die Grundlagen der mengentheoretisohen Topologie setzen wir dabei als bekannt voraus. Wir verwenden die folgenden Bezeichnungen. N bezeichne die Menge der natUrlichen Zahlen,

N

=

[0, 1,2,

}.

sei der topologische Raum der reellen Zahlen. Die folgen- den beiden Teilr~ume yon R werden uns h~ufig begegnen:

das abgeschlossene Einheitsintervall [0,1] der reellen

Zahlen - wir bezeichnen es mit I - und der

Teilraum der

-

2

-

nicht negativen reellen Zahlen

hen ihn mit R+

.

Ix E Rlx

~ 03 - wir bezeich-

Rn sei

der n-dimensionale euklidische Raum

(n E N,n

2 I),

En die n-dimensionale Vollkugel vom Radius

1(n E N,n

 

2 I),

Sn die n-Sphere

(n E N).

Sind X,Y topologische Rgume,

dann sei pr I : XxY

)

X

die

Projektion des topologischen Produktes XxY auf den ersten,

pr 2 : XxY

) Y die Projektion

auf den zweiten Faktor.

Ist X ein topologischer

Raum, A ein Teilraum yon X, dann

sei X/A der topologische Raum,

der aus X entsteht,

wenn A

zu einem Punkt identifiziert wird. *)

 

(o.3)

sei eine Kategorie.

Si~d f : X

) Y,

g

:

Y

> X

Mor-

phismen von G mit gf = id x , so heist g linksinvers

zu f,

f rechtsinvers zu g.

Ein Morphismus von ~ heist Schnitt, wenn er sin Linksinver-

ses hat, ein Morphismus heiBt Retraktion,

Rechtsinverses hat.

Ein Morphismus f von ~ heiBt Isomorphismus,

wenn er ein

wenn ein Mor-

phismus g existiert, der invers (d.h. linksinvers und

rechtsinvers) zu fist.

Ein solches gist durch f eindeutig bestimmt.

(0.4)

Wit schreiben

g =: f-1.

Bemerkung. Sei ~ die Kategorie Top der topologischen R~ume.

Ist X ein topologischer

Raum,

A ein Teilraum von X, i:A C X

die Inklusion, dann interessieren vor allem diejenigen Re-

traktionen

r

:

X

) A, fGr die ri = idA gilt.

Eine solche Retraktion nennen wir Retraktion yon X auf A.

-3-

Der Teilraum A hei2t Retrakt yen X, wenn eine Retraktion yon X auf A existiert.

(o.5)

Eine natUrliche E~uivalenzrelation "N" in einer Kategcrie besteht aus Je einer ~quivalenzrelation

"~(X,Y)

" =: "~"

in jeder Morphismenmenge ~(X,Y)

(X,Y 5 I~I), so da~ fur alle f,g

:

X

> Y, f',g'

: Y --~

Z

gilt: (f~g und f'~ g') ~ (£'f~g'g). Ist "~" eine nat~trliche Equivalenzrelation

man die Quotientkate~orie ~/(~) bilden (Mitchell [17], 1.3).

G/(~) hat dieselben

sind die Equivalenzklassen men f van ~. Die Kompasition chung [g][f] = [gf] gegeben.

in ~, so kann

yon ~/(~)

der Marphis-

0bjekte wie ~. Die Morphismen

If] bezUgliah "~"

in ~/(~)

ist durch die Glei-

van ~/(~) sind

Die Einheiten

die Equivalenzklassen bez~glich "~J" der Einheiten van ~.

(0.6)

Sei ~ eine Kategorie. Ein Diagramm in

(0.7)

Xo

X

X2

x

hei2t cokartesisches Quadrat, wenn die Bedingungen (I) und (2) erf~Lllt slnd:

 

(I)

Jlil= J2i2

(d.h. das Diagramm Ist kommutativ),

(2)

Zu je zwei Morphismen

fl

: Xl

> Y'

f2

: X2

> Y von ~ mit flil

= f2i2

gibt es genau einen

Morphismus

f

:

X

)

Y yon ~ mit

-¢Jv

=

~v

(v

=

1,2).

X

0

XI ~

-4-

X

£

I

X2 ~J-~2

@

Verzichtet man in (2) auf die Forderung der Eindeutigkeit

yon f, erh~lt man den Begriff

" schwach cokartesisches Quadrat "(Freyd).

Bemerkung. In einem cokarteslschen Quadrat (0.7) ist

dutch

o %

X1

\ ~Jl

X2

X I

x2

bis auf Isomorphie eindeutig bestimmt.

(0.8)

Dual *) zum Begriff

" cokartesisches Quadrat "

Begriff

" kartesisches Quadrat ".

Sei ~ eine Kategorie.

ist der

*) Genau:

(*~ I ~ )-.dual im Sinn yon

Brinkmann-Puppe

[ 4 ], 2.2 (Ubergang yon ~ zur dualen Kategorie *~).

Ein Diagramm in

-5-

 

XI

(0.9)

x"

~ x o

 

X2

heist karteslsches Quadrat, wenn (I) und (2) erfUllt sind:

(1)

(2)

plql

=

p2q2

Zu Je zwei Morphismen

~

:

Y

> ~

,

f2

|

Y

> ~

yon ¢mit

~

~

= P2f2

gibt es genau einen

Morphismus

 

f

:

Y

)

X

yon ¢mit

q~

= fv (v = 1,2).

 

\\p I

 

Y

-£-, x

 

~ x o

Verzichtet man in (2) auf die Forderung der Eindeutigkeit yon f, erh~It man den Begriff

" schwach kartesisches Quadrat ".

Bemer~,~g. In einem kartesischen Quadrat (0.9) is%

X.

x /

X2

dutch

-6-

X~

/

/

O

bis auf Isomorphie eindeutig bestimmt.

(0.10) Satz. Sei ~ eine Kategorie. Gegeben seien die Diagramme

(D1),

(DI)

(D2),

u

(D3)

v

in

U'

~:

v,,

(D2)

v

w

V'

w,

 

W

(D3)

U

W'

 

U'

Behauptung. (a) Sind (DI) und (D2) schwach cokartesische

Quadrate, so ist (D3) ein schwach cokartesisches Quadrat.

(b) Sind (DI) und (D2) cokartesisehe Quadrate, so

ist (D3) ein eokartesisches Quadrat.

(c) Sind (DI) und (D2) schwach kartesische Quadrate,

so ist (D3) ein sehwach kartesisches Quadrat.

(0.11)

-7

-

(D3) ein kartesisches Quadrat.

Der Beweis des Satzes ist einfach und sei dem Leser fiber-

lassen (vgl. Brown

Man beaohte:

[ 5 ], 6.6.5, Kamps

[15],0.10).

(c) ist dual zu (a), (d) ist dual zu (b).

Neben der Kategorie der topologischen R~ume werden wir uns mit einigen anderen Kategorien besch~ftigen, die aus der Kategorle Top abgeleitet sind. Dazu f~hren wir die folgenden allgemeinen kategorientheo- retischen Konstruktionen ein. Sei ~ eine Kategorie und seien K,L 0bjekte yon ¢ .

Wir deflnieren Kategorien

~K , EL

, ~L

"

Die Ob~ekte yon ~K seien die Morphismen yon ¢, die K als

Quelle haben,

die ObJekte yon EL seien die Morphismen yon E,

die L als Ziel haben,

gramme

~ in E der Form

die ObJekte yon

~L seien die Dia-

 

K

i

)

X

P

;L.

Seien i,i'

(p,p'

;

~,

~')

Objekte yon ~K (E L , ~

).

Die

Morphismen

i

> i'

(p

) p', ~

> ~') yon

(EL ' ~L ) seien die kommutativen Diagramme

X

K

E

.-,

f

f

>X'

L

 

K

 

X

f

>X'

T,

in ~ der Form

)E'

-

8-

Wir schreiben dann (abus de langage)=

f:

Die Komposition der Morphismen in den neuen Kategorien ist yon der Komposition in ~ induziert. Einheiten sind

i

> i'

, f:

p

> p'

, f:

~

)

~'

.

idX : i

> i , idE

:

p

~ p , idX

:

~

> ~

.

heiBt Kategorie

~ekte ~ber L, ~L

der 0b~ekte unter K, eL Kate~orie

der 0b-

Kategorie der

0b~ekte unter K und fiber L.

Wit

vermerken: Ein Morphismus f yon ~

(eL ' ~L ) let

ge-

nau

dann ein Isomorphismus yon

~

(~L ' ~L )' wenn f ein

Isomorphismus yon ¢ ist.

Bemerkun~en.

~(K,X) f~r alle X E I~I genau ein Element,

Ist K ein Co~unkt der Kategorie

~, d.h. hat so kann man

in kanonisoher Weise mit¢

und ~L

mit ~L

identifizieren.

Ist L ein Punkt der Kategorie ~, d.h. hat ¢(X,L) fffr alle

X E I~I genau ein Element,

Weise mit ~ und ~L mit ~

so kann man ~L in kanonischer

identifizieren.

(o. Im Pall ~ = Top

K,

die 0bJekte von ~L R~ume ~ber L, die 0bJekte yon ~L R~ume

heiBen die 0bJekte yon ~

RKume unter

unter K und fiber L, die

Morphismen yon ~

(~L ' ~L

)

Ab-

bildunBen unter K (~ber L, unter K und fiber L).

Start Abbildung ~ber L sagt man auch fasernweise Abbildun~,

die

da eine Abbildung fiber L

f: p

> p, f~r Jedes b E L

Paser ~ber b

p-lb

in die Paser ~ber b

p'-Ib

abbildet.

Der leere topologisohe Raum ~ ist ein 0opunkt in der Kate- gorie Top.

-9-

Daher gilt:

Jeder Punktraum P, d.h. jeder topologische Raum P, dessen

unterliegende Menge genau ein Element hat, ist ein Punkt

Top ~ =

Top , Top~

=

Top L

(L E ITopl).

in der Kategorie Top.

Daher gilt:

Topp

=

Top

, Top~

=

Top K

(K E ITopi).

Wir verwenden ferner die Bezeichnung Top °

:= Top P .

(o.13)

Top °

nennen wir auch

Kate~orie der p~n~tierten topolo -

~iechen R~ume.

Die ObJekte von Top °

wo X ein topologischer Raum undo

punkt. Die Morphismen (X,o)

~rundpunkterhaltenden (punktierten) stetigen Abbildungen,

kSnnen wir ale Paare (X,o) auffassen,

E X iet. o heiBt Grund-

> (X',o') yon Top ° sind die

d.h. die stetigen Abbildungen f: X

> X' mit f(o) = o'

.

Ist ~ eine Kategorie,

so haben wir ferner die

Kate~orie der Paare

Die 0b~ekte von ~(2) sind die Morphismen yon ~. Seien u,u'

~(2).

0bJekte yon ~(2). Die Morphismen

die kommutativen Diagramme in ~ der Form

u

.) u' von ~(2) sind

X

f

~X'

uI

l

y

g

~y,

Wir N ghreiben

Die Komposition in ~(2) ist vonder

ziert. Einheit u Ein Morphismus

mus yon ~(2), wenn fund

(f,g): u

) u'.

Komposition in ~ indu-

(Idx

, idy).

) u let der Morphismus

(f,g) yon ~(2) ist genau dann ein Isomorphis-

g Isomorphismen von ~ sind.

Zum AbschluB yon 0.1 bitten wir den Leser,

eich mit dem

-1o-

Begriff adjungierter Funktoren vertraut zu machen

(vgl. Mitchell [17S, v.).

0.2

Grundla~en der Homotopietheorie.

Definition. Eine stetige Abb~dung der Form ~: X×l

wo X und Y topologische R~ume sind, heist Homotopie.

Eine Homotopie ~: X×I

>

) Y liefert durch

~t(x):= ~(x,t)

Y,

fGr x E X eine Familie stetiger Abbildungen

St: X

) Y,

Ist Jt: X

t

E I.

> X×I die stetige Abbildung

gilt ~t = ~°Jt

"

x l

> (x,t), so

Definition. X,Y seien

topolcgische Rgume, f,g: X

)

Y

stetige Abbildungen.

f heist homotop

zu

g, wenn eine Homotopie

~: X×I

)

Y

existiert mit ~o = fund

~I = g' wenn es also eine stetige

Abbildung ~: X×I

) Y gibt,

so dab fGr alle x E X

~(x,o)

= f(x),

~(x,1)

= g(x).

i

6

 

I

--~

Y

 

f

0

X

'

(o.I~)

Ein solches ~ heist Homotopie

yon

f nach

g.

Wir schreiben:

f

~

g,

falls

f homotop

zu gist,

und

~:

f ~ g, falls

~ eine Homotopie

yon f nach gist.

Satz. " ~ " ist eine nat~rliche ~quivalenzrelation

in Top

(vgl.(0.5)).

Beweis. I. Reflexivit~t.

bildtmg. Durch ~(x,t)

f

:

X

> Y sei eine stetige Ab-

:= f(x) f~r (x,t) E X×I erhalten wir

-11

-

eine Homotopie ~: XxI

Y von f nach f.

2. Symmetrie.

Sind f,g E Top (X,Y) und ~: f ~ g, dann lie-

fert

 

~'(x,t)

:= ~(x,l-t)

fGr (x,t) E XxI

eine Homotopie

von g nach f.

3- Transitivit~t. Sind

$: g ~ h, dann ist die

f,g,h E Top (X,Y), ~: f ~ g,

stetige (!) Abbildung (!)

X: X×I

) Y, die gegeben ist durch

 

:=~(x,2t),

wsnn O

~

t ~

½

x

E X

~(x,t)

,

 

L$(x'2t-1)' wsnn

½ ~

t ~I

 

,

x

E X,

eine Homotopie yon f nach h.

 

4. Nat~rlichkeit. Seien f,g: X

) Y, f'g': Y

stetige Abbildungen mit f ~ g,

f' ~ g'

 

.

)

Z

Behauptung:

f'f ~ g'g .

Beweis. Bei ~: f ~ g, ~': f' ~ g' . Dann gilt

(o.~6)

f''~: f'f ~ f'g, ~'.(gx id I) : f'g ~ g'g, also f'f ~ g'g,

da " ~ ", wie

schon gezeigt, transitiv ist. m

Da " ~ " eine natUrliche Equivalenzrelation in Top ist,

kGnnen wir die Quotientkategorie Top/(~) bilden (vgl.(O.5)).

Wir bezeichnen sie mit Toph und nennen sie die zu Top zuge-

h~rige Homotopiekategorie. ~dr X,Y E IToPl (=ITophl) be-

steht Toph(X,Y) also aus den Homotopieklassen der stetigen

Abbildungen yon X nach Y.

Wir k~rzen ab:

Toph(X,Y) =: ~X,Y~.

Ist f eine stetige Abbildung, dann bezeiohne [f~ die Homo-

topieklasse yon f.

 

-

12-

(o.17)

Definition. Eine stetige

Abbildung

f

:

X

> Y heist Homo-

to~ie~uivalenz (kurz: h-K~uivalenz),wenn [f] ein Isomor- phismus in Toph ist, wenn also sine stetige Abbildung

g

:

Y

> X mit

gf ~ idX und fg ~ idy existiert.

Ein solohes g heist homotopieinvers (kurz: h-invers) zu f.

Sind

f

:

)

Y

,

g

:

Y

> X stetige Abbildungen mit

gf

X ~ idX , so

heist g homo to~ielinksinvers (hTlinksinvers)

zu f, f homotopiereohtsinvers (h-reohtsinvers) zu g.

(0.18)

Aus dem Homotopiebegriff leiten sich die Begriffe "null- homotop " und "zusammenziehbar " ab.

Definition. (I) Eine stetige Abbildung ~ : X ---~Y heiBt konstant, wenn Yo E Y existiert mit ~(X) = {yo].

(2) Eine stetige Abbildu~

heist nullhomoto~, wenn sie zu einer konstanten Abbildung homotop ist.

f

:

X

)

Y

(3) Ein topologisoher Raum X heist zusam- menziehbar, wenn idX nullhomotop ist.

(0.19)

Bemerkun~. a,b eeien reelle Zahlen mlt a < b. Ersetzt man in der Definition dee Begriffes " homotop " das Intervall

[0,1] duroh das Intervall

[a,b], so erh~it man, wie man

sich leioh% ~beElegt, einen ~quivalenten Begriff. Eine entsprechende Bemerkung ist im folgenden immer dann

zu maohen, wenn eine Definition auf dem Homotopiebegriff

aufbaut, so zum Beispiel bei der Definition der Homotopie- erweiteru~gseigensohaft (vgl.(1 .4)), der Deokhomotopieei-

genschaft (vgl.(~3),(~5)) und der Definition der Begriffe

" Oofaseru~

" und " Paserung

" (vgl.(1.5)

und (5.7)).

-13-

In Konsistenz mit (0.14) nennen wir stetige Abbildungen

~: XxCa,b~

f~r t E ~a,b] eine stetige

) Y (X,Y E ITopl) Homotopien und definieren

:= (x,t) fGr x

Abbildung it: X

E X.

) XxCa,b]

) Y eine Homotopie,

setzen wit f~r

dutch Jt(x) Ist ~: XxEa,b]

t E [a,b]

~t := ~'Jt

:

X

) Y.

Wit haben also ~t(x) = ~(x,t) f~r x

E X, t E Ea,b].

K und L seien topologisehe R~ume.

Wir definieren Homotopiebegriffe in

topologischen R~ume unter K, in der Kategorie TOPL der to-

der

der Kategorie Top K

pologischen R~ume Gber L, in der Kategorie Top~ und in der

Kategorie der Paare Top(2)(vgl.(0.11)-(0.13)).

(0.20)

Definition.

Seien f,g : i

) i' Morphismen yon TopK:

 

K

~/

f'g

~ X'

f heist homotop unter K zu g, wenn eine Homotopie

.) X' existiert mit ~: f - g und

~: X×l

~(ixidl) = i'.pr I.

X×I

~

)

X

'

i×idl I

pr I

~i'

Kxl

)

K

Dabei heist ~ eine Homotopie unter K yon

f nach g. Wir

K

schreiben f ~ g, falls f homotop unter K zu gist,

K

und

~: f ~ g, falls ~ eine Homotopie unter K yon f nach gist.

Die Bedingung ~(i×idl) = i,.pr I besagt:

~t-i = i', d.h. f~r alle t E Iist

fGr alle t E I gilt

ein Mot-

St: X --~X'

phismus yon Top K, Ot: i

Spezialf~lle.

(I) K ist Teilraum von

-14-

) i'

.

X, i ist die Inklusion K g X.

Nehen " homotop unter K " und " Homotopie unter K " sind

dann auch die Bezeichnungen " homotop rela~iv K " und

" Homotopie relativ K " Gblioh.

Man schreibt dann auch

 

K

" f ~ g rel K " statt

"

f

=

g

" und

 

K

" ~:

f ~ g rel K " statt

" ~:

f

~

g

"

.

Eine Homotopie ~ relativ K hat die Eigenschaft:

f~r

jedes a E K ist ~(a,t) unabh~ngig yon t E I.

(2)

Ist K ein Punktraum,

also

Top K = Top °

(vgl.(0.12)),

so sind auch die Bezeichnungen " punktiert homotop " und

(0,21)

" punktierte Homotopie " ~blich.

Homotopien unter K lassen sioh als Morphismen von TopK

deuten. Wir betrachten zun~chst die Situation in der Kate-

gorie Top.

Ist X ein topologischer Raum, so haben wir den Z~linder

Gber X

IX := X×I. Homotopien

in Top sind nun Morphismen

yon Top der ~orm IX

) Y, wo Y ein weiterer topologischer

Raum ist. Wir ffbertragen jetzt die Zylinderkonstruktion

von

Top auf ~op K .

Ist i: K

) X ein Raum unter K, dann sei IKx der topolo-

gische Raum,

der aus X×I entsteht, wenn

(ia,t)

E XXI

fGr

Jedes (a,t)

E K×I mit

(ia,0)

E X×I

identifiziert wird.

0

I

K

Xxl

X

~

SchlieBen wir an K

-

15-

i> X~-@

XxI die natUrliohe Projektion

XxI ) IKx an, erhalten wit einen Raum unter K

IKi : K

> IKx .

Ist ~ : IKi

) i' ein Morphismus yon Top K , wobei

i': K

> X' ein weiterer Raum unter K ist, dann erhglt

man eine Homotopie unter K ~: XxI

) X'

, indem man die

natOrliche Projektion yon XxI auf IKx mit ~ zusammensetzt.

(0.22)

Die Zuordnung ~ i

> ~ liefert eine BiJektion zwischen

den

Morphismen yon Top K der Porm IKi ~

pien unter K.

i' und den Homoto-

Definition.

Seien f,g : p

E

f~

> p' Morphiemen yon TOPL:

)

E'

I,

f heiBt homotop Uber L zu g (f ~ g), wenn eine Homotopie

~: ExI

> E' existiert mit ~: f = g und p'o~ = p.pr I.

ExI

p°pr1~

~

)

~/~'

L

E'

Dabei heiBt ~ eine Homotopie Uber

Die Bedingung p'~ = p.pr I besagt:

L yon f nach g(~: f~g).

fur alle t E I gilt

P'°~t = p' d.h. fffr alle t E Iist

~t

:

E

) E'

ein Morphismue yon Top E , ~t : p

> p'

"

Perner bedeutet die Gleichung p'~ = p.pr I :

die Homotopien ~ ~ber L Bind genau die Morphismen

-16-

entspricht also in Top L der Ubergang von einem Raum

p

Ist ~ eine Homotopie ~ber L, so gilt fGr alle t E Iund

:

E

) L Gber L zum Raum ILP := popr1: E×I

) L Uber L.

b

E L

~t(P-lb)

Cp'-lb,

d.h. die Faser p-lb

~ber b wird w~hrend der gesamten

Homotopie ~ in der Faser p'-Sb

~ber b abgebildet. Daher

sind

neben " homotop Uber L " und

" Homotopie Uber L "

auch die Bezeichnungen " vertikal homotop ", " fasernweise

homotop ", " vertikale Homotopie ", " fasernweise Homoto-

pie " gebr~uchlich.

Mit Hilfe derselben Formeln wie im Bewels von Satz (0.15)

 

zeigt man:

K

(0.23)

Satz. " ~

" und

" ~ " sind

nat~rliche ~quivalenzrelationen

in TopK

bzw.

TopL .

(o.24)

Man hat also Quotientkategorien

 

K

 

=:

opKh

Sind

i

:

K

) X, i'

:

K

) X'

R~ume unter

K, p: E

) L,

p'

: E'

~ L

Rgume Gber L, so schreiben wir statt

TopKh(i,i ') auch (ungenau)

auch (ungenau) [E,E']L .

[X,X'] K , statt TOPLh(p,p' )

Ist

K

ein Punktraum, verwenden wit die Bezeichnung [X,X'] °.

Ist

f

ein Morphismus yon Top K

bzw.

Top L , so bezeichne

[f]K

bzw.

[f]L die Equlvalenzklasse yon f bezGglich

K ,, bzw. " ~"

-

17-

Ist K ein Punktraum, verwenden wit die Bezeichnung [f]o.

(0.25)

Ein Morphismus f von Top K

valenz (h-E~uivalenz) unter K bzw. Homotopieg~uivalenz

bzw. Top

L heiBt Homotopie~ui-

Gber L, wenn [f]K

bzw. ToPLh ist.

bzw.

[f]L

ein Isomorphismus in TopKh

Bemerkung. Ist ein Morphismus f yon TopK(bzw. Top L)

h-Equivalenz

phismus yon Top, eine h-Equivalenz.

eine

unter K (~ber L), so ist f, aufgefa~t als Mor-

Definition.

h-~uivalent ~ber

(I) p und

p' seien R~ume ~ber L. p heist

L zu p', wenn p und p' isomorphe 0bJekte

yon TopLh sind, wenn also eine h-Equivalenz

Gber L

p

) p' existiert. (2) i und i' seien R~ume unter

K.

i heist h-~uivalentunter

K zu i', wenn

i

und i' iso-

(0.26)

morphe ObJekte yon TopKh

sind.

Die Definition eines Homotopiebegriffes in Top~ klar.

ist nun

Definition.

Seien f,g :

> ~' Morphismen yon Top~ :

x

/

K

~Ig

,> X'

L

Eine Homotopie unter K und ~ber Lvon

Homotopie ~: X×I

f nach g

~t

> X', so da~ ~: f ~ g und

t

£

I

ein Morphismus yon Top~

~

> ~' ist.

ist eine

fGr alle

-

18-

Die so definierte Homotopierelation ist eine nat~rliche

Equivalenzrelation in Top~ . Man hat daher eine Quotient-

(o.27)

kategorie Top~h .

Bemerkung.

der Homotopiebegriff von (0.26) mit dem Homotopiebegriff yon (0.22)(bzw.(0.20)) in TOPL (bzw. Top K) ~berein.

Im Spezialfall

K = ~ (bzw. L = Punktraum)

stimmt

Homotopien unter

Top~ auffassen.

K und Gber L kann man

als Morphismen yon

Ist g = (K

~

X p ~ L) ein Raum unter K und ~ber L, so er-

halten wir zun~ohst durch die Definition in (0.21) einen

Raum unter K

IKi : K

) IKx. Dabei entsteht IKx aus XxI,

indem

man (ia,t) E XxI fGr jedes (a,t) E KxI mit (ia,O)

E XxI

identifiziert. Die stetige Abbildung p.Pr1: XxI

)

L

ist mit den in XxI vorgenommenen Identifizierungen vertr~g-

IKx

Wir erhalten damit einen Raum unter K und ~ber L

lioh, induziert also eine stetige Abbildung

)

L

.

I~ ~ = (K--@

IKx

) L).

Ist

(K i'

:

I~ ~

) X'

p'

) ~' ein Morphismus

yon Top~ , wobei

~' =

) L) ein weiteres ObJekt von Top

ist,

dann

erhglt man eine Homotopie unter K und Gber L $: XxI

) X',

indem man die nat~rliche ProJektion yon XxI auf IKx mit

zusammensetzt.

Die Zuordnung 6 i ) ~

liefert eine BiJektion

zwisohen den Morphismen von Top~ der den Homotopien unter K und Gber L.

~orm I~ ~

, ,) ~' und

SchlieBlioh haben wir den folgenden Homotopiebegriff in

op(2).

(0.28)

-19-

Definition. (f,g),(f',g') : u

op(2):

> u' seien Morphismen yon

X

frf'

,> X'

ol

y

g,g'

in,

~ y'

Eine Homotopie yon Paaren yon (f,g) nach

(f',g')

ist ein

Paar (~,~) yon

Homotopien ~:

Xxl

~ X',

4: Yxl

> Y', so

dab

~: f ~ f',

4: g ~ g' und u'.~ = $.(u × idi).

Die

letzte Bedingung besagt: ~r alle

t E Iist

(~t,$t)

ein

Morphismus yon Top(2) u

) u'.

Die so definierte Homotopierelation ist eine natGrliche Equivalenzrelation in Top(2). Wir haben daher eine Quo-

tientkategorie Top(2)h. Ist (f,g) ein Morphismus yon Top(2), so bezeichne

die Klasse von (f,g) in Top(2)h. Ein Morphismus (f,g) von Top(2) heist h-E~uivalenz von Paaren, wenn [(f,g)S ein Isomorphismus in Top(2)h let.

[(f,g)]

-

20

-

Kapitel I. 0ofaserungen

§ I~ Erweiteru~ von Homotopien. 0ofaserun6en

1.1 Das Erweiterungsproblem.

i

fragen: Existiert elne

fi = g, d.h. l~t

:A

) X,

g

:

A

> Y seien stetige Abbildungen. Wir

stetige Abbildung

f

:

X

> Y

mit

sich das Diagramm

(1.1)

g

A

i

>X

Y

durch eine stetige Abbildung

f

:

X

) Y zu einem kommuta-

tiven Dreieck

 

A

i

>X

Y

erg~nzen?

Ist epezlell

i

eine I~lueion

A C X,

llegt dee Problem

vor, eine auf dem Teilra~

bildung zu einer auf X definierten stetlgen Abbild11~g zu e~eitern.

Dieses Problem ist im allgemelnen nieht l~sbar.

A yon X definierte etetlge Ab-

Beispiel. i

eel die I~luslon

der n-Sphgre

Sn in die

(n + I ) _ Voll~gel

En+1

. Da

Sn nioht Retrakt yon En+1

let (Eilenberg-Stee~od

[ 9 ], XI. Theorem 3.2, Hurewiez-

Wallm~

[13 ] , IV. I. B)), l~Bt sich

g = idsn

nicht auf

En+1 erweitern.

Ee gilt Jedoch:

-21

-

(1.3)

8atz. Ist

i

die Inklusion Sn C En+1 , dann l~t

sich das

Diagramm

(I .I ) immer

(I .2) erg~uzen, wenn

dann zu einem kommutativen Dreieck eine stetige Abbildung

f' : E m~

) Y mit f'i - g exietiert.

Beweis.

Sei ~ : f'i - g, ~: sn×I

> Y.

Wit definieren

~':(En~ x[O~) U (snxl)

> Y

d~treh

~(x,O)

I, > f'(x), x E E n~

l (a,t)

, ) ~(a,t),

(a,t) E sn×I.

Die Definition ist sinnvoll,

stetige Abbildung, da En~ ×[0~ und sn×I abgeschlossen in

da mo = f'i, und liefert eine

(En~ x[O]) U (snxl) sind. Duroh ProJektion vom Punkt

(0,

,0,2)

E Rn+2 aus erhalten wir eine Retraktion

r: En+IxI

.> (En+Ix[O])

U (Bn×I). *)

2

I

 

,

,

g

0

~n

*) Eine explizite Pormel fur ~11~, p.11.

r

findet man in Hilton

(1.4)

-

22

-

Dann ist ~ := *'r : E n+1 xI

) Y eine Erweiterung yon ~'

und fGr die stetige

Abbildung f := 'I: En+1

(d.h. f(x) = ~(x,1) far x ~ En~

) gilt fi = g

)

Y

1.2

Die Homotopieerweiterungseigenschaft (HEE).

Oofaserun~en.

Der wesentliche Schritt im Beweis von Satz (1.3) war

die

Erweiterung der Homotopie ~: snxI --@Y

zur Homotopie

,:

En~

xI

) Y, so

dab *o eine gegebene Erweiterung (f')

yon go ist. Das f~hrt uns

zu der folgenden Definition .

Definition.

i

:

A

topologischer Raum.

) X sei eine

stetige Abbildung, Y ein

i

hat die Homotopieerweiterungseigenschaft (kurz: HEE)

 

fur

Y, genau wennfGr

alle stetigen Abbildungen f : X

)

Y

und

9: A×I

) Y, so dab ~(a,O) = fia f~r alle a 6 A

 

(d.h. ~o = fi)

, eine stetige Abbildung ~: X×I *)

)

Y

exi-

stiert, so dab ~(i×idi)

=

$

und ~(x,O) = fx f~r alle

x E X (d.h.

~o = f)"

i hat also die HEE f~r Y genau dann, wenn sich Jedes kom-

mutative Diagramm in Top der Form

A

AxI ~

XxI

Y

*) Wir sagen dann, auch wenn i keine Inklusion ist, eine Erweiterun~ yon ~ .

~ ist

-23

-

dutch elne stetige Abbildung ~: Xxl tativen Diagramm

i/

NX×I

AxI

f

~ >Y

~ Y zu einem kommu-

erg~nzen IgOr. Wir veransohaulichen die Definition f~Ir den Spezialfall einer Inklusion i : A C X duroh eine Sklzze.

1 lj--,.~s ,.,fill i
i

o

;;;~

A

X

(I .5) Definition. Eine stetige

//V

Abbildung i : A

/I/"\~~~k\

) X heist

Co~

faserung, genau wenn i die HEE f~r alle topologlsohen R~ume hat.

i

ist also genau dann elne OQfaserung, wenn das Diagramm

in

Top

(I .6)

A

'\

X

~/ixX

Axl

×I

-24

-

ein schwach ookartesisehes Quadrat ist (vgl. (0.6)).

Dem Beweis von Satz (1.3) entnehmen wir:

(I .7)

Beispiel. i : Sn C En~

 

ist eine Cofaseru~.

 

(I .8)

Auf~abe. Jeder HomGomorphismus ist eine Cofaserung.

.9)

Aufgabe.

i

:

A

) B,

J

:

B

) C seien

stetige Abbildungen,

Y

ein topologischer Raum. Haben

i

und

j

dis HEE f~r Y,

so hat auch

 

Ji die HEE f~r Y.

 

Aus (1.9) ergibt sich (vgl. auch Satz (0.10)(a)):

(I .IO)

Folgerung. Die Zusammensetzung zweier Oofaserungen ist eine

(1.11)

Cofaseru~g.

1.3 Der Abbildun~szylinder einer steti~en Abbildung.

f

:

A

> X sei eine stetige Abbildung.

Definition. Der Abbildungszylinder Zf yon f ist der Quo-

tientraum, der aus der topologisehen Summe X + (A×I) ent-

steht, wenn (a,O) E A×I f~r Jedes a E A mit fa E X

fiziert wird.

identl-

o

fa

.

A×I

(a,o)

X

p

sei die ProJektion von X + (Axl) auf den Quotientraum Zf.

J

:

X

> Zf

,

k: AxI

) Zf

seien

die stetigen Abbil-

dungen, die man erh~lt, wenn man die InJektionen yon X

bzw.

AxI in die topologische Summe X + (AxI) mit p zusammen-

setzt. Wir verwenden die folgenden (ungenauen) Abkltrzungen:

-

25

-

J(x) = p(x) =: x

 

fffr x E X,

 

k(a,t)

= p(a,t)

=: (a,t)

fffr (a,t)

E AxI.

 

:

A

> Zf

sei die stetige Abbildung

 
 

aEA:

~) k(a,1)

= (a,1)

E Zf

, d.h. ~

= k. Jl (vgl.(0.14)).

(1.12)

Satz.

j

:

X

> Zf

und

~

:

A

> Zf sind abgeschlossene

Einbettungen.

 

Beweis. ~ ist sine abgeschlossene Einbettu~,

da ~

die

Zusammensetzung des HomSomorphismus'

 
 

a

E A

i

) (a,1)

E A×{I } mit der abgeschlossenen

 

Einbettung(!) klA×{1 }: A×{I }

> Zf ist.

j

ist injektiv.

J

ist abgeschlossen: Ist n~mlich

P eine abgeschlossene

Teilmenge

yon X, dann folgt aus der Stetigkeit

yon

f:

 

p

J(P) = P + (f~Px{0})

ist abgeschlossen

in X + (AxI),

 

d.h.

J(F)

Ist abgeschlossen in

Zf , denn p

Ist elne Iden-

tifizierung, m

 

(1.13)

Satz. Das Diagramm

in Top

 

X

 

(4.14)

 

A

Zf

A×I

ist sin cokartesisohes Quadrat (vgl. (0.6)).

Bewels. Das Diagramm (I. 14) ist kommutativ hash Deflnitlon

yon Zf , j una k.

Gegeben seien stetige Abbildungen

gl

:

X

) Y'

g2

: A×I

) Y mit gl f = g2Jo

Zu

zeigen ist: es existiert genau eine stetige Abbildung

g

: Zf

) Y mit gJ = gl und gk -- g2 "

 

A /

Axl

-

26

-

Z~ -~--÷ Y

g2

Eindeutigkeit: g ist durch gl und g2 eindeutig bestimmt,

da Zf = S(X) U k(A×I).

Existenz: gl und g2 zusammen definieren elne stetige Abbil-

dung

g'

: X + (A×I)

> Y.

Da

gl f = g2Jo

, ist

g' mit den Identifizierungen vertr~g,

lich, die wir in X + (A×I) bei der Konstruktion

dungszylinders von f vorgenommen haben:

des Abbil-

g'(a,O) = g2(a,0) = g2Jo a = ~ fa = g'(fa) fttr alle a E A.

g' induziert daher eine stetige Abbildung

die das Diagramm

g: Zf

> Y,

X + (Axl)

g'

)

Y

Zf

kommutativ macht, g is~ die gesuchte stetige Abbildung.|

1.4 Verschie~e~e Charakterisierun~en des Cofaserungs-

begriffes.

Der folgende Satz charakterisiert Cofaserungen mit Hilfe

des Abbildungszylinders und zeigt, dab eine stetige Abbil-

dung i sohon dann eine Cofaserun~ ist, wenn sie die HEE

f~r den Abbildungszylinder Zi hat.

(I

.I 5)

i

:

A

> X sei eine stetige Abbildung.

Da Jo i = (i×idl)Jo

(I .16)

-

27

-

und da (1.14) ein cokartesisohes Quadrat ist, existiert

genau eine stetige Abbildung

i'

: Zi

> XxI mit i'J = Jo

und

i'k = ixid I.

/

A Jo~

/

zi i_'_@/Xxl

ixid I

Satz. Pttr eine stetige Abbildung

folgenden Aussagen ~quivalsnt:

i

: A

> X sind die

(a)

i ist eine 0ofaserung.

(b)

i hat die HEE f~r den Abbildungszylinder Zi.

(c)

i'

: Zi

) XxI ist ein Schnitt in der Kategorle

der topologischen R~ume (d.h. es existiert eine stetige Ab-

bild~n

g

r: XxI

) Zi

mit

ri' = idzi ).

Beweis. (a) =~' (b) ist trivial.

(b) ~

(c). i

babe die HEE fttr Zi. Da Ji = kJo , existiert

dann eine stetige Abbildung

r: XxI

) Zi

mit

rJ o = J

und

r(i×idi) = k.

 

A

Xxl _r

@

Zl

 

AxI ~

Wir behaupten:

ri' = idzi. Da (1.14) ein ookartesisches

Quadrat ist, folgt dies aber aus den Gleichungen

-

28

-

und

(C) ~

(ri')J =

rio = J = idzi. J

(ri')k = r(ixidl)

(a). Sei

r : Xxl

= k = idzi-k.

) Zi

eine stetige Abbildung

mit ri' -- idzi.

Behauptung:

Beweis. Gegeben seien stetige Abbildungen g : X

~: AxI

Quadrat ist, existiert (genau) ein

i

ist sine Oofaserung.

> Y und

> Y mit gi = @Jo" Da (I .I 4) sin ookartesisohes

stetiges

@': Zi

)

Y

mit @'j = g

8etze

Dann gilt

und

~'k = @.

> Y.

~ := @'r: XxI

~Jo = ~'rJo = ~'ri'J = ~'J = g

und

{(ixidl) = {'r(ixidl) -- @'ri'k = ~'k--~.m

(I .I 7)

Korollar. Ist eine stetige Abbildung

faserung, so ist

Ist au~erdem

in X.

X

i eine Einbettung.

Hausdorffsoh, so ist

i

Beweis. Da

nach Satz (1.1 6) eine stetige Abbildung

) X eins Cofaserung

i

:

A

:

A

) X eine 0o-

i(A) abgesohlossen

ist, k~nnen wlr

r: X×I

) Zi mit

ri' = idzi

w~hlen.

F~r a

E A gilt dann

r(ia,1)

ri'k(a,1)

= k(a,1) = (a,1)

E

Axl

C Zi.

i

ist also inJektiv und induziert sine bijektive stetlge

Abbildung

~

:

A

) i(A).

Die Umkehrabbildung

~ .I

i(A) ---@A

ist stetig,

da in

dem kommutativen Diagramm

-

29

-

x

i(A)

,

A

I

I

I

(X, I)

Xxl

r

> Zi

die ausgezogenen Pfeile stetlge Abbildnngen sind und da naoh (1.12) sine Einbettung ist. i ist also eine Einbettung.

Setzen wir

i(A) = Ix £ Xlr'(x,1) = (x,1)].

Is%

gonale yon (XxI)x(XxI) daher eine abgeschlossene Teilmenge

des Produktes. Da

r'

:= i'r

: XxI

) XxI, so @ilt

X

Hausdorffsoh, so ist XxI

Hausdorffsoh ~nd die Dia-

i(A) das Urbild dieser Diagonale bei

der

stetigen Abbildung X

) (XxI)x(XxI),

x,

>

(r'(x,1),(x,1 )), ist, folgt damn:

i(A) ist abgesohlossen in X.

Bemerkum~: Korollar (1.17) zeigt insbesondere, daS man sich

bei der Definition des Begriffes

" Cofaserung

" auf Inklu-

 

sionen

 

i

:

A

C X

beschr~nken kann.

(I

.i 8)

Sei

i

:

A

C X

eine Inklusion. Wir vergleiohen den

Abbil-

dungszylinder yon Produktes X×I.

Betrachte

Y

A

X

i

AxI ~

mit dem Teilraum

(XxO) U (AxI) des

zi

j

f

!_~

k'

(x,o) u (AxZ)

-

30

-

J'

sei

die Abbildung

x E X,

) (x,O) E (XxO) U (AxI),

k'

die Inklusion.

Da

J'i = k'Jo

und da (1.14) sin cokartesisches Quadrat

(I.19)

ist, wird genau eine stetige Abbildung

Z i

lk = k'. i

1

:

> (XxO) U (AxI) induziert mit

ist blJektiv.

lJ = J'

und

Satz. 1 ist ein Hom$omorphismus, falls eine der folgenden Bedingungen erf~llt ist:

(a) A

ist abgeschlossen in X.

(b) (XxO) U (AxI) ist Retrakt yon X×I. Beweis. Den Beweis unter Voraussetzung yon (b) f~hren wlr

. An dieser Stelle beweisen wit den Satz unter der Voraus- setzung (a).

Wir zeigen: das Diagramm

im Anhang p.255

X

(1.20)

A

(Xx0)

U (AXE)

A×I

ist ein cokartesisches Quadrat.

Die Behauptung folgt dann aus Satz (1.13), da

eln cokarteslsches Quadrat bls auf Isomorphle eindeutig.be-

stlmmen (vgl. (0.6)). Wir haben bereits festgestellt, da~ (1.20) kommutativ ist.

Gegeben seien stetige Abbildungen g1: X ) Y,

g2: Axl

bestlmmte Abbildung yon Mengen

g: (X×O) U (A×I)

i

und

Jo

)

Y

mit

gl i = g2J o. Dann gibt es elne eindeutig

> Y

mit

gJ' = gl und

gk' = g2"

-

31

Die Einschr8nkungen von g

-

auf XxO und Axl sind stetig,

da

gl und

g2

stetig sind.

XxO und, da

A

abgeschlossen

in X ist, AxI sind

abgesohlos-

sen

in XxI, also

in (XxO) U (AxI). Daher ist

g

stetig.

(1.20) ist damit ein ookarteslsohes Quadrat. •

(1 .21)

die

dem Abbildungszylinder yon i zugrunde liegt, unter der

blJektiven Abbildung

Ist

i : A C X eine Inklusion,

l

k6nnen wir die Menge,

yon (I .I 8) mit (XxO) U (AxI) iden-

tiflzleren. Die stetlge Abbildung

l: Z i

.> (XxO) U (AxI)

ist

dann auf den zugrunde liegenden Mengen die Identit~t.

Die

Topologie des Abbildungszylinder s yon i auf der Menge

(XxO) U (AxI) Ist also feiner als die durch das Produkt

XxI

induzierte

Teilraumtopologle. Naoh Satz

(I .I 9) stimmen

die

Topologien ffberein, wenn A abgesohlossen in X oder

(XxO) U (AxI) Retrakt yon XxI ist.

Im allgemelnen slnd die Topologien Jedooh versohleden.

Beispiel:

X := [0,1 ] = I, A := ]0,1].

In (XxO) U (AxI) betrachte man die Polge

an

:= (H I

' ~) I

(n = I,

2,3

) Diese Polge konvergiert

gegen (0,0), wenn man (XxO) U (AxI) die durch das Produkt

XxI induzierte Teilraumtopologle gibt.

TrEgt (XxO) U (AxI) Jedooh die Topologie des Abbildungszy-

(I .22)

linders yon

i , konvergiert

die Polge

an

nioht gegen

(0,0), da der Punkt (0,0) Umgebungen bezffglich der Topolo-

gie des Abbildungszylinders hat, die keinen Punkt der Dia-

gonale yon

AxI

treffen.

Satz

Eine Inkluslon

(vgl.Str~m [27~, 2.Theorem 2).

i : A C X ist genau dann eine Oofaserung,

wenn der Teilraum

-

32

-

(XxO) U (Axl) von Xxl Retrakt von X×l ist.

Beweis. Wir benutzen die Charakterlsierung des Begriffes

" Oofaserung

Ist

" von Satz (I .16)(c).

eine aofaserung,

i

:

A

C X

so existiert eine stetige

Abbildung

i': Z i

r: X×I

) Zi

mit

ri' = idzi, wo

~ XxI die in (I .I 5) definierte

stetige Abbildung

ist. Setzt man

l:

r

mit der stetigen Abbildung

Z i

) (XxO) U (AxI) yon (I .I 8) zusammen,

erh~lt man

eine Retraktion yon XxI auf (Xx0) U (A×I).

Ist umgekehrt

dann ist

r'

eine Retraktion yon XxI auf (X×O) U (AxI~

) Zi

eine Abbildung mit

r := 1 ~ r': X×I

ri' = idzi. r

ist stetig,

da

1 ~

nach Satz (I .I 9)(b)

stetig ist. |

(I .23)

(1 .24.)

Bemerkung.

die in (I .I 8) definierte stetige Abbildung

l: Zi

Der Beweis von Satz

(I .22) beruht darauf,

dab

) (X×O) U (A×I) unter gewlssen Voraussetzungen ein

Hom~omorphismus ist. Dazu haben wir Satz (I .I 9)(b) benutzt,

den wir erst im Anhang beweisen.

Setzt man Jedoch in Satz

ist, kann man

(I .22) voraus,

dab

A

ab~eschlossen in X

sich auf den berelts

bewiesenen Satz (I .I 9)(a) berufen.

Beispiele: Wir geben ein Belspiel einer abgeschlossenen

Inklusion

i

: A CX

an, die keine Cofaserung

Beispiel einer aofaserung abgeschlossen in X ist.

Beispiell : Sei

i

: A C X, bei der

)

X := [0} U [~Jn = I ,2,3,

A

,= {o}.

ist, und ein

A

CR,

nicht

-

33

-

Behauptur~: Die Inklusion

i : A C X ist keine Cofaserung.

Beweis:

W~re

i : A C X eine Oofaserung,

so w~rde nach

(I .22) eine Retraktion

r: X×I

auf (X×0) 0 (A×I) existieren.

> (X×0) 0 (A×I) yon X×I

!

F~r

A

n = I ,2,3,

~

X

besteht

die Wegekomponente des Pur~tes

(~,0) in (X×O) 0 (A×I) nur aus diesem Punkt.

Da

r

stetig ist und den PurLkt (~,0) festl~t, mug

r

da-

her die Strecke [~]×I in den Pur~kt (~,0) abbilden

(n = I ,2,3,

).

Andererseits l~Bt r

die Strecke [0]×I

pun~tweise lest. Das Ist aber eln Widerspruch zur Stetig-

keit yon

r

Im ~Jn~t (0,1).m

Beispiel 2: Sei

X := [a,b], wobei

a ~

b.

Wir geben

X

die Topologle, deren offene Mengen @,[a], X

sind. A

sei

der Teilraum

[a] von X. A

ist nloht abge-

schlossen in X.

Behauptung: Die Inklusion

i: A C X ist eine Cofaserung.

Beweis: Wit verwenden die Charakterisierung von Satz

(I .I 6)(c). Wir definleren

durch

r: X×I

> Zi

f(x,t), falls x = a oder t = 0

(x,t) ,

>

L(a,t), falls t > 0 Der Leser Gberlege sichz r ist stetig. Da ri' = idzi (i' wie in (1.15)),folgt die Behauptung.

I

(a,t)

0

-

a

34

-

(b,t)

I .5 Zerlegung einer steti~en Abbildun~ in elne Cofaserung

umd eine Homotopie~uivalenz.

Mit Hilfe des Abbildu~szylinders zeigen wir, dab man Jede atetige Abbildung bis auf Homotopie~quivalenz dutch eine (abgeschlossene) Oofaserung ersetzen kann.

(1 .25)

f

Zf sel der Abbildu~szylinder yon

:

A

)

X

sel eine stetige Abbildu~.

f.

Die stetigen Abbildungen

J : X---@ Zf, k: A×I

:

A

) Zf

selen wie in (I .11) definiert.

) Zf,

Da

Quadrat ist, existiert genau elne etetige Abbildung

q: Zf

f = f.p~ .Jo I A

)

X

mlt

A

)

X

und da

und

dx

\

x

(I .I 4) ein ookartesisohes

qk = f.pr I .

qJ = idX

X ~~~

~,~

Zf --~-~

f. prI

q

wird besehrieben durch die ~ormeln

qx

= x

fffr x E X,

q(a,t) = fa

fffr (a,t) E A×I.

(1.26)

I

#

J

J

i

/

-

t

35

-

A

(a,~)

f (a,o)

fa -- q(a,t)

Satz:

(a) Das Diagramm

Zf~

ist kommutativ.

A

(b)

~

und

J

sind 0ofaserungen.

(c)

qj = id X

 

(1.2'7)

(1.28)

Aus

jq = idzf

rel

(I .26) folgt,

da ~

Einbettung ist:

J(X).

nach (I .I 2) eine abgesohlossene

Korollar. Jede stetige Abbildung

f = u.v faktorisieren, wobei

faserung und u eine Homotopie~quivalenz ist.

f

l~St sich in der Form

v

elne (abgeschlossene) Co-

Beweis von

(1 .26).

(a) q~

= qkJl

= f.pr I °Ji = f"

Zum Beweis der Teile wir :

(b) und

(c) yon Satz

(I .26) benStigen

Satz. f : A

logischer Raum. Ist

> B sei eine stetige Abbildung,

f

C

ein topo-

C

elne Identifizierung und ist

lokalkompakt, so ist auch

-

36

-

f x id C

: AxC

) B×C

eine Identifizierung.

Wir beweisen (1.28) in (4.14) mit Hilfe yon Abbildungsr~u-

men

(vgl. auch Schubert

~23~, I, 7.9, Satz 5). *)

Beweis yon ~.26)(b). Wit identifizieren zun~chst

(vgi.(1.12))

A = k I(A) = Axl,

k Iund

j

x

=

sind

j(x).

dann die Inklusionen

Axl CZf

, X CZf.

Um nachzuweisen, da~ diese Inklusionen Cofaserungen sind,

wenden wir (1.22) an. Dabei beachte man Bemerkung (1.23)

(Axl und X sind nach (1.12) abgeschlossen

also zu zeigen:

in Zf). Wir haben

(I)

(Zfx0) U (A×IxI) ist Retrakt yon Zfxl,

(2)

(ZfxO) U (Xxl) ist Retrakt yon Zfxl.

zu (I)

*) Ein direkter Beweis fGr C = I findet sich in Hilton

-

57

-

Die ProJektion vom Punkt (0,2) E Rx~ liefert eine stetlge Abbildung

Dutch

k: Ixl

) (Ix0) U (I XI)

,

\

\

1 ~\ i

(x,t),

> (x,0)

tCr x E X,

(a,s,t) , > (a,A(s,t))

fttr a 6 A, s,t E I

erh~lt man eine stetige Abbildung

: (X +(AxI))xI

) (ZfxO) U (A~ XI) .

Da

~(0,t) = (0,0) fur alle t E I, gilt f~r a E A und t E I

(a,0,t) = (a,A(0,t)) = (a,0,0) = (fa,0) = ~(fa,0).

Es

existiert daher genau eine Abbildung

 

r: ZfxI

) (ZfxO)

U (A~ xI)

mit

r(pxidl) = ~.

 

(X +(AxI))xI

 

r

) (ZfxO) U (AxlxI)

 
 

Zfxl

r

ist stetig,

da

~

stetlg ist und da

pxid I

naoh

Satz (I .28) eine Identifislerung

ist (I

Da

kl(Ix0) U (IxI) = id(ix0 ) U (IxI)'

ist lokalkompakt.).

folgt rl(ZfxO ) U (A~ xI) = id(ZfxO)

U (Axl xI)"

-

38

-

Damit ist (I) bewiesen.

i

Die Projektion vom ~nkt

0

I

(I ,2) E~ ~xR

1

!

liefert eine stetige

Abbildung

 

~': I×I

> (I×o) u (o×I).

2

 

i

 

i

/

/

 

~.' (s,t)

1

Durch

(x,t) i

> (x,t) fur x E X,

(a,s,t),

> (a,~'(s,t)) f~r a ~ A, ~,t ~ I

erh~It man eine stetige Abbildung

~,: (x +(A×i))×I

> (Z~×0) U (X×I).

Da ~'(0,t) = (0,t) f~r alle t E I, gilt f~r a E A und t E I

~'(a,0,t) = (a,k'(0,t))

Es existiert daher genau elne Abbildung

= (a,0,t) = (fa,t) = ~'(fa,t).

 

-

59

-