Doppelverhältnis

Beispiele von Doppelverhältnissen ($\lambda _{S}=(A,B;S),\ \lambda _{T}=(A,B;T)$ sind die zugehörigen Teilverhältnisse).
Das 3. Beispiel zeigt 4 harmonisch liegende Punkte, siehe harmonische Teilung.

Das Doppelverhältnis ist in der Geometrie im einfachsten Fall das Verhältnis zweier Teilverhältnisse. Wird zum Beispiel die Strecke $\left[AB\right]$ sowohl durch einen Punkt $S$ als auch durch einen Punkt $T$ in jeweils zwei Teilstrecken $\left[AS\right]$ und $\left[SB\right]$ bzw. $\left[AT\right]$ und $\left[TB\right]$ (s. erstes Beispiel) geteilt, so ist das Verhältnis ${\tfrac {|AS|}{|SB|}}:{\tfrac {|AT|}{|TB|}}$ das (affine) Doppelverhältnis, in dem die Teilpunkte $S,T$ die gegebene Strecke $\left[AB\right]$ teilen. Die große Bedeutung erhält das Doppelverhältnis als Invariante bei Zentralprojektionen, denn das anschaulichere Teilverhältnis ist zwar invariant unter Parallelprojektionen, aber nicht unter Zentralprojektionen. Eine Verallgemeinerung führt zur Definition des Doppelverhältnisses für Punkte einer projektiven Gerade (das heißt, einer affinen Geraden, der ein Fernpunkt hinzugefügt wird).

Ein besonderer Fall liegt vor, wenn das Doppelverhältnis den Wert −1 annimmt. In diesem Fall spricht man von einer harmonischen Teilung der Strecke $\left[AB\right]$ durch das Punktepaar $S,T$ und sagt, $A,B,S,T$ liegen harmonisch.

Während man das Teilverhältnis dreier Punkte noch gut an der Lage der Punkte abschätzen kann, ist dies für das Doppelverhältnis fast unmöglich. Das Doppelverhältnis hat in der analytischen und projektiven Geometrie hauptsächlich theoretische Bedeutung (Invariante bei projektiven Kollineationen). In der Darstellenden Geometrie allerdings wird es (ohne Rechnung) zur Rekonstruktion ebener Figuren verwendet.

Affines Doppelverhältnis

Zur Parameterdarstellung einer Geraden

Eine Gerade im affinen Raum $\mathbb {R} ^{n}$ lässt sich mit zwei fest gewählten Vektoren ${\vec {u}},{\vec {v}}$ durch

$g\colon {\vec {x}}={\vec {u}}+x{\vec {v}},\ x\in \mathbb {R}$

parametrisieren. Für vier Punkte $A,B,S,T$ einer Geraden $g\colon {\vec {x}}={\vec {u}}+x{\vec {v}}$ seien $a,b,s,t$ die Parameter bezüglich der Parameterdarstellung der Geraden $g$. Dann heißt das Verhältnis der Teilverhältnisse $(A,B;S),(A,B;T)$

$(A,B;S,T)_{a}:=(A,B;S):(A,B;T)={\frac {s-a}{b-s}}:{\frac {t-a}{b-t}}$

das affine Doppelverhältnis der Punkte $A,B,S,T$.

Eigenschaften

Liegen beide Teilpunkte $S,T$ zwischen $A,B$ (innere Teilungen) oder beide außerhalb, so ist das Doppelverhältnis positiv, in den anderen Fällen (ein Teilpunkt innen, der andere außen) ist das Doppelverhältnis negativ.

Harmonischer Punkt

Ist das Doppelverhältnis $-1$, so sagt man, $A,B,S,T$ liegen harmonisch. Siehe Harmonische Teilung.

Beispiele

Haben $A,B$ die Parameter 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 a=0, b=1} , so ist 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 (A,B;S,T)_a=\tfrac{s}{1-s}:\tfrac{t}{1-t}} .

1. 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 s=1/3, t=3/4} ist das Doppelverhältnis 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 (A,B;S,T)=1/6} (siehe Bild in der Einleitung).
2. Liegen 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 A,B,S,T} harmonisch, so 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 \tfrac{1}{2}(\tfrac{1}{s}+\tfrac{1}{t})=1} , d. h., das harmonische Mittel der Zahlen 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 s,t} ist 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} .

Doppelverhältnis

Das „normale“ Doppelverhältnis wird für vier Punkte auf einer projektiven Gerade erklärt.

Projektive Gerade

