Eine Metrik auf der Menge der nichtleeren beschränkten Teilmengen eines metrischen Raums, definiert als Maximum der beiden gerichteten Suprema der Abstände von Punkten der einen Menge zur anderen (äquivalent zum Infimum r, so dass jede Menge in der r-Umgebung der anderen liegt).

Prinzip

Die Hausdorff-Distanz ordnet die Nähe von Mengen durch die Worst-Case-Nachbarlücke: sie misst, wie weit man von einem Punkt einer der Mengen maximal gehen muss, um die andere zu erreichen, und symmetrisert gerichtete einseitige Nähen zu einer echten Metrik auf beschränkten abgeschlossenen Mengen.

Demonstration

Im R mit euklidischer Metrik beträgt die Hausdorff-Distanz zwischen [0,1] und [0.1,1.1] genau 0,1, weil jeder Punkt eines Intervalls innerhalb von 0,1 eines Punktes des anderen liegt; kleine gleichmäßige Störungen eines kompakten Satzes erzeugen kleine Hausdorff-Distanzen.

Fehlanwendung

Die Hausdorff-Distanz für unbeschränkte Mengen ohne Modifikation zu verwenden (wo sie unendlich sein kann) oder zu erwarten, dass sie massentheoretische Ähnlichkeit widerspiegelt (zwei Mengen können eine kleine symmetrische Differenz in Maß haben, aber eine große Hausdorff-Distanz) sind häufige Fehlanwendungen.

Konsequenz

Auf dem Raum der nichtleeren kompakten Teilmengen eines kompakten metrischen Raums definiert die Hausdorff-Distanz eine vollständige Metrik und macht den Hyperspace kompakt; sie wird extensiv in Formanalyse, geometrischer Approximation und Konvergenz von Mengen genutzt.

Umkehrung

Ersetzt man die Hausdorff-Distanz durch die Maß der symmetrischen Differenz oder durch L^p-basierten Mengenabstände, verlagert man den Schwerpunkt von maximaler punktweiser geometrischer Trennung zu gemittelten oder volumetrischen Diskrepanzen; diese Umkehr eignet sich für probabilistische oder massentheoretische Vergleiche, verliert jedoch Worst-Case-geometrische Kontrolle.

Abgrenzung

Definiert für nichtleere beschränkte Teilmengen eines metrischen Raums; häufig auf abgeschlossene oder kompakte Mengen beschränkt, um Pathologien zu vermeiden und Endlichkeit sowie metrische Eigenschaften sicherzustellen; sie hängt von der Umgebungsmessung ab und ist nur intrinsisch, wenn die Umgebungsmetrik festgelegt ist.

Semantische Spannung

Die Hausdorff-Distanz steht im semantischen Wettbewerb mit Gromov–Hausdorff-Distanz und massenbasierten Mengenabständen: Erstere vergleicht metrische Räume bis auf Isometrie, letztere mittelt Diskrepanzen, sodass die Wahl davon abhängt, ob punktweise geometrische Ausrichtung oder grobe volumetrische Ähnlichkeit gewünscht ist.

Synthese

Die Hausdorff-Distanz ist die maximale Nachbarlücke zwischen zwei beschränkten Teilmengen: ein symmetrisches, von der Umgebungsmessung abhängiges Maß der Mengennähe, das die geometrische Abweichung im schlimmsten Fall erfasst, Kompaktheitsresultate für Hyperspaces unterstützt und zu gemittelten Diskrepanzen kontrastiert.