Espace séparé

Ne pas confondre avec la structure d'espace séparable.

Deux points admettant des voisinages disjoints.

Sommaire

1 Définition
2 Exemples et contre-exemples
3 Principales propriétés
4 A voir
- 4.1 Pages liées

Définition

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 T₂ 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.

Cette propriété de séparation équivaut à l'unicité de la limite de tout filtre convergent.

Exemples et contre-exemples

Tout espace métrique est séparé. En effet, deux points situés à une distance $L$ l'un de l'autre admettent comme voisinages disjoints les boules de rayon $L / 3$ centrées sur chacun d'eux.

Tout espace discret est séparé, chaque singleton constituant un voisinage de son élément. En particulier, un espace discret non dénombrable est séparé et non séparable.

Des exemples d'espaces non séparés sont donnés par :

tout ensemble ayant au moins deux éléments et muni de la topologie grossière (toujours séparable) ;
tout ensemble infini muni de la topologie cofinie (qui pourtant satisfait l'axiome T₁ d'espace accessible) ;
certains spectres d'anneau munis de la topologie de Zariski.

Principales propriétés

Dans un espace topologique séparé, une suite convergente a une limite unique.

Démonstration

C'est un cas particulier de l'unicité de la limite d'un filtre convergent, mais donnons-en une démonstration élémentaire. Supposons que $(u_n)_{n\in{\mathbb N}}$ soit une suite convergeant vers les points x et y dans un espace topologique séparé.

Soient $V x$ un voisinage de x et $V y$ un voisinage de y.

$(u_n)_{n\in{\mathbb N}}$ tend vers x donc il existe un entier $N x$ tel que $\forall n \geq N_x, u_n \in V_x$ .

$(u_n)_{n\in{\mathbb N}}$ tend vers y donc il existe un entier $N y$ tel que $\forall n \geq N_y, u_n \in V_y$ .

Posons $N=\max(N_x,N_y)~$ . On a immédiatement $\forall n \geq N, u_n \in V_x\cap V_y$ donc $V_x\cap V_y\neq\varnothing$ .

Par conséquent, un voisinage de x et un voisinage de y ont forcément des points en commun, ce qui dans un espace topologique séparé implique que x = y (contraposée de la définition de séparé).

Ainsi une suite convergente d'un espace topologique séparé ne peut converger vers deux limites distinctes.

Deux applications continues à valeurs dans un séparé qui coïncident sur une partie dense sont égales. Plus explicitement : si $Y$ est séparé, si $f,g:X\to Y$ sont deux applications continues et s'il existe une partie $D$ dense dans $X$ telle que $\forall x\in D,\; f(x)=g(x)$ alors $\forall x\in X,\; f(x)=g(x)$ .

Une topologie plus fine qu'une topologie séparée est toujours séparée.

Tout sous-espace d'un espace séparé est séparé.

Un produit d'espaces topologiques non vides est séparé si et seulement si chacun d'eux l'est.

Par contre un espace quotient d'un espace séparé n'est pas toujours séparé.

$X$ est séparé si et seulement si, dans l'espace produit $X\times X$ , la diagonale $\{(x,x);x\in X\}$ est fermée.

Démonstration

Dire que la diagonale est fermée revient à dire que l'ensemble $O=\{(x,y)\in X\times X\ |\ x\ne y\}$ est ouvert (pour la topologie produit). Les équivalences suivantes permettent de conclure :

O est ouvert si et seulement s'il est voisinage de tous ses éléments, ce qui équivaut à

pour tout $(x,y)\in O$ , il existe U, V ouverts de X tels que $(x,y)\in U\times V$ et $U\times V\subset O$ , qui lui-même équivaut à

pour tous $x,y\in X$ distincts, il existe U, V ouverts de X tels que $x\in U,\ y\in V,\ U\cap V=\varnothing.$

A voir

Pages liées

Portail des mathématiques

Catégorie :

Topologie générale

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace séparé de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

Espace Séparé — En topologie et dans d autres branches des mathématiques, un espace séparé ou espace de Hausdorff est un espace topologique dans lequel, pour deux points distincts x et y quelconques, il existe un voisinage de x et un voisinage de y disjoints. De … Wikipédia en Français
Espace separe — Espace séparé En topologie et dans d autres branches des mathématiques, un espace séparé ou espace de Hausdorff est un espace topologique dans lequel, pour deux points distincts x et y quelconques, il existe un voisinage de x et un voisinage de y … Wikipédia en Français
Espace de Hausdorff — Espace séparé En topologie et dans d autres branches des mathématiques, un espace séparé ou espace de Hausdorff est un espace topologique dans lequel, pour deux points distincts x et y quelconques, il existe un voisinage de x et un voisinage de y … Wikipédia en Français
Espace Préhilbertien — En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la dimension finie. Le cas… … Wikipédia en Français
Espace prehilbertien — Espace préhilbertien En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la… … Wikipédia en Français
Espace Normal — Un espace topologique séparable X est dit normal lorsque, pour tout couple de fermés disjoints E et F de X, il existe un couple d ouverts disjoints U et V tels que U contienne E et V, F. En mathématiques, un espace normal est un cas particulier d … Wikipédia en Français
Espace topologique normal — Espace normal Un espace topologique séparable X est dit normal lorsque, pour tout couple de fermés disjoints E et F de X, il existe un couple d ouverts disjoints U et V tels que U contienne E et V, F. En mathématiques, un espace normal est un cas … Wikipédia en Français
Espace Localement Compact — En topologie, un espace localement compact est un espace qui, sans être nécessairement compact lui même, admet des voisinages compacts pour tous ses points. On peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces… … Wikipédia en Français
Espace vectoriel topologique localement convexe séparé — Espace localement convexe Sommaire 1 Définition 2 Critère de séparation 3 Continuité d une fonction 4 Espace métrisable … Wikipédia en Français
Espace Localement Convexe — Sommaire 1 Définition 2 Critère de séparation 3 Continuité d une fonction 4 Espace métrisable … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Espace séparé

Sommaire

Définition

Exemples et contre-exemples

Principales propriétés

A voir

Pages liées

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Espace séparé

Sommaire

Définition

Exemples et contre-exemples

Principales propriétés

A voir

Pages liées

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link