4. Montrer que Qest dense dans Rpour cette topologie.
5. Montrer que cette topologie n’est pas m´etrisable (indication: montrer qu’il n’existe pas de base d´enombrable
d’ouverts et penser `a la question pr´ec´edente).
6. On note Tlim inf la topologie sur Rengendr´ee par les intervalles de la forme ] − ∞, a[ et [b, +∞[. Montrer
que la topologie usuelle de Rest l’intersection de Tlim sup et Tlim inf .
5. Topologie quotient.
Soit (Ei,Ti)i∈Iune famille d’espaces topologiques et Fun espace. On se donne une famille d’applications:
fi: (Ei,Ti)→F.
1. Montrer qu’on d´efinit bien une topologie TFsur Fpar ω∈ TFest ouvert ssi f−1
i(ω) est un ouvert de
(Ei,Ti), pour tout i∈I. Il s’agit de la topologie finale.
Un exemple: Soit (Xi) une famille d’espaces topologiques. On note `iXi:= {(x, i)∈ ∪iXi×I, x ∈Xi}.
On appelle topologie somme disjointe la topologie finale sur `iXiassoci´ee aux inclusions canoniques de Xi
dans X.
2. On se donne maintenant un ensemble topologique Eet une relation d’´equivalence sur E, not´ee R. On
peut d´efinir un ensemble quotient F:= E/R, i.e. l’ensemble des classes d’´equivalences pour R) et on peut
d´efinir l’application canonique π:E→Fqui a un ´el´ement de Eassocie sa classe d’´equivalence. On munit
alors Fde la topologie finale associ´ee `a π. Il s’agit de la topologie quotient.
•M´editer sur ces deux exemples:
a. Soit Xun espace topologique. Le cˆone sur Xest l’espace topologique quotient C(X) := (X×[0,1])/(x, 1) ∼
(y, 1).
b. Soit X, Y deux espaces topologiques, Aune partie non-vide de Xet f:A→Y, une application continue.
Le recollement de Xsur Ypar fest l’espace topologique quotient
X∪fY:= (XaY)/x∼f(x), x ∈A.
•V´erifier qu’une application f:E/R → (G, TG) est continue si et seulement si f◦π:E→(G, TG) est
continue.
•Montrer qu’il existe un unique (`a hom´eomorphisme pr`es) espace topologique e
Eet application continue
p:E→e
E, constante sur chaque classe d’´equivalence de R, tels que pour toute application continue
f:E→Yqui est constante sur chaque classe d’´equivalence de R, il existe une unique application continue
˜
f:e
E→Yqui rel`eve f, c’est `a dire telle que f=˜
f◦π. Une telle fonction ˜
fest appel´ee un rel`evement (ou
relev´e) de f.
•Soit Eun espace muni d’une semi-distance δ. On note Rla relation d’´equivalence d´efinie par xRyssi
d(x, y) = 0. V´erifier que E/Rmuni de la topologie quotient est m´etrisable.
3. Soit Aune partie de E, on d´efinie le satur´e de Apar Rpar:
RA:= π−1(∪a∈Aπ(a)) .
On dit que Aest satur´e si A=RA. Montrer que l’espace topologique Fest s´epar´e si et seulement si pour
tout a, b ∈Etels que π(a)6=π(b), il existe deux ouverts satur´es disjoints contenant aet brespectivement.
4. Donner un exemple d’espace s´epar´e Xet de relation Rtels que X/Rsoit muni de la topologie grossi`ere.
Donner un exemple d’espace non-s´epar´e tel que X/Rsoit s´epar´e.