 ##  [Espacio de Hausdorff](/es/node/61204) 

 Definición

Un espacio topológico en el que cualesquiera dos puntos distintos tienen vecindades disjuntas; es decir, satisface el axioma de separación T2.

 

 

 

 

 

 





## Principio

Principio

Los puntos distintos son distinguibles topológicamente mediante abiertos; por tanto, las sucesiones o redes convergentes (cuando existan) tienen límites únicos.

 

 

 

 

 





## Demostración

Demostración

La recta real R con su topología usual: para dos reales distintos x e y se eligen intervalos abiertos disjuntos alrededor de cada uno, mostrando que R es Hausdorff.

 

 

 

 

## Aplicación incorrecta

Aplicación incorrecta

Asumir que ser Hausdorff garantiza que todos los subconjuntos sean cerrados o que implique compacidad; un espacio Hausdorff puede contener subconjuntos no cerrados y no tiene por qué ser compacto.

 

 

 

 

 





## Consecuencia

Consecuencia

Los singletons son cerrados y las sucesiones o redes convergentes tienen límites únicos; la separación facilita muchas construcciones (productos, subespacios) y argumentos topológicos.

 

 

 

 

## Inversión

Inversión

Un espacio no Hausdorff admite puntos distintos que no pueden separarse por vecindades disjuntas, de modo que los límites pueden no ser únicos y los singletons pueden no ser cerrados.

 

 

 

 

 





## Límite

Límite

Propiedad aplicable únicamente a espacios topológicos; es más débil que la regularidad o la normalidad y no implica compacidad, condiciones de numerabilidad ni metrización sin hipótesis adicionales.

 

 

 

 

 





## Tensión semántica

Tensión semántica

Cercano al axioma T1: T1 exige que los singletons sean cerrados, pero no vecindades disjuntas. Hausdorff refuerza T1 al exigir separación por vecindades, y a menudo se confunde con axiomas de separación más fuertes.

 

 

 

 

 





## Síntesis

Síntesis

Hausdorff (T2) es la propiedad de separación que permite separar puntos por vecindades disjuntas, garantizando singletons cerrados y unicidad de límites cuando existe convergencia, sin imponer compacidad ni condiciones de numerabilidad.