Topologie d'Alexandrov

Un article de Wikipédia, l'encyclopédie libre.


Un espace topologique est un ensemble X muni d'une collection d'ouverts appelée topologie T, vérifiant :

1. \emptyset \in T, X \in T.
2. Toute réunion quelconque d'ouverts est un ouvert.
3. Toute intersection finie d'ouverts est un ouvert.

Les conditions 2 et 3 sont asymétriques, on peut alors élargir la définition à des intersections quelconques, la condition 3 devient :

3'. Toute intersection quelconque d'ouverts est un ouvert.

Une topologie vérifiant 1, 2, et 3' est alors appelée topologie d'Alexandrov.

Autres langues