„Chordale Metrik“ – Versionsunterschied

Die chordale Metrik ist eine Metrik auf der riemannschen Zahlenkugel, die mithilfe der stereografischen Projektion definiert wird.

Definition

Mit $\mathbb {S} ^{2}\subset \mathbb {R} ^{3}$ wird die in den euklidischen Raum $\mathbb {R} ^{3}$ eingebettete Sphäre bezeichnet. Sei nun $P_{N}^{-1}\colon \mathbb {C} \cup \{\infty \}\to \mathbb {S} ^{2}$ die Umkehrabbildung der stereografischen Projektion durch den Nordpol $N$ mit $P_{N}^{-1}(\infty )=N$. Für zwei Punkte $z,w\in \mathbb {C} \cup \{\infty \}$ auf der riemannschen Zahlenkugel ist die chordale Metrik $\chi$ definiert durch

$\chi (z,w):=\|P_{N}^{-1}(z)-P_{N}^{-1}(w)\|_{2}$,

wobei $\|\cdot \|_{2}$ die euklidische Norm bezeichnet.

Für Punkte $w,z\in \mathbb {C}$ ergibt sich explizit die Darstellung

$\chi (z,w)=\|P_{N}^{-1}(z)-P_{N}^{-1}(w)\|_{2}={\frac {2\cdot \|w-z\|}{{\sqrt {1+\|w\|^{2}}}{\sqrt {1+\|z\|^{2}}}}}$.

Für $w=\infty$ und $z\in \mathbb {C}$ kann die Darstellung

$d_{c}(z,\infty )=\|P_{N}^{-1}(z)-N\|_{2}={\frac {2}{\sqrt {1+\|z\|^{2}}}}$

ermittelt werden und für $w=z=\infty$ gilt

$\chi (\infty ,\infty )=\|N-N\|_{2}=0$.

Eigenschaften

Die riemannsche Zahlenkugel $\mathbb {C} \cup \{\infty \}$ ist bezüglich der chordalen Metrik ein kompakter metrischer Raum. Da in $B_{R}(0)$ für ein beliebiges $R>0$ die chordale Metrik und die euklidische Metrik äquivalent sind, sind Eigenschaften wie Offenheit oder Abgeschlossenheit von beschränkten Teilmengen von $\mathbb {C}$ für die beiden Metriken identisch.

Alternative

In vielen Lehrbüchern wird eine andere Darstellung der chordalen Metrik bevorzugt, welche sich von der obigen durch die Weglassung des Faktors $2$ unterscheidet. Hier hat man also (bei Anwendung der komplexen Betragsfunktion):

$\chi (a,b)={\frac {|a-b|}{(1+|a|^{2})^{\frac {1}{2}}\cdot (1+|b|^{2})^{\frac {1}{2}}}}\;(a,b\in \mathbb {C} )$ .

Der Unterschied besteht darin, dass man bei der Einbettung der Gaußschen Zahlenebene in die Riemannsche Zahlenkugel eine Kugel des $\mathbb {R} ^{3}$ zugrunde legt, die den Durchmesser $1$ hat und mit ihrem Südpol die $x$-$y$-Ebene im Koordinatenursprung berührt. Ihr Nordpol hat dabei die Koordinaten $x=0,y=0,z=1$. Diese reellwertige Funktion $\chi$ ist also eine beschränkte Funktion mit dem Maximum $1$. Man spricht in diesem Zusammenhang eher vom chordalen Abstand (englisch chordal distance).

Dass $\chi$ hier die Eigenschaften eine Metrik besitzt, ergibt sich aus der Tatsache, dass sie aus dem euklidischen Abstand des $\mathbb {R} ^{3}$ erwächst. Dies lässt sich jedoch auch elementar nachweisen, wie der Mathematiker Shizuo Kakutani zeigte. Dabei geht es im Wesentlichen um den Nachweis der Gültigkeit der Dreiecksungleichung. Kakutani zeigte dies unter Anwendung elementarer Ungleichungen.

Verallgemeinerung

Da es auch eine stereografische Projektion $P_{N}\colon S^{n}\to {\widehat {\mathbb {R} ^{n}}}$ von der $n$-Sphäre in die Einpunktkompaktifizierung ${\widehat {\mathbb {R} ^{n}}}$ von $\mathbb {R} ^{n}$ gibt, kann die obige Definition verallgemeinert werden und man erhält dadurch, dass ${\widehat {\mathbb {R} ^{n}}}$ bezüglich dieser Metrik auch ein kompakter metrischer Raum ist.

Literatur

• Heinrich Behnke, Friedrich Sommer: Theorie der analytischen Funktionen einer komplexen Veränderlichen (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Band 77). Springer-Verlag, Berlin, Heidelberg, New York 1965, S. 13 ff. 
• Lothar Collatz: Funktionalanalysis und numerische Mathematik. Unveränderter Nachdruck der 1. Auflage von 1964 (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Band 120). 2. Auflage. Springer-Verlag, Berlin, Heidelberg, New York 1968, ISBN 3-540-04135-4, S. 20. 
• Einar Hille: Analytic Function Theory. Volume 1. 2. Auflage. Chelsea Publishing Company, New York, N.Y. 1959, S. 42 ff. 
• Rolf Walter: Einführung in die Analysis 1. (= de Gruyter Lehrbuch). Walter de Gruyter, Berlin 2007, ISBN 978-3-11-019539-2, S. 354–355.