Ein topologischer Raum, in dem je zwei verschiedene Punkte disjunkte offene Umgebungen besitzen; äquivalent können Punkte durch offene Mengen getrennt werden (das Trennaxiom T2).

Prinzip

Die Hausdorff-Trennung erzwingt die Eindeutigkeit von Grenzwerten von Folgen oder Netzen, wenn sie existieren, und garantiert, dass Punkte topologisch durch disjunkte Umgebungen unterscheidbar sind, was wohlgeordnetes Verhalten von Grenzwert- und Abschlussoperationen ermöglicht.

Demonstration

Euklidische Räume R^n mit der üblichen Topologie sind Hausdorff: für zwei verschiedene Punkte findet man kleine disjunkte offene Kugeln um sie. Folgen sind u. a. die Diagonale {(x,x)} ist in X×X abgeschlossen und kompakte Teilmengen sind in Hausdorff-Räumen abgeschlossen.

Fehlanwendung

Anzunehmen, alle nützlichen Grenzeigenschaften erforderten Hausdorffheit, kann zu stark sein — manche Konstruktionen in der algebraischen Geometrie oder bei Quotienten arbeiten mit nicht-Hausdorff-Räumen; T1 mit Hausdorff zu verwechseln ist ebenfalls falsch (T2 ist stärker als T1).

Konsequenz

In Hausdorff-Räumen sind Grenzwerte, falls vorhanden, eindeutig; kompakte Mengen sind abgeschlossen; stetige injektive Abbildungen von kompakten Räumen sind Homöomorphismen auf ihr Bild; viele klassische Sätze setzen Hausdorff-Trennung für Regularitäts- und Normalitätsverstärkungen voraus.

Umkehrung

Wird das Trennaxiom aufgegeben, so dass verschiedene Punkte nicht stets durch disjunkte offene Mengen trennbar sind, treten nicht-Hausdorff-Phänomene auf wie nicht eindeutige Folgenlimits, topologisch ununterscheidbare Punkte und pathologische Quotientenverhalten.

Abgrenzung

Hausdorff ist ein Punkt in der Trennungshierarchie: Stärkere Axiome (regulär, normal, T3, T4, komplett hausdorff) erzwingen weitere Trennungen von Mengen und Abschlüssen; Hausdorffheit impliziert weder Kompaktheit noch Zusammenhang oder Metrisierbarkeit per se.

Semantische Spannung

Hausdorff vs T1: T1 stellt sicher, dass Punkte abgeschlossen sind, garantiert jedoch keine disjunkten Umgebungen; Hausdorff vs komplett hausdorff: Letzteres trennt Punkte durch stetige reellwertige Funktionen und ist streng stärker, relevant wenn Funktionstrennung benötigt wird.

Synthese

Ein Hausdorff-Raum verlangt, dass verschiedene Punkte disjunkte offene Umgebungen besitzen, eine Trennbedingung, die Eindeutigkeit von Grenzwerten, die Abschluss-Eigenschaft kompakter Mengen und viele Regularitätsmerkmale sichert, die Analyse und Mannigfaltigkeitstheorie erleichtern.