##  [Metrischer Raum](/de/node/61608) 

 Definition

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

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

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

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

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

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

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

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

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.