Espace Topologique

Un espace topologique est un ensemble X muni d'une collection τ de sous-ensembles de X (les ouverts) telle que ∅ et X appartiennent à τ, τ soit fermée par unions arbitraires et intersections finies ; τ est une topologie et (X, τ) est un espace topologique.

Un ensemble muni d'une topologie : une famille spécifiée d'ouverts contenant l'ensemble vide et l'ensemble total, fermée par unions arbitraires et intersections finies.

Un ensemble X muni d’une collection τ de sous-ensembles appelés ouverts telle que l’ensemble vide et X appartiennent à τ, les unions arbitraires d’éléments de τ appartiennent à τ et les intersections finies d’éléments de τ appartiennent à τ.