Eine Menge X zusammen mit einer Abbildung d: X×X → [0,∞) (genannt Metrik oder Abstand), die jedem geordneten Punktpaar eine nichtnegative reelle Zahl zuordnet und folgende Eigenschaften erfüllt: (i) d(x,y)=0 genau dann, wenn x=y (Positivität/Identität der Ununterscheidbaren), (ii) d(x,y)=d(y,x) (Symmetrie), (iii) d(x,z) ≤ d(x,y)+d(y,z) (Dreiecksungleichung).

Prinzip

Abstände werden durch eine reellwertige Funktion gemessen, die algebraische Bedingungen erfüllt, welche Ununterscheidbarkeit, Gegenseitigkeit und eine additive obere Schranke für die Verknüpfung von Wegen ausdrücken.

Demonstration

R^n mit der euklidischen Distanz d(x,y)=sqrt(sum (x_i−y_i)^2) ist ein metrischer Raum; die diskrete Metrik d(x,y)=1 für x≠y und 0 für x=y ist ein weiteres konkretes Beispiel und liefert die diskrete Topologie.

Fehlanwendung

Jede symmetrische nichtnegative Funktion als Metrik zu behandeln, ohne Dreiecksungleichung oder Identitätsaxiom zu prüfen, führt zu ungültigen Strukturen; etwa wenn verschiedene Punkte die Distanz null erhalten, ist die metrische Trennung verletzt.

Konsequenz

Eine Metrik induziert eine Topologie aus offenen Kugeln und liefert Begriffe wie Konvergenz, Stetigkeit, Vollständigkeit und Kompaktheit, die man mit Folgen, Netzen und Cauchy-Kriterien untersucht.

Umkehrung

Wird die Dreiecksungleichung aufgehoben, so entsteht kein metrischer Raum mehr, sondern höchstens eine Quasi-Metrik oder eine allgemeine distanzähnliche Relation mit asymmetrischem oder nichttransitivem Verhalten.

Abgrenzung

Metriken sind auf reelle, nichtnegative Abstände beschränkt, die alle drei Axiome erfüllen; Pseudometriken lassen das Identitätsaxiom fallen, Quasi-Metriken die Symmetrie, und erweiterte Metriken erlauben unendliche Distanzen, sonst gelten die Axiome.

Semantische Spannung

Metrischer Raum vs topologischer Raum: Eine Metrik bestimmt eine Topologie, aber nicht jede Topologie ist metrisierbar; ferner Metrik vs uniforme Struktur — Metriken induzieren Uniformitäten, doch verschiedene Metriken können dieselbe Topologie erzeugen.

Synthese

Ein metrischer Raum fasst eine algebraische Distanzregel zusammen, die eine kanonische Topologie und quantitative Konzepte (Kugeln, Cauchy-Folgen, Vollständigkeit) bereitstellt und so eine Analyse basierend auf numerischer Trennung ermöglicht.