Axiome de séparation (topologie)En topologie, un axiome de séparation est une propriété satisfaite par certains espaces topologiques, similaire à la propriété de séparation de Hausdorff (dite aussi T2), et concernant la séparation de points ou de fermés, du point de vue soit de voisinages, soit de fonctions continues réelles. Divers axiomes de séparation peuvent être ordonnés par implication, notamment ceux de la série des axiomes codés par la lettre « T » et un indice numérique, ces axiomes étant en général d'autant plus restrictifs que les indices sont élevés et les topologies correspondantes plus fines.
Urysohn and completely Hausdorff spacesIn topology, a discipline within mathematics, an Urysohn space, or T21⁄2 space, is a topological space in which any two distinct points can be separated by closed neighborhoods. A completely Hausdorff space, or functionally Hausdorff space, is a topological space in which any two distinct points can be separated by a continuous function. These conditions are separation axioms that are somewhat stronger than the more familiar Hausdorff axiom T2. Suppose that X is a topological space. Let x and y be points in X.
Espace régulierEn mathématiques, un espace régulier est un espace topologique vérifiant les deux conditions de séparation suivantes : T : l'espace est séparé ; T : on peut séparer un point x et un fermé ne contenant pas x par deux ouverts disjoints. vignette|Le point x et le fermé F sont respectivement inclus dans les ouverts U et V, qui sont disjoints. Soit E un espace topologique (non nécessairement séparé).
General topologyIn mathematics, general topology (or point set topology) is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. The fundamental concepts in point-set topology are continuity, compactness, and connectedness: Continuous functions, intuitively, take nearby points to nearby points.
Espace métrisableIn topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space is said to be metrizable if there is a metric such that the topology induced by is Metrization theorems are theorems that give sufficient conditions for a topological space to be metrizable. Metrizable spaces inherit all topological properties from metric spaces. For example, they are Hausdorff paracompact spaces (and hence normal and Tychonoff) and first-countable.
Espace complètement régulierEn mathématiques, un espace complètement régulier (ou de Tikhonov) est un espace topologique vérifiant une propriété de séparation plus forte que la séparation usuelle et même que la propriété d'être régulier. Un espace topologique X vérifie la propriété de séparation T si pour tout point x de X et pour tout fermé F de X ne contenant pas x, il existe une application continue de X dans le segment [0, 1] valant 0 en x et 1 sur F (on dit alors que cette application sépare le point du fermé).
Espace normalvignette|Un espace topologique séparé X est dit normal lorsque, pour tous fermés disjoints E et F de X, il existe des ouverts disjoints U et V tels que U contienne E et V, F. En mathématiques, un espace normal est un espace topologique vérifiant un axiome de séparation plus fort que la condition usuelle d'être un espace séparé. Cette définition est à la base de résultats comme le lemme d'Urysohn ou le théorème de prolongement de Tietze. Tout espace métrisable est normal. Soit X un espace topologique.
Propriété topologiqueEn topologie et dans les domaines connexes des mathématiques, une propriété topologique (ou invariant topologique) est une propriété sur un espace topologique qui reste invariant sous l'application d'homéomorphismes. C'est-à-dire que chaque fois qu'un espace topologique X possède cette propriété, chaque espace homéomorphe à X possède également cette propriété. De manière informelle, une propriété topologique est une propriété qui peut entièrement être exprimée à l'aide d'ensemble ouverts.
Espace séparéEn mathématiques, un espace séparé, dit aussi espace de Hausdorff, est un espace topologique dans lequel deux points distincts quelconques admettent toujours des voisinages disjoints. Cette condition est aussi appelée axiome T2 au sein des axiomes de séparation. L'appellation fait référence à Felix Hausdorff, mathématicien allemand et l'un des fondateurs de la topologie, qui avait inclus cette condition dans sa définition originale d'espace topologique.
