Espacio de Hausdorff

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En topología, un espacio de Hausdorff, separado o T_2 es un espacio topológico en el que puntos distintos tienen entornos disjuntos.

Los espacios de Hausdorff se llaman así en honor de Felix Hausdorff, uno de los fundadores de la topología. La definición original de Hausdorff de un espacio topológico (de 1914) incluía la propiedad de Hausdorff como axioma.

Todo espacio métrico (y por lo tanto todo espacio normado) es un espacio de Hausdorff.

Definiciones[editar]

Se dice que dos puntos x e y de un espacio topológico X cumplen la propiedad de Hausdorff si existen dos entornos U_x de x y U_y de y tales que U_x \cap U_y = \varnothing.

Se dice que un espacio topológico es un espacio de Hausdorff (o que verifica la propiedad de Hausdorff, o que es separado o que es T_2) si todo par de puntos distintos del espacio verifican la propiedad de Hausdorff.

(Obsérvese que si x = y, x e y no verifican la propiedad de Hausdorff.)

Principales propiedades de los Espacios de Hausdorff[editar]

Todo espacio de Hausdorff es también de Fréchet o T1, y por lo tanto también es un espacio T D y también un espacio de Kolmogórov o T_0.

Así pues, por ser T_1, todo conjunto unitario es cerrado.

Véase también[editar]