1.1. ESPACES TOPOLOGIQUES 3
(B1) ∀x∈X,∃B∈ B tel que x∈B⊂X.
(B2) ∀B1, B2∈ B,∃B∈ B tel que x∈B⊂B1∩B2.
En effet, la propriété (B1) résulte du fait que Xest ouvert. propriété (B1) résulte
du fait que l’intersection des deux ouverts B1et B2est ouvert. Réciproquement, si
Xest un ensemble et si Best un sous-ensemble vérifiant les propriétés 1et 2alors
il existe une unique topologie Tsur Xpour laquelle Best une base d’ouverts. Il
suffit de prendre,
T={∅} ∪ {U⊂X;tel que Usoit réunion d’ensemble appartenant à B}
Autrement dit, un sous-ensemble Ude Xest un ouvert de Tsi et seulement si pour
tout x∈ T , il existe B∈ B tel que x∈B⊂U.
Exemples
1. Topologie de l’ordre. Soit (X, ≤)un ensemble totalement ordonné. Soit B
l’ensemble des parties de Xformé par les intervalles ouverts, les demi-droite
ouvertes et X. Alors Bvérifie les axiomes (B1) et (B2). L’unique topologie
sur Xpour laquelle Best une base est appelée la topologie de l’ordre.
2. La droite réelle. L’ensemble Rest totalement ordonné. Alors Bvérifie les
propriétés 1et 2ci-dessus. La topologie de l’ordre sur Rest appelée la to-
pologie usuelle de R(ou euclidienne). On peut remarquer que les intervalles
ouvrts forment également une base d’ouverts de la topologie usuelle.
3. La droite réelle achevée. Soit ¯
R={R∪+∞ ∪ −∞}. L’ensemble ¯
Rest
totalement ordonné. LA topogie de l’ordre sur ¯
Rappelée la topologie usuelle
de ¯
R.
Définition 3. Soit (X, T)un espace topologique et x∈X. On dit qu’une partie
Vde Xest un voisinage de xs’il existe un ouvert Ude Ttel que x∈U⊂V.
Plus généralement, soit Aune partie de X, on appelle voisinage de Atoute partie
Vde Xtelle qu’il existe un ouvert Uvérifiant A⊂U⊂V.
Exemple 1. Par exemple, dans Rmuni de la topologie usuelle et x∈R,]x−2, x+
1] est un voisinage de x.
Proposition 2. Pour qu’une partie d’un espace topologique soit un ouvert, il faut
et il suffit qu’il soit voisinage de chacun de ses points.
Démonstration. Si Oest un ouvert c’est un voisinage de chacun de ses points ;
Réciproquement, si Oest voisinage de chacun de ses points, alors, pour chaque
x∈O, il existe un ouvert Oxtel que x∈Ox⊂O. On a donc
O=∪x∈O{x}⊂∪x∈OOx⊂O.
Ce qui montre que Oest ouvert.