Rappels en topologie : cours de Francis Clarke 2
3. Soient (X, τ) un espace topologique et Fune partie dans X. On dit que Fest ferm´e
si X\Fest un ouvert (i.e., appartient `a τ). Alors toute partie Ade Xadmet un ferm´e
minimal Fqui inclut A;ceferm´eestlafermeture de A;ilestnot´eA.
4. Soient (X, τ)unespacetopologiqueetVune partie dans X. On dit que Vest un
voisinage d’un point xsi il existe un ouvert Otel que x∈O⊂V. Le point xest
adh´erent `a une partie Esi tout voisinage de xcontient un point de E. On dit qu’un
point xest une valeur d’adh´erence d’une suite {xn}si pour tout voisinage Vde xil
existe des indices iarbitrairement grands tels que xi∈V.
(a) L’ensemble des points adh´erents `a E(l’adh´erence de E,not´eeadhE) coincide
avec la fermeture de E:adhE=E.
(b) Soient Eun ensemble ferm´e, {xn}une suite dans E,etxune valeur d’adh´erence
de cette suite. Alors x∈E.
5. Soient (X, τ) un espace topologique et Bune collection d’ouverts dans X. On dit que
Best une base d’ouverts de la topologie τsi pour tout ouvert Odans Xet tout point
x∈Oil existe un ´el´ement B∈Btel que x∈B⊂O.
(a) Une collection Bde parties de Xforme une base d’ouverts d’une topologie τsur
Xsi et seulement si chaque point x∈Xappartient `a un ´el´ement Bde B,et
chaque fois qu’un point xappartient `a B1∩B2(o`u B1,B
2∈B), il existe B3∈B
tel que x∈B3⊂B1∩B2. La topologie engendr´ee par Bconsiste alors de toutes
les r´eunions de parties se trouvant dans B.
(b) Soit Cune collection de parties de X. Soit Bla collection consistant de Xainsi que
toutes les intersections finies d’ensembles dans C. Alors Best une base d’ouverts
pour la plus faible topologie qui contient C.(Cest alors une sous-base pour la
topologie.)
6. Soit (X, τ) un espace topologique et xun point dans X. Une collection Bxd’ouverts
contenant xforme une base locale en xsi pour chaque ouvert Oqui contient xil existe
B∈B
xtel que x∈B⊂O. La topologie est dite localement de base d´enombrable si
chaque point admet une base locale d´enombrable. Elle est dite de base d´enombrable
si elle admet une base d’ouverts d´enombrable. On dit que (X, τ)ests´eparable si X
contient un ensemble d´enombrable dense (i.e., dont l’adh´erence est ´egale `a X).
(a) Tout espace m´etrisable est lo calement de base d´enombrable.
(b) Un espace de base d´enombrable est s´eparable.
(c) Un espace m´etrique est de base d´enombrable si et seulement si il est s´eparable.
(d) Si Xest localement de base d´enombrable, alors x∈Esi et seulement si il existe
une suite dans Equi converge vers x.(Ceciestfauxeng´en´eral.)
(e) Si Xest localement de base d´enombrable, alors xest une valeur d’adh´erence d’une
suite {xn}si et seulement si il existe une sous-suite qui converge vers x.