Topologie (version pr´eliminaire)
1. Quatre affirmations
On travaille pour commencer dans l’espace vectoriel Rnmunie de sa norme Euclidienne
standard. Soit Dla boule ferm´ee de centre 0 et de rayon 1, et soit Ssont bord, c’est `a dire la
sph`ere de rayon 1.
Commen¸cons par ´enoncer quelques affirmations. On montrera au cours de ce chapitre
qu’elles sont ´equivalentes entre elles, et, surtout, qu’elles sont vraies. C’est le Th´eor`eme de
Brouwer.
(1) Soit f:D−→ Rnune application telle que f|S=Id, alors D⊂Im(f).
(2) Il n’existe pas d’application continue f:D−→ Stelle que f|S=Id.
(3) Tout application continue f:D−→ Dadmet un point fixe.
(4) L’application Id :S−→ Sn’est pas homotope `a une constante.
Si Xet Ysont des espaces m´etriques (par exemple X=S=Y), et si f, g :X−→ Ysont
des applications continues, on dit que fest homotope `a gsi il existe une application continue
F: [0,1] ×X−→ Y
telle que F(0, x) = f(x) pour tout x∈Xet telle que F(1, x) = g(x) pour tout x. On dit alors
que Fest une homotopie entre fet g.
La relation ”fest homotope `a g” est une relation d’´equivalence, c’est `a dire que
– Toute application est homotope `a elle-mˆeme,
–fest homotope `a gsi et seulement si gest homotope `a f,
– Si fest homotope `a g, et si gest homotope `a h, alors fest homotope `a h.
Pour v´erifier que fest homotope `a elle mˆeme, il suffit de consid´erer l’homotopie ”triviale”
F(t, x) = f(x). Pour v´erifier que gest homotope `a fsi fest homotope `a g, il suffit de
”retourner l’homotopie”, c’est `a dire de consid´erer l’homotopie ˜
F(t, x) = F(1 −t, x), o`u Fest
une homotopie entre fet g. Montrons pour finir le dernier point. Soit F: [0,1] ×X−→ X
une homotopie entre fet g, et soit G: [0,1] ×X−→ Xune homotopie entre get h. Alors
on constuit une homotopie Hentre fet hen posant H(t, x) = F(2t, x) pour t∈[0,1/2] et
H(t, x) = F(2t−1, x) pour t∈[1/2,1].
Dans la notion d’homotopie, l’espace d’arriv´ee est tr`es important. L’affirmation (4), par
exemple, ´enonce qu’il n’existe pas d’application F: [0,1] ×S−→ Stelle que F(0, .) est une
constante et telle que F(1, x) = xpour tout x∈S. Par contre, il est facile de construire une
application G: [0,1] ×S−→ Rntelle que G(0, .) est une constante et telle que G(1, x) = x
pour tout x∈S. Il suffit de poser G(t, x) = tx + (1 −t)a, avec a∈S. On voit par cette
m´ethode que deux applications `a valeurs dans Rnsont toujours homotopes, c’est `a dire que,
pour tout espace X, l’ensemble des classes d’homotopies d’applications de Xdans Rncontient
un seul ´el´ement.
1