Un espacio topológico en el que dos puntos distintos tienen vecindarios abiertos disjuntos; equivalentemente, los puntos pueden separarse por conjuntos abiertos (esto es el axioma de separación T2).

Principio

La separación de Hausdorff impone la unicidad de límites de sucesiones o redes cuando existen y garantiza que los puntos sean topológicamente distinguibles mediante vecindarios disjuntos, permitiendo un comportamiento ordenado de operaciones de límite y cierre.

Demostración

Los espacios euclidianos R^n con la topología habitual son de Hausdorff: dados dos puntos distintos se pueden encontrar pequeñas bolas abiertas disjuntas alrededor de ellos. Consecuencias incluyen que la diagonal {(x,x)} es cerrada en X×X y que los subconjuntos compactos son cerrados en espacios de Hausdorff.

Aplicación incorrecta

Suponer que todas las propiedades útiles de límite requieren Hausdorff puede ser demasiado fuerte: algunas construcciones en geometría algebraica o topologías cociente funcionan con espacios no Hausdorff; confundir T1 con Hausdorff también es incorrecto (T2 es más fuerte que T1).

Consecuencia

En espacios de Hausdorff los límites son únicos cuando existen, los conjuntos compactos son cerrados, las aplicaciones continuas e inyectivas desde espacios compactos son homeomorfismos sobre sus imágenes, y muchos teoremas clásicos suponen la separación de Hausdorff para refinamientos de regularidad y normalidad.

Inversión

Si se elimina el axioma de separación de modo que puntos distintos no puedan siempre separarse por abiertos disjuntos, aparecen fenómenos no Hausdorff como límites no únicos de sucesiones, puntos topológicamente indistinguibles y comportamientos patológicos en cocientes.

Límite

Hausdorff es un punto en la jerarquía de separación: axiomas más fuertes (regular, normal, T3, T4, completamente Hausdorff) imponen mayor separación de conjuntos y cierres; la Hausdorffidad no implica compacidad, conexidad ni metrizabilidad por sí sola.

Tensión semántica

Hausdorff vs T1: T1 asegura que los puntos son cerrados pero no garantiza vecindarios disjuntos; Hausdorff vs completamente Hausdorff: el segundo separa puntos mediante funciones continuas reales y es estrictamente más fuerte, relevante cuando se necesita separación por funciones.

Síntesis

Un espacio de Hausdorff exige que puntos distintos tengan vecindarios abiertos disjuntos, una condición de separación que asegura unicidad de límites, cierre de compactos y numerosas propiedades de regularidad que facilitan el análisis y la teoría de variedades.