Exercice 3.
a.
Soient
x, y ∈]0,1[
. Montrer qu’il existe un homeomorphisme
h
de
[0,1]
qui fixe
0
et
1
et
qui envoie
x
sur
y
. Montrer qu’il existe une homotopie
H: [0,1] ×[0,1] →[0,1]
entre
h
et
l’identit´e telle que pour tout s∈[0,1],Hssoit un hom´eomorphisme.
b.
Montrer que
Rn
priv´e de
k
points est hom´eomorphe `a
Rn\ {(i, 0, ..., 0)|i={1, . . . , k}}}
.
Exercice 4.
Soit X, Y deux espaces m´etriques, avec Xlocalement compact.
Soit
C(X, Y )
l’ensemble des fonctions continues de
X
dans
Y
. On met sur
C(X, Y )
la topolo-
gie de la convergence uniforme sur les compacts : on d´efinit
dK(f, g) = supx∈Kd(f(x), g(x))
,
et une base de voisinages de fest donn´ee par
Wf,K,ε ={g:X→Y|dK(f, g)< ε}.
Montrer que f, g sont homotopes si et seulement si il existe une application continue
F: [0,1] →C(X, Y )
t7→ Ft
telle que F0=fet F1=g.
Remarque. Lorsque les espaces ne sont pas m´etriques, on utilise la topologie compact-ouvert
sur
C(X, Y )
dont une base d’ouverts est
WK,U ={f:X→Y|f(K)⊂U}
, avec
K⊂X
compact, et U⊂Youvert. Le meme r´esultat reste vrai.
Exercice 5.
Montrer que si Yest un retract d’un espace contractile X, alors Yest contractile.
Exercice 6.
Soit Xun espace contractile.
a. Montrer qu’il existe F:X×I→Xtelle que F0= id et F1est constante.
b. Montrer que si f, g :Z→Xsont 2 applications continues, elles sont homotopes.
c. Montrer que toute application f:X→Yest homotope a une application constante.
En particulier, toute application
[0,1] →Y
est homotope a une application constante
(mais ce n’est pas une homotopie `a extr´emit´es fix´ees !)
d.
Donner un exemple d’espace
Y
et d’applications
f, g
telles que
f, g :X→Y
ne sont
pas homotopes.
e.
Montrer que si
Y
est connexe par arcs, toute paire d’applications
f, g :X→Y
sont
homotopes.
Exercice 7.
En utilisant la decomposition polaire, montrer que
GLn(R)
est homotopiquement equivalent
`a On(R).
Rappel : toute matrice inversible
M∈GLn(R)
s’´ecrit de mani`ere unique
M=OS
avec
S
sym´etrique d´efinie positive, et
O
orthogonale. De plus, l’application
M7→ (O, S)
de
GLn(R)→On(R)×Symn(R)est continue.
2/4