Espace T1

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 3 mars 2019 à 23:12 et modifiée en dernier par Ambigraphe (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.

En mathématiques, un espace accessible (ou espace T1, ou de Fréchet) est un cas particulier d'espace topologique. Il s'agit d'un exemple d'axiome de séparation.

Définition

Un espace topologique E est T1 si pour tout couple (x, y) d'éléments de E distincts, il existe un ouvert contenant x et pas y.

Propriétés

Soit E un espace topologique. Les propriétés suivantes sont équivalentes :

Exemple

La topologie cofinie sur un ensemble infini est T1 mais pas séparée.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « T1 space » (voir la liste des auteurs).