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

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

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

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

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

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

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

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

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.