Elles existent, d’apr`es la question pr´ec´edente.
Pour tout n∈N, on note U0
n=Un−n
S
k=1
Vket V0
n=Vn−n
S
k=1
Uk.
On pose U0=S
n∈N
U0
net V0=S
n∈N
V0
n. Montrer que U0et V0sont des ouverts disjoints tels que
F2⊂Uet F1⊂V.
b) En d´eduire que Xest normal.
3. Montrer que, pour tout U⊂Xouvert, il existe f:X→[0; 1] continue telle que :
∀x∈U, f(x)>0 et ∀x∈X−U, f(x) = 0
[Indication : Utiliser le r´esultat de l’exercice pr´ec´edent et des ouverts v´erifiant la propri´et´e de
la question 1.b) pour A=U.]
4. Pour tous n∈Net U∈ Un, on note fn,U une fonction d´efinie comme dans la question
pr´ec´edente et on pose gn,U =fn,U /n (de sorte de gn,U est `a images dans [0; 1/n]).
Pour tous x, y ∈X, on pose :
d(x, y) = sup
n,U
|gn,U (x)−gn,U (y)|
Montrer que dest une distance, qui engendre la topologie de X.
Exercice 5 : sur la s´eparation
1. On dit qu’un espace topologique Xest :
(0) de Kolmogorov (ou T0) si, pour tous x, y ∈Xdistincts, il existe un voisinage Vde l’un
des deux points qui ne contient pas l’autre point.
(1) accessible (ou T1) si, pour tous x, y ∈Xdistincts, il existe un voisinage Vde xtel que
y /∈V.
(2) s´epar´e (ou T2) si, pour tous x, y ∈Xdistincts, il existe Vxun voisinage de xet Vyun
voisinage de ytels que Vx∩Vy=∅.
Les implications (2) ⇒(1) ⇒(0) sont vraies. Montrer que les r´eciproques sont fausses.
2. [Une propri´et´e universelle]
On va montrer le th´eor`eme suivant : soit Xun espace topologique. Il existe Yun espace
s´epar´e et π:X→Ycontinue telle que, pour tout espace topologique s´epar´e et toute fonction
f:X→Zcontinue, il existe une unique g:Y→Zcontinue v´erifiant f=g◦π.
a) Pour tous x, y ∈X, on note xRysi, pour toute fonction f:X→Zcontinue `a valeurs dans
un espace topologique s´epar´e Z,f(x) = f(y). Montrer que Rest une relation d’´equivalence.
b) On pose Y=X/R, c’est-`a-dire l’ensemble des classes d’´equivalence de Xpour la relation
R. On note π:X→Yl’application qui `a un ´el´ement xassocie sa classe d’´equivalence pour R.
On dit que U⊂Yest un ouvert de Ysi π−1(U) est un ouvert de X.
Montrer que cela d´efinit bien une topologie sur Y.
c) Montrer que Yest s´epar´e pour cette topologie.
d) D´emontrer le th´eor`eme.
e) Montrer que si (Y, π) et (Y0, π0) sont deux espaces s´epar´es v´erifiant la propri´et´e du th´eor`eme,
alors ils sont isomorphes comme espaces topologiques.
3