Eine projektive Gerade 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^1K} über einem Körper 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 K} ist die Menge der eindimensionalen Unterräume in einem zweidimensionalen 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 K} -Vektorraum. Nach Wahl einer Basis 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 \vec u, \vec v} sind die Punkte der projektiven Geraden dann durch homogene 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:y)} mit 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,y)\in K^2\setminus\left\{(0,0)\right\}} gegeben, wobei der Punkt mit homogenen 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:y)} dem eindimensionalen Unterraum

• 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 \langle x\vec u+y\vec v\rangle, \ (x,y)\ne (0,0)}

Projektive Gerade: homogene (oben) und inhomogene (unten) Koordinaten

entspricht und demzufolge 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:y)=(\lambda x:\lambda y)} für alle 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 \lambda\in K\setminus\left\{0\right\}} ist. Man kann die projektive Gerade 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^1K} auch mit 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 K\cup\left\{\infty\right\}} identifizieren, dabei werden homogene Koordinaten in inhomogene Koordinaten übergeführt: 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:1)} entspricht dem Punkt 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} 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 (1:0)} dem Punkt 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 \infty} .

Das Doppelverhältnis

Für vier 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 A,B,S,T} einer projektiven Geraden 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 g} mit den zugehörigen homogenen 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 (a_1:a_2),(b_1:b_2),(s_1:s_2),(t_1:t_2)} heißt

• 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 (A,B;S,T):= \frac{\begin{vmatrix} s_1 & a_1\\ s_2 & a_2 \end{vmatrix}}{\begin{vmatrix} b_1 & s_1\\ b_2 & s_2 \end{vmatrix}}:\frac{\begin{vmatrix} t_1 & a_1\\ t_2 & a_2 \end{vmatrix}}{\begin{vmatrix} b_1 & t_1\\ b_2 & t_2 \end{vmatrix}}= \frac{s_1a_2-s_2a_1}{b_1s_2-b_2s_1}:\frac{t_1a_2-t_2a_1}{b_1t_2-b_2t_1}}

das Doppelverhältnis 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 A,B,S,T} .

Eigenschaften des Doppelverhältnisses:

1. 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,A;S,T)=\tfrac{1}{(A,B;S,T)}} (Vertauschen 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 A,B} )
2. 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 (A,B;T,S)=\tfrac{1}{(A,B;S,T)}} (Vertauschen 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 S,T} )
3. 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,A;T,S)=(A,B;S,T)}
4. 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 (S,T;A,B)=(A,B;S,T)}
5. Das Doppelverhältnis ist gegenüber einem Basiswechsel invariant (siehe Regeln für Determinanten).
6. Sind die vier Punkte vom Fernpunkt 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 \infty} verschieden, lassen sie sich mit homogenen Koordinaten so beschreiben, 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 a_2=b_2=s_2=t_2=1} ist. In diesem Fall ergibt sich das (affine) Doppelverhältnis (s. o.)

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 (A,B;S,T)=\tfrac{s_1-a_1}{b_1-s_1}:\tfrac{t_1-a_1}{b_1-t_1} \ .}

Invarianz des Doppelverhältnisses bei Zentralprojektion

Invarianz des Doppelverhältnisses

In einer projektiven Koordinatenebene über einem Körper sind die projektiven Kollineationen diejenigen Kollineationen, die von linearen Abbildungen erzeugt werden. Da bei geeigneter Koordinatisierung vier kollineare 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 A,B,C,D} immer so beschrieben werden können, 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 A=(1:0), \; B=(0:1), \; C=(1:1), \; D=(x:1)}

ist und eine lineare Abbildung den Faktor 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} invariant lässt, bleibt damit auch das Doppelverhältnis 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 (A,B;C,D)=x} invariant.

In der Darstellenden Geometrie werden Geraden des Raumes mit einer Zentralprojektion in eine Bildtafel projiziert. So eine Zentralprojektion lässt sich zu einer projektiven Kollineation des Raumes fortsetzen und projektive Kollineationen lassen das Doppelverhältnis invariant. Also gilt:

• Das Doppelverhältnis bleibt bei einer Zentralprojektion invariant. (s. Bild)

Doppelverhältnis von 4 kopunktalen Geraden

Zum Berechnen des Doppelverhältnisses mit Winkel

Wegen der Invarianz des Doppelverhältnisses bei Zentralprojektion lässt es sich auch für vier in einer Ebene liegende kopunktale Geraden erklären:

• Das Doppelverhältnis von vier kopunktalen Geraden einer Ebene ist das Doppelverhältnis der vier 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 A,B,C,D} einer die 4 Geraden schneidenden Geraden (s. Bild).

