Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Espace de Kolmogorov
Résumé
En topologie et dans d'autres branches des mathématiques, un espace de Kolmogorov (ou espace T0) est un espace topologique dans lequel tous les points peuvent être « distingués du point de vue topologique ». De tous les axiomes de séparation qui peuvent être demandés à un espace topologique, cette condition est la plus faible.
Les espaces de Kolmogorov doivent leur nom au mathématicien russe Andreï Kolmogorov.
Un espace topologique X est dit de Kolmogorov si pour tout couple d'éléments distincts x et y de X, il existe un voisinage de x qui ne contient pas y ou un voisinage de y qui ne contient pas x.
De façon équivalente, X est de Kolmogorov si pour tous points distincts, il existe un ouvert qui contient l'un des deux points mais pas l'autre, ou encore, l'un des deux points n'est pas adhérent à l'autre.
On dit aussi d'un tel espace qu'il satisfait à la propriété de séparation T.
Un espace muni de la topologie grossière n'est pas T, dès qu'il contient plus d'un élément. Plus généralement, la topologie d'Alexandrov d'un préordre n'est pas T, sauf si ce préordre est un ordre.
Un R-espace vectoriel, muni d'une semi-norme qui n'est pas une norme, n'est pas T.
Un espace T est un espace dans lequel pour tous éléments distincts x et y, il existe un voisinage de x qui ne contient pas y et un voisinage de y qui ne contient pas x, ou encore dans lequel tous les singletons sont fermés.
La topologie droite d'un ordre est T. Elle n'est T que si elle est discrète, c'est-à-dire si cet ordre est l'égalité. Par exemple, sur un ensemble pointé (X, p) :
la topologie dont les ouverts sont ∅ et les parties contenant p est T, mais pas T si X a d'autres éléments que p ({p} n'est alors pas fermé). Si X a deux éléments, il s'agit de l'espace de Sierpiński.
de même pour la topologie dont les fermés sont ces mêmes parties ({p} est alors le seul singleton fermé).
La topologie de Zariski sur un spectre d'anneau commutatif est toujours T mais généralement pas T. Les points non fermés correspondent aux idéaux premiers non maximaux.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.