Frdric Paulin
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6
. 6
. 7
. 9
. 9
. 10
. 11
. 12
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
27
28
30
34
36
37
39
42
45
49
51
54
57
60
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
67
67
67
69
70
73
74
77
82
84
85
87
88
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
la base
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4.7
5 Homologie singulire
5.1 Un peu dalgbre homologique . . . . . . . . . . . . . . . . . . . . .
Complexes de chanes et homologie de complexes de chanes . . . .
Suite exacte longue dhomologie . . . . . . . . . . . . . . . . . . . .
Caractristique dEuler dun complexe de chanes . . . . . . . . . .
Complexes de cochanes, cohomologie, suite exacte longue de cohomologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Catgories et foncteurs . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Construction et proprits axiomatiques de lhomologie singulire .
Chanes singulires . . . . . . . . . . . . . . . . . . . . . . . . . . .
Fonctorialit de lhomologie singulire . . . . . . . . . . . . . . . . .
Premiers calculs dhomologie . . . . . . . . . . . . . . . . . . . . . .
Invariance homotopique . . . . . . . . . . . . . . . . . . . . . . . .
Homologie relative . . . . . . . . . . . . . . . . . . . . . . . . . . .
Thorme des petites chanes . . . . . . . . . . . . . . . . . . . . .
Excision . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Suite exacte de Mayer-Vietoris . . . . . . . . . . . . . . . . . . . . .
5.3 Quelques calculs et applications de lhomologie . . . . . . . . . . . .
Calcul de lhomologie des sphres . . . . . . . . . . . . . . . . . . .
Le thorme du point xe de Brouwer . . . . . . . . . . . . . . . . .
Homologie et limite inductive . . . . . . . . . . . . . . . . . . . . .
Homologie du complmentaire dune sphre dans une sphre . . . .
Le thorme de sparation de Jordan-Brouwer . . . . . . . . . . . .
Le thorme dinvariance du domaine de Brouwer . . . . . . . . . .
5.4 Groupe fondamental et homologie : le thorme dHurewicz . . . . .
5.5 Autres exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.6 Indications pour la rsolution des exercices . . . . . . . . . . . . . .
.
.
.
.
102
102
102
104
106
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
107
108
110
110
112
113
114
116
120
123
126
128
128
129
130
132
135
136
137
142
144
6 Homologie cellulaire
6.1 Le complexe de chanes cellulaires . . . . . . . . . . . . . . . . . .
Homologie relative du p-squelette par rapport au (p 1)-squelette
Le complexe de chanes cellulaires . . . . . . . . . . . . . . . . . .
Degr des applications de la sphre . . . . . . . . . . . . . . . . .
Calcul des morphismes de bords cellulaires . . . . . . . . . . . . .
Calcul des morphismes induits par les applications cellulaires . . .
6.2 Homologie cellulaire et homologie singulire . . . . . . . . . . . .
Caractristique dEuler des CW-complexes. . . . . . . . . . . . . .
6.3 Homologie des espaces projectifs . . . . . . . . . . . . . . . . . . .
6.4 Autres exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.5 Indications pour la rsolution des exercices . . . . . . . . . . . . .
149
. 149
. 149
. 152
. 153
. 154
. 156
. 157
. 158
. 159
. 161
. 162
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
164
. 164
. 167
. 167
. 167
. 167
. 168
. 168
. 168
. 169
. 169
. 170
. 172
. 172
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
196
. 196
. 197
. 198
. 198
. 199
. 199
. 200
. 201
. 201
. 201
. 202
. 203
. 205
. 206
. 212
. 212
. 213
. 214
. 216
. 216
. 217
. 217
. 220
. 222
226
Bibliographie
231
1. Je suis reconnaissant Bruno Calado pour sa relecture scrupuleuse et enthousiaste de lintgralit de la premire version de ce texte. Je remercie les lves de lEcole normale suprieure
pour leurs corrections sur ce texte, en particulier Katarina Radermacher, Jrmy Daniel, Lin Shen
et Louis Nebout
Introduction
1.1
Exemples et applications.
F (X) =
c composante connexe de X
Z + Z si 0 = q = n
Z
si 0 = q < n
0
si 0 < q < n
Hq (Sn ) =
Z
si 0 < q = n
0
si q > n
6
Hq (Bn ) =
Z si 0 = q
0 si 0 < q
Hn (Sn )
Hn (r)
Hn (Sn )
idHn (Sn )
Si n > 0, alors Hn (Bn+1 ) = 0 et Hn (Sn ) = 0, donc Hn (i) nest pas injective, ce qui
contredit linjectivit de idHn (Sn ) . Si n = 0, alors Hn (Bn+1 ) = Z et Hn (Sn ) = Z + Z
donc Hn (r) nest pas surjective, ce qui contredit la surjectivit de idHn (Sn ) .
f (x)
x
Sn
1.2
r(x)
On supposera connues les notions de topologie gnrale suivantes (voir lappendice A, et les rfrences [Bou, Dug, Dix, Pau2]). Seules les notions marques dune
toile (*) seront rappeles en cours. Au point de vue mthodologie, il est demand
de lire lappendice, puis de lire la liste ci-dessous. Si une notion nest pas claire,
retourner lappendice.
7
topologie, espace topologique ; ouverts, ferms ; application continue entre espaces topologiques, homomorphisme ; topologie discrte, topologie grossire ; topologie induite par une distance, espace topologique mtrisable ; voisinage dune partie,
dun point dun espace topologique ; intrieur, adhrence, frontire, leurs proprits
lmentaires ; topologie engendre par un ensemble de parties, prbase, systme fondamental de voisinages dun point, base douverts, critre pour quune prbase soit
une base ; topologie spare ; caractrisation des applications continues par les voisinages, les systmes fondamentaux de voisinages, les adhrences ; connexit, locale
connexit, composante connexe ; connexit par arcs, locale connexit par arcs, composante connexe par arcs ;
comparaison de topologies : topologie plus ne, moins ne quune autre ; topologie initiale sur un ensemble X (ou dnie par une famille dapplications de X
valeurs dans des espaces topologiques) ; topologie nale sur un ensemble X (ou
dnie par une famille dapplications partant despaces topologiques valeurs dans
X) ; sous-espace topologique, point isol ; topologie somme disjointe (*) ; topologie
produit (dune famille quelconque despaces topologiques), ouvert lmentaire, proprits lmentaires de la topologie produit (systmes fondamentaux de voisinages,
continuit des applications valeurs dans un produit, associativit et commutativit de la topologie produit, adhrence des produits, un produit despaces spars
est spar) ; topologie quotient (*), proprits lmentaires de la topologie quotient
(continuit de la projection canonique, continuit des applications dnies sur un
quotient, caractrisation de la sparation des quotients par les ouverts saturs) ; relation dquivalence engendre (*) ; cne (*), suspension (*), crasement (*), recollement dun espace topologique X sur un espace topologique Y par une application
continue f : X Y (*) ;
limite, caractrisation par les systmes fondamentaux de voisinages, unicit si
lespace but est spar, composition des limites, limites des applications valeurs
dans un produit ; valeur dadhrence, caractrisation de lensemble des valeurs dadhrence, la limite est lunique valeur dadhrence si lespace but est spar ;
recouvrement (ouvert, ferm), sous-recouvrement ; espace compact (comme spar
et tout recouvrement ouvert admet un sous-recouvrement ni) ; caractrisation par
les ferms, compacit des sous-espaces topologiques ; un compact dun spar est
ferm, un ferm dun compact est compact ; existence de valeur dadhrence pour
une application valeurs dans un espace compact ; thorme de Tychonov : un
produit despaces compacts est un espace compact ; espace localement compact ;
thorme de Riesz sur la locale compacit des espaces vectoriels norms ; compacti dAlexandrov dun espace localement compact (*) ; limage dun compact par
une application continue valeurs dans un espace spar est compact ; une application continue bijective dun espace compact dans un espace spar est un homomorphisme ; application propre (*) ; une application propre bijective entre espaces
localement compacts est un homomorphisme ; topologie compacte-ouverte (*). (Et
un raton laveur, comme dirait Prvert !)
Il est demand de faire les exercices de lappendice A pour se familiariser avec
ces notions.
8
1.3
n
0
1
2
C0 C1 C2 ... Cn Cn+1 ...
Le fait que les ches aillent dans ce sens vient du fait que prendre le bord dune
varit topologique bord diminue la dimension dune unit.
Nous serons plus rapide pour donner la premire dnition de Poincar des
groupes abliens Cn , voir [Poi]. Il saperut successivement des faits suivants.
Les varits topologiques bord semblent encore ne pas tre les bons objets. Car
lorsque lon dcoupe une varit topologique le long de plusieurs sous-varits topologiques (pas forcment disjointes), lobjet obtenu porte des traces de dcoupages
(que nous appelerons facettes), dont linformation serait importante conserver,
pour pouvoir ventuellement eectuer loperation inverse de recollement. Comme un
quart de plan (ou un huitime despace) est homomorphe un demi-plan (demiespace), le monde purement topologique nest pas assez riche. Les bons objets semblaient donc tre les varits direntiables coins (et leurs facettes), dont nous
ne donnerons pas la dnition prcise ici (voir [Poi]). En eet, Poincar saperut
des dicults (et du manque de gnralit) de cette collection de sous-espaces. Il en
changea dans son Complment lanalysis situs), en travaillant dans des espaces
trianguls ou cellulaires (voir la partie 4.3). Pour une gnralit maximale, ils furent
remplacs dans la suite par les simplexes singuliers (voir la partie 5.2).
10
ni Vi
i=1
avec ni Z et Vi des sous-varits direntiables coins connexes compactes orientes de dimension p, o lon identie Vi et Vi si Vi est munie de lorientation
oppose celle de Vi .
Loprateur bord alors introduit par Poincar est lunique application linaire
n+1 : Cn+1 Cn telle que Vi soit la somme (nie) formelle des facettes de codimension 1 de Vi , orientes par la normale sortante. Une chane est un cycle si son
image par loprateur bord est nul, et est un bord si elle est limage par loprateur
bord dune chane. On vrie que n n+1 = 0, cest--dire que tout bord est un
cycle.
Ce nest en fait que vingt ans plus tard environ quEmmy Noether dnira les
groupes qui mesurent lobstruction pour un cycle dtre un bord :
Hp (V, Z) = Ker p1 / Im p
est le groupe ablien quotient du groupe des cycles de dimension p par son sousgroupe des bords de dimension p. Ainsi, tout cycle dnit un lment [] dans
Hp (V, Z), appele sa classe dhomologie. Un cycle est un bord si et seulement si sa
classe dhomologie est nulle.
La formulation axiomatique de lhomologie
Une formulation axiomatique fut donne par Eilenberg et Steenrod, vers 1950.
Une thorie de lhomologie est la donne, pour tout n N, dun foncteur (covariant) de la catgorie des paires despaces topologiques dans la catgorie des groupes
abliens (voir la partie 5.1) i.e. la donne
pour toute paire despaces topologiques (X, Y ) (i.e. dun espace topologique X
muni dun sous-espace Y ), dun groupe ablien Hn (X, Y ), et
pour tout morphisme de paires despaces topologiques f : (X, Y ) (X , Y )
(i.e. (X, Y ) et (X , Y ) sont deux paires despaces topologiques et f : X X
est une application continue telle que f (Y ) Y ), dun morphisme de groupes
fn : Hn (X, Y ) Hn (X , Y )
11
jn
n
n
... Hn+1 (X, Y ) Hn (Y ) Hn (X) Hn (X, Y ) Hn1 (Y ) ...
est exacte.
3. Excision
Si f : (X, Y ) (X/ Y , Y / Y ) est le morphisme canonique (voir lexemple
(3) suivant lexercice E.A.101 pour la dnition de lespace topologique X/ Y ,
qui se dcrit comme lespace X o Y a t cras en un point), alors fn :
Hn (X, Y ) Hn (X/ Y , Y / Y ) est un isomorphisme de groupes pour tout n
dans N
4. Normalisation
Si X est rduit un point, alors
Hn (X) =
Z si n = 0
0 sinon
Une grande partie du travail qui suit dans la construction de thories de lhomologie sera de vrier (la plupart de) ces axiomes, mais nous ne nous intresserons
pas au problme de lunicit abstraite de thories de lhomologie (voir par exemple
[Spa]), prfrant montrer directement les galits des (peu nombreuses !) direntes
thories de lhomologie que nous construirons, car la preuve de leur concidence est
parfois utile.
De lhomologie lhomotopie
Les groupes dhomologie introduits par Poincar lui apparurent tre des invariants topologiques extrmement intressants. Par exemple, il dcoule du thorme
de classication des surfaces (par les travaux de Mbius, Jordan et Rado) que deux
12
13
2.1
Homotopie
1
h1 (x, 2s) si 0 s 2
1
h2 (x, 2s 1) si 2 s 1 .
De mme, rel A est une relation dquivalence sur tout ensemble dapplications
continues de X dans Y qui concident sur A.
Exercice E.2 (Voir lexercice E.A.107.) Si X est localement compact, deux applications continues f et g de X dans Y sont homotopes si et seulement sil existe
un chemin (continu, voir la partie 2.2) entre f et g dans C (X, Y ) (lensemble des
applications continues de X dans Y , muni de la topologie compacte-ouverte).
Un espace topologique X est contractile sil est non vide et si lapplication identique de X est homotope une application constante de X dans X.
Par exemple, un convexe non vide C dans un espace vectoriel topologique (i.e. un
espace vectoriel rel, tel que laddition et la multiplication externe soient des applications continues) est contractile : si x0 C, alors lapplication (x, s) (1 s)x + sx0
de C [0, 1] dans C est une homotopie entre idC et x x0 .
14
Cette notion est importante, car la plupart des espaces topologiques que lon
rencontre sont localement contractiles, i.e. admettent un systme fondamental de
voisinages contractiles. Cest en particulier le cas des espaces vectoriels topologiques,
des varits topologiques (i.e. les espaces topologiques X, en gnral supposs mtrisables sparables, tels que pour tout x dans X, il existe n N et V un voisinage
de x dans X, tels que V soit homomorphe Rn ), des CW-complexes (voir la partie
4.3), des complexes simpliciaux (voir par exemple [Spa]).
Un espace topologique est simplement connexe sil est connexe par arcs et si
toute application continue du cercle S1 dans X se prolonge (continuement) en une
application du disque B2 dans X.
Exercice E.3 Montrer quun espace contractile est simplement connexe.
Soient X et Y deux espaces topologiques. Une application continue f : X Y
est une quivalence dhomotopie sil existe g : Y X continue telle que f g
soit homotope lapplication identique de Y et g f soit homotope lapplication
identique de X. Sil existe une quivalence dhomotopie entre X et Y , on dit que X
et Y ont le mme type dhomotopie.
Avoir mme type dhomotopie est une relation dquivalence sur tout ensemble
despaces topologiques.
Lintrt de la notion dquivalence dhomotopie vient du fait que la plupart des
invariants de topologie algbrique que nous construirons (groupe fondamental (partie
2.2), homologie singulire (partie 5.2),...) sont non seulement des invariants topologiques, mais aussi des invariants homotopiques (i.e. tels que les invariants associs
deux espaces topologiques ayant mme type dhomotopie soient isomorphes).
Exemple : Un espace topologique non vide est contractile si et seulement sil a le
mme type dhomotopie quun singleton.
Soient X un espace topologique et A un sous-espace. On dit que A est un rtracte
de X sil existe une application continue r : X A telle que r i = idA . On dit
que A est un rtracte de X par dformation si de plus i r est homotope idX . On
dit que A est un rtracte de X par dformation forte si de plus i r est homotope
idX relativement A. On dit que r est respectivement une rtraction, rtraction
par dformation, rtraction par dformation forte.
Si A est un rtracte par dformation de X, alors A et X ont le mme type
dhomotopie.
Exemples : (1) Pour tout n N, la sphre Sn est un rtracte par dformation forte
de Rn+1 {0}. En eet, si i : Sn Rn+1 {0} est linclusion et si r : Rn+1 {0} Sn
x
est dnie par r(x) = ||x|| , alors r i = idSn et i r est homotope lapplication
x
identique de Rn+1 {0} par lhomotopie h(x, s) = sx + (1 s) ||x|| , qui xe Sn . En
particulier, linclusion i de Sn1 dans Rn {0} est une quivalence dhomotopie, et
Sn1 et Rn {0} ont le mme type dhomotopie.
15
2.2
Groupe fondamental
1
(2t)
si t [0, 2 ]
(2t 1) si t [ 1 , 1] .
2
On dit que est le chemin compos (concatn) de et . Deux chemins et
sont composables si lextrmit de est lorigine de . Lapplication (, ) de
lensemble des couples de chemins composables dans lensemble des chemins sappelle
la composition (ou concatnation) des chemins.
Deux chemins et dans X dorigine x0 et dextrmit x1 sont homotopes (on
dit parfois homotopes relativement aux extrmits sil y a risque de confusion), et on
note (et rel 0, 1 sil y a risque de confusion), si les applications , de
[0, 1] dans X sont homotopes relativement la partie {0, 1} de [0, 1], cest--dire sil
existe une application continue h : [0, 1] [0, 1] X telle que
h(t, 0) = (t) et h(t, 1) = (t) pour tout t dans [0, 1],
h(0, s) = x0 et h(1, s) = x1 pour tout s dans [0, 1].
Une telle application h est appele une homotopie de (on dit parfois homotopie
relative sil y a risque de confusion). On note [] la classe dhomotopie (relativement
aux extrmits) dun chemin .
Le rsultat suivant donne les principales proprits de la composition et de lhomotopie des chemins.
1
]
2
h(2t, s)
si t [0,
1
k(2t 1, s) si t [ 2 , 1]
k
b
4t
si 0 t 1+s
( 1+s )
4
(4t s 1) si 1+s t 2+s
(t, s)
4
4
4ts2
si 2+s t 1
( 2s )
4
cb
s
1/2
(4) Lapplication
3/4
(t, s)
1/4
1/2
2t
( 1+s ) si 0 t 1+s
2
y
si 1+s t 1
2
17
cy
1/2
(5) Lapplication
(2t s)
h : (t, s)
(2 2t s)
s
s
si 0 t 2
s
si 2 t 1
2
si 1 t 2s
2
2
si 2s t 1
2
1/2
cx
cx
1/2
hs
Dmonstration. En eet,
c ([ ]) = [c c] = [c c c c] =
[c c][c c] = c ([])c ([]).
c
y
19
1 (X, x)
u
1 (Y, g(x))
Corollaire 2.8 Les groupes fondamentaux de deux espaces connexes par arcs, ayant
mme type dhomotopie, sont isomorphes.
Corollaire 2.9 Tout groupe fondamental despace contractile est trivial.
Soient X un espace topologique et x X. Nous identions lespace topologique
quotient [0, 1]/ {0, 1} (voir lexemple (3) suivant lexercice E.A.101) avec S1 R2 =
C par lhomomorphisme [] e2i . tout lacet dans X dorigine x est ainsi
associ une application continue, encore note , de S1 dans X telle que (1) = x.
Si est un lacet de X, on appelle classe dhomotopie relative la classe dhomotopie relativement {1} de lapplication continue : S1 X ainsi dnie, et, pour
distinguer, classe dhomotopie libre la classe dhomotopie de lapplication continue
: S1 X ainsi dnie.
La proposition suivante est souvent utilise pour vrier ou utiliser lannulation
dune classe dhomotopie.
Proposition 2.10 Soit : S1 X une application continue, telle que (1) =
x. Alors [] = 1 dans 1 (X, x) si et seulement si stend continuement en une
application continue B2 X.
Dmonstration. Si stend continuement en f : B2 X, si i : S1 B2 est
linclusion, alors, par fonctorialit, le diagramme suivant est commutatif :
1 (B2 , 1)
1 (S1 , 1) 1 (X, x) .
i
Or si : [0, 1] S1 = [0, 1]/ {0,1} est le lacet induit par passage au quotient de
lidentit de [0, 1], alors [] = []. Comme 1 (B2 , 1) = {1}, ceci montre le rsultat.
Rciproquement, si [] = 1, alors soit h : S1 [0, 1] X une homotopie entre
et lapplication constante. Alors h factorise en une application continue de lespace
topologique quotient
Y = (S1 [0, 1])/ S1 {1}
Exercice E.6 Soit X un espace connexe par arcs. Montrer que les proprits suivantes sont quivalentes :
X est simplement connexe ;
il existe x dans X tel que 1 (X, x) = 0 ;
1 (X, x) = 0 pour tout x dans X ;
deux chemins de mme origine et mme extrmit sont homotopes (relativement aux extrmits).
Proposition 2.11 Soient X un espace topologique, U et V deux ouverts connexes
par arcs de X, tels que X = U V et tel que U V soit connexe par arcs. Pour tout
x dans U V , si i : U X et j : V X sont les inclusions, alors i 1 (U, x)
j 1 (V, x) engendre 1 (X, x). En particulier, si U et V sont de plus simplement
connexes dintersection non vide, alors X est simplement connexe.
Dmonstration. Soit un lacet en x. Par compacit de [0, 1] et continuit de ,
i
il existe n N non nul tel que ([ n , i+1 ]) soit contenu dans U ou dans V pour tout
n
i
i = 0, ..., n1. Pour tout i = 0, ..., n, soit ci un chemin entre x et ( n ), contenu dans
i
U, V, U V si ( n ) appartient U, V, U V respectivement (ce qui est possible car
U, V, U V sont connexes par arcs), avec c0 et cn constants. On note i le chemin
t ( i+t ). Par le lemme 2.1, le lacet en x est homotope
n
(c0 0 c1 ) (c1 1 c2 ) ... (cn2 n2 cn1 ) (cn1 n1 cn ) .
Pour i = 0, ..., n 1, le chemin ci i ci+1 , est un lacet en x contenu dans U ou dans
V . Donc i 1 (U, x) j 1 (V, x) engendre 1 (X, x).
Montrons la dernire assertion. Si U V est non vide, alors X est connexe par
arcs. Si U et V sont simplement connexes, alors chaque ci i ci+1 est homotope au
lacet constant en x. Donc est homotope au lacet constant en x. Par consquent,
X est simplement connexe.
Corollaire 2.12 Pour n 2, la sphre Sn est simplement connexe.
Dmonstration. Elle scrit comme runion de louvert U complmentaire du ple
nord, et de louvert V complmentaire du ple sud. Les ouverts U, V sont contractiles, donc simplement connexes. Lintersection U V se rtracte par dformation
forte sur lquateur Sn1 , qui est connexe par arcs si n 2.
Corollaire 2.13 Pour n 1, lespace projectif complexe Pn (C) est simplement
connexe.
Dmonstration. On rappelle que pour tout n N{0}, lespace projectif complexe
de dimension n est lespace des droites complexes de Cn+1
Pn (C) = (Cn+1 {0})/C.
22
Pn+1 (C) (voir lexercice E.A.110). Lintrieur B2n+2 de B2n+2 est un ouvert U
de B2n+2 f Pn (C). Le complmentaire de lorigine de B2n+2 est un ouvert V de
B2n+2 f Pn (C). Comme U est contractile, et V se rtracte par dformation forte
sur Pn (C), donc est simplement connexe, la proposition 2.11 montre que Pn+1 (C)
est simplement connexe.
2.3
Autres exercices
{} [0, 1] .
{0}{2n : nN}
Montrer que le peigne est contractile. Soit x0 = (0, 1). Montrer que idX est homotope
lapplication constante en x0 , mais nest pas homotope lapplication constante
en x0 relativement {x0 }.
x0
1
4
1
2
Le peigne
Le ruban de Mbius
Exercice E.8 Montrer que le ruban de Mbius M = [0, 1] [0, 1]/ , o est la
relation dquivalence engendre par (0, s) (1, 1 s), a le mme type dhomotopie
que le cercle S1 . On pourra par exemple montrer que A = ([0, 1] { 1 }), o :
2
[0, 1] [0, 1] M est la projection canonique, est un rtracte par dformation forte
de M.
Exercice E.9 Montrer que le tore trou S1 S1 {(1, 1)} a le mme type dhomotopie que le bouquet de deux cercles (S1 , 1) (S1 , 1) (voir lexemple (4) suivant
lexercice E.A.101 dans la partie A.2 pour la dnition dun bouquet de cercles).
23
(1, 1)
Exercice E.10 Montrer que pour tout n N, le plan euclidien, priv de n points,
a le mme type dhomotopie que le bouquet de n cercles (voir lexemple (4) suivant
lexercice E.A.101 pour la dnition dun bouquet de cercles).
Exercice E.11 1) Soient X un espace topologique et CX = (X [0, 1])/ X {1}
le cne sur X (voir lexemple (1) suivant lexercice E.A.101). On note [x, t] la classe
dans CX de llment (x, t) de X [0, 1]. Montrer que CX est contractile, et que
si x0 = [x, 1] (pour tout x dans X) est le sommet de ce cne, alors CX {x0 } se
rtracte par dformation forte sur X (identi par x [x, 0] avec une partie de
CX).
2) Si f : X Y est une application continue, on appelle cne de f , et on
note C(f ) lespace topologique obtenu par recollement (voir lexemple (5) suivant
lexercice E.A.101 pour la dnition dun recollement) du cne de X sur Y par
lapplication f (comme ci-dessus, X est identi une partie de CX) :
C(f ) = CXf Y .
On note encore x0 limage de x0 CX dans C(f ).
Montrer que C(f ) {x0 } se rtracte par dformation forte sur Y .
Exercice E.12 Soit G un groupe topologique, dlment neutre e. Si f, g : [0, 1]
G sont deux lacets en e, on note f g : [0, 1] G le lacet dni par f g(t) = f (t)g(t).
1) Montrer que les lacets f g et f g sont homotopes (rel {0, 1}).
(En particulier avec les notations qui seront introduites plus loin, les groupes
1 (Tn , 0), 1 (SO(n), e) et 1 (SLn (R), e) sont abliens.)
Exercice E.13 On rappelle tout dabord le thorme de relvement des applications et des homotopies valeurs dans le cercle (voir le corollaire 3.24 pour une
preuve dans un cadre gnral).
Si f : [0, 1] S1 est une application continue, pour tout t0 R tel que
f (0) = e2it0 , il existe une et une seule application continue f : [0, 1] R telle
que f (0) = t0 et f (t) = e2if (t) pour tout t [0, 1].
Si h : [0, 1] [0, 1] S1 est une application continue, et si f : [0, 1] R est
une application continue telle que h(0, t) = e2if (t) pour tout t [0, 1], alors
il existe une et une seule application continue h : [0, 1] [0, 1] R telle que
h(0, t) = f (t) et h(s, t) = e2ih(s,t) pour tout t [0, 1].
24
Z 1 (S1 , x) 1 (S1 , y) Z
est un morphisme de groupe de Z dans Z. Cest donc la multiplication par un entier
n, qui ne dpend pas de x par ce qui prcde. On le note deg(f ), et on lappelle le
degr de f . Cette notion concide avec la notion de degr des applications continues
de Sn dans Sn , introduite dans la partie 6.1 lorsque n = 1.
Dans ce qui suit, f et g sont des applications continues de S1 dans S1 .
2) Si f est une rotation, calculer deg(f ). Pour n N, calculer le degr de lapplication z z n .
3) Montrer que deg(f g) = deg(f )deg(g). En dduire que si f est un homomorphisme, alors deg(f ) = 1.
4) Montrer que deg(f ) = deg(g) si et seulement si f et g sont homotopes. En dduire que deg(f ) = 0 si et seulement si f se prolonge continment en une application
continue f : B2 S1 .
p1 (V )
p
pr1
V
25
et tel que |{b}Kn : {b}Kn p1 (b) soit un isomorphisme despaces vectoriels pour
tout b V . Par exemple, le br tangent dune varit direntielle C1 de dimension
n est un br vectoriel rel de rang n (voir un cours de gomtrie direntielle, par
exemple [Laf, Die1, DNF, Pau1]).
1) Soit E B un br vectoriel. Montrer que E et B ont mme type dhomotopie.
Deux brs vectoriels topologiques p : E B et p : E B au-dessus de B
sont dit isomorphes sil existe un homomorphisme : E E tel que le diagramme
suivant commute
E E
p
p
B
et tel que |p1 (b) : p1 (b) p 1 (b) soit un isomorphisme despaces vectoriels pour
tout b B. Un br vecoriel est trivial sil est isomorphe au br vectoriel pr1 :
B Kn B.
2) On rappelle quun espace topologique est paracompact si de tout recouvrement ouvert, on peut extraire un sous-recouvrement localement ni (i.e. tel que
tout point admette un voisinage ne rencontrant quun nombre ni de parties du
sous-recouvrement). Montrer que tout br vectoriel, de base contractile et paracompacte, est trivial.
26
3
3.1
Revtements
Catgorie des revtements
Dans cette partie, nous dnissons la catgorie des revtements au-dessus dun
espace topologique donn.
Lapplication f : R S1 dnie par t e2it vrie la proprit suivante : pour
tout x = e2i dans S1 , si V = S1 {x}, alors f 1 (V ) = kZ ] + (2k 1), +
(2k +1)[ (union disjointe) et la restriction de f chaque ]+(2k 1), +(2k +1)[
est un homomorphisme sur V .
Pour tout espace topologique X et tout espace discret D non vide, la premire
projection pr1 : X D X est aussi, en restriction chaque X {d}, un homomorphisme sur X.
Soient X et B deux espaces topologiques, et f : X B une application continue.
On dit que f est un revtement si pour tout y B, il existe un voisinage V de y
dans B, un espace discret D non vide et h : V D f 1 (V ) un homomorphisme
tel que le diagramme suivant commute :
h
f 1 (V )
f
pr1
V
.
V D
X X
f
f
B
.
Lapplication id est un morphisme de revtements, dit identit de f sur f . Si f :
X B est un revtement de base B et un morphisme de revtements de f sur
f , alors est un morphisme de revtements, dit compos. On dnit ainsi la
catgorie des revtements au-dessus dun espace topologique donn B.
Un isomorphisme de revtements de f sur f est un isomorphisme de f sur f
dans la catgorie ainsi dnie, i.e. un morphisme de revtements : X X de
27
3.2
Dans cette partie, nous comparons les homomorphismes locaux et les revtements.
Soient X et Y deux espaces topologiques. Un homomorphisme local est une
application continue f : X Y telle que pour tout x dans X, il existe un voisinage
ouvert U de x tel que f (U) soit ouvert et f|U : U f (U) soit un homomorphisme.
Remarques.
28
(4) Si X, Y sont deux varits direntielles de mme dimension, alors une application direntiable f : X Y est une submersion (i.e. sa direntielle en
chaque point est surjective) si et seulement si elle est une immersion (i.e. sa
direntielle en chaque point est injective), et alors f est un homomorphisme
local, par le thorme dinversion locale (voir un cours de gomtrie direntielle, par exemple [Laf, Die1, DNF, Pau1]).
(5) Si f : X B est un revtement et si B est connexe, alors le cardinal de f 1 (y)
est constant en y.
Un revtement f : X B est un revtement ni si pour tout y dans B, le
cardinal de f 1 (y) est ni. Soit n N {0}. Un revtement f : X B est un
revtement n feuillets si pour tout y dans B, le cardinal de f 1 (y) est n. Un
revtement un feuillet est un homomorphisme (car il est alors injectif, et tout
revtement est continu, ouvert, surjectif).
Proposition 3.2 Soit f : X Y un homomorphisme local, et supposons que X
soit spar. Si lune des conditions suivantes
le cardinal de chaque bre f 1 (y) est ni constant non nul,
f est propre (voir la dnition A.22) et Y connexe,
est vrife, alors f est un revtement ni, donc n feuillets pour un n N {0}.
3.3
Cette partie est compose de rappels sur les actions de groupes et sur les groupes
topologiques.
Un groupe topologique est un ensemble G muni dune structure de groupe et
dune structure despace topologique compatibles, i.e. telles que lapplication
G G G
(x, y) xy 1
est continue. Un morphisme de groupes topologiques est un morphisme de groupe
qui est continu. Munies de la composition des applications, ces donnes dnissent
une catgorie (voir la n de la partie 5.1). Un isomorphisme de groupes topologiques
est un isomorphisme dans cette catgorie, ou, de manire quivalente, un isomorphisme de groupes qui est un homomorphisme. Deux groupes topologiques sont
isomorphes si ce sont des objets isomorphes dans cette catgorie, cest--dire sil
existe un isomorphisme de groupes topologiques de lun sur lautre.
Exemple. Soit G un groupe. Muni de la topologie discrte, G est un groupe topologique, que lon appelle groupe discret.
Soit n N {0}. Notons GLn (C) le groupe linaire complexe des matrices
complexes n-n inversibles, muni de la topologie induite par la topologie usuelle sur
2
Cn , et GLn (R) le sous-groupe des matrices coecients rels, appel le groupe
linaire rel. Soient
SLn (C) = {x GLn (C) : det x = 1}
le groupe spcial linaire complexe,
U(n) = {x GLn (C) : x1 = x }
le groupe unitaire, o x = xt est la matrice adjointe de x, et SU(n) = U(n)SLn (C)
le groupe spcial unitaire. Soient
SLn (R) = {x GLn (R) : det x = 1}
30
3. Montrer que GLn (C) est ouvert dans Cn , et que GLn (R) est ouvert dans Rn .
4. Montrer que GLn (C) est un groupe topologique localement compact.
5. Montrer que SLn (C), U(n), SU(n), GLn (R), SLn (R), O(n) et SO(n) sont des
sous-groupes ferms de GLn (C). Ce sont donc des groupes topologiques localement compacts.
6. Montrer que GLn (C), SLn (C), U(n), SU(n), GLn (R), SLn (R), O(n) et SO(n) sont
des varits topologiques (mtrisables sparables), donc sont localement contractiles.
7. Montrer que S1 = {z C : |z| = 1}, muni de la multiplication des nombres
complexes, est un groupe topologique, isomorphe (en tant que groupe topologique) SO(2) et U(1).
8. Montrer que U(n), SU(n), O(n) et SO(n) sont compacts.
9. Montrer que U(n), SU(n) et SO(n) sont connexes par arcs, et que O(n) a deux
composantes connexes.
2
1
pel dcomposition polaire de GLn (C) ), dinverse x ( x x, x x x). En
2
dduire que GLn (C) est homomorphe U(n) R n , que SLn (C) est homon(n+1)
2
morphe SU(n) R n 1 , que GLn (R) est homomorphe O(n) R 2 , que
n(n+1)
SLn (R) est homomorphe SO(n) R 2 1 .
Soient X un espace topologique et G un groupe topologique. Une action (
gauche) continue de G sur X est une action ( gauche) de G sur X qui est continue,
31
Exemple. Une action dun groupe discret G sur un espace topologique est continue
si et seulement si x gx est continue pour tout g dans G.
Soit G un groupe agissant sur un ensemble X. La relation
xRy ( g G, y = gx)
est une relation dquivalence. La classe dquivalence dun point de X est appele
lorbite de ce point. Lensemble des classes dquivalence est not G\X, et appel
lespace des orbites de G dans X.
Soient G un groupe et H un sous-groupe. Alors H agit par translation gauche
sur G :
H G G
(h, g) hg .
qui est continue, est propre (i.e. ferme, et dont les images rciproques de points sont
compactes, voir la partie A.4 dans lappendice). Lorsque G est discret, une action
(continue) propre de G sur X est aussi appele une action proprement discontinue.
Proposition 3.3 Si X est localement compact et G spar, une action continue de
G sur X est propre si et seulement si, pour tout compact K de X, la partie
{g G : K gK = }
est compacte dans G.
Une action (continue) dun groupe discret sur un espace localement compact est
donc proprement discontinue si et seulement si pour tout compact K de X, la partie
{g G : K gK = } est nie. Cest cette dnition quil faut retenir/utiliser
dans la plupart des applications.
Dmonstration. Si laction est propre, pour tout compact K de X, alors gr1 (K
K) est compact (voir la proposition A.22), donc {g G : K gK = } =
pr1 (gr1 (K K)) est compact.
Rciproquement, pour tout compact L de X X, soit K un compact de X tel
que L K K (par exemple K = pr1 (L) pr2 (L) X). Alors gr1 (L) est un
ferm, contenu dans le compact {g G : K gK = } K, donc est compact.
Comme X X est localement compact et G X spar, la proposition A.22 montre
que gr est propre.
Proposition 3.4 Si X et G sont spars et si G agit proprement sur X, alors les
orbites sont fermes et lespace des orbites G\X est spar.
Dmonstration. Comme lapplication graphe gr est propre, elle est ferme, donc
son image im gr = {(x, y) X X : g G, y = gx} est ferme dans X X.
Si x nest pas dans la mme orbite que y, alors (x, y) nest pas dans imgr, donc il
existe U, V ouverts de X tels que (x, y) U V X X im gr. Alors (U), (V )
sont des ouverts (car est ouverte), disjoints (car (U V ) im gr est vide), et
contenant (x), (y) respectivement. Donc G\X est spar.
Les orbites, images rciproques par (continue) des singletons (ferms car G\X
est spar) sont donc fermes.
Exercice E.16
1. Si G est un groupe topologique compact agissant (continuement) sur un espace topologique spar X, montrer que laction de G sur X
est propre.
2. Montrer que les espaces topologiques quotients SLn (C)/ SU(n) et SLn (R)/ SO(n)
n(n+1)
2
sont homomorphes respectivement Rn 1 et R 2 1 .
33
gx = g x g = g .
3.4
gG
pr1 (Fg ) Fg
1
par (, (z0 , ..., zn )) (z0 , ..., zn ). Cette action est libre, donc Ln,p = Up \S2n+1
est un espace topologique spar, appel espace lenticulaire, et la projection
canonique S2n+1 Ln,p est un revtement p feuillets (par le corollaire 3.6).
3.5
X
p
B .
Une section de p est un relvement de lidentit B B, cest--dire une application continue s : B X telle que p s = idB :
X
s
p
B .
Exemples. (1) Si p est un revtement trivial, si y Y , b = f (y) et x p1 (b) alors
A1 = {u Y : f (u) = f (u)} ,
3.6
Dans cette partie, nous montrons que les revtements ont la proprit de relvement unique des chemins et des homotopies.
Proposition 3.10 (Relvement des chemins) Soit p : X B un revtement.
Pour tout chemin dans B dorigine b, pour tout x dans p1 (b), il existe un unique
relvement de dorigine x.
Cette proposition est en fait un cas particulier de la proposition suivante, en
prenant pour Y lespace rduit un point.
Proposition 3.11 (Relvement des homotopies) Soient p : X B un revtement et f : Y B une application continue, admettant un relvement f : Y X.
Pour toute application continue h : Y [0, 1] B telle que h(, 0) = f (), il existe
un unique relvement h de h tel que h(, 0) = f ().
Dmonstration. Le rsultat est immdiat si p est trivial.
Par compacit de [0, 1], pour tout y Y , il existe un voisinage ouvert Uy de y
et n = ny N non nul tel que h(Uy [ i1 , i+1 ]) soit contenu dans un voisinage
n
n
i
distingu Vy,i de h(y, n ).
Soit g0 un relvement de h|Uy [0, 1 ] tel que g0 (z, 0) = f (z) pour tout z dans Uy . Par
n
i
i
rcurrence, on construit un relvement gi de h|Uy [ i , i+1 ] tel que gi (z, n ) = gi1 (z, n )
n n
pour tout z dans Uy . En recollant ces relevs, on obtient un relvement gy de h|Uy [0,1]
tel que gy (z, 0) = f (z) pour tout z dans Uy .
37
(0) = (0)
p
(1) = (1)
(0) = (0)
Corollaire 3.12 Si et sont deux chemins homotopes, si et sont des relvements de et respectivement ayant mme origine, alors et ont mme
extrmit et sont homotopes.
Dmonstration. Si h : [0, 1] [0, 1] B est une homotopie entre et , telle que
h(t, 0) = (t), h(t, 1) = (t), h(0, s) = (0) = (0), h(1, s) = (1) = (1) ,
si h : [0, 1] [0, 1] X est le relvement de h tel que h(t, 0) = (t), alors par
lunicit dans la proposition 3.10, et comme les chemins constants se relvent en des
chemins constants, nous avons
h(t, 1) = (t), h(0, s) = (0) = (0), h(1, s) = (1) = (1) .
Corollaire 3.13 Soient x X et b = p(x). Le morphisme p : 1 (X, x) 1 (B, b)
est injectif.
Dmonstration. Soit un lacet en x dans X. Si le lacet p en b dans B est
homotope au lacet constant en b, alors , qui par unicit est le relev de p
dorigine x, est homotope au lacet constant en x, par le corollaire 3.12.
Corollaire 3.14 Soient p : X B un revtement, despace total X connexe par
arcs, b B et x p1 (b). Les proprits suivantes sont quivalentes :
38
3.7
Dans cette partie, nous construisons et tudions une action naturelle du groupe
fondamental de la base sur la bre dun revtement.
Soient p : X B un revtement, b B et F = p1 (b) la bre au-dessus de b.
Pour tout x dans F et g 1 (B, b), soit un lacet en b dans B reprsentant g.
On note xg = (1) F lextrmit de lunique relvement de dorigine x. Par
le corollaire 3.12, le point xg de F ne dpend pas du choix du reprsentant de g.
Proposition 3.15 Lapplication (g, x) xg est une action droite du groupe
1 (B, b) sur la bre F .
Dmonstration. Par unicit, pour tous les lacets et
en b, le relvement dorigine x de la concatnation des
chemins est la concatnation du relvement de
dorigine x et du relvement de dorigine (1). Le
relev dorigine x du chemin constant en b est le chemin
constant en x. On obtient donc
x F, g, g 1 (B, b),
(xg)g = x(gg )
et
xe = x
x[]
x
Comme P1 (R) est homomorphe au cercle, nous avons bien sr 1 (P1 (R)) Z.
3. Comme S2n+1 Up \S2n+1 = Ln,p est un revtement, et puisque S2n+1 est
simplement connexe pour n 1, le groupe fondamental de lespace lenticulaire
Ln,p est donc
1 (Ln,p ) Z/pZ .
41
3.8
Dans cette partie, nous tudions lexistence de relvements dapplications valeurs dans la base dun revtement.
Thorme 3.23 (Thorme du relvement) Soient p : X B un revtement,
Y un espace connexe et localement connexe par arcs, et f : Y B une application
continue. Soient y Y , b = f (y) et x p1 (b). Il existe un relvement f : Y X
de f tel que f (y) = x si et seulement si
f 1 (Y, y) p 1 (X, x) .
Dmonstration. Si un tel relvement existe, le diagramme suivant
f
(Y, y)
(X, x)
p
(B, b)
f (z)
pc
f
z
f (z)
on en dduit que et ont mme extrmit. Donc f (z) ne dpend pas du choix de
.
Soit U un voisinage ouvert de f (z) tel que p(U) soit ouvert et p|U soit un homomorphisme sur son image. Soit V f 1 (p(U)) un voisinage ouvert connexe par
arcs de z. Pour tout w dans V , si est un chemin de z w contenu dans V , alors
f (w) est lextrmit du relvement de f ( ) = f () (f ) dorigine x, donc
appartient U. Par consquent, f est continue.
42
X X
f
f
Y
X X
p
B
B .
B .
X
q
g
X
p
B
44
Montrer que le revtement p (ainsi que lapplication g) est dtermin ( isomorphisme prs) par les deux proprits ci-dessus.
3.9
Dans cette partie essentiellement technique, nous introduisons les outils permettant de montrer lquivalence des dnitions de revtement galoisien (voir la partie
3.10). Nous tudieons pour cela les proprits des morphismes de revtements.
Soient p : X B et p : X B deux revtements, b B, F = p1 (b) la bre
au-dessus de b dans X et F = p 1 (b) celle dans X .
Soit f : X X un morphisme de revtements de p sur p . En particulier,
f (F ) F . De plus,
g 1 (B, b), x F,
f (xg) = f (x)g .
Mor(p|Xi , p ) et
iI
iI
Mor1 (B,b) (F Xi , F ) .
Cest un morphisme de groupe injectif par (). Pour tout n dans N(H), lapplication : G H\G dnie par (g) = Hng, vrie (hg) = Hnhg = H(nhn1 )ng =
(g) pour tout h dans H. Elle induit donc une application n : H\G H\G. Celleci est G-quivariante et bijective, dinverse n1 , et son image par AutG (H\G)
H\N(H) est Hn.
En particulier, le groupe des bijections G-quivariantes de H\G (pour laction
droite de G sur H\G) agit transitivement sur H\G si et seulement si N(H) = G,
cest--dire si et seulement si H est distingu dans G.
Corollaire 3.33 Si p : X B est un revtement, despace total X connexe et localement connexe par arcs, et si x X, alors les groupes Aut(p) et p 1 (X, x)\N(p 1 (X, x))
sont isomorphes.
Dmonstration. Soient b = p(x) et F = p1 (b). Puisque X est connexe par arcs
(cest un exercice classique, voir par exemple la proposition 2.6 de [Pau2]), laction droite de G = 1 (B, b) sur F est transitive, donc il existe une bijection
G-quivariante entre F et H\G o H est le stabilisateur de x par laction de G sur
47
F , qui est p 1 (X, x) (voir les propositions 3.17 et 3.16). Par le corollaire 3.29 et le
lemme prcdent, on a donc
Aut(p) AutG (H\G) H\N(H) = p 1 (X, x)\N(p 1 (X, x)).
Voici enn les dernires proprits des automorphismes de revtements dont nous
aurons besoin dans la suite.
Proposition 3.34 Soit p : X B un revtement, despace total X connexe et
spar, et B localement connexe. Le groupe discret = Aut(p) des automorphismes
de p agit (continuement) proprement et librement sur X. Si est un sous-groupe
de et si f : \X B est lapplication induite par p, alors f est un revtement,
et la projection canonique : X \X est un morphisme de revtements de p sur
f.
Dmonstration. Comme X est connexe, le groupe agit librement sur X par
le corollaire 3.9. Soit gr : X X X lapplication graphe (g, x) (x, gx).
Comme agit librement et comme X est spar, limage rciproque dun point
par gr est un point, donc compact. Soient F un ferm de X et (x, y) gr(F ).
Comme p p est continue et B spar (voir les exercices E.23 dans la partie 3.13 et
E.A.108 dans la partie A.5), si est la diagonale de B B, alors
(p p)(x, y) (p p)( gr(F ) ) (p p)(gr(F )) = .
Donc p(x) = p(y). Soit V un voisinage distingu connexe de p(x), et Vx , Vy les
composantes connexes de p1 (V ) contenant x, y respectivement. Comme (x, y)
gr(F ), lintersection (Vx Vy ) gr(F ) est non vide. Soient g et u X tels
que u Vx et gu Vy . Comme g est un automorphisme de revtements de p, on a
donc gVx = Vy et en particulier y = gx. Donc gr est ferme. Par consquent, agit
proprement.
Tout sous-groupe de agit aussi librement et proprement. Si V est un ouvert
distingu connexe dans B pour p, alors, permutant les composantes connexes de
p1 (V ), il est immdiat que V est aussi un ouvert distingu dans B pour f .
Proposition 3.35 Soient p : X B et p : X B deux revtements, despaces
totaux X et X connexes et de base B localement connexe. Si : X X est un
morphisme de revtements de p sur p , alors est un revtement.
Dmonstration. Soient x X , b = p (x ) et V un voisinage connexe de b, distingu pour p et p . Soit s : V p 1 (V ) la section de p |p1 (V ) telle que s (b) = x .
Si (X) rencontre s (V ), soient y X et b V tels que (y) = s (b ). Soit
s : V p1 (V ) la section de p|p1(V ) telle que s(b ) = y. Alors s et s sont deux
sections de p|p1 (V ) qui concident en b , donc sont gales, car V est connexe (voir le
corollaire 3.9). En particulier, comme x s (V ), on a x (X). Donc si x (X),
/
Pour tout x dans 1 (x ), qui est discret, car contenu dans la bre p1 (p (x )),
notons sx : V p1 (V ) la section de p|p1 (V ) telle que sx (b) = x. Comme ci-dessus,
sx = s . Donc lhomomorphisme s (V ) 1 (x ) 1 (s (V )) = p1 (V ) dni
par (u, x) sx p (u) est une trivialisation de au-dessus de s (V ).
En particulier, est ouverte. Do (X) est ouvert et ferm dans X , donc est
gal X par connexit. Comme 1 (x ) est non vide, on en dduit que est un
revtement.
3.10
Revtements galoisiens
Le but de cette partie est de dcrire de manire intrinsque la collection des revtements isomorphes aux revtements de la forme X G\X o G est un groupe
discret agissant librement et proprement sur un espace topologique spar X.
Thorme 3.36 Soient p : X B un revtement, despace total X connexe et localement connexe par arcs, x X, b = p(x) et F = p1 (b). Les conditions suivantes
sont quivalentes :
(1) laction de Aut(p) sur F est transitive ;
(2) p 1 (X, x) est distingu dans 1 (B, b) ;
(3) p 1 (X, y) = p 1 (X, z) pour tous y et z dans F ;
(4) pour tout lacet de B en b, ou bien tout relvement de est un lacet, ou bien
aucun relvement de nest un lacet.
Si X est spar, ces conditions sont quivalentes :
(5) il existe un groupe discret agissant librement et proprement sur X et un
homomorphisme f : \X B tels que si : X \X est la projection
canonique, alors le diagramme suivant commute :
X
\X
B .
Si lassertion (3) est vrie, pour tout lacet en b dans B, soit c son relvement
dorigine x, soit y lextrmit de c, et soit c : 1 (X, x) 1 (X, y) lisomorphisme de
groupe [] [c c] (voir la proposition 2.3). Comme p ([c c]) = []1 p ([])[],
nous avons alors
[]p 1 (X, x)[]1 = p (c (1 (X, x))) = p 1 (X, y) = p 1 (X, x) ,
donc lassertion (2) est vrie.
Supposons maintenant que X est spar. Si lassertion (5) est vrie, alors
est contenu dans Aut() et agit transitivement sur chaque bre de , donc (1) est
vrie. Rciproquement, si lassertion (1) est vrie, par la proposition 3.34, le
groupe discret = Aut(p) agit proprement et librement sur X, et lapplication f :
\X B induite par p est un revtement un feuillet, donc un homomorphisme,
tel que f = p. Par consquent, lassertion (5) est vrie.
a
b
X
a
b
a
a
a
a
b
p
B
B
a
B
a
B
a
b
50
3.11
Revtements universels
Attention, la proprit dtre semilocalement simple connexe nest pas une proprit locale (cest--dire un ouvert dun espace topologique semilocalement simplement connexe ne lest pas forcment). Par exemple, le cne CB sur lanneau hawaen
B est contractile, mais le cne CB priv de son sommet est un ouvert qui se rtracte
par dformation forte sur B, donc nest pas semilocalement simplement connexe.
Thorme 3.39 Soit B un espace topologique spar, connexe et localement connexe
par arcs. Alors B admet un revtement simplement connexe si et seulement si B est
semilocalement simplement connexe.
Dmonstration. Si p : X B est un revtement simplement connexe de B, pour
tout point b de B, si V est un voisinage distingu de b, et s : V X une section de
p|p1 (V ) , alors linclusion i : V B est gale p s, donc par fonctorialit, i = 0.
Rciproquement, si B est semilocalement simplement connexe, soit b B, soit B
lensemble des classes dhomotopie (relativement extrmits) des chemins dorigine
b et soit
:B B
[] (1)
lapplication quotient de lapplication dvaluation en 1, qui est surjective car B est
connexe par arcs.
On munit lensemble des chemins dans B dorigine b de la topologie compacteouverte, et B de la topologie quotient. Comme lapplication dvaluation en un point
est continue pour la topologie compacte-ouverte (voir lexercice E.A.107), lapplication est continue.
Le groupe discret G = 1 (B, b) agit sur B par
GB B
([], []) [ ] .
Cette action est continue et libre, car si [] = [], alors [] est la classe dhomotopie
[b ] du lacet constant b en b. Les orbites de G sont les bres de , car si ([]) =
([ ]), alors est un lacet en b et [ ] = [ ][].
Si p : B G\B est la projection canonique, alors lapplication induit par
passage au quotient une application f : G\B B telle que le diagramme suivant
commute
B
p
G\B B ,
Dmonstration. Soit [] dans B. Par compacit de [0, 1], il existe n N {0} et,
pour i = 0, ..., n 1, des ouverts Vi connexes par arcs, tel que
(i) tout lacet dans Vi est homotope dans B au lacet constant,
i
(i) ([ n , i+1 ]) est contenu dans Vi .
n
Soit O louvert de lespace des chemins dans B dorigine b, form des chemins
i
i
dorigine b tels que ([ n , i+1 ]) Vi et ( n ) appartient la mme composante
n
i
connexe par arcs de Vi Vi1 que ( n ) (les composantes connexes par arcs dun
espace localement connexe par arcs sont ouvertes, voir la n de la partie A.1).
Soient et dans O tels que (1) = (1).
V2
1
( n )
2
( n )
V0
b
Vn1
(1)
2
( n )
1
( n )
|[ i , i+1 ] .
n
Soit c le chemin
En particulier, deux chemins dans B, susamment proches, ayant mmes extrmits, sont homotopes (relativement aux extrmits). Soit O lensemble des classes
dhomotopie (relativement aux extrmits) des lments de O. Cet ensemble O est
ouvert dans B (car le satur de O est ouvert).
Soient g G et [ ], [ ] O tels que [ ] = g[ ]. Alors (1) = (1), donc par
ce qui prcde, [ ] = [ ]. Comme G agit librement, nous avons donc g = e.
Nous avons (O) = Vn1 par la dnition de O et la connexit par arcs de Vn1 ,
donc (O) est ouvert dans B.
Lemme 3.41 Lapplication est ouverte, lespace B est spar, et laction de G
sur B est propre.
Dmonstration. Lapplication est ouverte par le lemme prcdent.
Montrons que lespace B est spar. Soient x, et y dans B. Si (x) = (y), comme
est continue et B spar, alors x, et y ont des voisinages disjoints. Si (x) = (y),
alors il existe g dans G tel que y = gx. Donc Ox et gOx sont des voisinages ouverts
de x et y, disjoints sauf si g = e, cest--dire x = y.
Soit gr : G B B B lapplication graphe. Puisque G agit librement, limage
rciproque dun singleton est un singleton, donc est compact car G B est spar.
Comme f est continue et bijective, lespace quotient G\B est spar. Donc la
diagonale de (G\B) (G\B) est ferme, et limage im(gr) = (p p)1 () est
ferme dans BB. Lapplication gr1 : im(gr) GB est ([], [ ]) ([ ], []),
donc est continue. Donc gr est ferme.
53
Par le lemme prcdent, lapplication f est ouverte, donc est un homomorphisme, et p est un revtement (voir le thorme 3.5). Par consquent, est un
revtement.
Il sut maintenant de montrer que B est simplement connexe.
Soient c un chemin dorigine b dans B et ct : s c(st), qui est un chemin dans B,
pour tout t [0, 1]. Comme (s, t) c(st) est continue et comme C ([0, 1][0, 1], B) =
C ([0, 1], C ([0, 1], B)) (voir lexercice E.A.107), lapplication t [ct ] est un chemin
dans B, dorigine [b ] et dextrmit [c]. Donc B est connexe par arcs.
De plus, t [ct ] est le relvement de c dorigine [b ] pour le revtement . Soit
un lacet en [b ] dans B. Comme est le relvement de dorigine [b ], on a
par unicit (t) = [( )t ] pour tout t [0, 1]. Si h(t, s) = [(( )t )s ], alors h est
une homotopie entre [b ] et .
(Remarque. Voici une autre preuve. Soient c, et c deux lacets dorigine b dans B. Les
relvements de c, et c dorigine [b ] sont t [ct ] et t [c ] respectivement. Sils ont mme
t
extrmit, alors [c] = [c ], donc c et c sont homotopes. Le corollaire 3.14 montre que B est
simplement connexe.)
3.12
Le but de cette partie est dtablir une correspondance entre les revtements
connexes dun espace topologique (susamment gentil) et les sous-groupes de son
groupe fondamental.
Soit B un espace topologique spar, connexe, localement connexe par arcs, et
semilocalement simplement connexe. Fixons-nous un point b B, un revtement
universel : B B de B et x 1 (b). Identions Aut() avec 1 (B, b) comme
la n de la partie prcdente.
54
Si H est un sous-groupe de Aut(), alors lapplication : B B induit une application H : H\B B, appele le revtement de B associ H. Nous appelerons
revtement connexe de B tout revtement de B despace total connexe.
Thorme 3.43 Lapplication H H induit une bijection de lensemble des
classes de conjugaison de sous-groupes de Aut() sur lensemble des classes disomorphisme de revtements connexes de B. Elle induit aussi une bijection de lensemble des sous-groupes distingus de Aut() dans lensemble des classes disomorphisme de revtements galoisiens de B, ainsi que, pour tout n N, une bijection
de lensemble des classes de conjugaison de sous-groupes dindice n de Aut() dans
lensemble des classes disomorphisme de revtements n feuillets de B.
Dmonstration. Soit G = Aut(). Par construction, la bre de H au-dessus de b
est en bijection G-quivariante avec H\G, et donc est de cardinal n si et seulement
si H est dindice n dans G
Lapplication H est un revtement par la proposition 3.34, qui est galoisien si
et seulement si H est distingu dans G, par le thorme 3.36.
Si H et H sont conjugus par g G (cest--dire si H = gHg 1), alors lautomorphisme de revtements g : B B de induit un isomorphisme de revtements
H\B H \B de H sur H (dni par Hx Hgx). Donc lapplication H H
induit une application de lensemble des classes de conjugaison de sous-groupes
de G dans lensemble des classes disomorphisme de revtements connexes de B.
Rciproquement, si les revtements H et H sont isomorphes, alors par le co
rollaire 3.29, les bres de H et H au-dessus de b sont en bijection G-quivariante.
Donc il existe une bijection G-quivariante : H\G H \G. Si (He) = H g0 , par
G-quivariance de , on a pour tout h dans H,
H g0 = (He) = (Hh) = (He)h = H g0 h ,
1
1
donc g0 Hg0 H , et en utilisant 1 , nous avons g0 Hg0 = H . Donc est
injective.
X
X
p
(2) Soient H un sous-groupe distingu de G = Aut(), et H\G le groupe quotient. Alors son revtement associ H : H\B B est galoisien, et nous avons un
isomorphisme de groupes
Aut(H ) H\G .
Le groupe discret H\G agit donc librement et proprement sur H\B, avec quotient
homomorphe B (voir la proposition 3.34).
pE 1 (b)
|p1 (b)
pE 1 (b)
E
f
E .
Remarque. Ce rsultat dit que la catgorie des revtements dun espace B (vriant
les hypothses de cette partie) est quivalente la catgorie des ensembles non vides
munis dune action de 1 B.
3.13
Autres exercices
Xn
1) Montrer quil existe un revtement pn : Xn B, unique isomorphisme
de revtements prs, tel que la restrition de pn chaque copie de B Sn soit un
homomorphisme sur son image, et la restriction de p R soit un revtement de Sn .
Montrer que pn et pm sont deux revtements de B non isomorphes pour n = m.
2) Pour toute suite (i )iN dans {1, +1}, notons c(i ) le lacet dans B en x dont
n+1
1
1
la restriction [1 21 , 1 2n+1 ] vaut t n (en 2i2 t +1) (cest--dire quil parcourt
n
le cercle Sn vitesse 2n+1 dans le sens positif si n = 1, et ngatif sinon), pour tout
n N. Vrier que c(i ) est bien un lacet dans B en x. Montrer que si n = n , alors
les actions des lacets c(i ) et c(i ) sur la bre p1 (x) du revtement pn sont direntes.
n
3) En dduire que le groupe fondamental de B est non dnombrable.
Exercice E.27 Soient p : X Y et q : Y B des revtements, tels que q soit
ni. Montrer que q p : X B est un revtement. (En particulier, la composition
de deux revtemens nis est un revtement ni.) Donner un exemple de deux revtements p : X Y et q : Y B tels que p soit un revtement ni et que q p ne
soit pas un revtement (on pourra prendre q un revtement deux feuillets, B gal
lanneau hawaien (voir lexercice E.20), et p un revtement pn comme ci-dessus).
Exercice E.28 Quel est le nombre de classes disomorphisme de revtements connexes
deux feuillets du bouquet de k cercles ? Combien sont galoisiens ?
Pour n = 1, ..., 5, quel est le nombre (de classes disomorphismes) de revtements
connexes n feuillets du bouquet de deux cercles S1 S1 ? Combien sont galoisiens ?
Quels sont leurs groupes dautomorphismes de revtements ?
Exercice E.29 Construire un revtement universel du bouquet de deux cercles S1
S1 et de S1 S2 .
Exercice E.30 Quels sont ( isomorphisme prs) les revtements connexes du tore
S1 S1 , de lespace lenticulaire Ln,p , de S1 S2 ?
Exercice E.31 Soit S2 la sphre unit de R3 , soit S3 la sphre des (z1 , z2 ) C2
tels que |z1 |2 + |z2 |2 = 1, et soit G le sous-groupe des isomtries de C engendr par
(1) Montrer que G est ni. Montrer que p est un revtement. Calculer le groupe
fondamental de B.
(2) Donner, isomorphisme de revtements prs, la liste des revtements connexes
de B. Parmi ceux-ci lesquels sont galoisiens ?
Exercice E.32 Notons S1 = {z C : |z| = 1} le cercle, et T = S1 S1 le tore. Le
groupe deux lments G = {1} agit sur T par
(, (w, z)) = (w , z )
avec w, z S1 et G. Notons S lespace topologique quotient G\T et : T S
la projection canonique.
(1) Calculer 1 (T {x1 , ... , xk }), o x1 , ..., xk sont des points deux deux distincts
de T .
(2) Montrer que G laisse xe exactement quatre points x1 , x2 , x3 , x4 de T , et que
: T {x1 , ... , x4 } S {(x1 ), ... , (x4 )} est un revtement.
(3) Montrer, laide de dessins, que S est homomorphe la sphre S2 .
Exercice E.33 Soit C lensemble des couples (p, q) C2 tels que 4p3 + 27q 2 = 0.
Rappelons que, pour (p, q) C, lquation X 3 + pX + q = 0 admet trois racines
complexes distinctes. Notons
B = {(p, q, x) C C : x3 + px + q = 0}
et
A = {(x, y, z) C3 : x + y + z = 0, x = y = z = x} .
Montrer que C et S3 K ont le mme type dhomotopie. Montrer que K est homomorphe au cercle S1 = {(z, w) S3 : w = 0}, mais que S3 K et S3 S1 ne
sont pas homomorphes.
59
3.14
revtements
galoisiens
revtements
non galoisiens
non nuls distincts dans Z/2Z ont des noyaux distincts, et deux morphismes non nuls
dans Z/3Z ont mme noyau si et seulement si lun est le double de lautre.
Donc, il y a exactement 2k 1 classes disomorphisme de revtements connexes
k 1
deux feuillets de Bk , et 3 2 (donc A si k = 2) classes disomorphisme de revtements
connexes galoisiens trois feuillets, du bouquet de k cercles.
Remarque. : Les seuls groupes dordre 2 ou 3 sont tous les deux abliens. Tout
morphisme de Lk dans un groupe ablien factorise travers lablianis de Lk , qui
est le groupe ablien libre Zk de rang k. On peut donc aussi se ramener compter
le nombre de sous-groupes dindice 2 ou 3 de Zk .
Calculons maintenant le nombre de revtements connexes non galoisiens du bouquet de deux cercles. Tout revtement X dun bouquet de cercles B est un graphe,
et si on oriente les cercles de B, alors chaque arte de X est naturellement munie dune orientation (cest--dire lapplication de revtement p : X B prserve
lorientation). Si x est le point base de B, alors par relvement des chemins, tout
cercle orient c de B dnit une permutation c de F = p1 (x), avec c (x) lextrmit de lunique arte de X au-dessus de c dorigine x. Rciproquement, la donne
pour tout cercle c de B dune permutation c de F = p1 (x) dnit un graphe X,
densemble de sommets F , en recollant une arte oriente dorigine x et dextrmit
c (x) pour tout x dans F et tout cercle c de B. Ce graphe X revt naturellement B.
Tout isomorphisme de revtements dun revtement p : X B induit une bijection
de F = p1 (x). Comme il prserve les relvements de chemins, cet isomorphisme
de revtements induit donc une conjugaison sur les permutations c c 1 .
Comme il existe un unique homomorphisme homotopie prs de lintervalle
[0, 1] dans lui-mme xant 0 et 1, on en dduit que lensemble des classes disomorphisme de revtements (par forcment connexes) n feuillets du bouquet de k
cercles est en bijection avec
Sn k /Sn
o Sn est le groupe symtrique sur n lettres, le quotient tant pris pour laction
diagonale de Sn par conjugaison sur chacun des facteurs de Sn k .
Dans le cas particulier o k = 2 et n = 3, alors modulo conjugaison, il existe
trois permutations de S3 , qui sont id, la transposition, le cycle de longueur 3, correspondant aux trois possibilits suivantes de relvement dun cercle de B (modulo
permutations de la bre) :
61
Si le revtement est non galoisien, alors le relvement dun des deux cercles
orients de B est du second type. Si le revtement est connexe, le relvement de
lautre cercle orient de B est alors du second ou troisime type. Il est alors facile
de montrer quil y a trois classes disomorphismes de revtements non galoisiens
connexes trois feuillets du bouquet de 2 cercles.
et s : z z
(1) Le groupe G est le groupe des isomtries du dcagone rgulier de C, donc est
ni. Cest le groupe didral D10 dordre 20.
Laction de G sur X est libre, car si g G et g(z1 , z2 , t) = (z1 , z2 , t), alors
(g)t = t et t non nul implique que g est une rotation, et comme z1 ou z2 est non
nul, g vaut lidentit. Lespace X est spar, et le groupe ni G agit librement sur
X, donc p est un revtement.
Une sphre de dimension au moins 2 est simplement connexe. Lespace X est
donc simplement connexe, car produit despaces simplement connexes. Le groupe
fondamental de B est donc isomorphe au groupe dautomorphismes G du revtement
universel p :
1 (B) G .
(2) Donnons la liste des sous-groupes de G, conjugaison prs. Comme G est
dordre 20, ses sous-groupes sont dordre 1, 2, 4, 5, 10 ou 20. Soit H0 = G et H1 = {1}
le sous-groupe trivial. Les seuls lments dordre 2 sont la symtrie centrale r 5 et
les symtries rsk pour k = 0, ... , 9. Les lments rsk et rsk sont conjugus si et
seulement si k et k ont la mme parit. conjugaison prs, il y a donc exactement
trois sous-groupes dordre 2, qui sont
H2 = {1, r 5 }, H3 = {1, s}, H4 = {1, sr} .
Parmi ceux-ci, seul H2 est distingu (cest le centre de D10 ).
Par le thorme de Sylow, comme 10 = 22 5, le nombre n de 2-Sylow vrie
n = 1 mod 2 et n | 5, donc n = 1 ou 5, et le nombre m de 5-Sylow vrie m = 1 mod 5
et m | 4, donc m = 1.
Soit H5 = {1, r 5 , s, sr 5}, qui est un sous-groupe (car sr k s = r k pour tout k),
dordre 4, donc un 2-Sylow. Comme il nest pas distingu (rsr 1 = sr 2 H5 ), il y
/
a donc cinq 2-Sylow, qui sont conjugus.
Le seul 5-Sylow est H6 = {1, r 2, r 4 , r 6 , r 8}, qui est donc distingu.
Tout sous-groupe dordre 10 contient lunique 5-Sylow. Sil contient une puissance impaire de la rotation r, alors cest H7 = {r k : 0 k 9}, qui est distingu.
Sil contient un sr 2k , alors cest H8 = {1, r 2, r 4 , r 6 , r 8 , s, sr 2, sr 4 , sr 6 , sr 8 }, qui est distingu. Sil contient un sr 2k+1 , alors cest H9 = {1, r 2, r 4 , r 6 , r 8 , sr, sr 3, sr 5 , sr 7 , sr 9 },
qui est distingu.
Comme p : X B est un revtement universel, lapplication H (H : H\X
B) induit une bijection entre lensemble des classes de conjugaison de sous-groupes
62
63
Clop !
Clop !
Le quotient G\T est donc le quotient dun cyclindre par la relation dquivalence
engendre par lidentication dun point et de son conjugu sur chaque cercle du
bord. Il sagit topologiquement de la sphre S2 .
Exercice E.33 (1) On commence par une remarque prliminaire. Soit
n
ai X i = an
P =
i=0
i=1
(X xi )
un polynme non constant de degr n coecient complexes, nayant que des racines
simples. Pour tout > 0, il existe > 0 tel que si supi |bi ai | < , alors le polynme
Q = n bi X i admet n racines distinctes y1 , ... , yn telels que supi |yi xi | < . (En
i=0
eet, si est le bord dun petit disque centr en xi , alors lindice P variant
P
continuement en les coecients de P , et tant valeurs entires, est localement
constant en les coecients de P . De plus, cet indice est le nombre de racines simples
contenues dans lintrieur du petit disque.)
Pour montrer que , et sont des revtements nis, il sut de montrer que
ce sont des homomorphismes locaux dont le cardinal des bres est ni (non nul),
et constant.
Les applications , sont continues, car polynomiales, et sont des homomorphismes locaux par la remarque prliminaire. Donc est aussi un homomorphisme local.
Par le rappel sur la condition pour que les racines dun polynme complexe de
degr 3 ait trois racines distinctes, si (p, q, x) B, alors 1 (p, q, x) contient deux
points distincts (x, y, z) et (x, z, y) o x, y, z sontles trois racines distinctes de X 3 +
pX + q = 0 ; de mme, 1 (p, q) contient exactement les trois points (p, q, x), (p, q, y)
et (p, q, z). Donc , et sont des revtements respectivement 2, 3, 6 feuillets.
(2) Lespace A est le complmentaire de trois droites complexes 1 , 2 , 3 dans
le plan complexe P de C3 dquation x + y + z = 0. Soient deux points de A et D
la droite complexe passant par ces deux points. Comme D et les i sont distinctes,
lintersection A D est le complmentaire dun nombre ni de points dans le plan
rel D, donc est connexe par arc. Donc A est connexe par arcs.
64
donc g est un homomorphisme. On en dduit que est un revtement galoisien, de groupe dautomorphismes de revtements le groupe (isomorphe S3 ) des
permutations des coordonnes.
(5) Si a, b > 0, alors lquation at6 + bt4 2 = 0 admet une et une seule solution
t = t(a, b) strictement positive. En eet, en posant u = t2 et f (u) = au3 + bu2 2,
2b
alors les racines de f sont u = 0 et u = 3a < 0, donc f est strictement croissante
entre 0 et +, et f (0) = 1 < 0. De plus, par un argument dj vu, t(a, b) dpend
continuement de a, b.
p q
Lapplication (p, q) (z, w) = ( 3 , i 2 ) est un homomorphisme de C2 dans luimme, envoyant C sur le complmentaire de la courbe complexe dquation z 3 =
w 2 . Lapplication (z, w) (t2 z, t3 w) o t = t(|w|2 , |z|2 ) induit une rtraction par
dformation forte de C sur S3 K (noter que |w|2 > 0 et |z|2 > 0 si (p, q) C).
Donc C et S3 K ont le mme type dhomotopie.
66
4
4.1
Rappelons quune partie A dun groupe G est une partie gnratrice de G (ou
engendre G) si le plus petit sous-groupe de G contenant A est G.
Si A est une partie gnratrice dun groupe G, si f : G H est un morphisme
de groupes surjectif, alors f (A) est une partie gnratrice de H.
Si G est un groupe et A une partie de G, lensemble des lments de G de la
forme
a1 . . . an
n
1
avec n N, i = 1, et ai A (en convenant que cest llment neutre e de G
si n = 0), est un sous-groupe de G, not A . Il est clair que A est le plus petit
sous-groupe de G contenant A. On lappelle le sous-groupe de G engendr par A.
Si G est un groupe et A une partie de G, lensemble des lments de G de la
forme
1
1
g1 a1 g1 . . . gn an gn
1
n
avec n N, i = 1, ai A et gi G (en convenant que cest llment neutre e
de G si n = 0), est un sous-groupe de G, not A . Il est clair que A est le
plus petit sous-groupe distingu de G contenant A. Nous lappelerons le sous-groupe
distingu engendr par A. Nous avons A = {gag 1 | a A, g G} .
Groupe libre
Soit S un ensemble. On appelle groupe libre engendr par S tout couple (L, i),
o L est un groupe et i : S L une application, vriant la proprit universelle
suivante :
pour tout couple (G, j) o G est un groupe et j : S G est une
application, il existe un unique morphisme de groupes f : L G
tel que le diagramme suivant commute :
S
L
f
j
G .
Proposition 4.1 Un tel couple (L, i) existe et est unique, unique isomorphisme
prs.
Dmonstration. Lunicit dcoule de la proprit universelle : si (L , i ) est un autre
groupe libre engendr par S, alors il existe un morphisme de groupes : L L tel
que i = i , et un morphisme de groupes : L L tel que i = i. Comme id
est un morphisme de groupe tel que id i = i , nous avons = id par unicit,
et de mme = id, donc est un isomorphisme de L dans L tel que i = i ,
et cest le seul par lunicit dans la proprit universelle.
67
Nous donnerons dans la partie 4.4 (corollaire 4.14) une preuve topologique de
lexistence de (L, i). Voici une construction algbrique.
Soit E lensemble des suites nies dlments de S {1}, notes (s1 , ... , sn )
1
n
avec n N, si S, i {1} (par convention, cest la suite vide si n = 0). On
appelle aussi une telle suite un mot en S S 1 , et lentier n est appel la longueur
de ce mot, et note (w).
La concatnation des suites
(s1 , ... , sn )(t1 , ... , tm ) = (s1 , ... , sn , t1 , ... , tm )
1
1
1
1
n
m
n
m
est une loi de composition associative sur E, ayant comme lment neutre gauche
et droite, et vriant, en notant par abus une suite rduite un lment (si ) par
i
cet lment si , la relation (s1 , ... , sn ) = s1 ... sn .
n
n
1
1
i
Soit R la plus petite relation dquivalence compatible avec cette loi de composition et identiant s s et pour tout s S et {1}. On note L lensemble
quotient E/R.
Il nest pas trop dicile de vrier que la loi de composition de E induit une loi
de groupe sur L, dlment neutre e limage dans L de la suite vide , linverse de
Nous noterons par abus L = L(S) le couple (L, i). Il dcoule de la proprit
universelle applique un groupe deux lments que i est injectif, et nous identierons S son image dans L(S) par lapplication i. Par la preuve ci-dessus, S est
une partie gnratrice de L(S), dite standard.
Si G est un groupe muni dune application j de S dans G, nous appellerons
morphisme canonique associ (G, j) le morphisme de groupes f : L(S) G donn
par la proprit universelle ci-dessus. Si j(S) engendre G, alors f est surjectif.
Un groupe est dit libre sil est isomorphe un groupe libre engendr par un
ensemble S. Nous appellerons rang dun groupe libre le cardinal dun tel ensemble
S (voir lexercice E.34).
Le rsultat suivant donne la structure des lments du groupe libre, avec laquelle
on travaille souvent en pratique.
Proposition 4.2 Tout lment de L(S) scrit de manire unique comme un produit
s1 ... sn o si S et i = 1 (n = 0 correspondant llment neutre de L(S)), tel
1
n
que i = i+1 si si = si+1 .
68
Exercice E.35 Montrer que le groupe didral inni D (le sous-groupe des isomtries de R engendr par la translation de longueur 1 et la symtrie en lorigine)
admet a, b | a2 = 1, aba = b1 pour prsentation.
Tout groupe G admet une prsentation : si S est une partie gnratrice de G
(par exemple S = G), soit R le noyau du morphisme canonique L(S) G. Alors
R = R et (S, R) est une prsentation de G.
Un groupe de type ni tant dnombrable, il existe des groupes qui ne sont pas de
type ni (le groupe additif R par exemple). Si S est dnombrable inni, alors L(S)
nest pas de type ni. Il existe des groupes de type ni qui ne sont pas de prsentation
nie. En eet, il existe une innit non dnombrable de classes disomorphisme de
groupes de type ni (voir par exemple [Har2, page 69]). Comme lensemble des
classes disomorphisme de groupes de prsentation nie est dnombrable, il existe
une innit non dnombrable de classes disomorphisme de groupes de type ni qui
ne sont pas de prsentation nie.
n
Proposition 4.3 Le couple (G, (fi )iI ) existe et est unique, unique isomorphisme
prs.
Dmonstration. Lunicit dcoule de la proprit universelle : si (G , (f i )iI ) est
une autre limite inductive, alors lunique morphisme de groupes : G G tel que
fi = f i est un isomorphisme.
70
Voir lexercice E.49 dans la partie 4.6 pour une preuve topologique de lexistence.
Voici une construction algbrique.
Soit L = L( iI Gi ), linclusion Gi iI Gi induit un morphisme canonique
injectif L(Gi ) L, par lequel on identie L(Gi ) un sous-groupe de L. Soit i :
L(Gi ) Gi le morphisme canonique, et N le sous-groupe distingu de L engendr
par la runion de iI Ker i et de lensemble des x1 f (x) pour i, j I, x Gi et
f Fij . Enn, soit G le groupe quotient N\L. Linclusion L(Gi ) L induit par
passage au quotient un morphisme de groupes fi : Gi G.
Soit H un groupe muni dun morphisme hi : Gi H pour tout i I, tels que
hj f = hi pour tout f dans Fij . Soit j : iI Gi H lapplication valant hi sur
Gi , soit : L H le morphisme canonique associ (H, j). Lapplication vaut
llment neutre sur N, donc induit un morphisme de groupes : G H. Celui-ci
vrie fi = hi pour tout i I par construction. Comme iI fi (Gi ) engendre G,
un tel morphisme est unique. Donc (G, (fi )iI ) vrie la proprit universelle des
limites inductives.
Nous noterons (G, (fi )iI ) par abus
G = lim Gi .
B
j 2
G
h 2
i1
j 1
h1
A
H .
Remarques. (1) Si B est trivial, alors A C B est le quotient A/ i1 (C) de A par
le sous-groupe distingu engendr par i1 (C).
(2) Une somme amalgame A C B peut tre un groupe trivial, mme si A et B
ne sont pas triviaux. Par exemple, Z/3Z Z Z/2Z, o les morphismes Z Z/3Z et
71
Z Z/2Z sont les projections canoniques, est le groupe dont une prsentation est
x, y | x3 = 1, y 2 = 1, x = y , donc est le groupe trivial.
Si i1 et i2 sont injectifs, on appelle A C B le produit amalgam de A et B audessus de C. On montrera ci-dessous que j1 et j2 sont alors injectifs, et on identie
A et B avec leurs images par j1 , j2 dans A C B.
j2
A G B
h 2
h1
H
Exercice E.36 (1) Montrer que si les injections C A, C B dans un produit
amalgam A C B sont propres, alors A C B est inni. En particulier, montrer que
le produit libre de deux groupes non triviaux est inni.
(2) Montrer que Z/2Z Z/2Z est isomorphe au groupe didral inni D .
(3) Montrer que Z/2Z Z/3Z est isomorphe PSL2 (Z) = SL2 (Z)/{1} (on
0 1
pourra envoyer le gnrateur de Z/2Z sur limage de la matrice
et le
1 0
0 1
gnrateur de Z/3Z sur limage de la matrice
). Montrer que Z/4Z Z/2Z
1 1
Z/6Z (pour les inclusions videntes Z/2Z Z/4Z, Z/2Z Z/6Z) est isomorphe
SL2 (Z).
Exemple. Plus gnralement, si A est un groupe, (Gi )iI une famille de groupes et
A Gi un morphisme de groupes pour tout i, la limite inductive de cette famille
inductive de groupes est appele la somme amalgame des Gi au-dessus de A, et
note (A Gi , (fi )iI ) (et par abus, A Gi ).
Si A est le groupe trivial, cette somme amalgame est appele produit libre de
(Gi )iI . On le note (iI Gi , (fi )iI ) (et par abus, Gi ) (et G1 G2 ... Gn si
I = {1, 2, ... n})). Nous identierons Gi son image dans iI Gi par linjection
canonique fi : Gi iI Gi .
Exercice E.37 Soient trois groupes A1 , A2 , C et, pour k = 1, 2, un morphisme de
groupes ik : C Ak et une prsentation (Sk , Rk ) de Ak . Montrer que, en identiant
72
S2 ), en notant
1
1
S2 , R1 R2 {ab1 | a 1 (i1 (c)), b 2 (i2 (c)), c C})
iI Ri ,
Thorme 4.4 Pour tout g dans G, il existe un unique mot rduit (a, s1 , ... , sn ) tel
que g = f (a)fis1 (s1 )... fisn (sn ).
Ce rsultat implique le fait remarquable que les morphismes fi sont aussi injectifs.
Nous identierons Gi avec son image dans G par fi . Tout lment g de G scrit
donc de manire unique
g = as1 ... sn
o a A, n N, sk
iI (Ri {e}) et isk = isk+1 pour k = 1, ... , n 1.
Cette criture sappelle la forme normale de g. En particulier, dans G, nous avons
Gi Gj = A si i = j et les Ri {e} sont deux deux disjoints.
Le cas des produits libres sobtient en prenant A = {e} et Ri = Gi {e} :
un lment g de iI Gi scrit de manire unique (aprs identication de Gi avec
73
4.2
Le thorme suivant est lun des moyens les plus utiliss pour calculer des groupes
fondamentaux despaces topologiques.
74
1 (U0 , b) 1 (U1 , b)
j 1
i2
j2
1 (U2 , b) 1 (B, b) .
1 (U0 , b) 1 (U1 , b)
h 1
i2
h2
1 (U2 , b)
H
.
Nous cherchons construire le morphisme canonique : 1 (B, b) H, tel que
ji = hi pour i = 1, 2.
Par la proposition 2.11, j1 1 (U1 , b) j2 1 (U2 , b) engendre 1 (B, b). Ceci montre
en particulier lunicit du morphisme canonique.
Pour k = 1, 2, le groupe 1 (Uk , b) agit droite sur H par (, g) ghk (), o
1 (Uk , b) et g H. Soit pk : Xk Uk un revtement de Uk de bre H associ
cette action (voir la proposition 3.44, lespace topologique Uk vriant les conditions
de la partie 3.12).
Puisque j2 i2 = j1 i1 , les bres des revtements p1 |p1(U0 ) et p2 |p1 (U0 ) sont
1
2
en bijection 1 (U0 , b)-quivariante, donc ces revtements sont isomorphes (voir la
proposition 3.44). Soit : p1 (U0 ) p1 (U0 ) un isomorphisme de revtements.
2
1
Soit X lespace topologique obtenu en recollant X1 X2 par (voir le paragraphe
prcdant lexercice E.A.102).
Les applications p1 : X1 B, p2 : X2 B, vriant p2 = p1 sur p1 (U0 ),
1
induisent une application continue p : X B, qui est un revtement. De plus,
si q : X1 X2 X1 X2 = X est la projection canonique, alors q|Xk est un
isomorphisme de revtements de pk sur p|Xk pour k = 1, 2.
75
U2
Alors U0 est contractile (il se rtracte par dformation forte sur le point commun
b), U1 et U2 ont le type dhomotopie du cercle (ils se rtractent par dformation forte
sur lun des deux cercles de B). Donc 1 (U0 , b) = 0, 1 (U1 , b) Z, 1 (U1 , b) Z, et
1 (B, b) Z Z .
Le groupe fondamental du bouquet de deux cercles est donc un groupe libre de rang
2. Par rcurrence, le groupe fondamental du bouquet de k cercles est un groupe libre
de rang k.
Comme le plan R2 priv de k points
p1 , ... , pk se rtracte par dformation forte
sur un bouquet de k cercles plong dans
R2 {p1 , ... , pk }, le groupe fondamental de
R2 {p1 , ... , pk } est aussi un groupe libre de
rang k, pour tout k N.
76
p1
R2
p2
pk
Corollaire 4.6 Soit B un espace topologique connex, localement connexe par arcs.
Soient X1 et X2 deux sous-espaces connexes, de runion X1 X2 = B, dintersection
X0 = X1 X2 connexe et b X0 . Supposons quil existe des voisinages ouverts U1
de X1 et U2 de X2 tels que U1 , U2 , U1 U2 se rtractent par dformation forte sur
X1 , X2 , X0 respectivement. Alors nous avons un isomorphisme
1 (X1 , b) 1 (X0 ,b) 1 (X2 , b) 1 (B, b).
4.3
CW-complexes
Le but de ce chapitre est dintroduire une classe despaces topologiques comprenant la plupart des espaces topologiques rencontrs dans ce cours, hommorphisme
prs.
Pour n N {0}, une cellule de dimension n (ou encore n-cellule) est un espace topologique homomorphe la boule unit ferme Bn . Une cellule ouverte de
dimension n (ou encore n-cellule ouverte) est un espace topologique homomorphe
Bn Sn1 . Si e est une cellule, notons e son bord en tant que varit topologique
(voir le thorme dinvariance du domaine 5.27 pour vrier que tout homomor
phisme de la boule prserve son bord.) et e = e e. Si n = 0, nous convenons que
Nous dirons quun espace topologique X est obtenu par recollement de cellules
de dimension n sur un espace topologique Y sil existe une famille (e )A o e
77
e )
Y X .
(Les g ne sont pas supposs tre injectifs.) La donne dune telle famille et dun tel
homomorphisme sappelle une dcomposition cellulaire de X relative Y . Elle est
le plus souvent sous-entendue. Si f : e X est lapplication induite, alors f est
continue et appele lapplication caractristique de e . (Ce ne sont pas toujours des
son image, qui est un ouvert de X. Si Y est spar, limage de g est un compact
de Y , donc un ferm de Y . Si Y est spar, la topologie de X est la topologie faible
dnie par la famille {Y } {f (e )} de ferms de X. Les e (par abus f (e ))
Si
iI
...
S1
Sk
S (
e )
Y /Y .
1111
0000
1111
0000
1111
0000
1111
0000
1111
0000
1111
0000
1111
0000
1111
0000
1111
0000
(5) Comme lespace projectif rel Pn+1 (R) sobtient par attachement de la cellule
Bn+1 de dimension n + 1 sur Pn (R) par lapplication dattachement fn+1 : Sn =
Bn+1 Pn (R) qui est la projection canonique, et puisque P0 (R) est un singleton,
nous en dduisons que Pn (R) admet une structure de CW-complexe ni ayant une
k-cellule pour tout k = 0, ... , n, dont le k-squelette est Pk (R), telle que lapplication
dattachement de la (k + 1)-cellule sur le k-squelette soit la projection canonique
fk+1 : Sk = Bk+1 Pk (R).
B2
1
z
S1
z 2 S1
1
P2 (R) non plong dans R3
(6) Comme lespace projectif complexe Pn+1 (C) sobtient par attachement de
la cellule B2n+2 de dimension 2n + 2 sur Pn (C) par lapplication dattachement
fn+1 : S2n+1 = B2n+2 Pn (C) qui est la projection canonique, et puisque P0 (C)
est un singleton, nous en dduisons que Pn (C) admet une structure de CW-complexe
ni ayant une 2k-cellule pour tout k = 0, ... , n, dont le 2k-squelette et le (2k + 1)squelette sont Pk (C), telle que lapplication dattachement de la (2k + 2)-cellule sur
le (2k + 1)-squelette soit la projection canonique fk+1 : S2k+1 = B2k+2 Pk (C).
81
4.4
Nous donnons ci-dessous quelques proprits de la topologie et du groupe fondamental des CW-complexes.
Proposition 4.8 Tout CW-complexe est spar et localement contractile (donc localement connexe par arc, et semi-localement simplement connexe).
Dmonstration. Pour montrer quun CW-complexe X est localement contractile,
il sut de montrer que pour tout x dans X, pour tout entier n n0 assez grand et
pour tout voisinage V de x, il existe un voisinage ouvert Vn de x dans X (n) , contenu
dans V , tel que Vn = Vn+1 X (n) , et une homotopie hn : Vn [0, 1] Vn entre
lapplication identit et lapplication constante en x, telle que hn+1 |Vn [0,1] = hn . En
eet, V = nn0 Vn est alors un ouvert de X contenu dans V et contenant x, qui
est contractile, car lapplication h : V [0, 1] V dnie par h(x, s) = hn (x, s)
si x Vn , est une homotopie entre lapplication identit de V et lapplication
constante en x.
83
Proposition 4.13 Le groupe fondamental dun graphe connexe est un groupe libre.
Dmonstration. Soient X un graphe connexe et x un sommet de X. Par la proposition 4.11 applique la famille des sous-graphes nis de X contenant x, et par
lexercice E.42, il sut de montrer le rsultat si X est ni.
1 (X, x) 1 (X e, x) Z .
Comme X est ni, le rsultat sen dduit par rcurrence.
84
Graphe ni
de groupe fondamental
libre de rang 8
Exercice E.43 Soit X un graphe connexe ni. Appelons connectivit de X le plus
grand entier n tel quil existe des artes ouvertes e1 , ... , en de X telles que X n ei
i=1
soit connexe. Appelons caractristique dEuler de X le nombre (X) = n0 n1
avec n0 le nombre de sommets de X et n1 le nombre dartes de X. Montrer que
c(X) = 1 (X) et que 1 X est un groupe libre de rang c(X).
Le rsultat suivant redmontre en particulier lexistence dun groupe libre engendr par un ensemble S.
Corollaire 4.14 Si X est un bouquet de cercles indexs par S, alors il existe un
isomorphisme de groupes
1 (X, x) L(S) .
Groupe fondamental de CW-complexe et prsentation de groupe
Exercice E.44 Un CW-complexe est connexe si et seulement si son 1-squelette est
connexe.
Les deux rsultats suivants, que nous dmontrerons simultanment, disent que
le groupe fondamental dun CW-complexe est port par son 2-squelette, et que
le groupe fondamental dun CW-complexe est muni dune prsentation par toute
dcomposition cellulaire de son 2-squelette.
Proposition 4.15 Si X est un CW-complexe connexe et x X (0) , alors linclusion
X (2) X du 2-squelette de X dans X induit un isomorphisme de groupes
1 (X (2) , x) 1 (X, x) .
Identions S1 avec le quotient [0, 1]/ 0 1 , de sorte que si f : S1 Z est
une application continue, alors f est considr comme un lacet dans Z dorigine et
extrmit f (1). Soient X un CW-complexe connexe, et x un sommet de X. Fixonsnous une dcomposition cellulaire de X, et pour toute 2-cellule e de X, notons
g : e X (1) X lapplication dattachement de e . Pour tout , notons r
la classe dhomotopie (relativement extrmits) du lacet c g c en x, pour c un
chemin x dans X (1) entre x et g (1), aprs identication de e avec le cercle S1 .
Remarquons que r est bien dtermin conjugaison et passage linverse prs.
85
1
dans Bn Sn1 = e X. Soit V le complmentaire de ladhrence de B(0, 3 ) dans
X. Soit x U V .
U
U V
Y
Alors U, V, U V sont connexes, U est contractile, donc 1 (U, x) = {e}, et U V
a le type dhomotopie de la sphre de dimension n 1. Donc U V est simplement
connexe si n 3, et a le type dhomotopie du cercle si n = 2. Pour n = 2, soit
le lacet en x dans U V obtenu par un homomorphisme du cercle de centre
lorigine passant par x avec le quotient [0, 1]/ 0 1 . Sa classe dhomotopie engendre
1 (U V, x).
Par le thorme de Van Kampen, linclusion V X induit un isomorphisme
1 (V, x) 1 (X, x) si n 3, et un isomorphisme [] \1 (V, x) 1 (X, x) si
n = 2.
Comme V se rtracte par dformation forte sur Y , par une rtraction envoyant
le lacet sur le lacet f , nous en dduisons que linclusion Y X induit un isomorphisme 1 (Y, y) 1 (X, y) pour tout y dans Y si n 3, et un isomorphisme
[f ] \1 (Y, y) 1 (X, y) si n = 2.
86
Maintenant, pour montrer les propositions 4.15 et 4.16, par le corollaire 4.12,
on peut supposer que X est de dimension nie n. On raisonne alors par rcurrence
sur n. Si n 1, les rsultats sont clairs. Soit X un CW-complexe de dimension
n 2. Le sous-groupe distingu engendr par une partie S dun groupe H est la
limite inductive des sous-groupes distingus engendrs par les parties nies de S. En
appliquant la proposition 4.11 la famille des sous-CW-complexes de X obtenus par
recollement dun nombre ni de cellules de dimension n sur X (n1) , et par rcurrence,
les rsultats dcoulent alors du lemme prcdent.
Exemple. Reprenons les structures de CW-complexes sur le tore T2 , la bouteille de
Klein K2 et la surface g orientable compacte connexe de genre g, construites dans
la partie prcdente, et appliquons la proposition 4.16.
(1) Le 1-squelette du tore T2 est un bouquet de deux cercles. Donc son groupe
fondamental est un groupe libre de rang deux. Si nous notons {a, b} sa partie gnratrice correspondant aux deux cercles orients, alors lapplication dattachement du
carr ce bouquet de deux cercles envoie le bord du carr sur un lacet du bouquet
dont la classe dhomotopie est [a, b] = aba1 b1 . Nous retrouvons donc le fait que le
groupe fondamental du tore T2 admet comme prsentation
a, b | [a, b] = 1
qui est une prsentation du groupe Z Z.
(2) Le 1-squelette de la bouteille de Klein K2 est un bouquet de deux cercles.
Donc son groupe fondamental est un groupe libre de rang deux. Si nous notons {a, b}
la partie gnratrice correspondant aux deux cercles orients, alors lapplication
dattachement du carr ce bouquet de deux cercles envoie le bord du carr sur un
lacet du bouquet dont la classe dhomotopie est abab1 . Le groupe fondamental de
la bouteille de Klein K2 admet donc comme prsentation a, b | aba = b ou encore
en posant x = ab et y = b1 ,
x, y | x2 y 2 = 1 .
(3) Le 1-squelette de la surface g est un bouquet de 2g cercles, donc son groupe
fondamental est un groupe libre de rang 2g. Si nous notons {a1 , b1 , ... , ag , bg } la
partie gnratrice correspondant aux 2g cercles orients, alors lapplication dattachement du 4g-gone sur ce bouquet de deux cercles envoie le bord du 4g-gone sur un
lacet du bouquet dont la classe dhomotopie est a1 b1 a1 b1 ... ag bg a1 b1 . Le groupe
1
1
g
g
fondamental de la surface g admet donc comme prsentation
a1 , b1 , ... , ag , bg | [a1 , b1 ]...[ag , bg ] = 1 .
4.5
Corollaire 4.18 (Thorme de Schreier) Tout sous-groupe dun groupe libre est
libre.
87
b1
a1
b1
2-complexe de Dehn
de la prsentation
a, b | ab1 aba1 b = 1, aba1 b1 = 1
du groupe Z
4.6
Autres exercices
Exercice E.47 Cet exercice est la suite de lexercice E.33 dont on reprend les notations.
(6) Donner une prsentation du groupe fondamental 1 (S3 K, b) (on pourra
considrer les sous-espaces K1 = {(z, w) S3 : |z| |w|} et K2 = {(z, w) S3 :
|z| |w|}).
Exercice E.48 Soit (Gi )iI une famille de groupes, et pour tout i, soit (Xi , xi ) un
CW-complexe connexe point (en un de ses sommets), muni dun isomorphisme de
groupes i : Gi 1 (Xi , xi ). Soit (X, x) = iI (Xi , xi ) la somme connexe pointe
de la famille (Xi , xi )iI , avec i : Xi X linclusion canonique.
Montrer que (1 (X, x), ((i ) i )iI ) est un produit libre de la famille (Gi )iI .
Exercice E.49 (1) Soit : G1 G2 un morphisme de groupes, et pour i = 1, 2,
soit (Xi , xi ) un CW-complexe connexe point (en un de ses sommets), muni dun
isomorphisme de groupes i : Gi 1 (Xi , xi ). Montrer quil existe une application
cellulaire f : X1 X2 avec f (x1 ) = x2 , telle que le diagramme suivant commute
G1
1
G2
2
1 (X1 , x1 ) 1 (X2 , x2 ) .
(2) Soient A, B, C trois groupes, i : C A, j : C B deux morphismes de
groupes, X, Y, Z trois CW-complexes connexes points (en un de leur sommets),
f : Z X et h : Z Y deux applications cellulaires pointes telles que f = i
et h = j. On note F : Z {1, 1} (X Y ) lapplication cellulaire dnie par
F (z, 1) = f (z) et F (z, 1) = h(z) pour tout z.
Montrer que le groupe fondamental du recollement
(Z [1, 1]) F (X
de Z [1, 1] sur (X
amalgame A C B.
Y)
89
Z {1}
Z {1}
h
Z [1.1]
X
(3) Montrer que si (Gi , Fij ) est une famille inductive de groupes, alors il existe
un CW-complexe connexe point X dont le groupe fondamental est isomorphe
lim Gi .
Exercice E.50 Ce problme est un exercice de synthse portant sur les trois premiers chapitres de ce livre. Les direntes parties de ce problme sont largement
indpendantes.
On rappelle que si X, Y sont deux espaces topologiques, si A est une partie de
X et si f : A Y est une application continue, alors on appelle espace topologique
obtenu par recollement de X sur Y par f , et on note X f Y , lespace topologique
quotient (X Y )/R de lespace topologique somme disjointe X Y par la relation
dquivalence R engendre par la relation x f (x) pour tout x A.
I Si X est un espace topologique, on note CX lespace topologique quotient
CX = (X [0, 1])/R, avec R la relation dquivalence engendre par (x, 0) (x , 0)
pour tous x, x dans X. Pour t [0, 1] et u X, on notera [x, t] la classe de (x, t).
(1) Montrer que CX est contractile.
(2) Montrer que lapplication x [x, 1] est un homomorphisme sur son image.
Dans la suite de ce problme, on identie X et son image dans CX par cette application.
(3) Si f : X Y est une application continue, montrer que lapplication Cf :
CX CY , dnie par Cf ([x, t]) = [f (x), t] est continue.
(4) Montrer que si X est compact, alors CX aussi.
II Pour n N {0}, on considre dans R2 le compact Rn qui est le rectangle [2, 4n 2] [2, 2] priv des disques ouverts de rayon 1 et de centre (4k, 0)
pour k = 0, ... , n 1. On note n lespace topologique quotient de Rn par la relation dquivalence engendre par (x, 2) (x, 2) pour tout x dans [2, 4n 2] et
(2, y) (4n 2, y) pour tout y dans [2, 2].
Calculer le groupe fondamental de n .
III
Soit E un ensemble ni, non vide, muni de la topologie discrte. Soit
: E E une bijection. (Pour n N et f une application dun ensemble dans
90
N
i=1 fi )
recollement des disques Di sur par les applications fi . Calculer le groupe fondamental de 1 .
Application numrique : que vaut 1 (1 ) si E = Z/nZ et : x x +
1 mod n ?
(5) On considre RN , le rectangle priv de N disques, dni en II. Soit + RN
RN la runion des bords de ces N disques, et : + RN un homomorphisme.
On note 2 = RN lespace topologique obtenu par recollement de RN sur
par lapplication .
Montrer que 2 a le type dhomotopie dun bouquet de N cercles.
(6) On considre lespace topologique SN , qui est la sphre S2 prive de N disques
ouverts, dadhrences deux deux disjointes. On note SN SN la runion des
bords de ces N disques, et : SN un homomorphisme. On note 3 =
SN lespace topologique obtenu par recollement de SN sur par lapplication
.
Calculer le groupe fondamental de 3 .
Application numrique : Pour p, q N {0}, on suppose que E = {1, ... , p +
q}, et que est le produit de deux cycles (1, ... , p)(p + 1, ... , p + q). Montrer que le
groupe 1 (3 ) admet pour prsentation a, b | abp a1 = bq ou a, b | abp a1 = bq .
(Un tel groupe sappelle un groupe de Baumslag-Solitar.)
IV On considre le graphe orient B de sommets xj pour j = 1, ... , 6 (entiers
modulo 6), ayant, pour tout i = 1, 2, 3, une arte tiquete a de x2i x2i+1 et de
x2i+1 x2i , et une arte tiquete b de x2i+1 x2i+2 et de x2i+2 x2i+1 . On note B le
bouquet de deux cercles, orients et tiquets par a, b. On xe un paramtrage par
91
x6
B
x2
a
x5
x3
b
x4
p
x0
B
q
q
(g)
B
B
p
B
(4) On note E lensemble des sommets de B, et Cg : CE CE lapplication
induite (voir la question I.3) par la restriction g = (g)|E : E E. Montrer que
92
lapplication
G (CE B)
(CE B)
(g, (x, y))
(Cg (x), g(y))
est une action libre et propre du groupe discret G sur CE B.
(5) On note lespace topologique quotient G \CEB . Quel est le groupe fondamental de ?
(6) On note pr2 : E B B la seconde projection (x, y) y. Montrer que pr2
induit un revtement connexe G \EB B.
(7) Montrer que G \EB et B sont homomorphes.
4.7
Comme 1 Y est un groupe libre deux gnrateurs x, y, avec (f1 ) (c) = xp1 ,
(f2 ) (c) = y p2 , le groupe 1 X admet pour prsentation x, y | xp1 = 1, y p2 = 1 .
Donc
1 X = Z/p1 Z Z/p2 Z .
Exercice E.47 (6) Lespace K1 = {(z, w) S3 : |z| |w|} est homomorphe
z w
B2 S1 par lapplication (z, w) ( w , |w| ). En eet, si (z, w) K1 , alors w est non
nul ; de plus, linverse est
2uv
2v
,
)
(u, v) (
1 + |u|2
1 + |u|2
qui est continu. La rtraction par dformation forte r : B2 S1 {0} S1 , induite
par la rtraction radiale du disque B2 sur son centre, induit une rtraction par
w
particulier 1 (K1 ) = Z.
z
est une rtraction par dformation forte sur un cercle. En particulier 1 (K2 ) = Z.
94
Lintersection K1 K2 est lensemble des (z, w) tels que |z| = |w| = 1. Lappliz3
cation (z, w) ( w2 , w ) est un homomorphisme de K1 K2 sur S1 S1 qui envoie
z
on en dduit par le thorme de van Kampen, pour tout b dans K1 K2 , par exemple
b = (1, 1), que
Exercice E.50 I
(1) Soit u0 = [x, 0] (qui ne dpend pas de x X). Soit
h : (X [0, 1]) [0, 1] (X [0, 1]) lapplication h((x, t), s) = (x, st). Elle est
continue, et envoie pour s x classes dquivalences sur classes dquivalences, donc
passe au quotient en une application continue h : CX [0, 1] CX telle que
h(y, 0) = u0 et h(y, 1) = y pour tout y CX. Donc CX est contractile.
Dans la suite nous appelerons CX le cne de base X, et u0 son sommet.
(2) Lapplication x [x, 1] est continue, comme compose de deux applications
continues. Elle est injective par dnition de la relation dquivalence. Son application rciproque [x, 1] x est continue, car elle est obtenue par passage au quotient
de lapplication continue (x, 1) x.
(3) Lapplication (x, t) (f (x), t) est continue et envoie classes dquivalences
sur classes dquivalences, donc passe au quotient en une application continue, qui
est Cf .
(4) Si X est spar, alors CX lest aussi. En eet, soient [x, t], [x , t ] deux points
distincts de CX. Si t < t , soit u tel que t < u < t . Alors {(y, s) X [0, 1] | s < u}
et {(y, s) X [0, 1] | s > u} sont deux ouverts saturs disjoints de X [0, 1],
contenant respectivement (x, t) et (x , t ). Si t = t , alors t = 0 et x = x ; si U, U
sont deux ouverts de X disjoints contenant x, x respectivement, et si ]0, t[, alors
U (]t, t+[[0, 1]) et U (]t, t+[[0, 1]) sont deux ouverts saturs disjoints,
contenant (x, t), (x , t) respectivement. Donc CX est spar.
Si X est compact, alors CX est spar et X [0, 1] est compact. Comme la
projection canonique est continue, CX est compact.
95
Rn
2
0
2
4n 6
4n 2
Rn
c
c1
cn1
cn2
c2
c3
Notons n lespace topologique quotient de Rn par la relation dquivalence engendre par (x, 2) (x, 2) pour tout x dans [2, 4n 2] et (2, y) (4n 2, y)
pour tout y dans [2, 2]. Comme la rtraction de Rn sur Rn est compatible avec les
relations dquivalences, lespace n se rtracte par dformation forte sur n . Or
n est homomorphe un graphe, compos dun bouquet de deux cercles c , c correspondant aux segments verticaux {2, 4n 2} [2, +2] et horizontaux [2, 4n
III (1) Comme E est discret et ni, il est compact. Donc CE est compact,
donc CE R est localement compact. Si n(x, t) = (x, t), alors en regardant les
96
0
0
0
0
E1 R
0
EN R
97
D1
DN
D1
f1
DN
1
fN
0
En particulier, lintrieur U1 de D1 est un ouvert connexe par arcs de 1 . Le
complmentaire V dans 1 de lorigine de Di est aussi un ouvert connexe par arcs
de 1 . Lintersection U V , qui est Di priv de son origine, est aussi connexe par
arcs. On xe un point base dans U V . Par le thorme de van Kampen, on a donc
1 (1 ) = 1 (U)1 (U V ) 1 (V ). Or U est contractile, et V se rtracte par dformation
forte sur 1 priv de lintrieur de D1 .
Notons E = E E1 . Le sous-espace CE R de CE R est prserv par laction
de Z. Notons son image dans , et 1 lespace obtenu par recollement sur des
disques Di par les applications fi pour i = 2, ... , N. En utilisant la rtraction par
dformation forte du cne CE1 sur son sommet, on voit que V se rtracte par
dformation forte sur 1 .
Supposons par rcurrence (sur N, avec conventions videntes pour N = 0) que
le groupe 1 (1 ) admette pour prsentation x | x2 = x3 = ... = xN = 1 , de sorte
que x soit la classe dhomotopie du lacet image du cercle 0 dans 1 (comme 1 (1 )
est ablien, il ny a pas de problme de point base). Comme la classe dhomotopie
du lacet 1 est 1 fois celle de 0 , le thorme de van Kampen nous dit que
1 (1 ) admet pour prsentation x | x1 = x2 = x3 = ... = xN = 1 . Notons
= pgcd{1 , ... , N }. Alors 1 (1 ) = Z/Z.
Pour lapplication numrique, on a N = 1, = 1 = n, donc 1 (1 ) = Z/nZ.
Les questions (5) et (6) ne sont pas corriges.
IV (1) Par construction, p est un homomorphisme local et la primage de
chaque point est de cardinal 6. Donc p est un revtement.
98
Le groupe didral D6 dordre 6 est isomorphe au groupe dni par la prsentation , | 2 = 2 = ()3 = 1 . On note encore , les lments de D6
correspondants. Considrons laction (par homomorphismes) du groupe libre engendr par , avec permutant chacun des couples de sommets {x1 , x6 }, {x2 , x3 },
{x4 , x5 }, ainsi que le couple dartes entre chacun de ces couples de sommets, et
permutant chacun des couples de sommets {x1 , x2 }, {x3 , x4 }, {x5 , x6 }, ainsi que le
couple dartes entre chacun de ces couples de sommets, (de manire prserver les
paramtrages des artes.) Alors par construction, cette action passe au quotient en
une action de D6 , de sorte que lhomomorphisme f de B correspondant chaque
lment de D6 vrie p f = p. Donc le groupe des automorphismes du revtement
p : B B contient le groupe D6 . Comme celui-ci agit transitivement sur la bre
au-dessus du point commun b0 aux deux cercles de B, on en dduit que le revtement
est galoisien.
Comme tout automorphisme de revtement qui xe un point est lidentit (car
B est connexe), on en dduit que le groupe des automorphismes de p est D6 .
(2) Puisque G prserve les bres de p, lhomomorphisme local p : B B passe
au quotient en un homomorphisme local h : G \B B (vriant donc h = ).
Comme tout revtement universel est galoisien, G agit transitivement sur les bres,
donc la primage de chaque point est 1. Comme les espaces sont spars et par un
rsultat du cours, tout homomorphisme local un feuillet est un homomorphisme.
(3) Lespace B est connexe par arcs, spar et localement contractile (donc en
particulier admet bien un revtement universel). On a identi B et G \B , de sorte
que : B B = G \B soit la projection canonique. Par le thorme de classication
des revtements, il existe un sous-groupe H de G, tel que le revtement H \B B
soit isomorphe au revtement p : B B. En identiant ces deux revtements par
un tel isomorphisme, et en notant q : B H \B la projection canonique, on a alors
p q = . Comme p est galoisien, le sous-groupe H est distingu.
De plus, pour tout g G, il existe une unique application (g) : H \B = B
B
H \ = B tel que le diagramme suivant commute :
B
q
H\
(g)
B
q
H\
Il sut de poser (Hx) = Hgx, ce qui ne dpend pas du choix de x, car H est
distingu. Il est immdiat que (g) est un automorphismes de revtement de p, et
que g (g) est un morphisme de groupes (car (g) (h) et (g h) concident
sur H \B ).
Soit h : B B un automorphisme de revtement de p. Soit x B et x
1
q (h q(x)). Comme B est localement connexe par arcs et simplement connexe, le
thorme du relvement dit quil existe une unique application continue g : B B
`
99
hq
B
q
B .
100
u0
CB
B=
G\
EB
B=
G\
{u0 }B
(8) On reprend des arguments similaires ceux de III.4. Notons U limage dans
de CB B, qui est ouverte, et connexe par arcs. Notons V le complmentaire dans
de limage du sommet u0 du cne CB, qui est ouvert et connexe par arcs. Par le
thorme de van Kampen, comme U est contractile et U V connexe par arcs, si b
est un point base dans U V , alors 1 (, b) est isomorphe au quotient de 1 (V, b)
par le sous-groupe distingu engendr par limage de 1 (U V, b). Lespace V se
rtracte par dformation forte sur le bouquet de deux cercles G \{u0 }B B (avec
u0 le sommet du cne CE). Une petite inspection des lacets tus montre que 1 ()
admet pour prsentation , | 2 = 2 = ()3 = 1 , donc 1 () est isomorphe
au groupe didral D6 .
(9) Non corrig.
101
Homologie singulire
Avant tout, voici une petite bibliographie lgrement commente, ces commentaires ne rtant bien sr que les gots partiaux de lauteur.
Rfrences lmentaires et pdagogiques : [GH] pour lhomologie et la cohomologie singulire (dnition, vrication des axiomes, caractristique dEulerPoincar, orientation, cup et cap produit, dualit de Poincar) et [God] pour
la cohomologie de de Rham (dnition, vrication des axiomes, ingalits de
Morse, formule de Knneth, dualit par la thorie de Hodge).
Le pav : [Spa], un livre de rfrence, mais pas forcment dapprentissage.
Des rfrences historiques : pour les amateurs de prhistoire, voir [Pon] ; on
peut jeter un il aux chapitres fondateurs de [Poi] sur lanalysis situs et ses
complments, cest bien beau ; lintroduction de [Die2] est absolument lire,
le reste de [Die2] est presque aussi complet que [Spa] et presque aussi dicile
lire ; pour les origines de la cohomologie de de Rham, voir [DeR], pour les
fondements axiomatiques de lhomologie, voir [ES, CE].
Des rfrences pour tous les gots :
[Vic] pour lhomologie singulire (dnition, vrication des axiomes, CWcomplexes, thorme des coecients universels, formule de Knneth, cup et
cap produit, dualit de Poincar, applications).
Sont vraiment pas mal non plus [Bre, Wal].
Voir [FFG] pour les aspects plus homotopiques et les magniques dessins
sotriques.
En vrac : [BT] trs complet sur la cohomologie de de Rham et de Cch ;
[DNF] pour comprendre les choses de manire gomtrique, la russe.
Enn, et non des moindres, je recommande particulirement le livre [Hat], qui
couvre le contenu de tout ce cours. Suite un arrangement de lauteur avec
son diteur, il est possible de tlcharger le livre ladresse
http ://www.math.cornell.edu/hatcher
5.1
Nous renvoyons par exemple [Spa, ES, CE] pour des complments dalgbre
homologique.
Soit A un anneau commutatif unitaire. Par module, nous entendons module sur
A. Rappelons que les modules sur lanneau Z sont les groupes abliens, et les modules
sur un corps sont les espaces vectoriels sur ce corps. Rappelons quune suite nie ou
innie de morphismes de modules
fn+1
fn
C0
0
D0
C1
1
...
D1
Cn1
n1
Dn1
Cn
...
n
Dn
: Hn (C) Hn (D) .
Le rsultat suivant donne un critre pour savoir si deux morphismes de complexes
de chanes induisent les mmes applications en homologie.
Soient , : C D deux morphismes de complexes de chanes. Une homotopie
entre et est une suite de morphismes de modules (Kn : Cn Dn+1 )nN telle
que, pour tout entier n, en posant K1 = 0,
n n = n+1 Kn + Kn1 n .
Le diagramme suivant nest pas commutatif, mais il est l pour montrer dans quel
sens vont les ches.
... Cn1
Cn+1 ...
K n
Dn
Kn1
... Dn1
Cn
Dn+1 ...
0 C D E 0
de complexes de chanes C, D, E et de morphismes de complexes de chanes f : C
D, g : D E tels que pour tout n, la suite de morphismes de modules
fn
gn
0 Cn Dn En 0
soit exacte.
tant donnes deux suites exactes de complexes de chanes, un morphisme de
suites exactes de complexes de chanes est un triplet (, , ) de morphismes de
complexes de chanes tel que le diagramme suivant soit commutatif en tout degr
n:
f
g
0 C
D E
0
104
0 .
Cn
fn
fn1
Dn
gn
gn1
En
.
Soit z un n-cycle de E. Il sagit de lui associer un (n 1)-cycle x de C (bien dni
modulo un bord). Comme gn est surjective, il existe y Dn tel que gn (y) = z.
Considrons y Dn1 . Comme gn1(y) = gn (y) = z = 0, par exactitude, il
existe x Cn1 tel que fn1 (x) = y. Posons donc
[z] = [x] .
Vrions que est bien dni. Tout dabord, x est bien un cycle, car
fn2 (x) = fn1 (x) = y = 0 ,
et comme fn2 est injective, nous en dduisons que x = 0.
De plus, [x] ne dpend pas des choix du reprsentant z de [z] et des lments y, x
comme ci-dessus. En eet, si (z , y , x ) est un autre choix, alors comme [z ] = [z],
nous avons z z = z o z En+1 . Soit y Dn+1 tel que z = gn+1 (y ), qui
existe par surjectivit de gn+1 . Alors
gn (y y y ) = z z z = 0 ,
105
(C) =
kN
(C) =
kN
106
Les n sont appels les morphismes de cobord (ou direntielles), et nots quand
n est sous-entendu. Notons par convention C 1 = 0 et 1 = 0.
On dnit de mme
un morphisme de complexes de cochanes f : C D, qui est une suite de
morphismes de modules (f n : C n D n )nN tels que f n+1 n = n f n pour
tout entier n ;
lespace des n-cocycles Z n (C) = ker( : C n C n+1 ), lespace des n-cobords
B n (C) = im( : C n1 C n ), le n-me groupe de cohomologie de C (qui est
un module) H n (C) = H n (C; A) = Z n (C)/B n (C) ;
lapplication f : H n (C) H n (D) induite en cohomologie par un morphisme
de complexes de cochanes f : C D (dnie par f ([z]) = [f n (z)] si z est un
n-cocycle de D) ;
une homotopie entre deux morphismes : C D et : C D de complexes
de cochanes, cest--dire une suite (K n : C n D n1 )nN de morphismes tels
que n n = n1 K n + K n+1 n ;
lorsque A est un corps (commutatif), la caractristique dEuler-Poincar
(1)k dimA H k (C; A)
k
la catgorie des revtements dun espace topologique donn B et des morphismes de revtements au-dessus de B ;
la catgorie des revtements et des morphismes de revtements ;
la catgorie des complexes de chanes et des morphismes de complexes de
chanes ;
la catgorie des complexes de cochanes et des morphismes de complexes de
cochanes ;
la catgorie des suites exactes courtes de complexes de chanes et des morphismes de suites exactes courtes de complexes de chanes.
Si C , D sont deux catgories, un foncteur covariant de C dans D est la donne
pour tout objet X de C dun objet F (X) de D, et pour tout morphisme f
Mor(X, Y ) de C dun morphisme F (f ) Mor(F (X), F (Y )) de D tels que
1. F (iX ) = iF (X) ,
Un foncteur contravariant est la donne pour tout objet X de C dun objet F (X)
de D, et pour tout morphisme f Mor(X, Y ) de C dun morphisme F (f )
Mor(F (Y ), F (X)) de D tels que
1. F (iX ) = iF (X) ,
2. F (g f ) = F (f ) F (g) pour tous f, g.
Exemple.
le foncteur (covariant) groupe fondamental, de la catgorie des espaces topologiques points dans la catgorie des groupes ;
les foncteurs (covariants) cne et suspension de la catgorie des espaces
topologiques dans elle-mme (voir lappendice, n de la partie A.2) ;
le foncteur (covariant) homologie de la catgorie des complexes de chanes
dans la catgorie des suites de modules sur un anneau A donn (ou dans la
catgorie des modules gradus sur A) ;
le foncteur (covariant) de la catgorie des suites exactes courtes de complexes
de chanes dans celle des suites exactes longues de modules (voir le thorme
5.2) ;
le foncteur (covariant) cohomologie de la catgorie des complexes de cochanes dans la catgorie des suites de modules sur un anneau A donn (ou
dans la catgorie des modules gradus) ;
le foncteur (covariant) de la catgorie des suites exactes courtes de complexes
de cochanes dans celle des suites exactes longues de modules (voir le thorme
5.4).
Nous terminons cette partie sur des lments dalgbre homologique par un exercice dalgbre linaire.
Exercice E.51 (Lemme des cinq) Considrons le diagramme commutatif suivant
de modules, dont les ches sont des morphismes de modules, et dont les lignes sont
109
exactes :
A B C D E
A B C D E .
Si les premire, seconde, quatrime et cinquime ches verticales sont des isomorphismes, alors la troisime aussi.
5.2
t2
e2
t1
e1
0
0
e0 = 1
ti = 1}.
1
e0
t0
e1
t1
e0
t0
Si X est un espace topologique, un p-simplexe singulier de X est une application
continue
: p X .
singulire), coecients dans A, lorsque lon veut prciser lanneau des coecients.
Il est de la forme
k
ni i
i=1
111111
000000e
1111111111
0000000000
111111
000000
1111111111
0000000000
111111
000000
1111111111
0000000000
111111
000000 e
1111111111
0000000000
111111
e 000000
1111111111
0000000000
(e2 )
1
e0
e1
(e1 )
X
(e0 )
1
Le bord dun p-simplexe singulier est la (p 1)-chane singulire
p
(1)i i
=
i=0
Cp1(X) .
Par linarit, lensemble des p-simplexes singuliers tant une base de Cp (X), ceci
dnit un morphisme de modules, appel morphisme de bord
: Cp (X) Cp1 (X) .
Il ny a pas de (1)-simplexe singulier, donc C1 (X) = {0} et : C0 (X)
C1 (X) est lapplication nulle.
Lemme 5.5
=0.
Lide derrire le calcul suivant est que si F1 , F2 sont
deux faces distinctes de codimension 1 de p , dont les
sommets sont ordonns par lordre induit sur les sommets de p , alors F1 , F2 se rencontrent en une face F0
de codimension 2, et les ordres induits sur les sommets
de F0 par ceux de F1 et F2 ont des signatures opposes.
111
F2
F1
F0
p1
(1)j j (i ) =
(1)i
(1)i (i ) =
() =
j=0
i=0
i=0
(1)i+j j (i ) +
0j<ip
(1)i+j j i =
0ijp1
(1)i+j i1 (j ) +
(1)i+j j i
0ijp1
0j<ip
Pour tout p 0, il y a un et un seul p-simplexe singulier p : p X (lapplication constante). De plus, pour p > 0, on a i p = p1 , donc
p
(1)i
p =
0
p1
p1 =
i=0
si p impair
sinon .
id
id
id
A A A A A A ... .
Par consquent,
Hn ({x}; A) =
A
0
si n = 0
sinon .
Proposition 5.6 Si X est un espace topologique connexe par arcs et non vide, alors
H0 (X; A) A .
De plus, pour tout point x de X, sa classe dhomologie [x] est un gnrateur de
H0 (X; A).
Dmonstration. Rappelons que nous avons identi les 0-simplexes de X aux
points de X. Le module C0 (X) est le module libre engendr par les points de X.
Considrons lunique morphisme de modules
: C0 (X) A
113
ni xi (
ni )y =
ni (xi y) =
ni xi =
ni xi ,
Hn (X ; A) .
I
En particulier, H0 (X; Z) est le groupe ablien libre engendr par les composantes
connexes par arcs de X.
Le seul espace dont on sait vraiment calculer lhomologie pour linstant est lespace rduit un point. Lun des buts du chapitre qui suit est de montrer que nous
pouvons calculer lhomologie des espaces contractiles.
Invariance homotopique
Par les proprits fonctorielles, les groupes dhomologie singulire sont des invariants topologiques, cest--dire si f : X Y est un homomorphisme, alors
f : Hn (X) Hn (Y ) est un isomorphisme de modules pour tout n.
La proposition ci-dessous implique que ce sont aussi des invariants homotopiques,
cest--dire que si f : X Y est une quivalence dhomotopie, alors f : Hn (X)
Hn (Y ) est un isomorphisme de modules.
Proposition 5.7 Si f et g sont deux applications continues homotopes de X dans
Y , alors f = g : Hn (X) Hn (Y ) pour tout n.
Dmonstration. Soient : X X [0, 1] et : X X [0, 1] les applications
dnies par : x (x, 0) et : x (x, 1). Si h est une homotopie entre f et g,
alors f = h et g = h . Par fonctorialit, il sut donc de montrer que = .
Daprs la partie dalgbre homologique 5.1, il sut de construire une homotopie
(Kp )pN entre (p )pN et (p )pN , cest--dire une suite de morphismes de modules
114
(Kp : Cp (X) Cp+1 (X [0, 1]))pN telle que Kp + Kp1 = p p pour tout
p (en convenant que K1 = 0). Nous avons un diagramme (non commutatif)
Cp1(X)
Cp (X)
Kp1
Cp (X [0, 1])
K p
1111
0000
2
1
1111
0000
1111
0000
1111
0000
0 0000
2
11111 0000
00000 1111
11111 1
00000 1111
0
[0, 1]
Notations : Pour x0 , ... , xp dans RN , notons ((x0 , ... , xp )) lunique application ane
de p dans RN envoyant ek sur xk pour 0 k p. Notons (y0 , ... , yj , ... , yn ) la suite
obtenue partir dune suite (y0 , ... , yn ) en omettant le terme yj .
Si e0 , ... , ep sont les sommets de p , notons ak = (ek , 0), bk = (ek , 1) pour 0
k p les sommets du prisme p [0, 1].
Posons alors
p
Kp () =
i=0
Kp () =
ji
i=0
ji
De mme
Kp1 () = Kp1
i<j
j=0
i>j
Donc
( Kp + Kp1 )() =
p
i=0
i=0
A
0
si n = 0
sinon .
Nous savons donc calculer lhomologie des espaces contractiles. Mais il existe
des espaces intressants non contractiles. La plupart dentre eux, comme les CWcomplexes, sont tout de mme localement contractiles. Pour calculer lhomologie
dun espace topologique X muni dun recouvrement U = (Ui )iI par des ouverts
contractiles, nous allons dvelopper plusieurs outils. Le thorme des petites chanes
est loutil qui permet de ne regarder que les simplexes singuliers dont les images sont
contenues dans lun des Ui . La suite exacte longue dhomotopie relative permet de
calculer lhomologie de X partir de lhomologie dune partie A de X et de lhomologie relative de X par rapport A. Le thorme dexcision permet (essentiellement)
dans le calcul de lhomologie relative de X par rapport A doublier lintrieur de A.
Enn, la suite exacte longue de Mayer-Vietoris est le moyen de calculer lhomologie
de la runion de deux ouverts de X en fonction de lhomologie de chacun des ces
deux ouverts, et de lhomologie de lintersection.
Homologie relative
116
Une paire despaces topologiques est un couple (X, Y ) avec X un espace topologique et Y un sous-espace de X. Un morphisme de paires despaces topologiques
(X, Y ) (X , Y ) est une application continue f : X X telle que f (Y ) Y .
Deux morphismes de paires f, g : (X, Y ) (X , Y ) sont homotopes sil existe
une homotopie h : X I X entre f : X X et g : X X telle que
h(Y I) Y . Deux paires despaces topologiques (X, Y ), (X , Y ) ont mme type
dhomotopie de paires sil existe des morphismes de paires f : (X, Y ) (X , Y ) et
g : (X , Y ) (X, Y ) tels que f g soit homotope id : (X , Y ) (X , Y ) et g f
soit homotope id : (X, Y ) (X, Y ).
Les paires despaces topologiques et leurs morphismes (avec la composition des
applications) forment une catgorie. Nous identions X et (X, ). Si f : (X, Y )
(X , Y ) est un morphisme de paires, nous noterons encore f : X X et f : Y Y
les applications induites.
Soit (X, Y ) une paire despaces topologiques. Le module Cp (Y ) sidentie avec le
sous-module de Cp (X) de base lensemble des p-simplexes singuliers de X valeurs
dans Y . Clairement, le bord : Cp (X) Cp1 (X) envoie alors Cp (Y ) dans Cp1(Y ).
De plus, si f : (X, Y ) (X , Y ) est un morphisme de paires, alors fp : Cp (X)
Cp (X ) envoie Cp (Y ) dans Cp (Y ).
Le complexe de chanes singulires relatives de (X, Y ) est le complexe de chanes
de modules
Cp (X, Y ) = Cp (X, Y ; A) = Cp (X)/Cp (Y )
et de morphismes de bord
: Cp (X, Y ) Cp1(X, Y )
le morphisme quotient de : Cp (X) Cp1(X). Nous avons bien = 0. Le
n-me groupe dhomologie de ce complexe de chanes (qui est un module) est appel
le n-me groupe dhomologie singulire relative de la paire (X, Y ) coecients dans
A, et est not
Hn (X, Y ) = Hn (X, Y ; A) .
Exercice E.53 Si Zp (X, Y ) = { Cp (X) | Cp1 (Y )}, montrer que Hp (X, Y )
est isomorphe Zp (X, Y )/(Bp (X) + Cp(Y )). En dduire que H0 (X, Y ) est le module
libre engendr par les composantes connexes par arcs de X ne contenant pas de point
de Y .
Un morphisme de paires f : (X, Y ) (X , Y ) induit par passage au quotient
un morphisme de complexes de chanes fp : Cp (X, Y ) Cp (X , Y ). Donc, par les
rappels dalgbre homologique, f induit un morphisme de modules
f : Hp (X, Y ) Hp (X , Y ) .
Lidentication X = (X, ) induit une identication Cp (X) = Cp (X, ) pour
tout p N. Si j : (X, ) (X, Y ) est linclusion, alors le morphisme induit jp :
Cp (X, ) Cp (X, Y ) sidentie avec la projection canonique Cp (X) Cp (X, Y ).
117
0 C (Y ) C (X) C (X, Y ) 0
est exacte.
Dmonstration. Ceci dcoule immdiatement du thorme 5.2 appliqu la suite
j
i
exacte 0 C (Y ) C (X) C (X, Y ) 0.
Corollaire 5.11 Si X est un espace topologique connexe par arcs, et si Y est non
vide, alors
H0 (X, Y ; A) 0 .
Plus gnralement, H0 (X, Y ) est le module libre engendr par les composantes
connexes par arcs de X ne contenant pas de point de Y .
Dmonstration. Le thorme prcdent fournit une suite exacte
H0 (Y ) H0 (X) H0 (X, Y ) 0
et les hypothses du corollaire impliquent que H0 (Y ) H0 (X) est surjective.
Exemple. Les groupes dhomologies relatives de la paire (Bn+1 , Sn ) pour tout n N
satisfont :
Hp1 (Sn ; A) si p 2
0
si p = 1, n 1
Hp (Bn+1 , Sn ; A)
si p = 1, n = 0
A
0
si p = 0 .
118
Remarque. Il est immdiat de montrer que la suite exacte longue du triplet est
fonctorielle, au sens suivant. Soient f : X X une application continue, et A
B deux parties de X telles que f (A) A et f (B) B . Alors f induit trois
morphismes de paires despaces topologiques f|B : (B, A) (B , A ), f : (X, A)
(X , A ) et f : (X, B) (X , B ). Le triplet ((f|B ) , f , f ) est un morphisme de
suites exactes courtes de complexes de chanes entre 0 C (B, A) C (X, A)
C (X, B) 0 et 0 C (B , A ) C (X , A ) C (X , B ) 0. Il donne donc en
homologie un diagramme commutatif
. . . Hp (B , A ) Hp (X , A ) Hp (X , B ) Hp1 (B , A ) . . . .
Thorme des petites chanes
Soient X un espace topologique et U = (Ui )iI une famille de parties de X dont
les intrieurs recouvrent X :
X=
Ui .
iI
Cp (X) Cp (X)
fp
fp
Sd
Cp (Y ) Cp (Y )
120
e01
e1
e12
e012
e0
e01
e1
() c .
122
singulier. Posons Vi = c1 (Ui ). Alors (Vi )iI est un recouvrement ouvert de lespace
mtrique compact p . Il existe donc > 0 tel que pour toute partie A de p , dont
le diamtre vrie diam(A) , il existe i I tel que A Vi .
Si u = k ak k , o les k sont des p-simplexes singuliers, est une p-chane singulire valeurs dans un espace mtrique, notons diam(u) le maximum des diamtres
des images des k . Il est facile de montrer que, pour tout r N,
r
diam Sd (ip )
p
p+1
diam(p ) .
r1
z Sdr (z) =
k=0
k=0
r1
=T
Sdk (z)
k=0
z=
Sdr (t) + T (
Sdk (z))
k=0
sous-espace de X, et U A tel que U A. Linclusion des paires despaces topologiques (X U, A U) (X, A) induit un isomorphisme en homologie : pour tout
n N,
Hn (X U, A U) Hn (X, A) .
0 C (A) C (U ) C (X U, A U) 0
id
u
g
0 C (A) C (X)
C (X, A)
0 ,
o g est lapplication induite par linclusion (X U, A U) (X, A), et f le
morphisme de complexes de chanes obtenu comme composition de la projection
C (U ) C (U )/C (A) avec lisomorphisme C (U )/C (A) C (X U, A U)
dni ci-dessus. La commutativit du diagramme ci-dessus est immdiate.
Par le thorme 5.2, le diagramme suivant est commutatif, et ses lignes sont
exactes :
Hn (A) Hn (U ) Hn (X U, A U) Hn1 (A) Hn1 (U )
id
u
g
id
u
Hn (A) Hn (X)
Hn (X, A)
Hn1 (A) Hn1 (X) .
Comme les premire, seconde, quatrime et cinquime ches verticales sont des
isomorphismes, il dcoule du lemme des cinq (voir exercice E.51) que la troisime
che verticale est aussi un isomorphisme, ce qui dmontre le rsultat.
Rappelons (voir la partie A.2) que si X est un espace topologique et si Y est un
sous-espace de X, alors X/ Y dsigne lespace topologique quotient X/R o R est
la relation dquivalence engendre par x y pour tous x, y de Y . Pour allger les
notations dans cette n de partie, nous noterons X/Y lespace X/ Y (il ny aura
pas de risque de confondre avec un autre quotient).
124
X [0, 1]
id
et
et
Comme Y est ferm, lapplication |XY est un homomorphisme sur son image.
La restriction de qui va de (X V, U V ) dans (X/Y V /Y, U/Y V /Y ) est
donc un homomorphisme. Elle induit par consquent un isomorphisme en homologie
relative.
Il est immdiat de vrier que la composition des isomorphismes (ci-dessus dnis)
Hn (X, Y ) Hn (X, U) Hn (X V, U V ) Hn (X/Y V /Y, U/Y V /Y )
Hn (X/Y, U/Y ) Hn (X/Y, Y /Y )
j2
U
j1
X
((i1 ) ,(i2 ) )
C (U) C (V )
126
(j1 ) +(j2 )
C ({U, V }) 0
((i1 ) ,(i2 ) )
C (U V )
(f|U V )
0 C (U V )
((i ) ,(i ) )
1
2
C (U) C (V )
(f|U ) (f|V )
C (U ) C (V )
(j1 ) +(j2 )
(j1 ) +(j2 )
C ({U, V })
f
C ({U , V }) 0 .
Dmonstration. Par dnition du complexe des chanes {U, V }-petites, lapplication (j1 ) + (j2 ) est surjective. Lapplication ((i1 ) , (i2 ) ), qui est c (c, c)
aprs identication du complexe des chanes singulires dune partie de X avec un
sous-module du complexe des chanes singulires de X, est clairement injective. Le
diagramme commutatif des inclusions ci-dessus induit un diagramme commutatif
sur les complexes de chanes singulires, donc limage de ((i1 ) , (i2 ) ) est contenue
dans le noyau de (j1 ) + (j2 ) .
Rciproquement, en utilisant des sommes sur les simplexes singuliers de X avec
des familles presques nulles dlments de lanneau des coecients A, si
n +
: im U
m = 0 ,
: im V
alors
n
: im U , im V
/
: im V , im U
/
(n + m ) = 0 ,
: im (U V )
donc, comme le module des chanes singulires est libre, nous avons
n = 0
si im U , im V
/
m = 0
si im V , im U
/
n = m si im U V .
Ceci montre que tout lment du noyau du morphisme (j1 ) + (j2 ) appartient
limage du morphisme ((i1 ) , (i2 ) ), ce qui dmontre le rsultat.
Corollaire 5.20 Pour tout espace topologique X, muni dun recouvrement ouvert
{U, V }, il existe une suite exacte longue de modules, dite suite exacte de MayerVietoris de X,
((i1 ) ,(i2 ) )
Hn (U) Hn (V )
(j1 ) +(j2 )
Hn (X)
Hn1 (U V ) ...
telle que, pour tout espace topologique X , muni dun recouvrement ouvert {U , V },
pour toute application continue f : X X telle que f (U) U , f (V ) V , le
diagramme suivant soit commutatif :
... Hn (U V )
(f|U V )
... Hn (U V )
((i1 ) ,(i2 ) )
((i ) ,(i ) )
1
2
Hn (U ) Hn (V )
(f|U ) (f|V )
Hn (U ) Hn (V )
127
(j1 ) +(j2 )
(j1 ) +(j2 )
Hn (X)
f
Hn1 (U V ) ...
(f|U V )
Hn (X ) Hn1 (U V ) ... .
C ({U , V }) C (X ) .
Remarques. (1) Dans certaines applications, il ny a pas besoin de connatre explicitement les morphismes dans les suites exactes de Mayer-Vietoris, leur existence
susant. Nous omettrons donc de les dsigner nommment, pour simplier les notations. Mais par dfaut, les morphismes seront ceux indiqus ci-dessus.
(2) Le corollaire ci-dessus reste vrai si U et V sont des sous-espaces de X qui
sont des rtractes par dformation forte, prservant U V , de voisinages. Cest
par exemple le cas si U, V sont des varits direntielles bord dans une varit
direntielle X, ou si X est un CW-complexe et U, V des sous-CW-complexes.
Exercice E.54 Soient X un espace topologique et A un anneau commutatif unitaire de coecients. Soient A, B, C, D, Y des sous-espaces tels que A, B, C, D soient
ouverts, X = A B, Y = C D, C A et D B. Montrer quil existe une suite
exacte, appel suite exacte relative de Mayer-Vietoris,
Hn (AB, CD) Hn (A, C)Hn (B, D) Hn (X, Y ) Hn1 (AB, CD) . . .
5.3
128
AA
0
Hp (Sn ; A) =
si
si
si
si
si
0=p=n
0=p<n
0<p<n
0<p=n
p>n.
i k et j k .
Par exemple, tout ordre total est inductif. Lexemple le plus utilis en pratique est
celui de lensemble N muni de son ordre usuel.
Une famille inductive dans une catgorie est la donne, note (Xi , fij ), dun
ensemble I muni dun ordre inductif, dune famille dobjets (Xi )iI et dune famille
de morphismes (fji : Xi Xj )ij tels que
(1)
(2)
i I, fii = idXi
i j k, fki = fkj fji .
Soit (Ei , gij ) une famille inductive de modules, appelons limite inductive de
(Ei , gij ) le module quotient
lim (Ei , gij ) =
Ei
/F
iI
Remarque. La limite inductive est une solution dun problme universel, que nous
laisserons au lecteur le soin de formuler et de vrier.
Soient X un espace topologique, et (Xi )iI une famille inductive de parties de
X, o fji : Xi Xj est linclusion si i j. Alors (H (Xi ), (fij ) ) est une famille
inductive de modules et de morphismes de modules. Si fi : Xi X est linclusion,
alors le diagramme
fji
Xi
fi
Xj
fj
est commutatif, donc induit un diagramme commutatif en homologie. En particulier, le morphisme = iI (fi ) :
H (Xi ) H (X) passe au quotient en un
iI
morphisme
Proposition 5.22 Soient X un espace topologique spar, (Xi )iI une famille inductive complte de parties de X. Alors le morphisme : lim H (Xi ) H (X)
131
Soit c =
iI ci une somme presque nulle de chanes singulires ci dans Xi ,
supposons que c soit un bord b dans X. Alors il existe k I tel que Xk contienne
le support de b et les Xi tel que ci soit non nulle. Donc c est une chane singulire
dans Xk , qui est un bord dans Xk . Par consquent, lapplication est injective.
Homologie du complmentaire dune sphre dans une sphre
Commenons par le calcul de lhomologie du complmentaire dans la sphre Sn
dune partie homomorphe une boule.
Lemme 5.23 Soit A un sous-espace de Sn homomorphe Bk , avec 0 k n.
Alors
A
si j = 0
Hj (Sn A; A)
0
sinon .
Dmonstration. Raisonnons par rcurrence sur k. Si k = 0, alors A est rduit
un point, et Sn A est homomorphe Rn , donc le rsultat est connu.
Soit k 1. Supposons le rsultat vrai pour k 1. Soient A une partie de Sn
homomorphe Bk , o n k, et f : A [0, 1]k est un homomorphisme. Soient
1
I+ = {(x1 , ... , xk ) [0, 1]k : x1 } ,
2
1
I = {(x1 , ... , xk ) [0, 1]k : x1 }
2
((i+ ) ,(i ) )
Hj (Sn B; A) =
sous-espace de Sn homomorphe Sk , o 0 k
AA
A
A
0
si j = 0 et k = n 1
si j = 0 et k < n 1
si j = n k 1 et k < n 1
sinon .
Par le lemme 5.23, les modules aux deux extrmits sont nuls. Donc Hj+1(Sn
C) Hj (Sn B). Par rcurrence, comme k < n 1, nous avons
Hj+1(Sn C)
A
0
si j + 1 = n k 1
sinon .
A
0
si j = n (k + 1) 1 et k + 1 < n 1
sinon ,
133
Noeud de tre
Noeud de huit
134
A
0
si j = 0, 1
sinon .
135
Rappelons quune varit topologique est un espace topologique (en gnral suppos mtrisable, sparable), dans lequel tout point x admet un voisinage homomorphe un ouvert de Rn . Si X est connexe, lentier n ci-dessus est bien dni, et
est indpendant du point x. Cet entier est appel la dimension de X.
5.4
Dans toute cette partie, lanneau des coecients A est lanneau des entiers Z.
Soit X un espace topologique. Rappelons que, via lidentication de [0, 1] avec
1 par t (1 t)e0 + te1 , nous identierons un chemin dans X avec un 1-simplexe
singulier de X.
Lemme 5.28 Si et sont deux chemins composables dans X, alors il existe une
2-chane singulire coecients entiers c C2 (X, Z) telle que = + c.
e1
(1) = (0)
e0
e2
(0)
(1)
(0, 1)
e2
e2
(1, 1)
x
c1
e0
e0
c2
e1
(0, 0)
(1, 0)
Dmonstration. Soit h : [0, 1] [0, 1] X une homotopie (relativement extrmits) entre et . Notons c1 et c2 les 2-simplexes singuliers de [0, 1][0, 1], qui sont les
uniques applications anes telles que c1 (e0 ) = (0, 0), c1(e1 ) = (1, 0), c1 (e2 ) = (1, 1)
137
et c2 (e0 ) = (0, 0), c2 (e1 ) = (0, 1), c2 (e2 ) = (1, 1). Pour z X, notons cz : 2 X le
2-simplexe singulier de X constant en z, dont le bord cz est (1 1 + 1)z = z , o
z est le chemin constant en z. Posons alors c = h c1 h c2 cy + cx , qui est une
2-chane singulire coecients entiers. Il est immdiat de vrier que c = .
Proposition 5.30 Soit X un espace topologique point en x X. Lapplication
de lensemble des lacets en x dans H1 (X; Z), qui un lacet associe la classe
dhomologie du 1-simplexe singulier , passe au quotient en un morphisme de groupes
: 1 (X, x) H1 (X; Z), appel morphisme de Hurewicz de X.
H1 (X; Z)
f
1 (X, x)
f
1 (Y, x) H1 (Y ; Z) .
Dmonstration. Dabord, tout lacet est un 1-simplexe singulier qui est un 1cycle, car = (1) (0) = 0, donc est bien dnie.
Lapplication passe au quotient par le lemme 5.29. Elle est compatible avec
les lois de compositions ( ) = () + () par le lemme 5.28. Enn, si est
le chemin inverse de , alors, comme est homotope au lacet constant en x, et
comme un 1-simplexe singulier constant est le bord du 2-simplexe singulier constant,
il dcoule des lemmes 5.28 et 5.29 que () = (). Le rsultat sen dduit.
G
H
f
G/[G, G]
.
Par exemple, lablianis du groupe libre engendr par S est le groupe ablien libre
engendr par S :
L(x1 , ... , xn )/[L(x1 , ... , xn ), L(x1 , ... , xn )] Zn .
138
c2
c1
x
e0
e1
c0
Pour s dans [0, 1], considrons alors lapplication continue hs de 2 dans X, qui
vaut i 1 sur 1+s (2 ), qui vaut cj (t) en (1 t)ej + t 1+s (ej ) pour j = 0, 1, 2, et,
1+s
2
qui sur chaque composante connexe C de 2 ( 1+s (2 ) j=0,1,2 [ej , 1+s (ej )], est
2
2
constant sur les segments perpendiculaires au ct de 2 contenu dans ladhrence
de C.
139
Nous pouvons donc supposer que les sommets de i sont gaux x. Comme
ci-dessus, nous pouvons supposer que ni = 1. Pour j = 0, 1, 2, soit ij la jj
me face de i , de sorte que i = i0 i1 + i2 . Comme =
i,j (1) ni ij ,
il est possible de regrouper les ij , sauf un, par paires pour lesquelles les deux
coecients (1)j ni valent +1 et 1. Le ij restant vaut . Remarqueons que chaque
ij est un lacet en x. Notons entre crochets les images des classes dhomotopie de
lacets dans le groupe ablien 1 (X, x)/[1 (X, x), 1 (X, x)], et utilisons la notation
additive. Alors, comme les termes sannulent par paires sauf un, nous avons [] =
j
i,j (1) ni [ij ]. Or le lacet i0 i1 i2 est homotope zro (car il borde i ). Donc
[] = i ni ([i0 ] [i1 ] + [i2 ]) = 0.
Exemples. (1) Comme le groupe fondamental du cercle est isomorphe Z, nous
retrouvons le fait que H1 (S1 ; Z) Z. Comme le groupe fondamental du tore Tn =
Rn /Zn est isomorphe Zn , nous avons H1 (Tn ; Z) Zn .
(2) Comme le groupe fondamental de lespace projectif rel Pn (R) est isomorphe
Z/2Z pour n 2, nous avons H1 (Pn (R), Z) Z/2Z. Comme le groupe fondamental de lespace projectif complexe Pn (C) est trivial pour n 1, nous avons
H1 (Pn (C), Z) = 0.
(3) Comme le groupe fondamental de lespace lenticulaire Ln,p = Up \S2n+1 est
isomorphe Z/pZ pour n, p 1, nous avons H1 (Ln,p ; Z) Z/pZ.
(4) Si X est le bouquet de n cercles, alors son groupe fondamental est isomorphe
au groupe libre de rang n, donc H1 (X; Z) est isomorphe Zn . Si X est un graphe,
alors par la proposition 4.13, le groupe H1 (X; Z) est un groupe ablien libre, de type
ni si X est ni.
Rappelons la classication des surfaces compactes (voir par exemple [Gra]). Une
surface est une varit topologique de dimension 2. On montre que toute surface
admet une unique structure, homomorphisme prs, de varit lisse (cest--dire
de varit direntielle C ), voir [Moi].
140
sphre S2
tore T2
plan projectif
P2 (R)
bouteille de Klein
K2 = P2 (R)#P2 (R)
Montrer que le groupe fondamental dune surface g compacte connexe, qui est
somme connexe de g 1 plans projectifs, admet une prsentation
a1 , a2 , ... , ag : a2 a2 ... a2 = 1
1 2
g
5.5
Autres exercices
(fn : Cn Cn1 )nN une suite de morphismes danneaux. Quand est-ce que la suite
Cn Cn ,
n fn
0 n
nN
est un complexe de chanes ? Que peut-on alors dire de ses espaces dhomologie ?
(2) Soit {( C , )}A une famille de complexes de chanes. Dnissons leur
somme directe de manire vidente
( C , ) =
A
Montrer que H
A ( C , )
Cn ,
A
n
A
nN
H ( C , ).
Exercice E.58 Soit (X, A) une paire despaces topologiques. Montrer que linclusion A X induit un isomorphisme sur tous les groupes dhomologie si et seulement
si Hn (X, A) = 0 pour tout n dans N.
Exercice E.59 Soient d, k, n N. Si X est une varit topologique de dimension
d, et si x1 , . . . , xk sont des points deux deux distincts de X, calculer Hn (X, X
{x1 , . . . , xk }).
Exercice E.60 Soit S une surface compacte connexe, somme connexe de g 0
tores, et prive dun ensemble ni de points. Calculer Hn (S; Z) pour tout n dans N.
Exercice E.61 Pour p, n, m dans N, calculer Hp (Sn Sm ; Z).
Exercice E.62 Soit X lespace topologique S2 S1 priv dun ensemble ni de
points. Calculer Hn (X; Z) pour tout n dans N.
Exercice E.63 Soient X un espace topologique et x un point de X. Notons SX
la suspension de X (voir lappendice A.2). Montrer que Hn (X) est isomorphe
Hn+1 (SX) pour n 1, et que H1 (SX) est isomorphe au quotient H0 (X)/i (H0 ({x}))
(o i : {x} X est linclusion).
Exercice E.64 Soient X et Y deux espaces topologiques points, tels que le point
base admette un voisinage ouvert qui se rtracte par dformation forte sur ce point.
Notons X Y la somme connexe pointe de X et Y . Calculer Hn (X Y ; Z) pour
tout n dans N en fonction des Hk (X; Z) et Hk (Y ; Z).
Exercice E.65 Pour tout k N, notons xk un point x quelconque de la sphre
Sk . Notons
X=
Sk /
kN
a b
est une matrice 2-2 coecients entiers de dterminant 1.
c d
Considrons lespace topologique quotient
MA = (T2 [0, 1])/
3.
(2) Calculer Hn (MA ; Z) pour tout n dans N.
5 1
1 p
,,
Application numrique : A =
9 2
0 1
5.6
k=n
H0 (Sk1 ) Z
k=n
H0 (Sk {xk })
de che de droite injective. Pour n > 1, puisque Hn1 (U V ) = 0, nous avons une
suite exacte
0 Hn ((Sn )) Hn (X) 0 .
Donc, dans les deux cas, linclusion induit un isomorphisme Hn ((Sn )) Hn (X).
Do
Z2 si n = 0
Hn (X; Z)
Z sinon .
Mthode 2. Dans ce qui suit, lanneau des coecients est Z. Notons X (p) le
sous-espace de X image de p Sk . Il est facile de vrier que la topologie faible sur
k=0
X dnie par la famille des X (p) concide avec la topologie quotient de la topologie
somme disjointe. Tout compact de X est donc contenu dans un X (p) pour p assez
grand. Donc pour tout n dans N, nous avons
lim Hn (X (p) ) = Hn (X) .
2
Z si n = 0
(p)
Z si 1 n p
Montrons alors par rcurrence sur p que Hn (X )
0 sinon .
(p)
Puisque X a deux composantes connexes (dont une rduite un point), nous
avons H0 (X (p) ) Z2 , et nous supposons que n 1. Si p = 0, alors X (p) est discret
Z2 si n = 0
deux lments, donc Hn (X (0) ) =
.
0 sinon
Supposons le rsultat vrai pour p 1 0. Soient yp un point de Sp dirent de
xp , et y son image dans X (p) . Soient U = X {y} et V limage de Sp {xp } dans
X (p) . Alors U et V recouvrent X (p) et sont ouverts, V est contractile, U se rtracte
145
Z2 si n = 0
Z sinon .
Exercice E.68 (1) Tout dabord, A est bien dni, car a, b, c, d sont entiers, est
continu par passage au quotient dapplication continue, et est un homomorphisme
car son inverse est lapplication obtenue en prenant la matrice inverse, qui est aussi
coecients entiers.
Lespace topologique produit X = T2 R est une varit topologique (spare)
de dimension 2 + 1 = 3. Le groupe G = Z agit librement et proprement sur X par
(n, (x, t)) (An (x), t + n). Donc le quotient G\X est un espace topologique spar,
qui est une varit topologique de mme dimension que X, car cette proprit est
invariante par homomorphisme local surjectif, connexe car image dun connexe par
une application continue, et compacte car spare et image du compact T2 [0, 1]
par une application continue.
2 1
a b
.
=
(2) Nous ne donnerons une solution que lorsque
1 1
c d
Pour tout t R, notons Tt (qui est homomorphe au tore) limage (compacte)
de T2 {t} par la projection canonique dans G\X. Nous avons Tt = Tt+k pour tout
k Z. Soit U, V louvert complmentaire de T 1 , T0 dans G\X respectivement. Lin2
clusion de T 1 et T 3 dans U et V respectivement induit une quivalence dhomotopie,
4
4
donc un isomorphisme en homologie. Linclusion de la runion disjointe T 1 T 3 dans
4
4
U V est aussi une quivalence dhomotopie. La runion de U et V est G\X.
Par la suite, lanneau de coecients est Z. Par la suite exacte de Mayer-Vietoris,
nous avons une suite exacte
Hk (U) Hk (V ) Hk (U V ) Hk1 (U V ) ,
donc pour k 4, les termes de droite et de gauche sannulent, et nous avons
Hk (G\X) = 0. (Ceci dcoule aussi du fait que G\X est une varit compacte sans
bord de dimension 3.)
Toujours par le thorme de Mayer-Vietoris, nous avons une suite exacte
7
H3 (U) H3 (V ) H3 (U V ) H2 (U V )
5
H2 (U) H2 (V ) H2 (U V ) H1 (U V )
2
H1 (U) H1 (V ) H1 (U V ) H0 (U V ) H0 (U) H0 (V ) .
(Ceci dcoule aussi de la dualit de Poincar en montrant que G\X est orientable,
car X lest et laction de G prserve lorientation.)
1
3
Notons f : T 3 T 1 lhomomorphisme (x, 4 ) (A1 x, 4 ) et g : T 3 T 1
4
4
4
4
1
lhomomorphisme (x, 3 ) (x, 4 ). Notons C1 et C2 sont les composantes connexes
4
147
H1 (T 1 ) H1 (T 3 )
4
3 =(i ,j )
id
f
g id
H1 (U)
H1 (V )
H1 (T 1 ) H1 (T 3 )
4
1
0
d b
0
1 c a
H2 (G\X) Z .
Remarquons que 0 est lapplication de Z Z dans Z Z dnie par (p, q)
(p + q, (p + q)). Si 2 (a + d) = 1, alors 3 est surjective, donc 2 est lapplication
nulle, et 1 est injective, dimage gale au noyau de 0 , qui est isomorphe Z ; donc
H1 (G\X) Z .
Par connexit par arcs, H0 (G\X) Z.
148
Homologie cellulaire
6.1
A
0
si i = p
sinon .
A
si i = p
Hi (X (p) , X (p1) ; A)
Ap
0
sinon .
Plus prcisment, soit u un gnrateur de Hp (Bp , Sp1 ) (qui est libre de rang
1 par le lemme 6.1). Pour tout dans Ap , soit g : Bp e une application
caractristique pour la cellule ouverte e de X, qui est un morphisme de paires
despaces topologiques g : (Bp , Sp1) (X (p) , X (p1) ). Alors
{(g ) (u) : Ap }
est une base (dite base canonique) du module Hp (X (p) , X (p1) ; A), qui est donc libre.
Dmonstration. Si p = 0, alors X (p) est un espace discret, et X (p1) est vide, donc
le rsultat est immdiat. Supposons p 1.
Considrons le diagramme commutatif suivant
Bp ,
Ap
Ap
Sp1 )
(X (p) , X (p1) )
(
Ap
Bp ,
Ap
(X (p) , X (p)
Bp {0})
Ap
149
Ap
Ap
Bp ,
{g (0)}) (
Ap
e ,
Ap
Bp {0})
g
(e {g (0)}) .
Les ches horizontales de gauche sont des quivalences dhomotopie de paires, donc
induisent un isomorphisme en homologie relative.
Les ches horizontales de droite induisent des isomorphismes en homologie relative, par le thorme dexcision (Thorme 5.16) : en posant successivement (lensemble des indices tant Ap )
X=
Bp ,
(Bp {0}),
A=
Sp1
U=
et
X = X (p) ,
A = X (p)
U = X (p1) ,
{g (0)},
Hi (Bp , Sp1 ) ,
Sp1 ) =
Bp ,
Ap
Ap
Ap
An p
0
si i = p
sinon .
Nous donnons ci-dessous une srie de rsultats destins mieux faire comprendre
le thorme prcdent : le p-squelette dun CW-complexe, dans lequel le (p 1)squelette est cras en un point, est un bouquet de sphres de dimension p, dont
les groupes dhomologie se calculent aisment : en dimension non nulle, ce sont les
sommes directes des groupes dhomologie de ces sphres.
Si X est un espace topologique et si Y est un sous-espace de X, nous noterons
pour simplier dans tout ce chapitre X/Y lespace topologique quotient X/ Y (voir
lappendice A.2).
Lemme 6.3 Soient X un CW-complexe, p un lment de N et (e )Ap la famille
des cellules ouvertes de dimension p de X. Alors X (p) /X (p1) est homomorphe au
bouquet dune famille de sphres de dimension p indexe par Ap .
Plus prcisment, lespace S = e /e est homomorphe une sphre de dimension p, que lon munit du point base e /e . Alors linclusion Ap e X (p)
induit par passage au quotient un homomorphisme
Ap
S X (p) /X (p1) .
si i = 0
A
A
si i = p
Hi (X; A)
A
0
sinon .
(La convention naturelle que le bouquet de sphres indexes par un ensemble
vide est rduite un point fait que le rsultat reste valable si A est vide.)
Dmonstration. Tout compact de X est contenu dans une union nie de sphres
du bouquet, et A A est la limite inductive de ses sous-modules de type ni. Donc,
par la proposition 5.22, il sut de montrer le rsultat quand A est ni. Raisonnons
par rcurrence sur le cardinal de A. Si celui-ci est 1, alors X est une sphre de
dimension p, et le rsultat est dj connu. Si Card(A) > 1, notons S0 lune des
phres de ce bouquet, U le complmentaire dun point dirent du point base dans
chaque sphre du bouquet dirente de S0 , et V le complmentaire dun point de S0
dirent du point base. Alors U a le type dhomotopie de la sphre de dimension p,
V le type dhomotopie dun bouquet ayant Card(A) 1 sphres, et U V a le type
dhomotopie dun point. La suite exacte de Mayer-Vietoris, applique lespace X
muni du recouvrement ouvert {U, V }, conclut alors.
Notons par abus x le singleton {x}.
Pour pouvoir expliciter les morphismes de bord du complexe de chanes cellulaires, nous commenons par dnir la notion de degr dune application dune
sphre dans elle-mme.
Degr des applications de la sphre
Pour n 1, soit f : Sn Sn une application continue, et f : Hn (Sn )
Hn (Sn ) lapplication induite sur le n-me groupe dhomologie. Comme Hn (Sn ; A)
est isomorphe A, si est un gnrateur de Hn (Sn ), alors il existe d A tel que
f () = d. Cet lment d ne dpend pas du choix du gnrateur, car tout autre
gnrateur est de la forme u, avec u un lment inversible de A, et f (u) = d(u).
nous appellerons d le degr de f ( coecient dans A), et nous le noterons deg(f ).
Remarque. On utilise en gnral lanneau des coecients A = Z, auquel cas le
degr est un entier. Pour n = 1, lentier deg(f ) sinterprte alors intuitivement
comme le nombre de fois que le cercle source S1 senroule par f sur le cercle but S1 ,
homotopie prs.
Remarque. Les proprits suivantes du degr sont immdiates, et laisses en exercice.
Si f stend continuement en une application continue de Bn+1 dans Sn , alors
nous avons deg(f ) = 0. En particulier, le degr dune application constante
est nulle.
153
Sp1 X (p1)
(p1)
X (p1) /X (p2)
gj1
Ap1
S Sj Sp1
Aei
ei
Aej
jAp1 di,j ej .
iAp
jAp1
Dmonstration. Cest immdiat si p = 0, car : D0 (X) D1 (X) est lapplication nulle. Si p = 1, alors : H1 (X (1) , X (0) ) H0 (X (0) ) est loprateur bord de la
suite exacte longue dhomologie relative, et le rsultat dcoule de la dnition des
di,j .
Supposons donc p 1 et calculons : Dp+1 (X) Dp (X). Soient i dans Ap+1
et j dans Ap . Le diagramme
Hp+1 (Bp+1 , Sp )
Hp (Sp )
est commutatif, par fonctorialit de loprateur bord de la suite exacte longue dhomologie relative. De plus, la che horizontale basse est un isomorphisme, car p 1.
Considrons le diagramme commutatif
Hp (X (p) )
(jp )
( (p) )
Hp (X (p) , X (p1) )
(gj )
Hp (Sj )
155
Hp (Bp , Sp1)
Hp (Bp /Sp1 , )
(gj )
Hp (Bp /Sp1 )
j J
i Ip
ei / ei X (p) /X (p1)
j / j j / j Bp / Sp1 Sp ,
156
6.2
Aei
ei
iIp
Aj
jJp i,j j .
jJp
Le but de cette partie est de montrer que les homologies cellulaires et singulires
des CW-complexes concident, de manire fonctorielle.
Thorme 6.11 Pour tout CW-complexe X et tout n dans N, il existe un isomorphisme de modules
Hn (D (X)) Hn (X)
Hn (D (Y )) Hn (Y )
f
f
Hn (D (Z)) Hn (Z) .
Dmonstration. Par la suite exacte longue dhomologie relative, il existe une suite
exacte
Hk+1 (X (p+i+1) , X (p+i) ) Hk (X (p+i) ) Hk (X (p+i+1) ) Hk (X (p+i+1) , X (p+i)) ,
dont la che centrale est induite par linclusion X (p+i) ) X (p+i+1) . Par le thorme
6.2, le module de gauche est nul si k p et i 1, et le module de droite est
nul si k p. Donc Hk (X (p+i) ) Hk (X (p+i+1) ). Comme tout compact de X est
contenu dans X (p+i) pour i susamment grand, la proposition 5.22 implique que
lim Hk (X (p+i) ) Hk (X). Le rsultat en dcoule.
induit par linclusion de (X (p+1) , X (i1) ) dans (X (p+1) , X (i) ) est un isomorphisme
pour i = 0, ... , p 2.
Appliquons la suite exacte longue dhomologie relative des triplets (voir la proposition 5.13) au triplet X = X (p+1) , B = X (i) , A = X (i1) . Nous avons donc une
suite exacte
i
157
dont les modules aux extrmits sont nuls si p 1 > i. Ceci dmontre ltape 2.
tape 3. Considrons le quadruplet (X (p+1) , X (p) , X (p1) , X (p2) ), et le morphisme
de bord m : Hp (X (p+1) , X (p) ) Hp (X (p) , X (p2) ) de la suite exacte longue dhomologie du triplet (X (p+1) , X (p) , X (p2) ). Alors le diagramme, dont les ches autres
que m , p+1 , p sont induites par les inclusions de paires,
Hp (X (p1) , X (p2) )
Hp (X (p+1) , X (p2) )
Hp (X (p+1) , X (p) )
Hp (X (p) , X (p2) )
m
p+1
est commutatif, par construction de p+1 . Les modules en haut droite et en haut
gauche sont nuls. La suite exacte du triplet (X (p) , X (p1) , X (p2) ) implique que
ker p = im k et que k est injective.
La suite exacte du triplet (X (p+1) , X (p) , X (p2) ) implique que im m = ker et
que est surjective.
Comme k : Hp (X (p) , X (p2) ) im k est un isomorphisme, le module im k se
1
surjecte par k sur Hp (X (p+1) , X (p2) ).
1
Par commutativit, nous avons p+1 = k m et donc im p+1 = ker k .
Par consquent,
1
1
Hp (D (X)) = ker p /im p+1 = im k /ker k im k = Hp (X (p+1) , X (p2) ) .
Dmonstration. Ceci dcoule de lisomorphisme entre homologie cellulaire et homologie singulire de X et des rappels dalgbre homologique (proposition 5.3).
Exemples. (1) Si X est contractile, alors (X) = 1. En particulier (Bn ) = 1.
(2) (Sn ) =
2 si n pair
.
0 sinon
(3) (Tn ) = 0.
(4) La caractristique dEuler dune surface compacte connexe qui est somme
connexe de g tores (donc de genre g) est 2 2g, car est homomorphe un CWcomplexe obtenu par recollement dune 2-cellule sur un bouquet de 2g cercles (ayant
2g artes et 1 sommet), voir lexemple (4) de la partie 4.3.
(5) Soit X un graphe connexe ni. Alors la caractristique dEuler de X vaut
(X) = n0 n1 avec n0 le nombre de sommets de X et n1 le nombre dartes de X
(voir aussi lexercice E.43).
6.3
Rappelons que lespace projectif rel Pn (R) est ( homomorphisme prs) construit
par rcurrence, P0 (R) tant un point et Pn+1 (R) tant obtenu par recollement dune
seule cellule de dimension n + 1 sur Pn (R) avec pour application dattachement
fn+1 : Sn Pn (R) la projection canonique, qui est un revtement 2 feuillets.
Donc le complexe de chanes cellulaires de X = Pn (R), coecients dans lanneau des coecients A, est :
n
1
D0 (X) = A A ... A Dn (X) = A 0 0 ... .
si p = 0 ou p = n impair
A
0
sinon .
Z/2Z si p n
Par exemple, si A = Z/2Z, alors Hp (Pn (R); Z/2Z)
0
sinon .
si p = 0 ou p = n impair
Z
Z/2Z si p impair avec 1 p n 1
Si A = Z, alors Hp (Pn (R); Z)
0
sinon .
6.4
A si p pair et 0 p 2n
0 sinon .
Autres exercices
6.5
Exercice E.69 Il sagit bien du mme exercice que lexercice E.65, mais voici une
autre solution, plus courte, utilisant lhomologie cellulaire.
Pour k 1, la sphre Sk admet une structure de CW-complexe, ayant un sommet
xk et une cellule de dimension k, avec application dattachement constante en xk .
Donc X admet une structure de CW-complexe, ayant deux sommets x, y avec x
la classe commune des points xk , et pour tout k 1, une cellule de dimension
k, avec application dattachement constante en x. Il est facile de vrier que la
topologie faible sur X dnie par la famille des p-squelettes X (p) concide avec la
topologie quotient de la topologie somme disjointe (soit : Sk X la projection
canonique ; alors U est un ouvert de X si et seulement si 1 (U) est un ouvert de
Sk , si et seulement si 1 (U) p Sk est un ouvert de p Sk pour tout p, si
k=0
k=0
et seulement si U X (p) est un ouvert de X (p) pour tout p).
Le complexe de chanes cellulaires de X coecients entiers est donc
1
2
3
4
Z2 Z Z Z ... .
k+t
n
AZ/nZ
AZ/nZ
0 0 . . .
(xi+1 xi )iZ/nZ (xi )iZ/nZ
.
162
163
Soit A un anneau commutatif unitaire. Par module, nous entendrons module sur
lanneau A. Soit M un module x, appel module des coecients. Les cas A =
M = Z (et plus gnralement A = Z et donc M un groupe ablien) et A = M = k
o k est un corps (commutatif) sont particulirement importants.
7.1
Si N est un module, notons Hom (N, M) (ou HomA (N, M)) le module des morphismes de modules de N dans M. Le module Hom(N, A) est appel le dual de N. Si
f : N N est un morphisme de modules, notons tf : Hom (N , M) Hom (N, M)
le morphisme de modules tf : f . Il est immdiat de vrier que t id = id, et
t
(f g) = tg tf . Nous avons donc dni un foncteur (contravariant) de la catgorie
des modules dans elle-mme, not Hom (, M).
Si N, N sont des modules, nous avons une bijection de lensemble des applications bilinaires de N N dans M valeurs dans lensemble des morphismes
de modules de N dans Hom (N , M), qui une application bilinaire associe le
morphisme de modules (dit induit par ) x {y (x, y)}.
Remarquons aussi que
Hom(
N , M)
Hom(N , M) .
tg
n+1
(1)i c(i ) =
c() = c() =
i=1
7.2
Proprits de la cohomologie
M
0
si n = 0
sinon .
Si (X )A est la famille des composantes connexes par arcs dun espace topologique X, alors
H n (X)
H n (X ) .
A
Ceci dcoule dune proprit du foncteur Hom rappele au dbut de cette partie 7.1.
Si X est un espace topologique connexe par arcs, alors
H 0(X; M) Hom(H0 (X; A), M) M .
Invariance homotopique
Si f, g : (X, Y ) (X , Y ) sont deux morphismes de paires despaces topologiques, qui sont homotopes, alors f = g : H n (X , Y ) H n (X, Y ) pour tout n.
En particulier, si f, g : X Y sont deux applications continues entre deux espaces
topologiques, qui sont homotopes, alors f = g : H n (Y ) H n (X) pour tout n.
Donc deux espaces topologiques ayant mme type dhomotopie ont leurs groupes de
167
ti
0 C (Y ) C (X) C (X, Y ) 0
est, par la proposition 7.1 applique la suite exacte courte analogue en homologie,
une suite exacte courte de complexes de cochanes.
Donc, pour toute paire despaces topologiques (X, Y ), il existe pour tout n dans
N un morphisme de modules
: H n (X, Y ) H n+1 (Y )
tels que
1. pour tout morphisme de paires f : (X, Y ) (X , Y ), nous avons
f = f ,
2. si i : Y X et j : X = (X, ) (X, Y ) sont les inclusions, alors la suite de
modules et de morphismes de modules
j
j2
168
U
j1
X
le diagramme commutatif des inclusions. Il existe une suite exacte longue de modules,
dite suite exacte de Mayer-Vietoris de X,
. . . H n+1 (X) H n (U V )
(i1 ) (i2 )
H n (U) H n (V )
((j1 ) ,(j2 ) )
H n (X)
H n1(U V ) . . .
qui est naturel pour les applications continues, au sens que pour tout espace topologique X , muni dun recouvrement ouvert {U , V }, pour toute application continue
f : X X telle que f (U) U , f (V ) V , le diagramme suivant est commutatif
... H n (U V )
(f|U V )
... H n (U V )
(i1 ) (i2 )
(i ) (i )
1
2
H n (U ) H n (V )
(f|U ) (f|V )
H n (U ) H n (V )
((j1 ) ,(j2 ) )
((j1 ) ,(j2 ) )
H n (X)
f
H n1 (U V ) ...
(f|U V )
H n (X ) H n1 (U V ) ... .
Thorme de Hurewicz
Si X est un espace topologique connexe par arcs et x un point base de X, si
A = Z (et donc si M est un groupe ablien), alors lapplication
H 1 (X; M) Hom(1 (X, x), M)
[c]
{ [] c() }
,
o est le 1-cycle singulier identi au lacet , o [] est la classe dhomotopie du
lacet , et o [c] est la classe de cohomologie du 1-cocycle c, est un isomorphisme.
Par le thorme de Hurewicz en homologie, nous avons donc
H 1 (X; M) Hom(1 (X, x), M) Hom(H1 (X; Z), M) ,
car pour tout groupe G, puisque Z est ablien, la projection canonique p : G
Remarque. Ceci explique une dirence importante entre homologie entire et cohomologie entire : alors que les groupes 1 (X, x) et H1 (X; Z) peuvent avoir de
la torsion (par exemple, lespace lenticulaire Ln,p = S2n1 /Up vrie 1 (Ln,p )
H1 (Ln,p ; Z) Z/pZ si n 2), appliquer le foncteur Hom(, Z) tue la torsion (par
exemple, lespace lenticulaire Ln,p vrie H 1 (Ln,p ; Z) = 0 si n 2). Si le groupe ablien H1 (X; Z) est de type ni, (ce qui est par exemple le cas si X est un CW-complexe
ni), alors H 1 (X; Z) est un groupe ablien libre de type ni (donc isomorphe Zm
pour un m N), isomorphe au quotient de H1 (X; Z) par son sous-groupe de torsion
maximal.
Relation entre cohomologie cellulaire et singulire
169
H n (D (X); M) H n (X; M)
de sorte que, pour toute application cellulaire f : Y Z, le diagramme suivant soit
commutatif :
H n (D (Z)) H n (Z)
f
f
n
H (D (Y )) H (Y ) .
7.3
Le cup produit
d)() = c( )d(+ )}
b)
c=a
(b
c) .
1=1
c=c.
d) = (c)
d + (1)p c
(d) .
(c
d)() =
i=0
(1)p (c
d)() =
i=p
(d + d ) = (c
d) + a
d ).
d + (1)p c
(x
y)
z=x
(y
z) .
[1] = [1]
x=x.
f (x
y) = (f x)
(f y) .
La proprit suivante est plus subtile, nous renvoyons par exemple [Hat] pour
une dmonstration.
Proposition 7.6 Le cup produit est anticommutatif :
x H p (X, Y ), y H q (X, Y ), x
y = (1)pq y
x.
H n (X) ,
nN
muni de lextension par bilinarit du cup produit, encore appele cup produit et
note . Alors les proprits prcdentes disent que (H (X), ) est une algbre
unitaire gradue anticommutative sur lanneau A, appele lalgbre de cohomologie
singulire de X. Si f : X Y est une application continue, alors f : H (Y )
H (X) est un morphisme dalgbres unitaires gradues.
Exemples. Les exemples suivants expriment les algbres de cohomologie singulire de certains espaces topologiques comme des algbres quotients dalgbres de
polynmes par des idaux (voir par exemple [Hat] pour des dmonstrations).
H (S1 ; A) A[t] / t2 .
H (Pn (R); Z/2Z) Z/2Z[t] / tn+1 .
H (Pn (C); A) A[t2 ] / (t2 )n+1 .
7.4
Autres exercices
7.5
Exercice E.75 Dans ce qui suit, le module des coecients est Z. Comme X est
une varit topologique (spare) de dimension d, il existe U1 , ... , Uk des voisinages
ouverts deux deux disjoints de x1 , ..., xk , qui sont homomorphes la boule ouverte
de dimension d. Notons A = X {x1 , ... , xk } et U = X k Ui . Alors U est ferm,
i=1
A ouvert, et U A. Pour tout n dans N, par le thorme dexcision, H n (X, A)
172
H n (X U, A U) = H n ( k Ui , k Ui {xi }) =
i=1
i=1
invariance homotopique de la cohomologie relative,
k
i=1
173
Zk si n = d
0 sinon .
Z si n = d
0 sinon ,
8.1
noncs
Exercice E.76 (1) Un H-espace 2 est un espace topologique point (X, e) muni
dune loi de composition interne continue telle que e e = e et telle que les
applications de X dans X dnies par x x e et x e x soient homotopes
lapplication identit relativement {e}.
a) Soient et deux lacets dorigine e dans X. Montrer que les applications
h : [0, 1]2 X et h : [0, 1]2 X dnies respectivement par
h(s, t) =
e (2t) e (2t)
si t s/2
(2t 1) e (2t 1) e
si t 1 s/2
et
si s/2 t 1 s/2
sont continues.
b) Montrer que dans le groupe fondamental 1 (X, e), le produit dun couple
([], []) de classes dhomotopies de lacets dorigine e est gal la classe dhomotopie
du lacet t (t) (t).
c) Montrer que le groupe 1 (X, e) est ablien.
(2) Soient X un espace mtrique point en x, et (X) lespace des lacets de X,
cest--dire lensemble des lacets en x dans X, muni de la topologie de la convergence
uniforme, point en x , le lacet constant en x.
a) Si f : X Y est une application continue pointe, o Y est un espace
mtrique point, montrer que lapplication f : (X) (Y ) dnie par f
est aussi une application continue pointe. Montrer que est un foncteur de la
catgorie des espaces mtriques points, et des applications continues pointes, dans
elle-mme. Montrer que si X et Y ont le mme type dhomotopie, alors (X) et
(Y ) ont le mme type dhomotopie.
b) Montrer que lespace topologique point (X), muni de la concatnation des
lacets, est un H-espace. Pour i 2, notons par rcurrence i (X) = i1 (X) .
Montrer que i (X) est un groupe ablien pour i 2, et calculer i (X) si X est
contractile.
(3) Soit G un groupe topologique, connexe et localement connexe par arcs, dlment neutre e.
a) Montrer que son groupe fondamental 1 (G, e) est ablien.
b) Soient G un groupe topologique connexe et : G G un morphisme de
groupes, qui est un revtement. Montrer que le noyau de est un sous-groupe
distingu, discret de G, contenu dans le centre de G. Montrer que est galoisien.
2. H est lune des deux initiales de Heinz Hopf (1894-1971)
174
175
i=0
(1) cki
(1)i hki .
i=0
(3) a) Montrer que pour tout groupe ablien G de type ni et tout n N {0},
il existe un espace topologique compact connexe par arcs X (not M(G, n) et appel
un espace de Moore) tel que, pour tout p N {0},
Hp (X; Z)
G si p = n
0 sinon .
b) Montrer que pour toute suite (Gp )pN{0} de groupes abliens de type ni, il
existe un espace topologique connexe par arcs X tel que Hp (X; Z) Gp pour tout
p N {0}.
Exercice E.84 Notons R3 lespace ane euclidien orient usuel, de coordonnes
(x, y, z) dans le repre usuel. Considrons les vissages vx , vy , vz dnis respectivement
comme la composition de la translation de longueur +2 et de la rotation dangle +
2
le long de laxe orient des x, y, z. Notons le sous-groupe du groupe des isomtries
177
4
4
anes de R3 engendr par vx , vy et vz , et celui engendr par vx , vy et vz . Considrons les projections canoniques : R3 X = \R3 et : R3 X = \R3 sur
les espaces topologiques quotients X et X .
f (t) = exp
k=1
L(f k ) k
t .
k
(4) Supposons dans cette question que X soit un CW-complexe ni et que f soit
cellulaire. Pour tout k N, notons Dk lespace vectoriel des k-chanes cellulaires de
X, et tk (f ) la trace de lapplication linaire f : Dk Dk .
178
C
0
0.
c) Montrer que si f (c) c est vide pour toute cellule c de X, alors L(f ) = 0.
(5) On admet que pour toute application continue f dun CW-complexe Z dans
lui-mme, il existe une structure de CW-complexe Z sur lespace topologique Z,
telle que lidentit de Z dans Z soit cellulaire et telle que f soit homotope une
application cellulaire g de Z dans Z avec g pouvant tre choisie arbitrairement
proche de f .
a) Pour tout n N {0}, montrer que toute application continue f de Sn dans
Sn , de degr dirent du degr de lantipodie x x, admet un point xe.
b) Montrer que toute application continue f dune surface compacte connexe
orientable de genre g 2 dans elle mme, qui est homotope lidentit, possde un
point xe.
Exercice E.86 Soit n N, montrer que le tore Tn de dimension n admet une
n
structure de CW-complexe, ayant
cellules de dimension k pour 0 k n.
k
Calculer Hi (Tn ; Z) pour tout i N.
Exercice E.87 (1) En utilisant lexercice E.54, pour tous k N{0} et n1 , . . . , nk
N, calculer les groupes dhomologies coecients entiers de X Sn1 Snk en
fonction de ceux de X.
(2) De mme, pour tous i, k N, calculer Hi (P (R); Z/2Z), et montrer que pour
tout espace topologique X, nous avons
Hk (X P (R); Z/2Z)
8.2
Hp (X; Z/2Z) .
0ik
Indications de correction
1
Exercice E.76 (1) a) Les applications h1 : [0, 1] [0, 2 ] X et h2 : [0, 1] [ 1 , 1]
2
X dnies par (s, t) ((1+s)t)((1s)t) et (s, t) ((1s)t+s)((1+s)ts)
sont bien dnies sur deux ferms du carr [0, 1]2, de runion [0, 1]2 , et continues par
1
compositions dapplications continues. Elles concident sur lintersection [0, 1] { 2 }
1
de ces deux ferms (elles valent toutes deux ( 1+s ) ( 1s ) en (s, 2 )). Donc h est
2
2
continue.
179
De mme, h est bien dnie et continue sur trois ferms du carr [0, 1]2, de
runion [0, 1]2 , et les dnitions de h concident sur les intersections deux deux de
ces ferms. Donc h est continue.
b) Soient et deux lacets dorigine e. Remarquons que t (t) (t) est bien
un lacet dorigine e, par composition dapplications continues et car ee = e. Notons
: t (t)e et : t e(t), qui sont deux lacets en e, homotopes (en tant que
lacets) aux lacets et respectivement, par la proprit de H-espace. Lapplication
h dnie en a) est une homotopie entre lapplication t h(0, t) = (t) (t) et
lapplication t h(1, t) = ( )(t), qui est homotope la concatnation des lacets
et . De plus h(s, 0) = e e = e et h(s, 1) = e e = e pour tout s [0, 1]. Par
composition des homotopies de lacets, les lacets et : t (t) (t) sont
donc homotopes. Par dnition du produit dans le groupe fondamental, le rsultat
en dcoule.
c) Mthode 1 : Soient et deux lacets dorigine e. Notons respectivement
et les lacets t e (t) (e (t)) et t (t) e ((t) e) dorigine e (car
e (e (e e)) = e). Par la proprit de H-espace, par le fait que est homotope
au lacet constant en e et par composition des homotopies, ces deux lacets sont
homotopes au lacet constant en e. Lapplication h dnie en a) est une homotopie
entre dune part lapplication t h (0, t) = (t) (t) ((t) (t)) , qui est
homotope la concatnation de lacets par la question b), et dautre part
lapplication t h (1, t) = ( )(t), qui est homotope la concatnation de deux
lacets constants en e, donc au lacet constant en e. De plus h (s, 0) = e(e(ee)) = e
et h (s, 1) = e (e (e e)) = e. Donc est homotope (en tant que
lacet) au lacet constant. Par dnition du produit dans le groupe fondamental, le
commutateur [a, b] = aba1 b1 de deux lments quelconques du groupe fondamental
de X (de point base e) est donc trivial, et 1 (X, e) est ablien.
Mthode 2 : Soient et deux lacets dorigine e. Lapplication
h (s, t) =
2t
( 1+s ) si 0 t 1+s
2
e
si 1+s t 1
2
ia
b
b ia
: a R, b C .
b ia
(a, Re b, Im b). Comme toute matrice anti-hermitienne est normale, donc diagonalisable en base orthogonale, nous pouvons supposer que g est une rotation daxe
ei 2
0
3
laxe de la premire coordonne dans R . Mais comme llment
de
i
0 e 2
SU(2) agit par la rotation dangle autour de laxe de la premire coordonne, la
surjectivit en dcoule.
Puisque est un morphisme surjectif de groupes topologiques compacts, de
noyau ni, est un revtement, par la question (3) c). Comme SU(2) est simplement
182
connexe (car homomorphe la sphre S3 par la question (4) a)), lapplication est
mme un revtement universel. Donc le groupe fondamental de SO(3) est isomorphe
au groupe des automorphismes de son revtement universel :
1 SO(3) Z/2Z .
(5) a) Le groupe des rotations SO(3) agit (par restriction de laction linaire
sur R3 ) sur la sphre S2 , et envoie vecteur unitaire tangent la sphre sur vecteur
unitaire tangent la sphre, en prservant la norme. Donc (g, (x, v)) (gx, gv)
est une action de SO(3) sur T 1 S2 . De plus, cette action est simplement transitive,
car SO(3) agit transitivement sur la sphre, et les rotations daxe vertical agissent
simplement transitivement sur les vecteurs unitaires du plan horizontal. Lapplication de SO(3) dans T 1 S2 dnie par g g(x0 , v0 ), pour nimporte quel (x0 , v0 ) x
dans T 1 S2 , est donc une bijection continue entre deux ferms borns despaces vectoriels euclidiens de dimension nie, donc compacts, donc est un homomorphisme.
Puisque les groupes fondamentaux de deux espaces topologiques connexes par arcs
sont isomorphes, nous avons
1 T 1 S2 Z/2Z .
b) Par labsurde, soit x v(x) une application continue qui tout point de
la sphre v(x) associe un vecteur tangent en x S2 non nul. Quitte diviser par
v(x) , nous pouvons supposer que v(x) est de norme 1. Notons v(x) le vecteur
directement orthogonal v(x), contenu dans le plan tangent S2 en x (cest-dire dans lorthogonal de Rx). Il dpend continuement de x, comme v(x). Alors, en
considrant le cercle S1 = {(s, t) R2 : s2 + t2 = 1}, lapplication de S2 S1
dans T 1 S2 , dnie par (x, (s, t)) (x, sv(x) + tv(x) ), est un homomorphisme
(car une bijection continue entre espaces compacts). Mais ceci est impossible. En
eet, deux espace topologiques connexes par arcs homomorphes ont des groupes
fondamentaux isomorphes. Or le groupe fondamental de S2 S1 est Z (le revtement
universel de S2 S1 est la projection vidente de S2 R (simplement connexe car
ayant mme type dhomotopie que S2 ) sur S2 S1 ). De plus, le groupe fndamental
de T 1 S2 , isomorphe celui de SO(3) par fonctorialit et la question (5) a), est Z/2Z,
par la question (4) c).
Exercice E.77 (1) Nous allons utiliser le thorme de van Kampen. Notons k =
1, 2. Dans la copie Pk du plan projectif, le point x admet un petit voisinage Vk
homomorphe au disque ouvert D = {z C : |z| < 1}. Notons Uk louvert connexe
par arcs de Y union de Pk et de V3k . Puisque Vk est contractile, louvert Uk se
rtracte par dformation forte sur la copie Pk , et donc son groupe fondamental est
isomorphe Z/2Z. Louvert U1 U2 , homomorphe au bouquet de deux disques
ouverts points en leur centre, est contractile (donc connexe par arcs et de groupe
fondamental trivial). Par le thorme de van Kampen, le groupe fondamental du
bouquet de deux plans projectif est donc le produit libre de deux copies de Z/2Z.
1 (Y ) = Z/2Z Z/2Z .
183
au groupe didral D4 dordre 8, engendrs par deux rexions sur des droites faisant un angle /4, qui sont a1 , a2 a1 a2 et a2 , a1 a2 a1 . Enn, il y a un sous-groupe
(distingu) dordre 16, correspondant au revtement trivial de X.
Exercice E.78 Lespace X admet une structure de CW-complexe ayant un sommet,
trois artes a, b, c, une 2-cellule, telle que son 1-squelette est le bouquet de trois
cercles, et le lacet dattachement de la 2-cellule est a b c c a b.
a
b
c
(1) Le groupe fondamental admet donc comme prsentation x, y, z | xyx1 y 1 =
1 . Cest donc
1 X Z2 Z .
(2) Comme S et C sont connexes par arcs, on a H0 (S, C) = 0.
Mthode 1 : Le complexe de chanes cellulaires de X (pour la structure ci-dessus)
est
f
g
Z Z3 Z 0 0 ...
o f est lapplication nulle, car les artes sont des lacets, et g est lapplication nulle,
car les lacets a, b, c sont parcourus par lapplication dattachement chacun deux fois,
mais dans des sens dirents. Donc H0 (X) = Z (ce que lon savait dj par connexit
par arcs de X), H1 (X) = Z3 (ce que lon savait dj par le thorme de Hurewicz
et la question (1)), H2 (X) = Z, et Hi (X) = 0 pour i 3.
Par le thorme dexcision, en notant x le point de X image de C, nous aonvs
Hk (S, C) Hk (X, x) pour tout k dans N. Or Hk (X, x) Hk (X) pour k 1 par
la suite exacte longue dhomologie relative de la paire (X, x). Donc le rsultat sen
dduit.
Mthode 2 : La suite exacte longue dhomologie relative de la paire (S, C) donne,
pour i 1 une suite exacte
Hi (C) Hi (S) Hi (S, C) Hi1 (C) Hi1 (S) .
Si i 3, alors Hi (S) = 0 et Hi1 (C) = 0, donc Hi (S, C) = 0. Si i = 2, alors nous
avons une suite exacte 0 Z Hi (S, C) H1 (C) H1 (S), et la dernire che
est injective, car par le calcul bien connu de lhomologie des surfaces, son image est
un facteur direct de H1 (S) Z4 . Donc H2 (S, C) = Z. Enn, si i = 1, alors nous
avons une suite exacte 0 Z Z4 H1 (S, C) H0 (C) H0 (S) et la dernire
che est injective, car S et C sont connexes par arcs. Donc H1 (S, C) = Z3 .
Exercice E.79 Nous pouvons supposer X et Y non vides, sinon X Y est vide.
185
est connexe et a son i-me groupe dhomologie trivial pour i 1, alors Hi (X) = 0
pour tout i sup {1, n 1}. Ceci entranera bien le rsultat, car si un espace
topologique non vide Y est contractile, alors il est connexe et Hi (Y ) = 0 pour i 1.
Le rsultat est clairement vrai pour n = 1. Soit n 2. Supposons le rsultat
vrai au rang n 1. Soit X un espace topologique, runion de n ouverts U1 , . . . , Un
vriant la condition ci-dessus. Posons A = U1 Un1 et B = Un . Alors, par
rcurrence, Hi (A) = 0 pour tout i sup {1, n 2} et Hi (A B) = 0 pour tout
i sup {1, n 2}.
Soit i sup {1, n 1}. La suite exacte longue de Mayer-Vietoris donne une suite
exacte
Hi (A) Hi (B) Hi (X) Hi1 (A B) Hi1 (A) Hi1 (B) .
Nous avons Hi (B) = 0. Comme i sup {1, n 2}, nous avons Hi (A) = 0. Si
i 2, alors i 1 sup {1, n 2}, donc Hi1 (A B) = 0. Par exactitude, on a donc
Hi (X) = 0. Si i = 1, alors par connexit, lapplication H0 (AB) H0 (A)H0 (B)
est injective. Par exactitude, nous avons donc Hi (X) = 0.
(2) Montrons par rcurrence sur n que Sn est runion de n + 2 ouverts intersections vides ou contractiles. Comme Hn (Sn ) = Z = 0, ceci donne le rsultat.
Cest vrai pour n = 0, car S0 ne possde que deux composantes connexes, qui sont
rduites un point. Supposons le rsultat vrai au rang n 1, et notons U1 , . . . , Un+1
des ouverts intersections vides ou contractiles, dont la runion est Sn1 . Considrons Sn1 comme lquateur de Sn , identi avec la suspension de Sn1 . Notons
rajoutant un calotte polaire ouverte autour du ple nord. Notons Un+2 une calotte
polaire ouverte autour du ple sud, contenant C. Il est facile de vrier que les
Z Z2 Z 0 0 ...
187
avec f et g des applications nulles par ce qui prcde. Donc H0 (X) = Z, H1 (X) =
Z2 , H2 (X) = Z, Hk (X) = 0 si n 3.
Exercice E.82 (1) Pour tout i N, notons Ci le i-me espace de chanes cellulaires
coecients rels de X, Zi son sous-espace vectoriel des i-cycles, et Bi son sousespace vectoriel des i-bords. Notons zi et bi la dimension de Zi et de Bi . Posons
b1 = 0 et rappelons les conventions C1 = {0} et 0 = 0. Par le thorme du rang
appliqu loprateur bord i : Ci Ci1 , nous avons ci = zi + bi1 (y compris pour
i = 0). Puisque Hi (X; R) = Zi /Bi , nous avons hi = zi bi . Posons B(t) = iN bi ti ,
qui est un polynme, car bi = 0 si i est strictement suprieur la dimension de X,
et dont les coecients sont dans N, donc sont positifs ou nuls. Comme b1 = 0, il
est immdiat de vrier que
C(t) H(t) =
k
i
i=0
(1) cki
i=0
(1)i hki = bk b1 = bk 0 .
n+1
n+2
n
0
0 D0 = Z 0 0 Dn = Z Dn+1 = Zk 0 .
Z si p = 0
Z si p = n
Hp (X)
Zk si p = n + 1
0 sinon .
188
Si (d1 , . . . , dk ) = (0, . . . , 0), alors limage de n+1 est le sous-groupe inni cyclique
engendr par d = pgcd(d1 . . . , dk ), donc
si p = 0
Z
Z/dZ si p = n
Hp (X)
Zk1 si p = n + 1
0
sinon .
vx : (a, b, c) (a + 2, c, b),
vy : (a, b, c) (c, b + 2, a),
vz : (a, b, c) (b, a, c + 2) .
y
x
4
vy
189
p q r
(2) Lespace X est connexe par arcs, car quotient dun espace connexe par arcs.
Si X et T3 avaient le mme type dhomotopie, leurs groupes fondamentaux seraient
isomorphes. Or comme R3 est simplement connexe, le groupe fondamental de X est
isomorphe , et le groupe fondamental de T3 = R3 /Z3 est isomorphe Z3 , qui est
4
4
ablien. Or nous avons vu que vz vx = vx vz , par exemple, donc nest pas ablien,
et ne peut tre isomorphe Z3 .
4
4 4
Le sous-groupe H de engendr par vx , vy , vz est le groupe des translations par
les vecteurs coordonnes entires multiples de 8. Donc H\R3 est homomorphe
au tore T3 , et en particulier est compact. Par la thorie des revtements, lapplication canonique H\R3 X = \R3 est un revtement, ncessairement ni par
compacit de H\R3, ce qui rpond la seconde question.
Lapplication qui une transformation ane associe sa partie vectorielle dnit
une suite exacte de groupes
(4) Par la formule dEuler, la caractristique dEuler (X) de X est donc (X) =
2 4 + 3 1 = 0. Mais on peut aussi utiliser le fait que la caractristique dEuler
dun revtement n feuillets de X est n(X) (car un revtement n feuillets dun
CW-complexe ni Y hrite dune structure de CW-complexe ni, par le thorme
du relvement, ayant n nk cellules de dimension k si Y possde nk cellules de
dimension k). Comme X admet un revtement ni de caractristique dEuler nulle
(le tore T3 , encore faut-il savoir ceci), le rsultat en dcoule.
(5) Notons Dk le groupe des k-chanes cellulaires de X. Comme base de D0 Z2 ,
choisissons les sommets (1,1,1) et (1, 1, 1). Comme base de D1 Z4 , choisissons les
191
artes de la face {1} [1, 1]2 orientes dans le sens trigonomtrique, la premire
tant celle entre (1, 1, 1) et (1, 1, 1). Comme base de D2 Z3 , choisissons les
faces , , orientes par la normale sortante du cube. Le complexe des chanes
cellulaires de X est
0
1
2
3
4
0 Z2 Z4 Z3 Z 0
o 0 et i pour i 4 sont les applications nulles. Nous avons 3 = 0 car les faces sont
recolles (deux deux) par translations, donc avec des orientations par la normale
sortante opposes. En regardant le dessin ci-dessus (et en faisant bien attention
lorientation des artes et au sens de parcours des bords des faces), nous avons
1 : (x1 , x2 , x3 , x4 ) (x1 x2 + x3 x4 , x1 + x2 x3 + x4 )
et
2 : (y1 , y2 , y3) (y1 y2 y3 , y1 + y2 y3 , y1 + y2 + y3 , y1 y2 + y3 ) .
Donc Hi (X) = 0 si i 4 (car X est un CW-complexe de dimension 3), H3 (X) =
ker 3 / im 4 Z, H0 (X) Z car X est connexe par arcs, H2 (X) = ker 2 / im 3 = 0
car 2 est injective, et enn H1 (X) = ker 2 / im 3 = 0 car le noyau de 2 , qui est le
sous-groupe dquation x1 x2 + x3 x4 , est gal limage de 3 .
Exercice E.85 (1) a) Par fonctorialit, id = id et la trace de lidentit dun espace
vectoriel de dimension nie est gale la dimension de cet espace. Donc lindice de
Lefschetz de f est gal la caractristique dEuler de X :
L(id) = (X) .
Comme idk = id, nous avons donc
+
tk
k
b) Comme les seuls groupes dhomologie non nuls de la sphre Sn sont en degr
0 et n, et sont gaux R, et puisque f induit en homologie lidentit en degr 0 et la
multiplication par d en degr n (cest la dnition lorsque lanneau des coecients
est Z ; le rsultat est encore valable lorsquil est R, en tensorisant par R le complexe
des chanes singulires coecients Z, dont les groupes sont abliens libres), nous
avons donc
L(f ) = 1 + (1)n d .
Puisque deg(f g) = (deg f )(deg g), nous avons
+
id (t) = exp
k=1
1 + (1)n kd k
t
k
= (1 + t) exp
(1)n d t
.
1t
192
t
1t
Comme les groupes dhomologie du cercle sont bien connus, et comme les groupes
dhomologie dun espace sont les sommes directes des groupes dhomologie de ses
composantes connexes par arcs, nous avons donc
3
R si k = 0
R2 si k = 1
Hk (Y )
0 sinon .
b) Lespace Y est un ferm (car la spirale saccumule sur les deux cercles de rayons 1
et 3), born donc compact. Il est connexe, car cest ladhrence de la spirale, qui est
connexe car homomorphe R (thorme de larbre et de lcorce ...) Considrons
lapplication f : Y Y qui vaut la rotation dangle 1 radian sur les deux cercles,
et qui vaut la translation + 1 du paramtre de la spirale sur celle-ci. Cest
clairement un homomorphisme sans point xe, qui induit lidentit sur tous les
groupes dhomologie. Donc L(f ) = +3 2 = 1 = 0.
(4) a) Soit C un supplmentaire de i(A) dans B, de sorte que j induit un isomorphisme de C dans C. Par commutativit du diagramme, envoie i(A) dans
lui-mme. Le rsultat est immdiat en considrant la matrice par blocs de dans la
dcomposition B = i(A) C, car trace(ghg 1) = trace(h) si g est un isomorphisme
linaire, |i(A) = i i1 |i(A) , et j|C (j|C )1 = .
b) Notons Di , Bi , Zi , Hi les espaces vectoriels rels de dimension nie des i-chanes
cellulaires, des i-cycles cellulaires, des i-bords cellulaires, et le i-me espace dhomologie cellulaire de X. Lapplication f induit des morphismes de suites exactes courtes
et
0 Bi Zi Hi 0
0 Bi Zi Hi 0
0 Zi Di Bi1 0
0 Zi Di Bi1 0 .
193
n
k
si k > n),
Hk (Tn ; Z) Z
195
n
k
Les rfrences pour cet appendice sont [Bou, Dug, Dix, Pau2]. On suppose
connues, essentiellement pour des exemples, les notions despaces vectoriels norms et despaces mtriques. Les preuves qui ne sont pas donnes ci-dessous sont les
mmes que dans le cas particulier des espaces mtriques, ou sont laisses en exercice.
A.1
Gnralits
B(x, r) U
est une topologie sur X, appele topologie induite par la distance. Sauf mention
contraire, tout espace mtrique sera muni de la topologie induite par sa distance.
Exemple 3 : Soit k un corps commutatif, et An (k) = k n . Un ferm de Zariski de
An (k) est une partie de la forme
F = {x k n : i I, Pi (x) = 0},
196
o (Pi )iI est une famille de polynmes sur k n . Lensemble des ferms de Zariski
est lensemble des ferms dune unique topologie sur An (k), appele la topologie de
Zariski.
Dmonstration. Lensemble vide est un ferm de Zariski, car cest lensemble des
zros du polynme constant 1. Si F, F sont des ferms de Zariski, ensembles des zros
communs des familles de polynmes (Pi )iI , (Qj )jJ respectivement, alors F F est
lensemble des zros communs de la famille de polynmes (Pi Qj )(i,j)IJ , donc est
un ferm de Zariski. Si Fj , pour j J, est un ferm de Zariski, ensemble des zros
communs de la famille de polynmes (Pi,j )iIj , alors jJ Fj est lensemble des zros
communs de la famille des polynmes Pi,j pour j J et i Ij , donc est un ferm
de Zariski.
Remarque. En fait, par le thorme du Nullstellensatz de Hilbert (voir par exemple
[Per]), tout ferm de Zariski de An (k) est lensemble des zros communs dune famille
nie de polynmes.
Topologie engendre, prbase et base douverts
Soit X un ensemble. Pour toute partie de P(X), il existe une unique topologie
la plus petite (pour linclusion) contenant . Cest lensemble O des unions dintersections nies dlments de . Cest lintersection de toutes les topologies contenant
. On dit que O est la topologie engendre par , et que est une prbase de O.
Dmonstration. Il est clair que toute topologie contenant contient O. Il sut
donc de montrer que O est une topologie. Ceci dcoule de la distributivit
Ai
iI
Bj
jJ
iI,jJ
(Ai Bj ).
Une base douverts dun espace topologique (X, O) est une partie B de O telle
que tout ouvert de X est union dlments de B. Par exemple, lensemble des intersections nies dlments dune prbase est une base douverts. Si (X, d) est un
1
espace mtrique, alors {B(x, n+1 ) : x X, n N} est une base douverts.
Proposition A.1 (Critre pour quune prbase soit une base) Soit X un
ensemble. Soit B une partie de P(X) telle que B = X et
()
U, V B, x U V, W B,
x W U V.
x
U
V
A B = A B,
A B = A B.
A B A B,
A B A B.
198
X A = X A,
X A = X A.
Lintrieur de A est la runion des ouverts contenus dans A, cest le plus grand
ouvert contenu dans A.
Ladhrence de A est lintersection des ferms contenant A, cest le plus petit
ferm contenant A.
0+
0
Exercice E.A.89 Montrer que la topologie de Zariski sur An (R) nest pas spare
pour n > 0. Montrer que tout ouvert de Zariski non vide de An (R) est un ouvert
dense de Rn pour la topologie usuelle de Rn .
Continuit
Soient X, Y deux espaces topologiques et f : X Y une application. Si x0 X,
on dit que f est continue en x0 si, pour tout voisinage V de f (x0 ) dans Y , il existe
un voisinage U de x0 dans X tel que f (U) V .
Soit U un systme fondamental de voisinages de x0 , et V un systme fondamental de voisinages de f (x0 ). Alors f est continue en x0 si et seulement si pour tout
V V , il existe U U tel que f (U) V .
199
On dit que f est continue si elle vrie lune de ses conditions. Si X est discret, alors
f est continue. Si Y est grossier, alors f est continue. Si f : X Y et g : Y Z
sont deux applications continues, alors g f : X Z est continue. Une bijection
f : X Y est un homomorphisme si et seulement si f et f 1 sont continues.
A.2
Constructions de topologies
Comparaison de topologies
Soit X un ensemble. Une topologie O1 sur X est moins ne quune topologie O2
sur X si O1 est contenue dans O2 , et plus ne si O1 contient O2 .
La topologie grossire est la topologie la moins ne sur X, et la topologie discrte
est la topologie la plus ne sur X. La topologie usuelle sur Rn (i.e. celle induite par
la distance euclidienne) est plus ne que la topologie de Zariski sur An (R) = Rn .
En eet, un ferm de Zariski de Rn est lintersection des ensembles des zros dune
famille dapplications polynomiales, donc continues.
Exercice E.A.90 Soit X un ensemble, et T1 , T2 deux topologies sur X. Montrer
que les assertions suivantes sont quivalentes :
T1 est plus ne que T2 ;
tout ferm pour T2 est ferm pour T1 ;
lapplication identique (X, T1 ) (X, T2 ) est continue ;
pour tout x de X, tout voisinage de x pour T2 est voisinage de x pour T1 .
Topologie initiale
Soient X un ensemble et (Yi )iI une famille despaces topologiques. Pour tout
i I, soit fi : X Yi une application. La topologie initiale sur X dnie par (fi )iI
est la topologie engendre par {fi1 (Ui ) : i I, Ui ouvert de Yi }. Cest la topologie
sur X la moins ne rendant continue les applications fi pour i I. Si Z est un espace topologique et g : Z X est une application, alors g est continue si et seulement
si chacune des fi g est continue. Si Bi est une base douverts de Yi pour tout i I,
alors lensemble des intersections nies dlments de {fi1 (Ui ) : i I, Ui Bi }
est une base douverts de X. Si x X et Vi est un systme fondamental de voisinages
201
de fi (x) dans Yi pour tout i I, alors lensemble des intersections nies dlments
de {fi1(Vi ) : i I, Vi Vi } est un systme fondamental de voisinages de x dans
X.
Exemple : Topologie faible. Soit (E, || ||) un espace vectoriel rel norm. La
topologie sur E induite par la distance induite par la norme est appele la topologie
forte, et une application continue de E, muni de la topologie forte, dans un espace
topologique est dite fortement continue. Le dual topologique E de E est lespace
vectoriel des formes linaires fortement continues sur E. La topologie initiale sur E
dnie par la famille ()E est appele la topologie faible sur E.
Exercice E.A.91 a) Pour (E, || ||) comme ci-dessus, montrer les assertions suivantes :
Si x0 E, alors lensemble des parties de la forme
V,1,...,n (x0 ) = {x E : i = 1...n, |i (x) i (x0 )| < }
lorsque > 0, n N et 1 , ..., n E , est un systme fondamental de voisinages de x0 dans E pour la topologie faible ;
les ouverts pour la topologie faible sont les unions dintersections nies de
parties de la forme 1 (O) avec O intervalle ouvert de R et E ;
la topologie faible sur E est la topologie la moins ne rendant continue les
formes linaires fortement continues ;
la topologie forte sur E est plus ne que la topologie faible ;
si E est de dimension nie, alors la topologie forte et la topologie faible concident.
b) On considre lespace de Hilbert
2 (R) = {x = (xn )nN RN : ||x||2 =
x2
n
1/2
< +}
Xi = {(xi )iI (
iI
Xi )I : i I, xi Xi }
lensemble produit, muni de ses projections canoniques pri : X Xi avec pri (x) =
xi si x = (xi )iI . La topologie initiale sur X dnie par (pri )iI est appele la
topologie produit sur X. Sauf mention contraire, lensemble produit dune famille
despaces topologiques sera muni de la topologie produit.
Un ouvert lmentaire de X est une partie de X de la forme
VJ,(Uj )jJ = {(xi )iI X : j J, xj Uj } =
1
prj (Uj )
jJ
pour J une partie nie de I et Uj un ouvert de Xj pour tout j dans J. Par exemple,
si n N {0} et X = X1 X2 ... Xn , alors un ouvert lmentaire de X est une
partie de la forme U1 U2 ... Un avec Ui un ouvert de Xi .
Les proprits suivantes dcoulent des proprits des topologies initiales, ou sont
laisses en exercice :
203
1
prj (Vj )
jJ
Xi
iI
Ai .
iI
2xi
(xi )iN
3i+1
i=0
est un homomorphisme. Montrer que C N et C sont homomorphes.
Exercice E.A.95 Montrer que le produit dune famille despaces topologiques connexes
(resp. connexes et localement connexes, connexes par arcs, connexes et localement
connexes par arcs) est connexe (resp. localement connexe, connexe par arcs, localement connexe par arcs). Montrer que le produit dune famille nie despaces topologiques localement connexes (resp. localement connexes par arcs) est localement
connexe (resp. localement connexe par arcs).
Topologie nale
Soit X un ensemble, (Yi )iI une famille despaces topologiques et pour tout i I,
soit fi : Yi X une application. La topologie nale sur X dnie par (fi )iI est
la topologie dont les ouverts sont les parties O de X telles que pour tout i dans
I, le sous-ensemble fi1 (O) soit un ouvert de Yi . Cest la topologie sur X la plus
ne rendant continue toutes les applications fi . Si Z est un espace topologique et
g : X Z est une application, alors g est continue si et seulement si chacune des
g fi est continue.
Exemple : Topologie somme disjointe. Soit (Xi )iI une famille despaces topologiques. On rappelle quun ensemble X muni dapplications fi : Xi X est une
somme disjointe des Xi si pour tout ensemble Y muni dapplications gi : Xi Y , il
existe une unique application : X Y telle que le diagramme suivant commute
pour tout i :
fi
Xi X
gi
Y .
205
aA
R(a) =
Remarque. (1) Si A est ouvert (resp. ferm) et satur dans X, alors (A) lest dans
Y . En gnral, lhypothse sature ne peut tre omise.
(2) Limage rciproque par la projection canonique est une bijection entre les
parties de X/R et les parties satures de X, qui prserve les oprations boolennes
usuelles.
Proposition A.3 Lespace topologique quotient Y est spar si et seulement si pour
tous x, y dans X nappartenant pas la mme classe dquivalence, il existe deux
ouverts U, V saturs disjoints contenant x, y respectivement.
Dmonstration. On suppose la condition vrie. Soient x , y dans Y avec x = y .
Soient x, y dans X avec (x) = x , (y) = y . Soient U, V comme ci-dessus. Alors
(U), (V ) sont des ouverts (car leurs primages par sont U, V , qui sont ouverts),
disjoints et contenant x , y respectivement. Donc Y est spar.
Rciproquement, si Y est spar, si x, y X ne sont pas quivalents, alors
On note Tn ou Rn /Zn lespace quotient Rn /R, que lon appelle tore de dimension n.
Soit : Rn Tn la projection canonique. On identie R2 avec C par (x, y) x+iy.
Lapplication
:
Rn
(S1 )n
(t1 , ..., tn ) (e2it1 , ..., e2itn )
est continue, surjective, et induit par passage au quotient une bijection
:
Tn
(S1 )n
2it1
[(t1 , ..., tn )] (e
, ..., e2itn ) .
Cette bijection est continue, car = lest. Lespace quotient Tn est spar par
lexercice E.A.98. Il dcoule de la remarque suivant le thorme A.21 que est un
homomorphisme.
Exercice E.A.98 Soient X un espace topologique et R une relation dquivalence
sur X.
Montrer que si X/R est spar, alors R X X est ferm.
Montrer que si X est un espace topologique spar, si f : X X est une
application continue et si x R y f (x) = f (y), alors X/R est spar.
Exercice E.A.99 Soient X un espace topologique et R une relation dquivalence
sur X. Montrer que si lune des classes dquivalence de R est dense, et si Card(X/R)
2, alors la topologie quotient sur X/R nest pas spare. Montrer que si toutes les
classes dquivalence sont denses, alors la topologie quotient sur X/R est la topologie
grossire.
Exercice E.A.100 Soient X un espace topologique et R une relation dquivalence
sur X. On note : X X/R la projection canonique. Soit A une partie de X
et RA = R (A A) la relation dquivalence induite sur A. On a une inclusion
continue vidente A/RA X/R. Montrer que sous lune des conditions suivantes,
la topologie quotient de A/RA concide avec la topologie induite par celle de X/R :
tout ouvert satur de A est la trace sur A dun ouvert satur de X ;
A est ouvert et est ouverte ;
A est ferm et est ferme ;
|A : A X/R est ferme.
Que se passe-t-il si X = R, xRy x y Z, et A = [0, 1[ ou [0, 1] ?
Soient X un ensemble, et X X une relation sur X (on note souvent
x y au lieu de (x, y) ). On appelle relation dquivalence engendre par
lintersection de toutes les relations dquivalence contenant . Cest la plus petite
(pour linclusion) relation dquivalence contenant . On montre facilement que
cest la relation dquivalence R dnie par x R y si et seulement sil existe n N
et x0 , x1 , ..., xn dans X tels que x0 = x, xn = y et pour tout i = 1, ..., n
xi1 xi ou xi xi1 ou xi = xi1 .
208
I1
I2
0
0
1
1
0+
0
X
X
X [0, 1]
CX
On vrie que x [(x, 0)] est un homomorphisme sur son image, permettant
didentier X avec une partie de CX, et que si f : X Y est une application
continue, alors lapplication Cf : CX CY avec [(x, t)] [(f (x), t)] est continue.
Limage de X {1} dans CX est rduite un point, appel sommet du cne. Si
f : X Y et g : Y Z sont des applications continues, alors C(gf ) = (Cg)(Cf )
et C(idX ) = idCX .
209
X [1, 1]
SX
On vrie que x [(x, 0)] est un homomorphisme sur son image, permettant
didentier X avec une partie de SX, et que si f : X Y est une application
continue, alors lapplication Sf : SX SY avec [(x, t)] [(f (x), t)] est continue. Si
f : X Y et g : Y Z sont des applications continues, alors S(g f ) = (Sg)(Sf )
et S(idX ) = idSX .
Exemple (3). Soient X un espace topologique et A une partie de X. Lcrasement
de A dans X, not X/ A , est lespace topologique quotient X/R avec R la relation
dquivalence engendre par x x pour tous x, x dans A.
X
X/ A
Xi /R
iI
210
bouquet de 4 sphres
bouquet de 5 cercles
A
f
Y
211
A.3
ou
xa,xA
lim
xa,xA
Exemple.
lim
[x0 , x0 + [
]x0 , x0 + [
xx0
Si X = R, et A =
, on note alors =
[x0 , x0 [
lim
]x0 , x0 [
lim f (x) (limite a gauche)
xx0
x+ , xA
+. Bien sr,
= lim xn V V (), N N, n N,
+
xn V.
La proposition suivante dit que lon ne change pas la dnition dune limite
en demandant U et V de rester dans des systmes fondamentaux de voisinages
prescrits de a, .
Proposition A.4 Soit U , W un systme fondamental de voisinages de a, dans
X, Y respectivement. Alors
f (x)
xa, xA
V W , U U
212
f (U A) V .
xa, xA
On peut caractriser la continuit par les limites. Soient X, Y deux espaces topologiques, f : X Y une application et x0 X. Alors f est continue en x0 si et
seulement si lim f existe et vaut f (x0 ).
x0
xa, xA
213
xa, xA
b et si g(y)
, alors
yb, yB
g f (x) .
xx0
Exercice E.A.104 Soient (Xi )iI une famille despaces topologiques, Y un espace
topologique, A une partie de Y et a A.
(1) Soit X un ensemble muni de la topologie initiale dnie par une famille dapplications (fi : X Xi )iI . Soit f : B X une application avec A B X.
Montrer que f (x)
si et seulement si fi f (x)
xa, xA
fi () pour tout
xa, xA
i dans I.
(2) Soient X = iI Xi , muni de ses projections canoniques pri : (xi )iI xi ,
et f : Y X une application, de i-me composante fi . En dduire que
f (x)
xa, xA
xa, xA
I.
Valeurs dadhrence
On dit que Y est valeur dadhrence de f (x) quand x tend vers a dans A (ou
de f en a si A est sous-entendu) si pour tout voisinage V de , pour tout voisinage
U de a, lensemble f (U A) V est non vide.
En particulier, toute limite dune sous-suite est valeur dadhrence de (xn )nN . Si X
est un espace mtrique (il sut que tout point de X admette un systme fondamental
dnombrable de voisinages), alors x est valeur dadhrence de la suite si et seulement
si x est limite dune sous-suite.
Proposition A.9
U V (a)
f (U A).
U V (a)
f (U A) U V (a), f (U A)
xa, xA
Si X est spar et si lim xn = x, alors x est lunique valeur dadhrence de (xn )nN .
Exemple. Si X = R, A = ]0, +], a = 0 A
1
et f : A R est lapplication x sin x , alors
lensemble des valeurs dadhrence de f en 0 est
[1, 1].
215
A.4
Compacit
Espace compact
Si X est un ensemble, une famille (Ai )iI de parties de X est un recouvrement
de X (ou recouvre X) si iI Ai = X. Un sous-recouvrement est une sous-famille
(Aj )jJ (avec J I) qui recouvre encore X. Si X est un espace topologique, un
recouvrement (Ai )iI est dit ouvert ou ferm si les Ai le sont.
Dnition A.10 Un espace topologique X est dit compact sil est spar et si tout
recouvrement ouvert de X admet un sous-recouvrement ni.
Voir par exemple [Pau2] pour des conditions quivalentes dans le cas des espaces mtrisables, dont la plus importante est : toute suite admet une sous-suite
convergente.
Exemple. Un espace discret est compact si et seulement sil est ni, car la famille
de ses singletons est un recouvrement ouvert.
Par passage au complmentaire, il est immdiat quun espace topologique spar
X est compact si et seulement si toute famille de ferms de X dintersection vide
admet une sous-famille nie dintersection vide.
Soient X un espace topologique et A une partie de X. Comme les ouverts du
sous-espace topologique A sont les traces sur A des ouverts de X, les assertions
suivantes sont quivalentes :
le sous-espace topologique A est compact.
le sous-espace topologique A est spar, et tout recouvrement de A par des
ouverts de X admet un sous-recouvrement ni.
On dit alors que A est une partie compacte de X.
Proposition A.11 (1) Si X est un espace topologique spar, si A est une partie
compacte de X, alors A est ferme dans X.
(2) Un sous-espace ferm dun espace compact est compact.
Dmonstration. (1) On montre que X A est ouvert. Soit x X A. Comme
X est spar, pour tout y dans A, il existe Uy , Vy deux ouverts disjoints avec x Uy
et y Vy . En particulier, (Vy )yA est un recouvrement de A par des ouverts de X.
Par compacit de A, il existe y1 , ..., yn dans A tels que A Vy1 ... Vyn . Alors
U = n Uyi est un ouvert de X, tel que U A = et x U. Donc X A est
i=1
ouvert.
(2) On a dj dmontr quun sous-espace dun espace spar est spar. Soit A un
ferm dun espace compact X. Soit (Fi )iI une famille de ferms de A, dintersection
vide. Puisque A est ferm, Fi est aussi ferm dans X, donc par compacit de X, il
existe une sous-famille nie dintersection vide.
Exercice E.A.105 Soit X un espace topologique spar. Montrer que deux compacts disjoints de X ont des voisinages disjoints.
216
y x.
x y ou y x.
Lensemble E muni de est dit inductif si toute partie totalement ordonne admet
un majorant.
Thorme A.14 (Thorme de Zorn) Tout ensemble ordonn inductif non vide
possde un lment maximal.
217
Ce thorme est admis (voir par exemple [Kri]), il est quivalent laxiome du
choix.
Lemme A.15 Soit X un espace topologique. Un mauvais recouvrement de X est
un recouvrement nadmettant pas de sous-recouvrement ni. Soit A une prbase
douverts de X. Si X admet un mauvais recouvrement ouvert, alors il admet un
mauvais recouvrement par des lments de A .
Dmonstration. Soit M lensemble suppos non vide des mauvais recouvrements
ouverts de X, partiellement ordonn par linclusion. Montrons quil est inductif. Soit
(U )A une famille totalement ordonne dlments de M . Soit U = A U .
Alors U est un majorant des U . Cest un mauvais recouvrement ouvert de X,
sinon il contiendrait un sous-recouvrement ni {V1 , ..., Vn } ; si Vi Ui et si A
vrie Ui U pour tout i, alors U aurait un sous-recouvrement ouvert ni,
contradiction.
Par le thorme de Zorn, soit U un lment maximal de M . En particulier,
pour tout ouvert V U , le recouvrement U {V } nest pas mauvais, donc il
/
existe U1 , ..., Un dans U tels que {V, U1 , ..., Un } recouvre X.
Lemme A.16 Pour tous ouverts V, V de X, si V U et V U , alors V V
/
/
/
U .
Compacit et continuit
Thorme A.21 Soient X un espace compact, Y un espace spar et f : X Y
une application continue. Alors
(1) lespace f (X) est compact ;
(2) si f est bijective, alors f est un homomorphisme.
Dmonstration. (1) Dabord, f (X) est spar car Y lest. Pour tout recouvrement
ouvert (Ui )iI de f (X), la famille (f 1 (Ui ))iI est un recouvrement ouvert de X,
donc admet un sous-recouvrement ni (f 1 (Uj ))jJ . Do f (X) jJ Uj . Par
consquent, f (X) est compact.
220
(2) Il sut de montrer que f 1 est continue, cest--dire que f est ferme. Si F
est un ferm de X, alors F est compact dans X, donc f (F ) est compact dans Y par
(1), donc ferm dans Y car Y est spar.
Du rsultat prcdent, il dcoule que lapplication : Tn = Rn /Zn (S1 )n ,
avec [(t1 , ..., tn )] (e2it1 , ..., e2itn ), qui est continue, bijective, de but spar, de
source compacte (car spare par lexercice E.A.98 et image du compact [0, 1]n par
la projection canonique : Rn Rn /Zn qui est continue), est un homomorphisme.
Soient X, Y deux espaces topologiques spars, et f : X Y une application.
On dit que f est propre si f est ferme et si limage rciproque par f de tout
point de Y est un compact de X. La condition que f est ferm est, dans la pratique,
dicile vrier. Lorsque les espaces sont localement compacts, on utilisera presque
exclusivement la caractrisation suivante : une application continue entre espaces topologiques localement compacts est propre si et seulement si limage rciproque de
tout compact est compact.
Proposition A.22 Si f est propre, alors limage rciproque par f de tout compact
de Y est un compact de X. Si Y est localement compact, et si limage rciproque par
f de tout compact de Y est un compact de X, alors f est propre.
Dmonstration. Si f est propre, soit K un compact de Y et (Fi )iI une famille de
ferms de f 1 (K), dintersection vide. On suppose par labsurde que CJ = jJ Fj =
pour toute partie nie J de I. Alors f (CJ ) est un ferm de Y , donc de K. Pour
toute famille nie (J ) de parties nies de I, on a
f (CJ ) f
Fj = .
Comme K est compact, il existe au moins un point y dans lintersection des ensembles f (CJ ) pour toutes les parties nies J dans I. Pour toute partie nie J dans
I, on a donc
f 1 (y)
Fj = f 1 (y) CJ = .
jJ
suite (xi )iN dans E telle que ||xi || + , on a ||f (xi )|| + . Ceci dcoule
i
A.5
Exercices rcapitulatifs
Exercice E.A.108
Montrer quun espace topologique X est spar si et seulement si la diagonale = {(x, y) X X : x = y} de X X est ferme.
Montrer que si f, g : X Y sont deux applications continues et si Y est
spar, alors {x X : f (x) = g(x)} est ferm dans X.
Montrer que si f, g : X Y sont deux applications continues et si Y est
spar, et si f et g concident sur une partie dense de X, alors f = g.
Exercice E.A.109 Un espace topologique X est dit normal sil est spar et si
pour tous les ferms disjoints F et F de X, il existe des ouverts disjoints U et U
de X tels que F U et F U .
Montrer quun espace topologique compact est normal.
Montrer que si F est un ferm de X et U un ouvert de X contenant F , alors
il existe un ouvert V de X tel que
F V V U.
Soit X un espace topologique normal, une relation dquivalence telle que la
projection canonique : X X/ soit ferme. Montrer que X/ est normal
(donc spar).
Soit X un espace topologique compact, une relation dquivalence telle que
la projection canonique : X X/ soit ferme. Montrer que X/ est
compact.
Montrer que lespace topologique somme disjointe dune famille despaces topologiques normaux est normal.
Soit X un espace topologique compact, une relation dquivalence ferme
(en tant que partie de X X). Montrer que X/ est compact.
Soient X, Y deux espaces topologiques normaux, A un ferm de X et f : A
Y une application continue. Montrer que X f Y est normal (donc spar). En
dduire que X/ A est normal. Si X, Y sont compacts, montrer que X f Y
est compact.
Montrer que si X est un espace topologique spar (respectivement normal),
alors son cne CX et sa suspension SX sont aussi spars (respectivement
normal).
Exercice E.A.110 Pour n dans N, on note || || la norme euclidienne standard sur
Rn (telle que ||(x1 , ... , xn )|| = x2 + ... + x2 ). Soit Bn = {x Rn : ||x|| 1} la
1
n
boule unit (ferme) de Rn et Sn = {x Rn+1 : ||x|| = 1} la sphre de dimension
n. On identie Cn avec R2n par (z1 , ..., zn ) (Re z1 , ... , Re zn , Im z1 , ... , Im zn ). On
identie Rn avec un sous-espace de Rn+1 par (x1 , ... , xn ) (x1 , ... , xn , 0).
Sur Rn+1 {0}, on considre la relation dquivalence x 1 x pour tout
x dans Rn+1 {0} et dans R {0}. Sur Sn , on considre la relation dquivalence x 2 x pour tout x dans Sn . Sur Bn , on considre la relation
dquivalence 3 engendre par x x pour tout x dans Sn1 = Bn .
223
induit un homomorphisme
induit un homomorphisme
Exercice E.A.113 Un espace topologique est sparable sil admet une partie dnombrable dense.
Montrer quun espace mtrisable compact est sparable.
Si X est un espace sparable, montrer que tout ouvert de X N est union dnombrable douverts lmentaires.
Si X est un espace topologique, est-ce que tout ouvert de X N est union dnombrable douverts lmentaires ?
Exercice E.A.114 Un espace topologique est dit totalement discontinu si tout
point admet un systme fondamental de voisinages la fois ouverts et ferms. Montrer que tout espace topologique mtrisable, compact, totalement discontinu, sans
point isol, non vide est homomorphe lespace triadique de Cantor (voir exercice
E.A.94). Montrer que tout espace topologique mtrisable, compact, sans point isol,
non vide contient un sous-espace homomorphe lespace triadique de Cantor.
Exercice E.A.115 Soit E un ensemble, si {0, 1} est muni de la topologie discrte,
montrer que {0, 1}E est un espace compact totalement discontinu sans point isol.
Montrer que {0, 1}E est sparable si et seulement si E est ni ou dnombrable.
225
Index
ablianis, 138
action
continue, 31
libre, 34
propre, 33
proprement discontinue, 33
adhrence, 198
Alexandrov, 220
algbre
de cohomologie singulire, 172
anneau
des coecients, 110
application
antipodale, 154, 161
caractristique, 78, 79
cellulaire, 79, 152
continue, 200
en un point, 199
dattachement, 78, 79
ferme, 200
graphe, 33
ouverte, 200
propre, 221
arbre, 84
arte, 79
ouverte, 79
automorphisme, 108
de revtements, 28
base, 25, 27
canonique, 149
douverts, 197
Bn , 223
Bn (X; A), 112
bord, 11, 103, 111
singulier, 112
boule unit, 223
bouquet
de cercles, 210
de sphres, 78, 210
bouteille de Klein, 80
Cantor, 205
caractristique
dEuler, 85, 158
dEuler-Poincar, 106
catgorie, 108
cellule, 7779
ouverte, 7779
chane, 11
singulire, 110
chemin, 16
compos, 16
constant, 16
extrmit dun, 16
inverse, 16
origine dun, 16
chemins
composables, 16
homotopes, 16
classe dhomologie, 11
cobord, 107
cocycle, 107
codimension, 9
cohomologie
cellulaire, 165
singulire, 165
relative, 165
compacti dAlexandrov, 220
complexe
de cochanes, 107
de chanes, 103
cellulaires, 152
singulires, 112
U -petites, 120
2-complexe de Cayley, 88
composante connexe, 200
par arcs, 200
composition, 108
des chemins, 16
concatnation, 16
cne, 209
conjecture
de Poincar, 13
connectivit, 85
connexe, 200
contractile, 14
localement, 15
CPn , 224
226
connexe, 200
connexe par arcs, 201
mtrisable, 199
normal, 223
paracompact, 26
sparable, 225
semilocalement simplement connexe, 51
spar, 199
totalement discontinu, 225
excision, 12, 168
face, 111
famille
inductive, 70, 130
de parties, 130
ferm, 196
de Zariski, 196
ferme, 200
bre, 25, 27
br
localement trivial, 27
vectoriel, 25
isomorphes, 26
trivial, 26
foncteur
contravariant, 109
covariant, 109
forme normale, 73
fortement continue, 202
frontire, 198
genre, 141
graphe, 79
groupe
de Galois, 50
de Poincar, 18
de prsentation nie, 69
de type ni, 69
discret, 30
fondamental, 18
libre, 67, 68
linaire, 30
orthogonal, 31
spcial linaire, 30, 31
spcial orthogonal, 31
spcial unitaire, 30
topologique, 30
227
unitaire, 30
Gx , 34
H-espace, 174
Hn (X, A), 112
Hn (X, Y ; A), 117
Hom (, M ), 164
homomorphisme, 196
local, 28
homologie, 103
cellulaire, 152
singulire, 112
relative, 117
homologue zro, 13
homotope, 18
zro, 13
homotopie, 14, 16, 104
de morphisme de paires, 117
relative, 14, 16
immersion, 29
indice de Lefschetz, 178
inductif, 217
intrieur, 198
invariante par homomorphismes, 196
isol, 203
isomorphe, 26, 108
isomorphisme, 108
de revtements, 27
de groupes topologiques, 30
joint, 176
lacet, 18
lemme
des cinq, 109
limite, 212
droite, 212
gauche, 212
en +, 212
en , 212
inductive, 70, 131
localement
compact, 219
contractile, 15
longueur dun mot, 68
majorant, 217
maximal, 217
mtrisable, 199
moins ne, 201
morphisme, 108
canonique, 68
compos, 103, 105
de revtements, 27, 43
compos, 27, 43
identit, 27, 43
de bord, 103, 111
de cobord, 107
de complexes
de chanes, 103
de cochanes, 107
de groupes topologiques, 30
de Hurewicz, 138
de paires, 117
de suites exactes
de complexes de chanes, 104
identit, 103, 105
mot, 68
rduit, 69, 73
nud, 134
nombre de Betti, 106
normal, 223
normalisateur, 47
nulle part dense, 198
objet, 108
oprateur
de subdivision, 120
orbite, 32
ordre de connexion, 9
ordre inductif, 130
ouvert, 196
lmentaire, 203
ouverte, 200
paire
despaces topologiques, 117
paracompact, 26
partie compacte, 216
partie gnratrice, 67
peigne, 23
0 X, 40
1 (X, x), 18
plus ne, 201
228
Pn (C), 224
Pn (R), 224
point linni, 220
point base, 18
prbase, 197
prsentation de groupe, 69
produit
amalgam, 72
de Kronecker, 166
libre, 72
projection strographique, 220
propre, 221
proprit universelle, 67, 70
p-simplexe
singulier, 110
standard, 110
R, 198
rang
dun br vectoriel, 25
dun groupe libre, 68
recollement, 211
de cellules, 77
recouvrement, 216
ferm, 216
localement ni, 203
mauvais, 218
ouvert, 216
relation dquivalence engendre, 208
relev, 36
relvement, 36
rtracte, 15
fort par dformation, 15
par dformation, 15
rtraction, 15
forte par dformation, 15
par dformation, 15
revtement, 27
n feuillets, 29
associ, 55
connexe, 55
ni, 29
galoisien, 50
image rciproque, 43
trivial, 28
universel, 51
Riesz, 219
RPn , 224
ruban de Mbius, 23
sparable, 225
satur, 207
section, 36
semilocalement simplement connexe, 51
spar, 199
simplement connexe, 13, 15
Sn , 223
somme
amalgame, 71, 72
disjointe, 205
pointe, 210
presque nulle, 130
sommet, 79, 209
sous-espace topologique, 202
sous-groupe
driv, 138
des commutateurs, 138
distingu
engendr par, 67
engendr par, 67
sous-recouvrement, 216
sous-CW-complexe, 79
sous-varit topologique, 9
sphre, 223
cornes dAlexander, 136
squelette, 79
stabilisateur, 34
submersion, 29
suite exacte, 102
de complexes de chanes, 104
longue
dhomologie, 105
dhomologie singulire relative, 118
de cohomologie singulire relative, 168
de Mayer-Vietoris, 127, 169
du triplet, 119
relative de Mayer-Vietoris, 128
suite exhaustive
de compacts, 130
suspension, 210
systme fondamental de voisinages, 198
thorme
dinvariance du domaine, 7
229
de Riesz, 219
de Schreier, 87
de Borsuk-Ulam, 161
de Brouwer
dinvariance du domaine II, 136
dinvariance du domaine I, 7
du point xe, 7
de Hurewicz, 139
de Jordan-Brouwer, 135
de peignage des sphres, 161
de Tychonov, 218
de van Kampen, 75
de Zorn, 217
des petites chanes, 120
dexcision, 124
du point xe, 7
thorie
de lhomologie, 11
Tn , 208
topologie, 196
compacte-ouverte, 222
de Zariski, 197
discrte, 196
engendre, 197
faible (dun espace vectoriel topologique),
202
faible (dnie par une famille de sousespaces), 206
nale, 205
forte, 202
grossire, 196
induite, 202
induite par une distance, 196
initiale, 201
moins ne, 201
plus ne, 201
produit, 203
quotient, 207
somme disjointe, 206
tore, 208
totalement discontinu, 225
totalement ordonne, 217
trivial, 26
trivialisation locale, 27
Tychonov, 218
type dhomotopie, 15
de paires, 117
V (x), 198
valeur dadhrence, 214
varit topologique, 9
bord, 10
voisinage
dun point, 198
dune partie, 198
distingu, 25, 27
Zn (X; A), 112
Zorn, 217
230
Rfrences
[BBBMP] L. Bessires, G. Besson, M. Boileau, S. Maillot, J. Porti, Geometrisation of 3manifolds, livre paratre,
http//www-fourier.ujf-grenoble.fr/besson/english_principal.pdf
:
[BT]
[Bre]
[Bou]
[CZ]
H.-D. Cao and X.-P. Zhu, A complete proof of the Poincar and geometrization
conjectures : application of the Hamilton-Perelman theory of the Ricci ow, Asian
J. Math. 10 (2006) 165492.
[CE]
[FFG] A. Fomenko, D. Fuks, V. Gutenmacher, Homotopic topology, Akadmiai kiad Budapest, 1986.
[God] C. Godbillon, lments de topologie algbrique, Hermann, 1971.
[Gra]
[GH]
[Har1] P. de la Harpe, An invitation to Coxeter groups, dans Group theory from a geometrical viewpoint (E. Ghys, A. Haeiger, A. Verjovsky eds.), pp 193-253, World
Scientic, 1991.
[Har2] P. de la Harpe, Topics in geometric group theory, Chicago Univ. Press, 2000.
[Hat]
[KL]
[Kri]
J.L. Krivine, Thorie axiomatique des ensembles, Presse Univ. France, 1969.
[Laf]
[McL] S. Mac Lane, Categories for the working mathematician, Grad. texts Math. 5,
Springer Verlag, 1971.
[Moi]
231
[MT]
J. Morgan, G. Tian. Ricci Flow and the Poincar Conjecture, Clay Math. Monographs 3, Amer. Math. Soc. 2007.
[Olu]
[Pau1] F. Paulin, Gomtrie direntielle lmentaire, Notes de cours, cole Normale Suprieure, http//www.fimfa.ens.fr/fimfa/IMG/File/cours/poly2p.pdf .
:
[Pau2] F. Paulin, Topologie, analyse et calcul direntiel, Notes de cours, cole Normale
Suprieure
http//www.fimfa.ens.fr/fimfa/IMG/File/cours/polyanalyse12009.pdf .
:
[Per]
[Poi]
[Pon]
J.C. Pont, La topologie algbrique des origines Poincar, Presse Univ. France,
1974.
[Rol]
[Ser]
J.-P. Serre, Arbres, amalgames, SL2 , Astrisque 46, Soc. Math. France, 1983.
[Spa]
[Vic]
[Wal]
232
233