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.

Definition

Sei X eine beliebige Menge. Eine Abbildung d: X × X → R 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 X₁ und X₂ Mengen mit den Spannen d₁ bzw d₂. 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 d_i definierten uniformen Strukturen, also die gröbste uniforme Struktur, in der alle d_i 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 S³ 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