Metrischer Raum

Eine Metrik (auch Abstandsfunktion) ist in der Mathematik eine Funktion, die je zwei Elementen (auch Punkte genannt) der Menge (auch Raum genannt) einen nichtnegativen reellen Wert zuordnet. Dieser Wert wird (unter dieser Metrik) als Abstand der beiden Punkte voneinander bezeichnet. Unter einem metrischen Raum versteht man eine Menge, auf der eine Metrik definiert ist.

Zu einer Menge kann es mehrere (nicht-äquivalente) Metriken geben.

Formale Definition

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} eine beliebige Menge. Eine Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d\colon X\times X\to \mathbb{R}} heißt Metrik auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} , wenn für beliebige Elemente $x$, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} die folgenden Axiome erfüllt sind:

(1) Positive Definitheit:	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d\left(x,y\right) \ge 0}     und     $d\left(x,y\right)=0\Longleftrightarrow x=y$,
(2) Symmetrie:	$d\left(x,y\right)=d(y,x)$,
(3) Dreiecksungleichung:	$d\left(x,y\right)\leq d(x,z)+d(z,y)$.

Übrigens kann die Forderung $d(x,y)\geq 0$ weggelassen werden, denn sie folgt aus den anderen:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0}	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle = \frac{1}{2} d(x, x)}	(1)
	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \leq \frac{1}{2}(d(x, y) + d(y, x))}	(3)
	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle = \frac{1}{2}(d(x, y) + d(x, y)) }	(2)
	Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle = d(x, y)}

Grundbegriffe

$(X,d)$ heißt metrischer Raum, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d} eine Metrik auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist. Manche Autoren fordern zusätzlich, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} eine nichtleere Menge sein soll. In der Praxis bezeichnet man zumeist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} allein als den metrischen Raum, wenn aus dem Kontext klar ist, dass in diesem Raum die Metrik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d} benutzt wird.

Eine Isometrie ist eine Abbildung, die zwei metrische Räume aufeinander abbildet und dabei die Metrik – also die Abstände zwischen je zwei Punkten – erhält.

Durchmesser einer Untermenge in einem metrischen Raum

Eine Menge $A\subset X$ wird beschränkt genannt, wenn die Größe

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sup\{d(x,y):x,y\in A\}}

endlich ist. Eine beschränkte Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} hat Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{diam}(A):=\sup\{d(x,y):x,y\in A\}} als endlichen Durchmesser.

Verallgemeinerungen und Spezialisierungen

Durch Abschwächung, Weglassen oder Verschärfung von einer oder mehreren der Bedingungen (1) bis (3) ergeben sich verschiedene Verallgemeinerungen bzw. Spezialisierungen. Die Bezeichnungen für die Verallgemeinerungen sind leider nicht für alle Gebiete der Mathematik, in denen sie verwendet werden, standardisiert. So wird speziell unter einer Semimetrik in der Funktionalanalysis etwas anderes verstanden als in der Topologie (siehe unten).

Ultrametrik

→ Hauptartikel: Ultrametrik

Wird die Bedingung der Dreiecksungleichung dahingehend verschärft, dass der Abstand Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(x, y)} nicht länger sein darf als der längere der beiden Abstände Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(x, z)} und $d(z,y)$ (mit beliebigem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z} ), erhält man den Begriff der Ultrametrik.

Pseudometrik

Wird auf die Bedingung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d\left(x,y\right) = 0 \Rightarrow x = y} verzichtet, so erhält man den Begriff der Pseudometrik. In der Funktionalanalysis wird hierfür auch die Bezeichnung Halbmetrik oder Semimetrik verwendet. In pseudometrischen Räumen können nichtidentische Punkte den Abstand 0 haben. Eine Pseudometrik ist positiv semidefinit, d. h. Abstände sind stets größer oder gleich 0.

Quasimetrik

Wird auf die Symmetrie verzichtet, erhält man den Begriff der Quasimetrik. Aus einer Quasimetrik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d'} lässt sich durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(x,y):= \tfrac{1}{2} ( d'(x,y) + d'(y,x) )} eine Metrik auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} erzeugen.

Nicht-archimedische Metriken

Wird die Dreiecksungleichung abgeschwächt oder verschärft, dann erhält man nicht-archimedische Metriken. Ein Beispiel ist etwa $d(x,y)\leq K(d(x,z)+d(z,y))$ für ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K>1} oder die Ultrametrik.

In der Topologie werden Metriken ohne Dreiecksungleichung manchmal auch als Semimetriken bezeichnet.

Prämetrik

Wird nur Nicht-Negativität und Bedingung (1) gefordert, dann spricht man von einer Prämetrik. Auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} ist zum Beispiel durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(x, y) = \begin{cases} 1 & \text{falls } x > y \\ |x-y| & \text{sonst } \end{cases}}