Da der Betrag einer (2 × 2)-Determinante gleich dem doppelten Flächeninhalt des Dreiecks, das von den Spaltenvektoren aufgespannt wird, ist und der Flächeninhalt eines Dreiecks durch 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 \tfrac{1}{2}ab\sin\gamma} (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 a,b} sind Seiten des Dreiecks 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 \gamma} der eingeschlossenen Winkel, siehe Dreiecksfläche) ausgedrückt werden kann, lässt sich das Doppelverhältnis auch wie folgt beschreiben:

• 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 (A,B;C,D)=\frac{\sin(CZA)}{\sin(CZB)}:\frac{\sin(DZA)}{\sin(DZB)}= \frac{\sin(\alpha+\beta)}{\sin\beta}:\frac{\sin(\alpha+\beta+\gamma)}{\sin(\beta+\gamma)}} (siehe Bild).

(Die Seitenlängen kürzen sich alle heraus!)

Projektive Geometrie

In einem projektiven Raum kann das Doppelverhältnis aus den projektiven Koordinaten der vier kollinearen Punkte berechnet werden, dabei ist es von der speziellen Wahl des Koordinatensystems unabhängig. Umgekehrt können projektive Koordinaten als Doppelverhältnisse aufgefasst werden. → Siehe dazu Projektives Koordinatensystem.

Das Doppelverhältnis ist eine Invariante jeder projektiven Abbildung, d. h., es behält bei Anwendung einer solchen Abbildung seinen Wert. Diese Eigenschaft kann als kennzeichnendes Merkmal der projektiven Geometrie angesehen werden. Siehe dazu: Erlanger Programm. Diese Zusammenhänge waren schon im Altertum bekannt und finden sich z. B. bei Pappos. Sie sind der entscheidende Grund dafür, dass der Begriff Doppelverhältnis überhaupt entwickelt wurde.

Doppelverhältnis und hyperbolischer Abstand

Die reelle projektive Gerade ist der Rand im Unendlichen der hyperbolischen Ebene. Der hyperbolische Abstand lässt sich aus dem Doppelverhältnis rekonstruieren wie folgt.

Für zwei 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 A} 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 B} der hyperbolischen Ebene sei 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 \gamma} die (eindeutig bestimmte) durch diese beiden Punkte verlaufende Geodätische 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 x,y} seien deren Endpunkte im Unendlichen. Seien 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 C_x,C_y} die durch 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 A} bzw. 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} verlaufenden Horosphären mit Mittelpunkt 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,y} und seien 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,t} die Mittelpunkte der beiden zu 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 C_x} 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 C_y} tangentialen Horosphären. Dann kann der hyperbolische Abstand berechnet werden durch

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 d_{hyp}(A,B)=\log(x,y;z,t)} .

Umgekehrt kann das Doppelverhältnis aus dem hyperbolischen Abstand rekonstruiert werden durch die Formel

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,y;z,t)=\lim_{(A,B,A^\prime,B^\prime)\to(x,y,z,t)}\exp\frac{1}{2}\left\{d_{hyp}(A,B)+d_{hyp}(A^\prime,B^\prime)-d_{hyp}(A,B^\prime)-d_{hyp}(B,A^\prime)\right\},}

wobei die Konvergenz 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 A\to x,B\to y, A^\prime\to z, B^\prime\to t} entlang einer Geodätischen erfolgt.

Diese Formel erlaubt eine direkte Verallgemeinerung des Doppelverhältnisses für 4-Tupel von Punkten im Unendlichen eines beliebigen CAT(-1)-Raumes, insbesondere einer Hadamard-Mannigfaltigkeit negativer Schnittkrümmung.

Geschichte

Das Doppelverhältnis und seine Invarianz unter Projektivitäten wurde in der Antike von Pappos verwendet und um 1640 von Desargues wiederentdeckt. Es wurde zu einem Standardwerkzeug in der Blüte der projektiven Geometrie im 19. Jahrhundert. Cayley benutzte es 1859 in Sixth memoir on quantics zur Definition einer Metrik in der projektiven Geometrie, siehe Hilbert-Metrik. Felix Klein bemerkte 1871 in Ueber die sogenannte Nicht-Euclidische Geometrie, dass man auf diese Weise die hyperbolische Metrik der Kreisscheibe erhält, siehe Beltrami-Klein-Modell.

Literatur

• dtv-Atlas zur Mathematik, Band 1, 1978, ISBN 3-423-03007-0, S. 165.
• Jürgen Richter-Gebert, Thorsten Orendt: Geometriekalküle. Springer-Verlag, Berlin 2009, ISBN 978-3-642-02529-7, § 4.3. 

Weblinks

• W.P. Barth: Geometrie. Uni Marburg, S. 91.