Proposition 3.4.2. L’application fde (X,TX)vers (Y,TY)est continue si et seulement
si l’image inverse de tout ferm´eest un ferm´e.
Proposition3.4.3. L’application fde (X,TX)vers (Y,TY)est continue si et seulement
si, pour tout x∈X,l’image inverse de tout voisinage de f(x)est un voisinage de x.
D´efinition3.4.4(Continuit´elocale).L’applicationfde (X,TX)vers(Y,TY)est conti-
nue en x∈Xsi et seulementsi l’image inverse de tout voisinage de f(x)est un voisinage
de x.
Proposition 3.4.5(Restriction d’applications continues).Soient f:X→Yune
application continue, A⊂X,B⊂Y;Aet Bsont munis de la topologie induite.
a) Larestriction f|AA→Yest continue.
b) Si B⊂Ycontient l’image de f,alors la restriction f|BX→Best continue.
D´efinition3.4.6. L’applicationfde (X,TX)vers (Y,TY)est un hom´eomorphisme si
et seulementsi elle est continue, bijective, et si son applicationr´eciproque est continue.
Deux espacestopologiquessonthom´eomorphes si etseulements’il existeun
hom´eomorphisme de l’un sur l’autre.
L’un desprobl`emes de la topologie estde classifier les espaces `a hom´eomorphisme
pr`es.
D´efinition3.4.7.L’applicationfde (X,TX)vers (Y,TY)estouverte (resp.ferm´ee) si
et seulementsi l’image(directe) de tout ouvertestun ouvert (resp. de tout ferm´eest
un ferm´e).
Proposition3.4.8. Une bijection continue est un hom´eomorphisme si et seulement si
c’est une application ouverte (resp. ferm´ee).
Exercice3.4.9.On noteS1le cercle unit´ede C.Est-ce que l’application f:[0,1[→S1,
qui `a tassocie e2iπtest un hom´eomorphisme ?
Exercice3.4.10 (Projection st´er´eographique).
1. D´emontrer que S1\ {i}est hom´eomorphe `a R.On pourra utiliser l’application qui `a 1.
trait´ez∈S1\ {i}associe x∈Rtel que :z−i
x−i∈R(interpr´eter g´eom´etriquement).
2. Onnote S2la sph`ere unit´ede R3,et n=(0,0,1).D´emontrerque S2\ {n}est
hom´eomorphe `a R2.
3.5 Limites,propri´et´ede s´eparation
Dans un espace m´etrique (X,d), on peut formulerla convergence de suitesavec les
voisinages:
14