Ein topologischer Raum, in dem je zwei verschiedene Punkte disjunkte Umgebungen besitzen; äquivalent zum Trennungsaxiom T2.

Prinzip

Verschiedene Punkte sind durch offene Mengen trennbar, sodass Punkte topologisch unterscheidbar sind und Konvergenz von Folgen oder Netzen (falls vorhanden) eindeutige Grenzwerte besitzt.

Demonstration

Die reelle Linie R mit der üblichen Topologie: für zwei verschiedene reelle Zahlen x und y wählt man disjunkte offene Intervalle um x und y, womit R Hausdorff ist.

Fehlanwendung

Anzunehmen, Hausdorff bedeute, alle Teilmengen seien abgeschlossen oder folge daraus Kompaktheit; ein Hausdorff‑Raum kann nicht abgeschlossene Teilmengen enthalten und muss nicht kompakt sein.

Konsequenz

Einempunktmengen sind abgeschlossen und konvergente Folgen oder Netze haben eindeutige Grenzwerte; viele Konstruktionen (Produkte, Teilräume) erhalten unter üblichen Bedingungen die Hausdorff‑Eigenschaft.

Umkehrung

In nicht‑Hausdorffschen Räumen gibt es verschiedene Punkte, die nicht durch disjunkte Umgebungen trennbar sind; Grenzwerte können nicht eindeutig sein und Einpunktmengen müssen nicht abgeschlossen sein.

Abgrenzung

Gilt nur für topologische Räume; ist schwächer als Regularität oder Normalität und impliziert ohne zusätzliche Voraussetzungen weder Kompaktheit noch Zählbarkeitsbedingungen oder Metrisierbarkeit.

Semantische Spannung

Nähe zum T1‑Axiom: T1 verlangt abgeschlossene Einpunktmengen, aber nicht unbedingt disjunkte Umgebungen. Hausdorff verstärkt T1 durch Forderung der Trennbarkeit mittels Umgebungen und wird leicht mit stärkeren Trennungseigenschaften verwechselt.

Synthese

Hausdorff (T2) ist die Trennungseigenschaft, die erlaubt, Punkte durch disjunkte Umgebungen zu trennen, wodurch Einpunktmengen abgeschlossen und Grenzwerte eindeutig werden, ohne Kompaktheit oder Zählbarkeitsanforderungen vorzuschreiben.