Chordale Metrik
Die chordale Metrik ist eine Metrik auf der riemannschen Zahlenkugel, die mithilfe der stereografischen Projektion definiert wird.
Definition
Mit wird die in den euklidischen Raum eingebettete Sphäre bezeichnet. Sei nun Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle P_{N}^{-1}\colon \mathbb {C} \cup \{\infty \}\to \mathbb {S} ^{2}} die Umkehrabbildung der stereografischen Projektion durch den Nordpol mit . Für zwei Punkte Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle z,w\in \mathbb {C} \cup \{\infty \}} auf der riemannschen Zahlenkugel ist die chordale Metrik definiert durch
- Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \chi (z,w):=\|P_{N}^{-1}(z)-P_{N}^{-1}(w)\|_{2}} ,
wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|\cdot\|_2} die euklidische Norm bezeichnet.
Für Punkte Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle w, z \in \Complex} ergibt sich explizit die Darstellung
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(z, w) = \|P^{-1}_N(z) - P^{-1}_N(w)\|_2 = \frac{2 \cdot \|w - z\|}{\sqrt{1 + \|w\|^2}\sqrt{1 + \|z\|^2}}} .
Für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle w = \infty} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z \in \Complex} kann die Darstellung
ermittelt werden und für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle w = z = \infty} gilt
- Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(\infty, \infty) = \|N - N\|_2 = 0} .[1]
Eigenschaften
Die riemannsche Zahlenkugel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Complex \cup \{\infty\}} ist bezüglich der chordalen Metrik ein kompakter metrischer Raum. Da in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B_R (0)} für ein beliebiges Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R > 0} die chordale Metrik und die euklidische Metrik äquivalent sind, sind Eigenschaften wie Offenheit oder Abgeschlossenheit von beschränkten Teilmengen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Complex} 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2} unterscheidet. Hier hat man also (bei Anwendung der komplexen Betragsfunktion):
- .
Der Unterschied besteht darin, dass man bei der Einbettung der Gaußschen Zahlenebene in die Riemannsche Zahlenkugel eine Kugel des zugrundelegt, die den Durchmesser Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1} hat und mit ihrem Südpol die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} -Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} -Ebene im Koordinatenursprung berührt. Ihr Nordpol hat dabei die Koordinaten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x=0, y=0, z=1} . Diese reellwertige Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi } ist also eine beschränkte Funktion mit dem Maximum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1} . Man spricht in diesem Zusammenhang eher vom chordalen Abstand (englisch chordal distance).
Dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi } hier die Eigenschaften eine Metrik besitzt, ergibt sich aus der Tatsache, dass sie aus dem euklidischen Abstand des erwächst.[2] 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.[3]
Verallgemeinerung
Da es auch eine stereografische Projektion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P_N \colon S^n \to \widehat{\R^n}} von der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -Sphäre in die Einpunktkompaktifizierung Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\widehat {\mathbb {R} ^{n}}}} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} gibt, kann die obige Definition verallgemeinert werden und man erhält dadurch, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \widehat{\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.