Claude S.

Mathématiques, informatique, politique et poésie

Un espace topologique est un ensemble \(E\) muni d'une topologie \(T\).

\(T\) est un sous

-ensemble de \(\mathcal{P}(E)\) tel que : - \(\varnothing \in T\) - \(E \in T\) - Pour \((O_i)_{i\in I}\) une famille d'éléments de \(T\),

- Toute intersection finie d'éléments de \(T\) appartient à \(T\).

Un élément de \(T\) est un ouvert.