L’espace (X, O) est appel´e espace topologique. Tout ´el´ement de
Oest alors appel´e un ouvert, et tout compl´ementaire d’un ouvert
est appel´e un ferm´e. Ainsi, d´efinir une topologie, c’est se donner
une liste d’ouverts, v´erifiant les propri´et´es a), b) et c).
1)
a) Prouver que sur X=Ron d´efinit une topologie (dite topolo-
gie usuelle) en disant qu’un sous-ensemble O⊂Rest ouvert si et
seulement si
∀x∈O, ∃(x)>0,]x−(x), x +[⊂O.
b) Montrer que sur tout ensemble Xon peut d´efinir une topolo-
gie Ocofinie, dite topologie cofinie, en disant qu’un sous-ensemble
O⊂Rest ouvert si et seulement si cOest finie, ou alors que O=∅.
c) Montrer que sur tout ensemble Xon peut d´efinir une topolo-
gie Odiscrete, dite topologie discr`ete, en disant que tout sous-ensemble
O⊂Rest ouvert.
d) Montrer que sur tout ensemble X,Ogrossiere ={∅, X}, dite
topologie grossi`ere, est une topologie.
2) On appelle voisinage Vde x∈Xtout sous-ensemble Vde
Xtel qu’il existe O∈ O satisfaisant x∈O⊂V. On dit alors que
Vest voisinage de x.
Prouver qu’un sous-ensemble Ude Xappartient `a Osi et seule-
ment si il est voisinage de chacun de ses points.
3) On dit qu’un espace topologique (X, O) est s´epar´e si pour
tout x, y ∈Xdistincts, il existe Oxouvert contenant xet Oy, ou-
vert contenant y, tels que Oxet Oysont disjoints.
Par ailleurs si (un) est une suite de X, on dit que (un) converge
vers x∈Xsi pour tout voisinage Vxde x, il existe N∈Ntel que
pour tout n≥N, on a un∈Vx.
a) Prouver que si (un) converge vers x∈Xet vers y∈Xet
que (X, O) est s´epar´e, alors x=y.
2