Normen und Metriken

Unser Ziel ist es, mathematischen Objekten eine gewisse Größe und einen gewissen Abstand zuzuordnen. Aus den reellen Zahlen kennen wir bereits den Absolutbetrag und die absolute Differenz. Dieses Konzept möchten wir abstrahieren und so allgemein wie möglich formulieren, sprich auch einen Abstands- und Größenbegriff für Vektorräume oder idealerweise allgemeine Mengen definieren. Den Größenbegriff werden wir dann als Norm bezeichnen, den Abstandsbegriff als Metrik.

Wir werden feststellen, dass wir Normen auf vielen Vektorräumen definieren können und somit einen Größenbegriff für bspw. Vektoren und Matrizen, aber auch für weniger intuitive Dinge wie Funktionen erhalten. Metriken können wir sogar auf allgemeinen Mengen definieren, ohne eine Vektorraumstruktur zu benötigen.

In den reellen Zahlen wird bekanntermaßen der Absolutbetrag einer Zahl als Abstand der Zahl von 0 definiert, sprich

[math] |x| = \begin{cases} x & \text{falls}\ x \geq 0 \\ -x & \text{falls}\ x \lt 0 \end{cases}\ , \ x \in \mathbb{R} [/math],

die absolute Differenz durch

[math] d(x,y) = |x-y| , \ \ x,y \in \mathbb{R} [/math].

Dass der Absolutbetrag somit auch in der Definition unseres Abstandes in den reellen Zahlen vorkommt, legt bereits nahe, dass Normen und Metriken nicht zwei zusammenhangslose Konzepte sind, sondern, dass es eine Verbindung zwischen ihnen gibt und tatsächlichen werden wir sehen, dass sehr viele Metriken durch zugrundeliegende Normen definiert werden können ("von Normen induziert werden").

Metrik Definition

Sei [math]X[/math] eine Menge. Eine Abbildung [math]d\colon X\times X\to \mathbb{R}[/math] heißt Metrik auf [math]X[/math], falls für beliebige [math]x[/math], [math]y[/math] und [math]z[/math] von [math]X[/math] die folgenden Axiome erfüllt sind:

M1 Positive Definitheit:	[math]d\left(x,y\right) \geq 0[/math]     und     [math]d\left(x,y\right) = 0 \Leftrightarrow x = y[/math],
M2 Symmetrie:	[math]d\left(x,y\right) = d(y,x)[/math],
M3 Dreiecksungleichung:	[math]d\left(x,y\right) \leq d(x,z) + d(z,y)[/math].

Metrik Beispiele

Durch Normen induzierte Metriken

Jede Norm die es auf einem Vektorraum gibt induziert wie folgt eine Metrik

[math]d(x, y) \equiv \|x - y\|[/math]

Daher sehen wir, dass jeder normierte VR ein metrischer Raum ist.

Ein weiteres Beispiel ist:

Die SNCF-Metrik

Sei [math]X[/math] eine Menge von Punkten in der Ebene und [math] p [/math] ein fester Punkt.

Dann ist die SNCF-Metrik auf [math]X[/math] wie folgt definiert:

[math] d\colon X\times X\to\mathbb R [/math]

[math] d(x,y)=\begin{cases} \|x-y\|&\text{falls } x, y \text{ auf einer Geraden durch } p \text{ liegen, }\\ \|x-p\|+\|p-y\|&\text{sonst}. \end{cases} [/math]

Der Name dieser Metrik leitet sich von der Eisenbahngesellschaft SCNF ab, da diese Metrik in den Kontext des Französischen Eisenbahnnetzes fällt. Nehme man an X seien die Städte Frankreichs, und [math] p [/math] Paris so kann der Abstand, falls es keinen direkt Zug zwischen Stadt [math]x[/math] und [math]y[/math] gibt, deutlich länger werden.

Nicht durch Normen induzierte Metriken

Die Diskrete Metrik

[math]d(x,y)=\begin{cases} 0 & \text{für } x = y \\ 1 & \text{für } x\neq y \end{cases}[/math]

Autoren

Alassane, Robin, Arian