Exemple 2. Soit un ensemble E.
On peut toujours dénir la topologie grossière Oд={∅,E}et la topologie discrète Od=P(E).
Toute topologie sur Eest moins ne que Odet plus ne que Oд. La topologie discrète est induite
par la distance discrète dénie par d(x,y)=1x,y.
Proposition 1. Soit Eun ensemble et A=(Ak)k∈Kune famille non vide de parties de E.
Il existe une unique topologie la moins ne pour laquelle tous les Ak,k∈Ksont ouverts. Elle
est appelée topologie engendrée par la famille A. Elle est constituée des réunions d’intersections
nies d’éléments de la famille A.
Dénition 4. Soit (E,O)un espace topologique.
On dit que B ⊂ O est une base d’ouverts si tout ouvert est réunion d’éléments de B.
Exemple 3. Exemples de bases d’ouverts.
— Dans un espace métrique, l’ensemble des boules ouvertes forme une base d’ouverts, de
même que l’ensemble des boules ouvertes à rayon rationnel.
— Si (Ak)est une famille de parties de E, les intersections nies des Akforment une base
d’ouverts de la topologie engendrée par (Ak)k∈K.
Proposition 2. [Fai] Soit Eun ensemble, et soit Bun ensemble de parties de E. Alors la topologie
engendrée par Badmet Bpour base d’ouverts si et seulement si Eest réunion d’éléments de Bet
∀U,V∈ B,∀x∈U∩V,∃W∈ B,x∈W⊂U∩V.
Exemple 4. Construction de topologies à partir d’une base d’ouverts.
— La topologie de Rest celle qui admet pour base d’ouverts l’ensemble des intervalles de la
forme ]a,b[,]a,+∞],[−∞,b[pour a,b∈R.
— Soit E=Qi∈IEiun produit d’espaces topologiques. On appelle pavé ouvert de Etout
ensemble de la forme Qi∈IAioù pour tout i∈I,Aiest ouvert dans Eiet tel que Ai=Ei
sauf pour un nombre ni d’indices i. Alors la topologie produit sur Eest celle qui admet
pour base d’ouverts l’ensemble des pavés ouverts.
Dénition 5. Un espace topologique est dit séparable s’il admet une partie dénombrable dense.
Exemple 5. Un ouvert de Rnest séparable.
On ne rappellera pas ici les notions classiques d’adhérence, d’intérieur, de limites, de valeurs
d’adhérence, d’applications continues,... et leurs caractérisations. Insistons néanmoins sur le fait
que les caractérisations séquentielles ne se généralisent pas à un espace topologique général.
Mais elles restent vrai à partir du moment où chaque point admet un système fondamental
dénombrable de voisinages (ce qui est le cas d’un espace métrique).
3