Ein metrischer Raum ist eine Menge X mit einer Funktion d: X × X → [0, ∞) (Metrik), die für alle x,y,z die Bedingungen erfüllt: d(x,y) ≥ 0 mit Gleichheit genau dann, wenn x = y (Identität der Ununterscheidbaren), d(x,y) = d(y,x) (Symmetrie) und d(x,z) ≤ d(x,y) + d(y,z) (Dreiecksungleichung).

Prinzip

Abstand quantifiziert die Nähe von Punkten mit einer Struktur, die hinreichend ist, eine Topologie, Konvergenz und Stetigkeit zu induzieren; die Metrikaxiome sichern eine kohärente Trennungs- und Schrankenstruktur unabhängig von Pfaden.

Demonstration

Der euklidische Raum R^n mit der üblichen euklidischen Distanz ist ein metrischer Raum; die diskrete Metrik d(x,y)=1 für x ≠ y und 0 sonst ist ein Beispiel, in dem jede Teilmenge offen ist; Normen induzieren Metriken über d(x,y)=||x-y||.

Fehlanwendung

Metrik mit Pseudometrik (erlaubt distinkte Punkte im Abstand Null) oder Quasimetrik (kann Symmetrie vermissen) verwechseln, oder metrikabhängige Kompaktheitskriterien auf nicht-metrisierbare Topologien anwenden, ohne Metrisierbarkeit nachzuweisen.

Konsequenz

Eine Metrik induziert eine Topologie und Begriffe wie Cauchy-Folge, Vollständigkeit, Kompaktheit, Stetigkeit und gleichmäßige Stetigkeit; viele analytische Konstruktionen (Grenzwerte, Funktionsräume) beruhen auf metrischen Eigenschaften wie Vollständigkeit oder Separabilität.

Umkehrung

Ein topologischer Raum ohne kompatible Metrik (nicht metrisierbar) kehrt die Forderung um: Offene/geschlossene Mengen und Stetigkeit sind definiert, aber es fehlen Abstände; eine Ultrametrik verstärkt die Dreiecksungleichung zu d(x,z) ≤ max(d(x,y),d(y,z)).

Abgrenzung

Erfordert eine nichtnegative reelle Distanz und die drei Metrikaxiome; schließt Pseudometriken, Quasimetriken, verallgemeinerte Abstände in anderen geordneten Strukturen und rein topologische oder uniforme Räume ohne konkrete Metrik aus.

Semantische Spannung

Metrik versus topologischer Raum: jeder metrische Raum ist topologisch, aber nicht jede Topologie ist metrisierbar. Metrik versus Pseudometrik: Pseudometrik verzichtet auf Identität der Ununterscheidbaren. Metrik versus Ultrametrik: Ultrametrik verschärft die Dreiecksungleichung.

Synthese

Ein metrischer Raum ist eine Menge mit einem reellwertigen Abstand, der Nichtnegativität, Identität, Symmetrie und Dreiecksungleichung erfüllt und so einen quantitativen Rahmen für Topologie, Konvergenz und analytische Strukturen liefert.