Espace T1

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant la topologie
Cet article est une ébauche concernant la topologie.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

 Ne doit pas être confondu avec Espace de Fréchet ou Espace de Fréchet-Urysohn.

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[modifier | modifier le code]

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[modifier | modifier le code]

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

Exemple[modifier | modifier le code]

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

Notes et références[modifier | modifier le code]

(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).