eine solche Prämetrik definiert.

Beispiele

Durch Normen erzeugte Metriken

Jede Norm Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \| \cdot \|} auf einem Vektorraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} induziert durch die Festlegung

$d(x,y):=\|x-y\|$

eine Metrik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d} . Somit ist jeder normierte Vektorraum (und erst recht jeder Innenproduktraum, Banachraum oder Hilbertraum) und jede Teilmenge davon ein metrischer Raum.

In jeden affinen Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} über einem normierten Vektorraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} erzeugt die Norm Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \| \cdot \|} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} eine Metrik $d$ auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} , nämlich über die Norm des Verbindungsvektors vermöge

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(P, Q) := \|\overrightarrow{PQ}\|} . Somit ist jeder affine Raum über einem normierten Vektorraum ein metrischer Raum.

Eine Metrik, die aus einer p-Norm abgeleitet ist, heißt auch Minkowski-Metrik. Wichtige Spezialfälle sind

• die Manhattan-Metrik zu $p=1$
• die euklidische Metrik zu $p=2$
• die Maximum-Metrik zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p = \infty}

Weitere Beispiele für Normen (und damit auch für Metriken) finden sich im Artikel Norm (Mathematik).

Aus einer p-Norm abgeleitet sind zum Beispiel die Metriken der folgenden wichtigen Räume:

• der eindimensionale Raum der reellen oder komplexen Zahlen mit dem absoluten Betrag als Norm (mit beliebigem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} ) und der dadurch gegebenen Betragsmetrik

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(x, y) := |x-y|}

• der euklidische Raum mit seiner durch den Satz des Pythagoras gegebenen euklidischen Metrik (zur euklidischen Norm für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p = 2} )

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(x, y) := \sqrt{(x_1-y_1)^2 + \dotsb + (x_n-y_n)^2}}

Als eine Fréchet-Metrik auf einem Vektorraum $V$ wird gelegentlich eine Metrik

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(x, y) := \rho(x - y)}

bezeichnet, die von einer Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho} induziert wird, welche die meisten Eigenschaften einer Norm besitzt, aber nicht homogen ist. Die Begriffsbildung kann auf affine Räume $M$ über solchen Vektorräumen erweitert werden per

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(P, Q) := \rho(\overrightarrow{PQ})} .

Ein Raum mit einer Fréchet-Metrik ist ein Fréchet-Raum, aber nicht jeder Fréchet-Raum hat eine Fréchet-Metrik.

Nicht durch Normen erzeugte Metriken

• Auf jeder Menge lässt sich eine triviale Metrik, die sogenannte gleichmäßig diskrete Metrik (die sogar eine Ultrametrik ist) definieren durch

  Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d(x,y) := \begin{cases} 0 & \text{falls } x = y \\ 1 & \text{sonst } \end{cases}}

Sie induziert die diskrete Topologie.

• Auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} wird durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta(x,y) := |\arctan(x)-\arctan(y)|\,} eine Metrik definiert. Bezüglich dieser Metrik ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} nicht vollständig. So ist z. B. die Folge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (n)_{n\in \N}} eine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta} -Cauchy-Folge, die nicht in $\mathbb {R}$ konvergiert. Die von dieser Metrik erzeugte Topologie stimmt zwar mit der Standardtopologie auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} überein, aber die von den beiden Metriken induzierten uniformen Strukturen sind offensichtlich verschieden.
• Im Allgemeinen nicht durch eine Norm induziert ist die riemannsche Metrik, die aus einer differenzierbaren Mannigfaltigkeit eine riemannsche Mannigfaltigkeit macht. Beispiele dafür:
  • die natürliche Metrik auf einer Kugeloberfläche, in der der Großkreis die kürzeste Verbindung (Geodäte) zwischen zwei Punkten ist;
  • die uneigentliche Metrik im Minkowski-Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R\times\R^3} der speziellen Relativitätstheorie, in der zeitähnliche Abstände durch [(Δt)² - (Δx/c)² - (Δy/c)² - (Δz/c)²]^1/2 und ortsähnliche Abstände durch [(Δx)² + (Δy)² + (Δz)² - (Δct)²]^1/2 gegeben sind;
  • die von der Materieverteilung abhängige Verallgemeinerung dieser Metrik in der allgemeinen Relativitätstheorie.
