D´efinition :
Soit Eun ensemble et τ⊆P(E)(i.e. P(E)est l’ensemble des
sous-ensembles de E).
L’ensemble τest dit une topologie sur Esi
•∅,E∈τ;
•Une union quelconque d’´el´ements de τest dans τ(i.e si
(Oi)i∈Iest une collection d’´el´ements de τalors i∈IOiest
aussi un ´el´ement de τ);
•Une intersection finie d’´el´ements de τest dans τ(i.e
si O1, ..., On∈τalors O1... Onest aussi un ´el´ement de τ).
τest appel´e une topologie sur E, les ´el´ements de τsont appel´es
les ouverts de la topologie et le couple (E,τ) est appel´e un
espace topologique.
Le compl´ementaire d’un ouvert est appel´e un ferm´e :
Fest ferm´e ⇐⇒ E \ Fest ouvert
2