Metrischer Raum

Metrischer Raum

Ein metrischer Raum ist ein Raum, auf dem eine Metrik definiert ist. Eine Metrik ist eine mathematische Funktion, die je zwei Elementen eines Raums einen nicht negativen reellen Wert zuordnet, der als Abstand der beiden Elemente voneinander aufgefasst werden kann.

Inhaltsverzeichnis

Formale Definition

Sei X eine beliebige Menge. Eine Abbildung d\colon X\times X\to \mathbb{R} heißt Metrik auf X, wenn für beliebige Elemente x, y und z von X die folgenden axiomatischen Bedingungen erfüllt sind:

  1. d\left(x,y\right) \geq 0 und d\left(x,y\right) = 0 \Leftrightarrow x = y (Definitheit),
  2. d\left(x,y\right) = d(y,x) (Symmetrie),
  3. d\left(x,y\right) \leq d(x,z) + d(z,y) (Dreiecksungleichung).

Die Nicht-Negativität d\left(x,y\right) \geq 0 wird als Axiom dann überflüssig, wenn X ein Vektorraum ist. In diesem Fall folgt sie aus den anderen Bedingungen, denn:

2 d(x, y) = d(x, y) + d(x, y) \underset{(2)}{=} d(x, y) + d(y, x) \underset{(3)}{\geq} d(x,x) \underset{(1)}{=} 0 \Rightarrow d(x, y) \geq 0.

Grundbegriffe

(X;d) heißt metrischer Raum, wenn d eine Metrik auf X ist. Manche Autoren fordern zusätzlich, dass X eine nichtleere Menge sein soll. In der Praxis bezeichnet man zumeist X allein als den metrischen Raum, wenn aus dem Kontext klar ist, dass in diesem Raum die Metrik d benutzt wird.

Eine Abbildung vom Raum in sich selbst heißt Isometrie, sofern sie die Metrik erhält. Figuren, die von einer Isometrie aufeinander abgebildet werden können, heißen kongruent zueinander.

Verallgemeinerungen und Spezialisierungen

Durch Abschwächung, Weglassen oder Verschärfung von einer oder mehreren der Bedingungen (1) bis (4) 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 d(x,y) nicht länger sein darf als der längere der beiden Abstände d(x,z) und d(z,y) (mit beliebigem z), erhält man den Begriff der Ultrametrik.

Pseudometrik

Wird auf die Bedingung 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 d' lässt sich durch d(x,y):= \tfrac{1}{2} ( d'(x,y) + d'(y,x) ) eine Metrik auf 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\left(x,y\right) \leq K (d(x,z) + d(z,y)) für ein 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 \R ist zum Beispiel durch

d(x,y)=\begin{cases}
 1 & \mbox{für } x > y \\
 |x-y| & \mbox{sonst }
\end{cases}

eine solche Prämetrik definiert.

Beispiele: durch Normen erzeugte Metriken

Jede Norm auf einem Vektorraum induziert durch die Festlegung

d(x, y) \equiv \|x - y\|

eine Metrik. Somit ist jeder normierte Vektorraum (und erst recht jeder Innenproduktraum, Banach-Raum oder Hilbertraum) ein metrischer Raum.

Eine Metrik, die aus einer p-Norm (siehe dazu den Artikel normierter Raum) abgeleitet ist, heißt auch Minkowski-Metrik. Wichtige Spezialfälle sind

Weitere Beispiele für Normen (und damit auch für Metriken) finden sich in den Artikeln Matrixnorm, Funktionenraum.

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 p !) und der dadurch gegebenen Metrik
d(x,y) = | xy | ;
\left\|(x_1, x_2, \dots, x_n)\right\| = \sqrt{x_1^2 + x_2^2 + \dotsb + x_n^2}

Als eine Fréchet-Metrik wird gelegentlich eine Metrik

d(x, y) := ρ(x - y)

bezeichnet, die von einer Funktion ρ induziert wird, welche die meisten Eigenschaften einer Norm besitzt, aber nicht homogen ist.

Beispiele: nicht durch Normen erzeugte Metriken

  • Auf jeder Menge lässt sich eine triviale Metrik, die sogenannte diskrete Metrik (die sogar eine Ultrametrik ist) definieren durch
d(x,y)=\begin{cases}
 0 & \mbox{für } x = y \\
 1 & \mbox{für } x\neq y
