Eine Metrik auf den nichtleeren kompakten Teilmengen eines metrischen Raums, definiert als das kleinste ε, so dass jede Menge in der ε-Umgebung der anderen liegt; äquivalent die Maximumsform der beiden gerichteten Mengenabstände.

Prinzip

Sie misst die größte minimale Distanz zwischen Punkten zweier Mengen und liefert einen gleichmäßigen Begriff von Nähe für Formen; Konvergenz in Hausdorff-Distanz bedeutet uniforme Konvergenz der Mengen im Umgebungsmessraum.

Demonstration

Für zwei parallele Liniensegmente in R^2 mit Versatz d ist die Hausdorff-Distanz gleich d; bei geschachtelten Formen erfasst die Distanz die maximale Außenverschiebung, die nötig ist, um die eine von der anderen zu überdecken.

Fehlanwendung

Die Hausdorff-Distanz unkritisch auf nicht-kompakte oder unbeschränkte Mengen anwenden (sie kann unendlich sein), oder erwarten, dass sie volumetrische bzw. maßtheoretische Ähnlichkeit widerspiegelt.

Konsequenz

Der Raum der nichtleeren kompakten Teilmengen eines vollständigen metrischen Raums ist bezüglich der Hausdorff-Distanz selbst vollständig; sie liefert eine Topologie, die in Gestaltvergleich, Konvergenz von Attraktoren und geometrischen Grenzargumenten verwendet wird.

Umkehrung

Andere Mengenabstände (z. B. Maß der symmetrischen Differenz oder Wasserstein-Distanzen) erfassen andere Merkmale wie Maßdifferenz oder Transportkosten und können von der Hausdorff-Nähe abweichen.

Abgrenzung

Standardmäßig definiert für nichtleere kompakte Teilmengen eines metrischen Raums; Erweiterungen auf abgeschlossene oder unbeschränkte Mengen erfordern Modifikationen (z. B. beschränkte Hausdorff-Metrik) und können Kompaktheitseigenschaften verlieren.

Semantische Spannung

Spannung gegenüber maßbasierten Distanzen und gegenüber Topologien wie der Vietoris- oder Fell-Topologie; Hausdorff betont Rand- und Worst-Case-Lücken statt durchschnittlicher oder probabilistischer Unterschiede.

Synthese

Die Hausdorff-Distanz ist der supremale Next-Neighbor-Mismatch zwischen kompakten Mengen in einem metrischen Raum und liefert eine uniforme Worst-Case-Metrik für die Nähe von Formen.