• Die französische Eisenbahnmetrik ist ein beliebtes Übungsbeispiel für eine nicht durch eine Norm induzierte Metrik. Sie wird unter Bezugnahme auf einen ausgezeichneten Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} („Paris“) wie folgt definiert: Der Abstand zweier verschiedener Punkte, deren Verbindungsgerade durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} verläuft, ist ihr Abstand unter der gewöhnlichen euklidischen Metrik. Der Abstand zweier verschiedener Punkte, deren Verbindungsgerade nicht durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} verläuft, ist die Summe ihrer Abstände von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} .
• Die Hausdorff-Metrik misst den Abstand zwischen Teilmengen, nicht Elementen, eines metrischen Raums; man könnte sie als Metrik zweiten Grades bezeichnen, denn sie greift auf eine Metrik ersten Grades zwischen den Elementen des metrischen Raums zurück.
• Der Hamming-Abstand ist eine Metrik auf dem Coderaum, die die Unterschiedlichkeit von (gleich langen) Zeichenketten angibt.

Erzeugte Topologie

Die offenen Kugeln in einem metrischen Raum erzeugen (als Basis) eine Topologie, die von der Metrik induzierte Topologie.

Sind zwei metrische Räume Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (M_1, d_1)} und $(M_{2},d_{2})$ gegeben, dann heißen sie

• homöomorph (topologisch isomorph), wenn es einen Homöomorphismus (d. h. eine in beiden Richtungen stetige Abbildung) zwischen ihnen gibt.
• isometrisch, wenn es eine bijektive Isometrie zwischen ihnen gibt. Zwei isometrische Objekte im euklidischen Raum sind kongruent.
  Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M_1 = M_2} und sind die Räume nicht isometrisch, dann gelten die Metriken Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (M_1, d_1)} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (M_1, d_2)} als nicht äquivalent.
• quasi-isometrisch, wenn es eine Quasi-Isometrie zwischen ihnen gibt.

Einordnung in die Hierarchie mathematischer Strukturen

Hierarchie topologischer
Räume und der zugehörigen Strukturen

Euklidischer Raum	hat	Skalarprodukt
ist		induziert
Normierter Raum	hat	Norm
ist		induziert
Metrischer Raum	hat	Metrik
ist		induziert
Uniformer Raum	hat	Uniforme Struktur
ist		induziert
Topologischer Raum	hat	Topologie

Metriken geben einem Raum eine globale und eine lokale mathematische Struktur. Die globale Struktur kommt in geometrischen Eigenschaften wie der Kongruenz von Figuren zum Ausdruck. Die lokale metrische Struktur, also die Definition kleiner Abstände, ermöglicht unter bestimmten zusätzlichen Voraussetzungen die Einführung von Differentialoperationen.

Der Begriff „topologischer Raum“ verallgemeinert den Begriff „metrischer Raum“: Jeder metrische Raum ist ein topologischer Raum mit der Topologie, die durch die Metrik induziert wird (siehe dazu Umgebung). Jeder metrische Raum ist ein Hausdorff-Raum.

Ein topologischer Raum heißt metrisierbar, wenn er zu einem metrischen Raum homöomorph ist. Damit ist ein topologischer Raum (X,T) metrisierbar, wenn eine Metrik d auf X existiert, welche die Topologie T induziert.

Ein vollständiger metrischer Raum ist ein metrischer Raum, in dem jede Cauchy-Folge konvergiert. Siehe dazu den ausführlichen Artikel vollständiger Raum. Ein vollständiger normierter Vektorraum heißt Banachraum. Ein Banachraum, dessen Norm durch ein Skalarprodukt induziert ist, heißt Hilbertraum.
Mangels struktureller Voraussetzungen lassen sich Cauchy-Folge und Vollständigkeit auf allgemeinen topologischen Räumen nicht definieren. Existiert wenigstens eine uniforme Struktur, dann gibt es Cauchy-Filter und die Möglichkeit der Vervollständigung, die jedem Cauchy-Filter einen Grenzwert zuordnet.

Geschichte

Metrische Räume wurden 1906 von Maurice Fréchet in der Arbeit Sur quelques points du calcul fonctionnel erstmals verwendet. Der Begriff metrischer Raum wurde von Felix Hausdorff geprägt.

Literatur

• Otto Forster: Analysis. Band 2: Differentialrechnung im Rⁿ. Gewöhnliche Differentialgleichungen. 7. verbesserte Auflage. Vieweg, Wiesbaden 2006, ISBN 3-8348-0250-6 (Vieweg-Studium. Grundkurs Mathematik).
• Athanase Papadopoulos: Metric Spaces, Convexity and Nonpositive Curvature. European Mathematical Society, Zürich 2004, ISBN 3-03719-010-8.
• Boto von Querenburg: Mengentheoretische Topologie. 3., neu bearb. und erw. Auflage. Springer, Berlin/Heidelberg/New York 2001, ISBN 978-3-540-67790-1, doi:10.1007/978-3-642-56860-2.