\end{cases}
  • Auf \R wird durch d(x,y)=|\arctan(x)-\arctan(y)|\, eine Metrik definiert. Bezüglich dieser Metrik ist \R nicht vollständig. So ist z.B. die Folge (a_n)_{n\in \N} mit a_n=n\, eine Cauchy-Folge, die nicht in \R konvergiert. Die von dieser Metrik erzeugte Topologie stimmt mit der auf \R üblichen Topologie überein. Dies ist ein Beispiel dafür, dass Vollständigkeit kein topologischer Begriff ist.
  • Die sogenannte französische Eisenbahnmetrik ist ein beliebtes Übungsbeispiel für eine nicht durch eine Norm induzierte Metrik. Sie wird unter Bezugnahme auf einen ausgezeichneten Punkt P („Paris“) wie folgt definiert: Der Abstand zweier verschiedener Punkte, deren Verbindungsgerade durch P verläuft, ist ihr Abstand unter der gewöhnlichen Euklidischen Metrik. Der Abstand zweier verschiedener Punkte, deren Verbindungsgerade nicht durch P verläuft, ist die Summe ihrer Abstände von 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.

Einordnung in die Hierarchie mathematischer Strukturen

Einordnung metrischer Räume in die verschiedenen Arten topologischer Räume

Metriken geben einem Raum eine globale und eine lokale 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 Banach-Raum. Ein Banach-Raum, dessen Norm durch ein Skalarprodukt induziert ist, heißt Hilbertraum. Betrachtet man die von einem metrischen Raum erzeugte Topologie, lassen sich diese Begriffe nicht mehr definieren. Eine mögliche Verallgemeinerung, die dies noch erlaubt, bilden die uniformen Räume.


Geschichte

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

Literatur


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • metrischer Raum — metrischer Raum,   Mathematik: eine Menge, auf der eine Metrik definiert ist. Die metrischen Räume bilden eine wichtige und umfassende Klasse topologischer Räume; zu ihnen gehören besonders die normierten Räume. Erstmals wurden metrische Räume… …   Universal-Lexikon

  • metrischer Raum — metrinė erdvė statusas T sritis fizika atitikmenys: angl. metric space vok. metrischer Raum, m rus. метрическое пространство, n pranc. espace métrique, m …   Fizikos terminų žodynas

  • Raum-Zeit — Die Raumzeit oder das Raum Zeit Kontinuum bezeichnet in der Relativitätstheorie die Vereinigung von Raum und Zeit in einer einheitlichen vierdimensionalen Struktur, in welcher die räumlichen und zeitlichen Koordinaten bei Transformationen in… …   Deutsch Wikipedia

  • Raum-Zeit-Kontinuum — Die Raumzeit oder das Raum Zeit Kontinuum bezeichnet in der Relativitätstheorie die Vereinigung von Raum und Zeit in einer einheitlichen vierdimensionalen Struktur, in welcher die räumlichen und zeitlichen Koordinaten bei Transformationen in… …   Deutsch Wikipedia

  • Raum (Mathematik) — Beziehungen zwischen den mathematischen Räumen Der Raum ist in der Mathematik ein Begriff, für den es keine in allen Teilgebieten zutreffende Definition gibt. Jedenfalls ist er eine mit einer Struktur versehene Menge. In verschiedenen… …   Deutsch Wikipedia

  • Raum-Zeit — Raum Zeit,   Raumzeit, Relativitätstheorie: die Zusammenfassung der drei Raumdimensionen mit der Zeit als vierter Koordinate zu einem vierdimensionalen metrischen Raum (Raum Zeit Kontinuum, Raum Zeit Welt). Der Begriff der Raum Zeit ist Ausdruck… …   Universal-Lexikon

  • Pseudometrischer Raum — metrischer Raum berührt die Spezialgebiete Mathematik Topologie Geometrie Analysis hat Eigenschaften von topologischer Raum normaler Raum …   Deutsch Wikipedia

  • Metrischer Tensor — Der metrische Tensor (auch Metriktensor oder Maßtensor) dient dazu, mathematische Räume, insbesondere differenzierbare Mannigfaltigkeiten, mit einem Maß für Abstände und Winkel auszustatten. Dieses Maß muss nicht notwendig alle Bedingungen… …   Deutsch Wikipedia

  • Metrischer Zusammenhang — Ein metrischer Zusammenhang beziehungsweise ein mit der Metrik kompatibler Zusammenhang ist ein mathematisches Objekt aus der Differentialgeometrie. Es handelt um einen Spezialfall eines Zusammenhangs. Inhaltsverzeichnis 1 Definition 2 Beispiele… …   Deutsch Wikipedia

  • Metrischer Tensor der speziellen Relativitätstheorie — Der Minkowski Raum, benannt nach Hermann Minkowski, ist ein vierdimensionaler Raum, in dem sich die Relativitätstheorie elegant formulieren lässt. Minkowski führte ihn im Jahre 1907 zur Beschreibung der speziellen Relativitätstheorie ein. Er wird …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”