Semimetrik

Semimetrik

Die Pseudometrik, auch Halbmetrik oder Spanne ist ein mathematischer Abstandsbegriff, der den spezielleren Begriff der Metrik abschwächt. Durch eine Pseudometrik, häufiger noch durch ein System von Pseudometriken auf einer Menge wird im mathematischen Teilgebiet Topologie eine uniforme Struktur auf dieser Menge eingeführt. Für uniforme Räume, die ein abzählbares Fundamentalsystem haben, gilt die Umkehrung: Ihre uniforme Struktur kann durch ein System von Spannen induziert werden.

Inhaltsverzeichnis

Definition

Sei X eine beliebige Menge. Eine Abbildung d: X × XR heißt Pseudometrik, Halbmetrik oder Spanne, wenn für beliebige Elemente x, y und z von X die folgenden Bedingungen erfüllt sind:

  1. d(x,x) = 0 („Die Spanne zwischen einem Punkt und dem Punkt selbst ist 0.“),
  2. d(x,y)=d(y,x) (Symmetrie: „Die Spanne zwischen zwei Punkten hängt nicht von der Reihenfolge ab.“) und
  3. d(x,y) ≤d(x,z) + d(z,y) (Dreiecksungleichung: „Die Spanne ist auf dem direkten Weg am kürzesten.“).

Der einzige Unterschied zur Definition einer Metrik: Es fehlt die Definitheitsbedingung. Es kann Elemente geben, die verschieden sind, aber zwischen denen die Spanne dennoch 0 ist:

  •  x\neq y \and d(x,y)=0 .

gibt es solche Elemente in X, dann sagt man auch, die Spanne d ist eine echte Pseudometrik. Gibt es sie nicht, dann ist die Spanne d sogar eine Metrik.

Einige Begriffe, die in metrischen Räumen mit Hilfe einer Metrik definiert werden, lassen sich wörtlich gleich auch mit Spannen definieren, zum Beispiel die beschränkten Teilmengen von X, beschränkte Abbildungen nach X, gleichmäßig beschränkte Familien von Abbildungen nach X (siehe dazu: Beschränktheit).

Als Beispiel sei hier nur der Begriff der gleichmäßigen Stetigkeit ausgeführt: Seien X1 und X2 Mengen mit den Spannen d1 bzw d2. Dann heißt eine Abbildung  f: X_1\to X_2 gleichmäßig stetig, wenn es zu jedem positiven ε ein positives δ gibt, so dass

 \forall x,y \in X_1: d_1(x,y)<\delta \Rightarrow d_2 (f(x),f(y))<\varepsilon\; gilt.

Spannen und uniforme Strukturen

Definition einer uniformen Struktur durch Spannen

Sei X eine Menge mit der Spanne d. Dann bildet das System F aller Relationen der Form

 d^{-1}([0;a[)=\{(x,y)\in X\times X| d(x,y)<a \},
F:=\{d^{-1}([0;a[)| a\in \Bbb R_+ \}

ein Fundamentalsystem einer uniformen Struktur auf X. Diese Struktur heißt von der Spanne d definiert.

Ist auf X eine Familie  (d_i)_{i\in I} von Spannen gegeben, dann heißt das Supremum der durch di definierten uniformen Strukturen, also die gröbste uniforme Struktur, in der alle di gleichmäßig stetig sind, die von der Familie definierte uniforme Struktur.

Definition einer Spanne durch eine uniforme Struktur

Die folgende Konstruktion ist eine Beweisskizze für die Aussage aus der Einleitung: „Jede uniforme Struktur auf X, die ein abzählbares Fundamentalsystem besitzt, lässt sich durch eine Spanne definieren“. Sei dazu jetzt X ein solcher uniformer Raum und  (N_k)_{k\in\Bbb N} ein abzählbares Fundamentalsystem.

Nun werden die Nachbarschaften zunächst symmetrisiert und zugeschnitten, wir ersetzen  (N_k)_{k\in\Bbb N} durch symmetrische Nachbarschaften  (S_k)_{k\in\Bbb N} mit den Eigenschaften S_0\subseteq N_0 und S_{k+1}^3\subseteq S_k\cap N_k (mit S3 ist hier die Verkettung im Relationensinn gemeint). Die Hilfsfunktion

 g(x,y):= \begin{cases} 1\; \mbox{falls}\; (x,y)\not\in S_0\\
                              \inf \{2^{-k-1}|(x,y)\in S_k\}\;\rm{sonst}
               \end{cases}

ist symmetrisch und verschwindet auf der Diagonalen. Um die Dreiecksungleichung zu erfüllen, muss jetzt noch der kürzeste Weg gefunden werden. Sei dazu M die Menge aller endlichen Folgen von Punkten aus X mit Anfangspunkt x und Endpunkt y. Die gesuchte Spanne ist dann

 d(x,y):=\inf \left\{  \sum_{j=0}^{n-1} g(z_j, z_{j+1})\,|\,(z_j)_{j=0,\ldots,n}\in M \right\}.

Die Spanne d ist natürlich durch die uniforme Struktur auf X nicht eindeutig bestimmt. Die durch d wie oben beschrieben definierte Struktur stimmt dann aber mit der ursprünglichen uniformen Struktur überein.

Beispiele und Konstruktion von Spannen

  • Jede Metrik ist eine Spanne, jedes Beispiel für einen metrischen Raum (M, d) liefert also ein Beispiel für eine Spanne.
  • Die Nullspanne d(x, y)=0 erzeugt die indiskrete Topologie (→topologischer Raum) auf jeder Menge X, die sich damit als uniforme Struktur erweist.
  • Auf der Menge der positiven Stammbrüche B:=\left\{ \frac{1}{z}|z\in\mathbb{Z}_+ \right\} sind durch die Betragsmetrik und durch die diskrete Metrik je eine Spanne gegeben (sogar eine Metrik). Beide Spannen induzieren dieselbe, nämlich die diskrete Topologie, auf B, sind also topologisch äquivalent. Sie definieren jedoch unterschiedliche uniforme Strukturen auf B.
  • Endlich viele Spannen d_i;\; 1\leq i\leq n auf X können zu einer neuen Spanne d(x,y)=d_1(x,y)+d_2(x,y)+\cdots+d_n(x,y) addiert werden.
  • Abzählbar viele Spannen d_i;\; i\in\mathbb{N} auf X können zu der Spanne
d(x,y)=\sum\limits_{i=0}^{\infty} 2^{-i} \frac{d_i(x,y)}{1+d_i(x,y)}
zusammengesetzt werden.

Literatur

  • Boto von Querenburg: Mengentheoretische Topologie. 3. Auflage. Springer-Verlag, 2001, ISBN 3-540-09799-6

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

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

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

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

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

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

  • 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… …   Deutsch Wikipedia

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

  • T0-Raum — topologischer Raum berührt die Spezialgebiete Mathematik Topologie ist Spezialfall von Mengensystem umfasst als Spezialfälle …   Deutsch Wikipedia

  • Kolmogoroff-Raum — In der Topologie und verwandten Gebieten der Mathematik bezeichnet ein Kolmogoroff Raum (benannt nach dem Mathematiker Andrei Nikolajewitsch Kolmogorow), auch T0 Raum genannt, eine große Klasse „gutartiger“ topologischer Räume. Das T0 Axiom ist… …   Deutsch Wikipedia

Share the article and excerpts

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