The previously mentioned Euler-Rodrigues parameter a,b,c,d (i.e. Cayley-Hermite parameter in E:(Q3 ) with d=1 ) are closely related to Cayley–Klein parameter α,β,γ,δ introduced by Helmholtz (1866/67), Cayley (1879) and Klein (1884) to connect Möbius transformations
α
ζ
+
β
γ
ζ
+
δ
{\displaystyle {\tfrac {\alpha \zeta +\beta }{\gamma \zeta +\delta }}}
and rotations:[ M 1]
α
=
1
+
i
b
,
β
=
−
a
+
i
c
,
γ
=
a
+
i
c
,
δ
=
1
−
i
b
.
{\displaystyle {\begin{aligned}\alpha &=1+ib,&\beta &=-a+ic,\\\gamma &=a+ic,&\delta &=1-ib.\end{aligned}}}
thus E:(Q3 ) becomes:
x
0
2
+
x
1
2
+
x
2
2
=
x
0
′
2
+
x
1
′
2
+
x
2
′
2
x
′
=
1
κ
[
1
2
(
α
2
−
β
2
−
γ
2
+
δ
2
)
β
δ
−
α
γ
i
2
(
−
α
2
+
β
2
−
γ
2
+
δ
2
)
γ
δ
+
α
β
α
δ
+
β
γ
i
(
α
β
+
γ
δ
)
−
i
2
(
−
α
2
−
β
2
+
γ
2
+
δ
2
)
−
i
(
α
γ
+
β
δ
)
1
2
(
α
2
+
β
2
+
γ
2
+
δ
2
)
]
⋅
x
(
κ
=
α
δ
−
β
γ
)
{\displaystyle {\begin{matrix}x_{0}^{2}+x_{1}^{2}+x_{2}^{2}=x_{0}^{\prime 2}+x_{1}^{\prime 2}+x_{2}^{\prime 2}\\\hline \mathbf {x} '={\frac {1}{\kappa }}\left[{\begin{matrix}{\frac {1}{2}}\left(\alpha ^{2}-\beta ^{2}-\gamma ^{2}+\delta ^{2}\right)&\beta \delta -\alpha \gamma &{\frac {i}{2}}\left(-\alpha ^{2}+\beta ^{2}-\gamma ^{2}+\delta ^{2}\right)\\\gamma \delta +\alpha \beta &\alpha \delta +\beta \gamma &i(\alpha \beta +\gamma \delta )\\-{\frac {i}{2}}\left(-\alpha ^{2}-\beta ^{2}+\gamma ^{2}+\delta ^{2}\right)&-i(\alpha \gamma +\beta \delta )&{\frac {1}{2}}\left(\alpha ^{2}+\beta ^{2}+\gamma ^{2}+\delta ^{2}\right)\end{matrix}}\right]\cdot \mathbf {x} \\(\kappa =\alpha \delta -\beta \gamma )\end{matrix}}}
(Q4 )
Also the Lorentz transformation can be expressed with variants of the Cayley–Klein parameters: One relates these parameters to a spin-matrix D , the w:spin transformations of variables
ξ
′
,
η
′
,
ξ
¯
′
,
η
¯
′
{\displaystyle \xi ',\eta ',{\bar {\xi }}',{\bar {\eta }}'}
(the overline denotes w:complex conjugate ), and the w:Möbius transformation of
ζ
′
,
ζ
¯
′
{\displaystyle \zeta ',{\bar {\zeta }}'}
. When defined in terms of isometries of hyperblic space (hyperbolic motions), the w:Hermitian matrix u associated with these Möbius transformations produces an invariant determinant
det
u
=
x
0
2
−
x
1
2
−
x
2
2
−
x
3
2
{\displaystyle \det \mathbf {u} =x_{0}^{2}-x_{1}^{2}-x_{2}^{2}-x_{3}^{2}}
identical to the Lorentz interval. Therefore, these transformations were described by w:John Lighton Synge as being a "factory for the mass production of Lorentz transformations".[ 1] It also turns out that the related w:spin group Spin(3, 1) or w:special linear group SL(2, C) acts as the double cover of the Lorentz group (one Lorentz transformation corresponds to two spin transformations of different sign), while the w:Möbius group Con(0,2) or w:projective special linear group PSL(2, C) is isomorphic to both the Lorentz group and the group of isometries of hyperbolic space.
In space, the Möbius/Spin/Lorentz transformations can be written as:[ 2] [ 1] [ 3] [ 4]
ζ
=
x
1
+
i
x
2
x
0
−
x
3
=
x
0
+
x
3
x
1
−
i
x
2
→
ζ
′
=
α
ζ
+
β
γ
ζ
+
δ
|
ζ
′
=
ξ
′
η
′
→
ξ
′
=
α
ξ
+
β
η
η
′
=
γ
ξ
+
δ
η
u
=
(
X
1
X
2
X
3
X
4
)
=
(
ξ
¯
ξ
ξ
η
¯
ξ
¯
η
η
¯
η
)
=
(
x
0
+
x
3
x
1
−
i
x
2
x
1
+
i
x
2
x
0
−
x
3
)
det
u
=
x
0
2
−
x
1
2
−
x
2
2
−
x
3
2
|
D
=
(
α
β
γ
δ
)
det
D
=
1
u
′
=
D
⋅
u
⋅
D
¯
T
=
X
1
′
=
X
1
α
α
¯
+
X
2
α
β
¯
+
X
3
α
¯
β
+
X
4
β
β
¯
X
2
′
=
X
1
α
¯
γ
+
X
2
α
¯
δ
+
X
3
β
¯
γ
+
X
4
β
¯
δ
X
3
′
=
X
1
α
γ
¯
+
X
2
α
δ
¯
+
X
3
β
γ
¯
+
X
4
β
δ
¯
X
4
′
=
X
1
γ
γ
¯
+
X
2
γ
δ
¯
+
X
3
γ
¯
δ
+
X
4
δ
δ
¯
X
3
′
X
2
′
−
X
1
′
X
4
′
=
X
3
X
2
−
X
1
X
4
=
0
det
u
′
=
x
0
′
2
−
x
1
′
2
−
x
2
′
2
−
x
3
′
2
=
det
u
=
x
0
2
−
x
1
2
−
x
2
2
−
x
3
2
{\displaystyle {\begin{matrix}\zeta ={\frac {x_{1}+ix_{2}}{x_{0}-x_{3}}}={\frac {x_{0}+x_{3}}{x_{1}-ix_{2}}}\rightarrow \zeta '={\frac {\alpha \zeta +\beta }{\gamma \zeta +\delta }}\left|\zeta '={\frac {\xi '}{\eta '}}\rightarrow {\begin{aligned}\xi '&=\alpha \xi +\beta \eta \\\eta '&=\gamma \xi +\delta \eta \end{aligned}}\right.\\\hline \left.{\begin{matrix}\mathbf {u} =\left({\begin{matrix}X_{1}&X_{2}\\X_{3}&X_{4}\end{matrix}}\right)=\left({\begin{matrix}{\bar {\xi }}\xi &\xi {\bar {\eta }}\\{\bar {\xi }}\eta &{\bar {\eta }}\eta \end{matrix}}\right)=\left({\begin{matrix}x_{0}+x_{3}&x_{1}-ix_{2}\\x_{1}+ix_{2}&x_{0}-x_{3}\end{matrix}}\right)\\\det \mathbf {u} =x_{0}^{2}-x_{1}^{2}-x_{2}^{2}-x_{3}^{2}\end{matrix}}\right|{\begin{matrix}\mathbf {D} =\left({\begin{matrix}\alpha &\beta \\\gamma &\delta \end{matrix}}\right)\\{\begin{aligned}\det {\boldsymbol {\mathbf {D} }}&=1\end{aligned}}\end{matrix}}\\\hline \mathbf {u} '=\mathbf {D} \cdot \mathbf {u} \cdot {\bar {\mathbf {D} }}^{\mathrm {T} }={\begin{aligned}X_{1}^{\prime }&=X_{1}\alpha {\bar {\alpha }}+X_{2}\alpha {\bar {\beta }}+X_{3}{\bar {\alpha }}\beta +X_{4}\beta {\bar {\beta }}\\X_{2}^{\prime }&=X_{1}{\bar {\alpha }}\gamma +X_{2}{\bar {\alpha }}\delta +X_{3}{\bar {\beta }}\gamma +X_{4}{\bar {\beta }}\delta \\X_{3}^{\prime }&=X_{1}\alpha {\bar {\gamma }}+X_{2}\alpha {\bar {\delta }}+X_{3}\beta {\bar {\gamma }}+X_{4}\beta {\bar {\delta }}\\X_{4}^{\prime }&=X_{1}\gamma {\bar {\gamma }}+X_{2}\gamma {\bar {\delta }}+X_{3}{\bar {\gamma }}\delta +X_{4}\delta {\bar {\delta }}\end{aligned}}\\\hline {\begin{aligned}X_{3}^{\prime }X_{2}^{\prime }-X_{1}^{\prime }X_{4}^{\prime }&=X_{3}X_{2}-X_{1}X_{4}=0\\\det \mathbf {u} '=x_{0}^{\prime 2}-x_{1}^{\prime 2}-x_{2}^{\prime 2}-x_{3}^{\prime 2}&=\det \mathbf {u} =x_{0}^{2}-x_{1}^{2}-x_{2}^{2}-x_{3}^{2}\end{aligned}}\end{matrix}}}
(6a )
thus:[ 5]
−
x
0
2
+
x
1
2
+
x
2
2
+
x
3
2
=
−
x
0
′
2
+
x
1
′
2
+
x
2
′
2
+
x
3
′
2
x
′
=
1
2
[
α
α
¯
+
β
β
¯
+
γ
γ
¯
+
δ
δ
¯
α
β
¯
+
β
α
¯
+
γ
δ
¯
+
δ
γ
¯
i
(
α
β
¯
−
β
α
¯
+
γ
δ
¯
−
δ
γ
¯
)
α
α
¯
−
β
β
¯
+
γ
γ
¯
−
δ
δ
¯
α
γ
¯
+
γ
α
¯
+
β
δ
¯
+
δ
β
¯
α
δ
¯
+
δ
α
¯
+
β
γ
¯
+
γ
β
¯
i
(
α
δ
¯
−
δ
α
¯
+
γ
β
¯
−
β
γ
¯
)
α
γ
¯
+
γ
α
¯
−
β
δ
¯
−
δ
β
¯
i
(
γ
α
¯
−
α
γ
¯
+
δ
β
¯
−
β
δ
¯
)
i
(
δ
α
¯
−
α
δ
¯
+
γ
β
¯
−
β
γ
¯
)
α
δ
¯
+
δ
α
¯
−
β
γ
¯
−
γ
β
¯
i
(
γ
α
¯
−
α
γ
¯
+
β
δ
¯
−
δ
β
¯
)
α
α
¯
+
β
β
¯
−
γ
γ
¯
−
δ
δ
¯
α
β
¯
+
β
α
¯
−
γ
δ
¯
−
δ
γ
¯
i
(
α
β
¯
−
β
α
¯
+
δ
γ
¯
−
γ
δ
¯
)
α
α
¯
−
β
β
¯
−
γ
γ
¯
+
δ
δ
¯
]
⋅
x
(
α
δ
−
β
γ
=
1
)
{\displaystyle {\begin{matrix}-x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=-x_{0}^{\prime 2}+x_{1}^{\prime 2}+x_{2}^{\prime 2}+x_{3}^{\prime 2}\\\hline \mathbf {x} '={\frac {1}{2}}\left[{\scriptstyle {\begin{aligned}&\alpha {\bar {\alpha }}+\beta {\bar {\beta }}+\gamma {\bar {\gamma }}+\delta {\bar {\delta }}&&\alpha {\bar {\beta }}+\beta {\bar {\alpha }}+\gamma {\bar {\delta }}+\delta {\bar {\gamma }}&&i(\alpha {\bar {\beta }}-\beta {\bar {\alpha }}+\gamma {\bar {\delta }}-\delta {\bar {\gamma }})&&\alpha {\bar {\alpha }}-\beta {\bar {\beta }}+\gamma {\bar {\gamma }}-\delta {\bar {\delta }}\\&\alpha {\bar {\gamma }}+\gamma {\bar {\alpha }}+\beta {\bar {\delta }}+\delta {\bar {\beta }}&&\alpha {\bar {\delta }}+\delta {\bar {\alpha }}+\beta {\bar {\gamma }}+\gamma {\bar {\beta }}&&i(\alpha {\bar {\delta }}-\delta {\bar {\alpha }}+\gamma {\bar {\beta }}-\beta {\bar {\gamma }})&&\alpha {\bar {\gamma }}+\gamma {\bar {\alpha }}-\beta {\bar {\delta }}-\delta {\bar {\beta }}\\&i(\gamma {\bar {\alpha }}-\alpha {\bar {\gamma }}+\delta {\bar {\beta }}-\beta {\bar {\delta }})&&i(\delta {\bar {\alpha }}-\alpha {\bar {\delta }}+\gamma {\bar {\beta }}-\beta {\bar {\gamma }})&&\alpha {\bar {\delta }}+\delta {\bar {\alpha }}-\beta {\bar {\gamma }}-\gamma {\bar {\beta }}&&i(\gamma {\bar {\alpha }}-\alpha {\bar {\gamma }}+\beta {\bar {\delta }}-\delta {\bar {\beta }})\\&\alpha {\bar {\alpha }}+\beta {\bar {\beta }}-\gamma {\bar {\gamma }}-\delta {\bar {\delta }}&&\alpha {\bar {\beta }}+\beta {\bar {\alpha }}-\gamma {\bar {\delta }}-\delta {\bar {\gamma }}&&i(\alpha {\bar {\beta }}-\beta {\bar {\alpha }}+\delta {\bar {\gamma }}-\gamma {\bar {\delta }})&&\alpha {\bar {\alpha }}-\beta {\bar {\beta }}-\gamma {\bar {\gamma }}+\delta {\bar {\delta }}\end{aligned}}}\right]\cdot \mathbf {x} \\(\alpha \delta -\beta \gamma =1)\end{matrix}}}
(6b )
or in line with E:general Lorentz transformation (1b ) one can substitute
[
u
1
,
u
2
,
u
3
,
1
]
=
[
x
1
x
0
,
x
2
x
0
,
x
3
x
0
,
x
0
x
0
]
{\displaystyle \left[u_{1},\ u_{2},\ u_{3},\ 1\right]=\left[{\tfrac {x_{1}}{x_{0}}},\ {\tfrac {x_{2}}{x_{0}}},\ {\tfrac {x_{3}}{x_{0}}},\ {\tfrac {x_{0}}{x_{0}}}\right]}
so that the Möbius/Lorentz transformations become related to the unit sphere:
u
1
2
+
u
2
2
+
u
3
2
=
u
1
′
2
+
u
2
′
2
+
u
3
′
2
=
1
ζ
=
u
1
+
i
u
2
1
−
u
3
=
1
+
u
3
u
1
−
i
u
2
ζ
′
=
u
1
′
+
i
u
2
′
1
−
u
3
′
=
1
+
u
3
′
u
1
′
−
i
u
2
′
|
ζ
′
=
α
ζ
+
β
γ
ζ
+
δ
{\displaystyle {\begin{matrix}u_{1}^{2}+u_{2}^{2}+u_{3}^{2}=u_{1}^{\prime 2}+u_{2}^{\prime 2}+u_{3}^{\prime 2}=1\\\hline \left.{\begin{matrix}\zeta ={\frac {u_{1}+iu_{2}}{1-u_{3}}}={\frac {1+u_{3}}{u_{1}-iu_{2}}}\\\zeta '={\frac {u_{1}^{\prime }+iu_{2}^{\prime }}{1-u_{3}^{\prime }}}={\frac {1+u_{3}^{\prime }}{u_{1}^{\prime }-iu_{2}^{\prime }}}\end{matrix}}\right|\quad \zeta '={\frac {\alpha \zeta +\beta }{\gamma \zeta +\delta }}\end{matrix}}}
(6c )
The general transformation u′ in (6a ) was given by Cayley (1854) , while the general relation between Möbius transformations and transformation u′ leaving invariant the w:generalized circle was pointed out by Poincaré (1883) in relation to w:Kleinian groups . The adaptation to the Lorentz interval by which (6a ) becomes a Lorentz transformation was given by Klein (1889-1893, 1896/97) , Bianchi (1893) , Fricke (1893, 1897) . Its reformulation as Lorentz transformation (6b ) was provided by Bianchi (1893) and Fricke (1893, 1897) . Lorentz transformation (6c ) was given by Klein (1884) in relation to surfaces of second degree and the invariance of the unit sphere. In relativity, (6a ) was first employed by Herglotz (1909/10) .
In the plane, the transformations can be written as:[ 6] [ 4]
ζ
=
x
1
x
0
−
x
2
=
x
0
+
x
2
x
1
→
ζ
′
=
α
ζ
+
β
γ
ζ
+
δ
|
ζ
′
=
ξ
′
η
′
→
ξ
′
=
α
ξ
+
β
η
η
′
=
γ
ξ
+
δ
η
u
=
(
X
1
X
2
X
2
X
3
)
=
(
ξ
2
ξ
η
ξ
η
η
2
)
=
(
x
0
+
x
2
x
1
x
1
x
0
−
x
2
)
det
u
=
x
0
2
−
x
1
2
−
x
2
2
|
D
=
(
α
β
γ
δ
)
det
D
=
1
u
′
=
D
⋅
u
⋅
D
T
=
X
1
′
=
X
1
α
2
+
X
2
2
α
β
+
X
3
β
2
X
2
′
=
X
1
α
γ
+
X
2
(
α
δ
+
β
γ
)
+
X
3
β
δ
X
3
′
=
X
1
γ
2
+
X
2
2
γ
δ
+
X
3
δ
2
X
2
′
2
−
X
1
′
X
3
′
=
X
2
2
−
X
1
X
3
=
0
det
u
′
=
x
0
′
2
−
x
1
′
2
−
x
2
′
2
=
det
u
=
x
0
2
−
x
1
2
−
x
2
2
{\displaystyle {\begin{matrix}\zeta ={\frac {x_{1}}{x_{0}-x_{2}}}={\frac {x_{0}+x_{2}}{x_{1}}}\rightarrow \zeta '={\frac {\alpha \zeta +\beta }{\gamma \zeta +\delta }}\left|\zeta '={\frac {\xi '}{\eta '}}\rightarrow {\begin{aligned}\xi '&=\alpha \xi +\beta \eta \\\eta '&=\gamma \xi +\delta \eta \end{aligned}}\right.\\\hline \left.{\begin{matrix}\mathbf {u} =\left({\begin{matrix}X_{1}&X_{2}\\X_{2}&X_{3}\end{matrix}}\right)=\left({\begin{matrix}\xi ^{2}&\xi \eta \\\xi \eta &\eta ^{2}\end{matrix}}\right)=\left({\begin{matrix}x_{0}+x_{2}&x_{1}\\x_{1}&x_{0}-x_{2}\end{matrix}}\right)\\\det \mathbf {u} =x_{0}^{2}-x_{1}^{2}-x_{2}^{2}\end{matrix}}\right|{\begin{matrix}\mathbf {D} =\left({\begin{matrix}\alpha &\beta \\\gamma &\delta \end{matrix}}\right)\\{\begin{aligned}\det {\boldsymbol {\mathbf {D} }}&=1\end{aligned}}\end{matrix}}\\\hline \mathbf {u} '=\mathbf {D} \cdot \mathbf {u} \cdot \mathbf {D} ^{\mathrm {T} }={\begin{aligned}X_{1}^{\prime }&=X_{1}\alpha ^{2}+X_{2}2\alpha \beta +X_{3}\beta ^{2}\\X_{2}^{\prime }&=X_{1}\alpha \gamma +X_{2}(\alpha \delta +\beta \gamma )+X_{3}\beta \delta \\X_{3}^{\prime }&=X_{1}\gamma ^{2}+X_{2}2\gamma \delta +X_{3}\delta ^{2}\end{aligned}}\\\hline {\begin{aligned}X_{2}^{\prime 2}-X_{1}^{\prime }X_{3}^{\prime }&=X_{2}^{2}-X_{1}X_{3}=0\\\det \mathbf {u} '=x_{0}^{\prime 2}-x_{1}^{\prime 2}-x_{2}^{\prime 2}&=\det \mathbf {u} =x_{0}^{2}-x_{1}^{2}-x_{2}^{2}\end{aligned}}\end{matrix}}}
(6d )
thus
−
x
0
2
+
x
1
2
+
x
2
2
=
−
x
0
′
2
+
x
1
′
2
+
x
2
′
2
x
′
=
[
1
2
(
α
2
+
β
2
+
γ
2
+
δ
2
)
α
β
+
γ
δ
1
2
(
α
2
−
β
2
+
γ
2
−
δ
2
)
α
γ
+
β
δ
α
δ
+
β
γ
α
γ
−
β
δ
1
2
(
α
2
+
β
2
−
γ
2
−
δ
2
)
α
β
−
γ
δ
1
2
(
α
2
−
β
2
−
γ
2
+
δ
2
)
]
⋅
x
(
α
δ
−
β
γ
=
1
)
{\displaystyle {\begin{matrix}-x_{0}^{2}+x_{1}^{2}+x_{2}^{2}=-x_{0}^{\prime 2}+x_{1}^{\prime 2}+x_{2}^{\prime 2}\\\hline \mathbf {x} '=\left[{\begin{matrix}{\frac {1}{2}}\left(\alpha ^{2}+\beta ^{2}+\gamma ^{2}+\delta ^{2}\right)&\alpha \beta +\gamma \delta &{\frac {1}{2}}\left(\alpha ^{2}-\beta ^{2}+\gamma ^{2}-\delta ^{2}\right)\\\alpha \gamma +\beta \delta &\alpha \delta +\beta \gamma &\alpha \gamma -\beta \delta \\{\frac {1}{2}}\left(\alpha ^{2}+\beta ^{2}-\gamma ^{2}-\delta ^{2}\right)&\alpha \beta -\gamma \delta &{\frac {1}{2}}\left(\alpha ^{2}-\beta ^{2}-\gamma ^{2}+\delta ^{2}\right)\end{matrix}}\right]\cdot \mathbf {x} \\(\alpha \delta -\beta \gamma =1)\end{matrix}}}
(6e )
which includes the special case
β
=
γ
=
0
{\displaystyle \beta =\gamma =0}
implying
δ
=
1
/
α
{\displaystyle \delta =1/\alpha }
, reducing the transformation to a Lorentz boost in 1+1 dimensions:
X
1
X
3
=
X
1
′
X
3
′
⇒
−
x
0
2
+
x
2
2
=
−
x
0
′
2
+
x
2
′
2
X
1
=
α
2
X
1
′
X
2
=
X
2
′
X
3
=
1
α
2
X
3
′
⇒
x
0
=
x
0
′
(
α
4
+
1
)
+
x
2
′
(
α
4
−
1
)
2
α
2
x
1
=
x
1
′
x
2
=
x
0
′
(
α
4
−
1
)
+
x
2
′
(
α
4
+
1
)
2
α
2
{\displaystyle {\begin{matrix}X_{1}X_{3}=X_{1}^{\prime }X_{3}^{\prime }\quad \Rightarrow \quad -x_{0}^{2}+x_{2}^{2}=-x_{0}^{\prime 2}+x_{2}^{\prime 2}\\\hline {\begin{aligned}X_{1}&=\alpha ^{2}X_{1}^{\prime }\\X_{2}&=X_{2}^{\prime }\\X_{3}&={\frac {1}{\alpha ^{2}}}X_{3}^{\prime }\end{aligned}}\quad \Rightarrow \quad {\begin{aligned}x_{0}&={\frac {x_{0}^{\prime }\left(\alpha ^{4}+1\right)+x_{2}^{\prime }\left(\alpha ^{4}-1\right)}{2\alpha ^{2}}}\\x_{1}&=x_{1}^{\prime }\\x_{2}&={\frac {x_{0}^{\prime }\left(\alpha ^{4}-1\right)+x_{2}^{\prime }\left(\alpha ^{4}+1\right)}{2\alpha ^{2}}}\end{aligned}}\end{matrix}}}
(6f )
Finally, by using the Lorentz interval related to a hyperboloid, the Möbius/Lorentz transformations can be written
−
x
0
2
+
x
1
2
+
x
2
2
=
−
x
0
′
2
+
x
1
′
2
+
x
2
′
2
=
−
1
ζ
=
x
1
+
i
x
2
x
0
+
1
=
x
0
−
1
x
1
−
i
x
2
ζ
′
=
x
1
′
+
i
x
2
′
x
0
′
+
1
=
x
0
′
−
1
x
1
′
−
i
x
2
′
|
ζ
′
=
α
ζ
+
β
γ
ζ
+
δ
{\displaystyle {\begin{matrix}-x_{0}^{2}+x_{1}^{2}+x_{2}^{2}=-x_{0}^{\prime 2}+x_{1}^{\prime 2}+x_{2}^{\prime 2}=-1\\\hline \left.{\begin{matrix}\zeta ={\frac {x_{1}+ix_{2}}{x_{0}+1}}={\frac {x_{0}-1}{x_{1}-ix_{2}}}\\\zeta '={\frac {x_{1}^{\prime }+ix_{2}^{\prime }}{x_{0}^{\prime }+1}}={\frac {x_{0}^{\prime }-1}{x_{1}^{\prime }-ix_{2}^{\prime }}}\end{matrix}}\right|\quad \zeta '={\frac {\alpha \zeta +\beta }{\gamma \zeta +\delta }}\end{matrix}}}
(6g )
The general transformation u′ and its invariant
X
2
2
−
X
1
X
3
{\displaystyle X_{2}^{2}-X_{1}X_{3}}
in (6d ) was already used by Lagrange (1773) and Gauss (1798/1801) in the theory of integer binary quadratic forms. The invariant
X
2
2
−
X
1
X
3
{\displaystyle X_{2}^{2}-X_{1}X_{3}}
was also studied by Klein (1871) in connection to hyperbolic plane geometry (see E:(3d ) ), while the connection between u′ and
X
2
2
−
X
1
X
3
{\displaystyle X_{2}^{2}-X_{1}X_{3}}
with the Möbius transformation was analyzed by Poincaré (1886) in relation to w:Fuchsian groups . The adaptation to the Lorentz interval by which (6d ) becomes a Lorentz transformation was given by Bianchi (1888) and Fricke (1891) . Lorentz Transformation (6e ) was stated by Gauss around 1800 (posthumously published 1863), as well as Selling (1873) , Bianchi (1888) , Fricke (1891) , Woods (1895) in relation to integer indefinite ternary quadratic forms. Lorentz transformation (6f ) was given by Bianchi (1886, 1894) and Eisenhart (1905) . Lorentz transformation (6g ) of the hyperboloid was stated by Poincaré (1881) and Hausdorff (1899) .
After the invariance of the sum of squares under linear substitutions was discussed by E:Euler (1771) , the general expressions of a w:binary quadratic form and its transformation was formulated by w:Joseph-Louis Lagrange (1773/75) as follows[ M 2]
p
y
2
+
2
q
y
z
+
r
z
2
=
P
s
2
+
2
Q
s
x
+
R
x
2
y
=
M
s
+
N
x
z
=
m
s
+
n
x
|
P
=
p
M
2
+
2
q
M
m
+
r
m
2
Q
=
p
M
N
+
q
(
M
n
+
N
m
)
+
r
m
n
R
=
p
N
2
+
2
q
N
n
+
r
n
2
↓
P
R
−
Q
2
=
(
p
r
−
q
2
)
(
M
n
−
N
m
)
2
{\displaystyle {\begin{matrix}py^{2}+2qyz+rz^{2}=Ps^{2}+2Qsx+Rx^{2}\\\hline {\begin{aligned}y&=Ms+Nx\\z&=ms+nx\end{aligned}}\left|{\begin{matrix}{\begin{aligned}P&=pM^{2}+2qMm+rm^{2}\\Q&=pMN+q(Mn+Nm)+rmn\\R&=pN^{2}+2qNn+rn^{2}\end{aligned}}\\\downarrow \\PR-Q^{2}=\left(pr-q^{2}\right)(Mn-Nm)^{2}\end{matrix}}\right.\end{matrix}}}
The transformation of coefficients (p,q,r) is identical to transformation u′ in (6d ) and becomes the complete Lorentz transformation by setting
(
p
,
q
,
r
)
=
(
x
0
+
x
2
,
x
1
,
x
0
−
x
2
)
(
P
,
Q
,
R
)
=
(
x
0
′
+
x
2
′
,
x
1
′
,
x
0
′
−
x
2
′
)
{\displaystyle {\begin{aligned}(p,q,r)&=\left(x_{0}+x_{2},\ x_{1},\ x_{0}-x_{2}\right)\\(P,Q,R)&=\left(x_{0}^{\prime }+x_{2}^{\prime },\ x_{1}^{\prime },\ x_{0}^{\prime }-x_{2}^{\prime }\right)\end{aligned}}}
.
The theory of binary quadratic forms was considerably expanded by w:Carl Friedrich Gauss (1798, published 1801) in his w:Disquisitiones Arithmeticae . He rewrote Lagrange's formalism as follows using integer coefficients α,β,γ,δ:[ M 3]
F
=
a
x
2
+
2
b
x
y
+
c
y
2
=
(
a
,
b
,
c
)
F
′
=
a
′
x
′
2
+
2
b
′
x
′
y
′
+
c
′
y
′
2
=
(
a
′
,
b
′
,
c
′
)
x
=
α
x
′
+
β
y
′
y
=
γ
x
′
+
δ
y
′
x
′
=
δ
x
−
β
y
y
′
=
−
γ
x
+
α
y
|
a
′
=
a
α
2
+
2
b
α
γ
+
c
γ
2
b
′
=
a
α
β
+
b
(
α
δ
+
β
γ
)
+
c
γ
δ
c
′
=
a
β
2
+
2
b
β
δ
+
c
δ
2
↓
b
2
−
a
′
c
′
=
(
b
2
−
a
c
)
(
α
δ
−
β
γ
)
2
{\displaystyle {\begin{matrix}F=ax^{2}+2bxy+cy^{2}=(a,b,c)\\F'=a'x^{\prime 2}+2b'x'y'+c'y^{\prime 2}=(a',b',c')\\\hline {\begin{aligned}x&=\alpha x'+\beta y'\\y&=\gamma x'+\delta y'\\\\x'&=\delta x-\beta y\\y'&=-\gamma x+\alpha y\end{aligned}}\left|{\begin{matrix}{\begin{aligned}a'&=a\alpha ^{2}+2b\alpha \gamma +c\gamma ^{2}\\b'&=a\alpha \beta +b(\alpha \delta +\beta \gamma )+c\gamma \delta \\c'&=a\beta ^{2}+2b\beta \delta +c\delta ^{2}\end{aligned}}\\\downarrow \\b^{2}-a'c'=\left(b^{2}-ac\right)(\alpha \delta -\beta \gamma )^{2}\end{matrix}}\right.\end{matrix}}}
As pointed out by Gauss, F and F′ are called "proper equivalent" if αδ-βγ=1, so that F is contained in F′ as well as F′ is contained in F . In addition, if another form F″ is contained by the same procedure in F′ it is also contained in F and so forth.[ M 4]
The transformation of coefficients (a,b,c) is identical to transformation u′ in (6d ) and becomes the complete Lorentz transformation by setting
(
a
,
b
,
c
)
=
(
x
0
+
x
2
,
x
1
,
x
0
−
x
2
)
(
a
′
,
b
′
,
c
′
)
=
(
x
0
′
+
x
2
′
,
x
1
′
,
x
0
′
−
x
2
′
)
{\displaystyle {\begin{aligned}(a,b,c)&=\left(x_{0}+x_{2},\ x_{1},\ x_{0}-x_{2}\right)\\(a',b',c')&=\left(x_{0}^{\prime }+x_{2}^{\prime },\ x_{1}^{\prime },\ x_{0}^{\prime }-x_{2}^{\prime }\right)\end{aligned}}}
.
Cayley–Klein parameter
edit
After E:Gauss (1798/1801) defined the integer ternary quadratic form
f
=
a
x
2
+
a
′
x
′
2
+
a
″
x
′
′
2
+
2
b
x
′
x
″
+
2
b
′
x
x
″
+
2
b
″
x
x
′
=
(
a
,
a
′
,
a
″
b
,
b
′
,
b
″
)
{\displaystyle f=ax^{2}+a'x^{\prime 2}+a''x^{\prime \prime 2}+2bx'x''+2b'xx''+2b''xx'=\left({\begin{matrix}a,&a',&a''\\b,&b',&b''\end{matrix}}\right)}
he derived around 1800 (posthumously published in 1863) the most general transformation of the Lorentz interval
(
a
,
a
′
,
a
″
b
,
b
′
,
b
″
)
=
(
1
,
1
,
−
1
0
,
0
,
0
)
{\displaystyle \scriptstyle \left({\begin{matrix}a,&a',&a''\\b,&b',&b''\end{matrix}}\right)=\left({\begin{matrix}1,&1,&-1\\0,&0,&0\end{matrix}}\right)}
into itself, using a coefficient system α,β,γ,δ:[ M 5]
(
1
,
1
,
−
1
0
,
0
,
0
)
α
δ
+
β
γ
α
β
−
γ
δ
α
β
+
γ
δ
α
γ
−
β
δ
1
2
(
α
α
+
δ
δ
−
β
β
−
γ
γ
)
1
2
(
α
α
+
γ
γ
−
β
β
−
δ
δ
)
α
γ
+
β
δ
1
2
(
α
α
+
β
β
−
γ
γ
−
δ
δ
)
1
2
(
α
α
+
β
β
+
γ
γ
+
δ
δ
)
(
α
δ
−
β
γ
=
1
)
{\displaystyle {\begin{matrix}\left({\begin{matrix}1,&1,&-1\\0,&0,&0\end{matrix}}\right)\\\hline {\begin{matrix}\alpha \delta +\beta \gamma &\alpha \beta -\gamma \delta &\alpha \beta +\gamma \delta \\\alpha \gamma -\beta \delta &{\frac {1}{2}}(\alpha \alpha +\delta \delta -\beta \beta -\gamma \gamma )&{\frac {1}{2}}(\alpha \alpha +\gamma \gamma -\beta \beta -\delta \delta )\\\alpha \gamma +\beta \delta &{\frac {1}{2}}(\alpha \alpha +\beta \beta -\gamma \gamma -\delta \delta )&{\frac {1}{2}}(\alpha \alpha +\beta \beta +\gamma \gamma +\delta \delta )\end{matrix}}\\(\alpha \delta -\beta \gamma =1)\end{matrix}}}
Gauss' result was cited by E:Bachmann (1869) , Selling (1873) , Bianchi (1888) , w:Leonard Eugene Dickson (1923).[ 7] The parameters α,β,γ,δ, when applied to spatial rotations, were later called Cayley–Klein parameters.
This is equivalent to Lorentz transformation (
6e ), containing Lorentz boost (
6f ) as a special case with
β
=
γ
=
0
{\displaystyle \beta =\gamma =0}
and
δ
=
1
/
α
{\displaystyle \delta =1/\alpha }
.
Cayley (1854) – Cayley–Klein parameter
edit
Already in 1854, Cayley published an alternative method of transforming quadratic forms by using certain parameters α,β,γ,δ in relation to an improper homographic transformation of a surface of second order into itself:[ M 6]
x
y
−
z
w
=
0
x
2
y
2
−
z
2
w
2
=
x
1
y
1
−
z
1
w
1
M
M
′
x
2
=
γ
′
δ
x
1
+
α
α
′
y
1
−
α
′
δ
z
1
−
α
γ
′
w
1
M
M
′
y
2
=
β
β
′
x
1
+
γ
δ
′
y
1
−
β
δ
′
z
1
−
β
′
γ
w
1
M
M
′
z
2
=
β
γ
′
x
1
+
γ
α
′
y
1
−
β
α
′
z
1
−
γ
γ
′
w
1
M
M
′
w
2
=
β
′
δ
x
1
+
α
δ
′
y
1
−
δ
δ
′
z
1
−
α
β
′
w
1
|
M
2
=
α
β
−
γ
δ
M
′
2
=
α
′
β
′
−
γ
′
δ
′
{\displaystyle {\begin{matrix}xy-zw=0\\x_{2}y_{2}-z_{2}w_{2}=x_{1}y_{1}-z_{1}w_{1}\\\hline \left.{\begin{aligned}MM'x_{2}&=\gamma '\delta x_{1}+\alpha \alpha 'y_{1}-\alpha '\delta z_{1}-\alpha \gamma 'w_{1}\\MM'y_{2}&=\beta \beta 'x_{1}+\gamma \delta 'y_{1}-\beta \delta 'z_{1}-\beta '\gamma w_{1}\\MM'z_{2}&=\beta \gamma 'x_{1}+\gamma \alpha 'y_{1}-\beta \alpha 'z_{1}-\gamma \gamma 'w_{1}\\MM'w_{2}&=\beta '\delta x_{1}+\alpha \delta 'y_{1}-\delta \delta 'z_{1}-\alpha \beta 'w_{1}\end{aligned}}\right|{\begin{aligned}M^{2}&=\alpha \beta -\gamma \delta \\M^{\prime 2}&=\alpha '\beta '-\gamma '\delta '\end{aligned}}\end{matrix}}}
By setting
(
x
1
,
y
1
…
)
⇒
(
x
1
+
i
y
1
,
x
1
−
i
y
1
…
)
{\displaystyle \left(x_{1},y_{1}\dots \right)\Rightarrow \left(x_{1}+iy_{1},x_{1}-iy_{1}\dots \right)}
and rewriting M and M' in terms of four different parameters
M
2
=
a
2
+
b
2
+
c
2
+
d
2
{\displaystyle M^{2}=a^{2}+b^{2}+c^{2}+d^{2}}
he demonstrated the invariance of
x
1
2
+
y
1
2
+
z
1
2
+
w
1
2
{\displaystyle x_{1}^{2}+y_{1}^{2}+z_{1}^{2}+w_{1}^{2}}
, and subsequently showed the relation to 4D quaternion transformations. Fricke & Klein (1897) credited Cayley by calling the above transformation the most general (real or complex) space collineation of first kind of an absolute surface of second kind into itself.[ M 7] Parameters α,β,γ,δ are similar to what was later called Cayley–Klein parameters in relation to spatial rotations (which was done by Cayley in 1879[ M 8] and before by w:Hermann von Helmholtz (1866/67)[ M 9] ).
Cayley's improper transformation becomes proper with some sign changes, and becomes equivalent to Lorentz transformation
u
′
{\displaystyle \mathbf {u} '}
in (6a ) by setting M=M'=1 and:
(
x
1
,
y
1
,
z
1
,
w
1
)
=
(
x
0
+
x
3
,
x
0
−
x
3
,
x
1
+
i
x
2
,
x
1
−
i
x
2
)
{\displaystyle (x_{1},\ y_{1},\ z_{1},\ w_{1})=\left(x_{0}+x_{3},\ x_{0}-x_{3},\ x_{1}+ix_{2},\ x_{1}-ix_{2}\right)}
.
Subsequently solved for
x
0
,
x
1
,
x
2
,
x
3
{\displaystyle x_{0},x_{1},x_{2},x_{3}}
it becomes Lorentz transformation (
6b ).
Cayley absolute and non-Euclidean geometry
edit
Elaborating on Cayley's (1859) definition of an "absolute" (w:Cayley–Klein metric ), w:Felix Klein (1871) defined a "fundamental w:conic section " in order to discuss motions such as rotation and translation in the non-Euclidean plane,[ M 10] and another fundamental form by using w:homogeneous coordinates x,y related to a circle with radius 2c with measure of curvature
−
1
4
c
2
{\displaystyle -{\tfrac {1}{4c^{2}}}}
. When c is positive, the measure of curvature is negative and the fundamental conic section is real, thus the geometry becomes hyperbolic (w:Beltrami–Klein model ):[ M 11]
x
1
x
2
−
x
3
2
=
0
x
2
+
y
2
−
4
c
2
=
0
|
x
1
x
2
−
x
3
2
=
0
x
1
=
α
1
y
1
x
2
=
α
2
y
2
x
3
=
α
3
y
3
(
α
1
α
2
−
α
3
2
=
0
)
{\displaystyle {\begin{aligned}x_{1}x_{2}-x_{3}^{2}&=0\\x^{2}+y^{2}-4c^{2}&=0\end{aligned}}\left|{\begin{matrix}x_{1}x_{2}-x_{3}^{2}=0\\\hline {\begin{aligned}x_{1}&=\alpha _{1}y_{1}\\x_{2}&=\alpha _{2}y_{2}\\x_{3}&=\alpha _{3}y_{3}\end{aligned}}\\\left(\alpha _{1}\alpha _{2}-\alpha _{3}^{2}=0\right)\end{matrix}}\right.}
In (1873) he pointed out that hyperbolic geometry in terms of a surface of constant negative curvature can be related to a quadratic equation, which can be transformed into a sum of squares of which one square has a different sign, and can also be related to the interior of a surface of second degree corresponding to an ellipsoid or two-sheet w:hyperboloid .[ M 12]
Using positive
c in
−
1
4
c
2
{\displaystyle -{\tfrac {1}{4c^{2}}}}
in line with hyperbolic geometry or directly by setting
−
1
4
c
2
=
−
x
0
{\displaystyle -{\tfrac {1}{4c^{2}}}=-x_{0}}
, Klein's two quadratic forms can be related to expressions
X
2
2
−
X
1
X
3
{\displaystyle X_{2}^{2}-X_{1}X_{3}}
and
x
0
2
−
x
1
2
−
x
2
2
{\displaystyle x_{0}^{2}-x_{1}^{2}-x_{2}^{2}}
for the Lorentz interval in (
6d ).
In (1872) while devising the w:Erlangen program , Klein discussed the general relation between projective metrics, w:binary forms and conformal geometry transforming a sphere into itself in terms of linear transformations of the w:complex variable x+iy .[ M 13] Following Klein, these relations were discussed by w:Ludwig Wedekind (1875) using
z
′
=
α
z
+
β
γ
z
+
δ
{\displaystyle z'={\tfrac {\alpha z+\beta }{\gamma z+\delta }}}
.[ M 14] Klein (1875) then showed that all finite groups of motions follow by determining all finite groups of such linear transformations of x+iy into itself.[ M 15] In (1878),[ M 16] Klein classified the substitutions of
ω
′
=
α
ω
+
β
γ
ω
+
δ
{\displaystyle \omega '={\tfrac {\alpha \omega +\beta }{\gamma \omega +\delta }}}
with αδ-βγ=1 into hyperbolic, elliptic, parabolic, and in (1882)[ M 17] he added the loxodromic substitution as the combination of elliptic and hyperbolic ones. (In 1890, w:Robert Fricke in his edition of Klein's lectures of w:elliptic functions and w:Modular forms , referred to the analogy of this treatment to the theory of quadratic forms as given by Gauss and in particular Dirichlet.)[ M 7]
In (1884) Klein related the linear fractional transformations (interpreted as rotations around the x+iy -sphere) to Cayley–Klein parameters [α,β,γ,δ], to Euler–Rodrigues parameters [a,b,c,d] , and to the w:unit sphere by means of w:stereographic projection , and also discussed transformations preserving surfaces of second degree equivalent to the transformation given by Cayley (1854) :[ M 18]
z
′
=
α
z
+
β
γ
z
+
δ
→
z
=
z
1
:
z
2
→
z
1
′
=
α
z
1
+
β
z
2
z
2
′
=
γ
z
1
+
δ
z
2
ξ
2
+
η
2
+
ζ
2
=
1
z
=
x
+
i
y
=
ξ
+
i
η
1
−
ζ
z
′
=
(
d
+
i
c
)
z
−
(
b
−
i
a
)
(
b
+
i
a
)
z
+
(
d
−
i
c
)
(
a
2
+
b
2
+
c
2
+
d
2
=
1
)
|
X
1
X
4
+
X
2
X
3
=
0
λ
′
=
a
λ
+
b
c
λ
+
d
,
μ
′
=
a
′
μ
+
b
′
c
′
μ
+
d
′
λ
=
λ
1
:
λ
2
,
μ
=
μ
1
:
μ
2
X
1
:
X
2
:
X
3
:
X
4
=
λ
1
μ
1
:
−
λ
2
μ
1
:
λ
1
μ
2
:
λ
2
μ
2
{\displaystyle {\begin{matrix}\left.{\begin{matrix}z'={\frac {\alpha z+\beta }{\gamma z+\delta }}\rightarrow z=z_{1}:z_{2}\rightarrow {\begin{aligned}z_{1}^{\prime }&=\alpha z_{1}+\beta z_{2}\\z_{2}^{\prime }&=\gamma z_{1}+\delta z_{2}\end{aligned}}\\\xi ^{2}+\eta ^{2}+\zeta ^{2}=1\\z=x+iy={\frac {\xi +i\eta }{1-\zeta }}\\z'={\frac {(d+ic)z-(b-ia)}{(b+ia)z+(d-ic)}}\\\left(a^{2}+b^{2}+c^{2}+d^{2}=1\right)\end{matrix}}\right|&{\begin{matrix}X_{1}X_{4}+X_{2}X_{3}=0\\\lambda '={\frac {a\lambda +b}{c\lambda +d}},\ \mu '={\frac {a'\mu +b'}{c'\mu +d'}}\\\lambda =\lambda _{1}:\lambda _{2},\ \mu =\mu _{1}:\mu _{2}\\X_{1}:X_{2}:X_{3}:X_{4}=\lambda _{1}\mu _{1}:-\lambda _{2}\mu _{1}:\lambda _{1}\mu _{2}:\lambda _{2}\mu _{2}\end{matrix}}\end{matrix}}}
The formulas on the left related to the unit sphere are equivalent to Lorentz transformation (6c ). The formulas on the right can be related to those on the left by setting
(
X
1
,
X
2
,
X
3
,
X
4
)
=
(
1
+
ζ
,
−
ξ
+
i
η
,
ξ
+
i
η
,
1
−
ζ
)
{\displaystyle (X_{1},\ X_{2},\ X_{3},\ X_{4})=\left(1+\zeta ,\ -\xi +i\eta ,\ \xi +i\eta ,\ 1-\zeta \right)}
and become equivalent to Lorentz transformation (6a ) by setting
[
ξ
,
η
,
ζ
,
1
]
=
[
x
1
x
0
,
x
2
x
0
,
x
3
x
0
,
x
0
x
0
]
{\displaystyle \left[\xi ,\ \eta ,\ \zeta ,\ 1\right]=\left[{\tfrac {x_{1}}{x_{0}}},\ {\tfrac {x_{2}}{x_{0}}},\ {\tfrac {x_{3}}{x_{0}}},\ {\tfrac {x_{0}}{x_{0}}}\right]}
and subsequently solved for
x 1 ... it becomes Lorentz transformation (
6b ).
In his lecture in the winter semester of 1889/90 (published 1892–93), he discussed the hyperbolic plane by using (as in 1871) the Lorentz interval in terms of a circle with radius 2k as the basis of hyperbolic geometry, and another quadratic form to discuss the "kinematics of hyperbolic geometry" consisting of motions and congruent displacements of the hyperbolic plane into itself:[ M 19]
x
2
+
y
2
−
4
k
2
t
2
=
0
x
1
x
3
−
x
2
2
=
0
|
x
1
x
3
−
x
2
2
=
0
x
1
x
2
=
x
2
x
3
=
λ
=
λ
1
λ
2
λ
′
=
α
λ
+
β
γ
λ
+
δ
→
λ
1
′
=
α
λ
1
+
β
λ
2
λ
2
′
=
γ
λ
1
+
δ
λ
2
(
α
δ
−
β
γ
=
1
)
x
1
:
x
2
:
x
3
=
λ
2
:
λ
:
1
=
λ
1
2
:
λ
1
λ
2
:
λ
2
2
=
λ
′
2
:
λ
′
:
1
=
λ
1
′
2
:
λ
1
′
λ
2
′
:
λ
2
′
2
;
{\displaystyle {\begin{matrix}{\begin{matrix}x^{2}+y^{2}-4k^{2}t^{2}=0\\x_{1}x_{3}-x_{2}^{2}=0\end{matrix}}&\left|{\begin{matrix}x_{1}x_{3}-x_{2}^{2}=0\\{\frac {x_{1}}{x_{2}}}={\frac {x_{2}}{x_{3}}}=\lambda ={\frac {\lambda _{1}}{\lambda _{2}}}\\\lambda '={\frac {\alpha \lambda +\beta }{\gamma \lambda +\delta }}\rightarrow {\begin{aligned}\lambda _{1}^{\prime }&=\alpha \lambda _{1}+\beta \lambda _{2}\\\lambda _{2}^{\prime }&=\gamma \lambda _{1}+\delta \lambda _{2}\end{aligned}}\\\left(\alpha \delta -\beta \gamma =1\right)\\{\begin{aligned}x_{1}:x_{2}:x_{3}&=\lambda ^{2}:\lambda :1=\lambda _{1}^{2}:\lambda _{1}\lambda _{2}:\lambda _{2}^{2}\\&=\lambda ^{\prime 2}:\lambda ':1=\lambda _{1}^{\prime 2}:\lambda _{1}^{\prime }\lambda _{2}^{\prime }:\lambda _{2}^{\prime 2};\end{aligned}}\end{matrix}}\right.\end{matrix}}}
Klein's Lorentz interval
x
2
+
y
2
−
4
k
2
t
2
{\displaystyle x^{2}+y^{2}-4k^{2}t^{2}}
can be connected with the other interval
x
1
x
3
−
x
2
2
{\displaystyle x_{1}x_{3}-x_{2}^{2}}
by setting
(
x
1
,
x
2
,
x
3
)
=
(
x
+
i
y
,
2
k
t
,
x
−
i
y
)
{\displaystyle (x_{1},\ x_{2},\ x_{3})=\left(x+iy,\ 2kt,\ x-iy\right)}
,
by which the transformation system on the right becomes equivalent to Lorentz transformation (
6d ) with
2k=1 , and subsequently solved for
x 1 ... it becomes equivalent to Lorentz transformation (
6e ).
In his lecture in the summer semester of 1890 (published 1892–93), he discussed general surfaces of second degree, including an "oval" surface corresponding to hyperbolic space and its motions:[ M 20]
General surfaces of second degree
:
z
1
2
+
z
2
2
+
z
3
2
+
z
4
2
(no real parts, elliptic)
z
1
2
+
z
2
2
+
z
3
2
−
z
4
2
(oval,hyperbolic)
z
1
2
+
z
2
2
−
z
3
2
−
z
4
2
(ring)
z
1
2
−
z
2
2
−
z
3
2
−
z
4
2
(oval,hyperbolic)
−
z
1
2
−
z
2
2
−
z
3
2
−
z
4
2
(no real parts,elliptic)
all of which can be brought into the form:
y
1
y
3
+
y
2
y
4
=
0
Transformation:
ϱ
y
1
=
λ
1
μ
1
,
ϱ
y
1
′
=
λ
1
′
μ
1
′
ϱ
y
2
=
λ
2
μ
1
,
ϱ
y
2
′
=
λ
2
′
μ
1
′
ϱ
y
3
=
λ
2
μ
2
,
ϱ
y
3
′
=
−
λ
2
′
μ
2
′
ϱ
y
4
=
λ
1
μ
2
,
ϱ
y
4
′
=
λ
1
′
μ
2
′
|
Oval (=hyperbolic motions in space):
x
1
2
+
x
2
2
+
x
3
2
−
x
4
2
=
0
=
(
x
1
+
i
x
3
)
(
x
1
−
i
x
3
)
+
(
x
2
+
x
4
)
(
x
2
−
x
4
)
=
0
=
y
1
y
3
+
y
2
y
4
=
0
x
2
+
y
2
+
z
2
−
1
=
0
λ
=
x
+
i
y
1
−
z
,
λ
′
=
α
λ
+
β
γ
λ
+
δ
,
μ
′
=
α
¯
μ
+
β
¯
γ
¯
μ
+
δ
¯
λ
1
′
=
α
λ
1
+
β
λ
2
λ
2
′
=
γ
λ
1
+
δ
λ
2
,
μ
1
′
=
α
¯
μ
1
+
β
¯
μ
2
μ
2
′
=
γ
¯
μ
1
+
δ
¯
μ
2
{\displaystyle \left.{\begin{matrix}{\text{General surfaces of second degree}}:\\{\begin{aligned}z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+z_{4}^{2}&{\text{(no real parts, elliptic)}}\\z_{1}^{2}+z_{2}^{2}+z_{3}^{2}-z_{4}^{2}&{\text{(oval,hyperbolic)}}\\z_{1}^{2}+z_{2}^{2}-z_{3}^{2}-z_{4}^{2}&{\text{(ring)}}\\z_{1}^{2}-z_{2}^{2}-z_{3}^{2}-z_{4}^{2}&{\text{(oval,hyperbolic)}}\\-z_{1}^{2}-z_{2}^{2}-z_{3}^{2}-z_{4}^{2}&{\text{(no real parts,elliptic)}}\end{aligned}}\\{\text{all of which can be brought into the form:}}\\y_{1}y_{3}+y_{2}y_{4}=0\\{\text{Transformation:}}\\{\begin{aligned}\varrho y_{1}&=\lambda _{1}\mu _{1},&\varrho y_{1}^{\prime }&=\lambda _{1}^{\prime }\mu _{1}^{\prime }\\\varrho y_{2}&=\lambda _{2}\mu _{1},&\varrho y_{2}^{\prime }&=\lambda _{2}^{\prime }\mu _{1}^{\prime }\\\varrho y_{3}&=\lambda _{2}\mu _{2},&\varrho y_{3}^{\prime }&=-\lambda _{2}^{\prime }\mu _{2}^{\prime }\\\varrho y_{4}&=\lambda _{1}\mu _{2},&\varrho y_{4}^{\prime }&=\lambda _{1}^{\prime }\mu _{2}^{\prime }\end{aligned}}\end{matrix}}\right|{\begin{matrix}{\text{Oval (=hyperbolic motions in space):}}\\x_{1}^{2}+x_{2}^{2}+x_{3}^{2}-x_{4}^{2}=0\\=\left(x_{1}+ix_{3}\right)\left(x_{1}-ix_{3}\right)+\left(x_{2}+x_{4}\right)\left(x_{2}-x_{4}\right)=0\\=y_{1}y_{3}+y_{2}y_{4}=0\\\\x^{2}+y^{2}+z^{2}-1=0\\\hline \lambda ={\frac {x+iy}{1-z}},\ \lambda '={\frac {\alpha \lambda +\beta }{\gamma \lambda +\delta }},\ \mu '={\frac {{\bar {\alpha }}\mu +{\bar {\beta }}}{{\bar {\gamma }}\mu +{\bar {\delta }}}}\\{\begin{aligned}\lambda _{1}^{\prime }&=\alpha \lambda _{1}+\beta \lambda _{2}\\\lambda _{2}^{\prime }&=\gamma \lambda _{1}+\delta \lambda _{2}\end{aligned}},\ {\begin{aligned}\mu _{1}^{\prime }&={\bar {\alpha }}\mu _{1}+{\bar {\beta }}\mu _{2}\\\mu _{2}^{\prime }&={\bar {\gamma }}\mu _{1}+{\bar {\delta }}\mu _{2}\end{aligned}}\end{matrix}}}
The transformation of the unit sphere
x
2
+
y
2
+
z
2
−
1
=
0
{\displaystyle x^{2}+y^{2}+z^{2}-1=0}
on the right is equivalent to Lorentz transformation (
6c ). Plugging the values for λ,μ,λ′,μ′,... from the right into the transformations on the left, and relating them to Klein's homogeneous coordinates
x
1
2
+
x
2
2
+
x
3
2
−
x
4
2
=
0
{\displaystyle x_{1}^{2}+x_{2}^{2}+x_{3}^{2}-x_{4}^{2}=0}
by
(
x
,
y
,
z
,
1
)
=
(
x
1
x
4
,
x
2
x
4
,
x
3
x
4
,
x
4
x
4
)
{\displaystyle (x,\ y,\ z,\ 1)=\left({\tfrac {x_{1}}{x_{4}}},\ {\tfrac {x_{2}}{x_{4}}},\ {\tfrac {x_{3}}{x_{4}}},\ {\tfrac {x_{4}}{x_{4}}}\right)}
leads to Lorentz transformation (
6a ). Subsequently solved for
x 1 ... it becomes Lorentz transformation (
6b ).
In (1896/97), Klein again defined hyperbolic motions and explicitly used t as time coordinate, even though he added those cautionary remarks: "We shall consider t also as capable of complex values, not for the sake of studying the behavior of a fictitious, imaginary time, but because it is only by taking this step that it becomes possible to bring about the intimate association of kinetics and the theory of functions of a complex variable. [..] the non-Euclidean geometry has no meta-physical significance here or in the subsequent discussion" . Using homogeneous coordinates, Klein defined the sphere x,y,z,t and then another "movable" sphere X,Y,Z,T as follows:[ M 21]
x
2
+
y
2
+
z
2
−
t
2
=
0
=
(
x
+
i
y
)
(
x
−
i
y
)
+
(
z
+
t
)
(
z
−
t
)
=
0
x
+
i
y
:
x
−
i
y
:
z
+
t
:
t
−
z
=
ζ
1
ζ
2
′
:
ζ
2
ζ
1
′
:
ζ
1
ζ
1
′
:
ζ
2
ζ
2
′
ζ
1
ζ
2
=
ζ
⇒
ζ
=
x
+
i
y
t
−
z
=
t
+
z
x
−
i
y
;
X
2
+
Y
2
+
Z
2
−
T
2
=
0
introducing
Z
,
Z
1
,
Z
2
…
similarly as above
ζ
,
ζ
1
,
ζ
2
…
{\displaystyle {\begin{matrix}x^{2}+y^{2}+z^{2}-t^{2}=0\\=(x+iy)(x-iy)+(z+t)(z-t)=0\\x+iy:x-iy:z+t:t-z=\zeta _{1}\zeta _{2}^{\prime }:\zeta _{2}\zeta _{1}^{\prime }:\zeta _{1}\zeta _{1}^{\prime }:\zeta _{2}\zeta _{2}^{\prime }\\{\frac {\zeta _{1}}{\zeta _{2}}}=\zeta \quad \Rightarrow \quad \zeta ={\frac {x+iy}{t-z}}={\frac {t+z}{x-iy}};\\\hline X^{2}+Y^{2}+Z^{2}-T^{2}=0\\{\text{introducing}}\ Z,Z_{1},Z_{2}\dots {\text{similarly as above}}\ \zeta ,\zeta _{1},\zeta _{2}\dots \end{matrix}}}
which he related by the following transformation:
ζ
=
α
Z
+
β
γ
Z
+
δ
→
ζ
1
=
α
Z
1
+
β
Z
2
ζ
2
=
γ
Z
1
+
δ
Z
2
,
ζ
1
′
=
α
¯
Z
1
′
+
β
¯
Z
2
′
ζ
2
′
=
γ
¯
Z
1
′
+
δ
¯
Z
2
′
(
α
δ
−
β
γ
=
1
)
X
+
i
Y
X
−
i
Y
T
+
Z
T
−
Z
x
+
i
y
α
δ
¯
β
γ
¯
α
γ
¯
β
δ
¯
x
−
i
y
γ
β
¯
δ
α
¯
γ
α
¯
δ
β
¯
t
+
z
α
β
¯
β
α
¯
α
α
¯
β
β
¯
t
−
z
γ
δ
¯
δ
γ
¯
γ
γ
¯
δ
δ
¯
{\displaystyle {\begin{matrix}\zeta ={\frac {\alpha Z+\beta }{\gamma Z+\delta }}\rightarrow {\begin{aligned}\zeta _{1}&=\alpha Z_{1}+\beta Z_{2}\\\zeta _{2}&=\gamma Z_{1}+\delta Z_{2}\end{aligned}},\ {\begin{aligned}\zeta _{1}^{\prime }&={\bar {\alpha }}Z_{1}^{\prime }+{\bar {\beta }}Z_{2}^{\prime }\\\zeta _{2}^{\prime }&={\bar {\gamma }}Z_{1}^{\prime }+{\bar {\delta }}Z_{2}^{\prime }{\text{ }}\end{aligned}}\\(\alpha \delta -\beta \gamma =1)\\\hline {\begin{array}{c|c|c|c|c}&X+iY&X-iY&T+Z&T-Z\\\hline x+iy&\alpha {\bar {\delta }}&\beta {\bar {\gamma }}&\alpha {\bar {\gamma }}&\beta {\bar {\delta }}\\\hline x-iy&\gamma {\bar {\beta }}&\delta {\bar {\alpha }}&\gamma {\bar {\alpha }}&\delta {\bar {\beta }}\\\hline t+z&\alpha {\bar {\beta }}&\beta {\bar {\alpha }}&\alpha {\bar {\alpha }}&\beta {\bar {\beta }}\\\hline t-z&\gamma {\bar {\delta }}&\delta {\bar {\gamma }}&\gamma {\bar {\gamma }}&\delta {\bar {\delta }}\end{array}}\end{matrix}}}
Continuing the work of E:Gauss (1801) on definite ternary quadratic forms and E:Hermite (1853) on indefinite ternary quadratic forms, w:Eduard Selling (1873) used the auxiliary coefficients ξ,η,ζ by which a definite form
f
{\displaystyle {\mathfrak {f}}}
and an indefinite form f can be rewritten in terms of three squares:[ M 22] [ 8]
f
=
a
x
2
+
b
y
2
+
c
z
2
+
2
g
y
z
+
2
h
z
x
+
2
k
x
y
=
(
ξ
x
+
η
y
+
ζ
z
)
2
+
(
ξ
1
x
+
η
1
y
+
ζ
1
z
)
2
+
(
ξ
2
x
+
η
2
y
+
ζ
2
z
)
2
f
=
a
x
2
+
b
y
2
+
c
z
2
+
2
g
y
z
+
2
h
z
x
+
2
k
x
y
=
(
ξ
x
+
η
y
+
ζ
z
)
2
−
(
ξ
1
x
+
η
1
y
+
ζ
1
z
)
2
−
(
ξ
2
x
+
η
2
y
+
ζ
2
z
)
2
|
ξ
2
+
ξ
1
2
+
ξ
2
2
=
a
η
2
+
η
1
2
+
η
2
2
=
b
ζ
2
+
ζ
1
2
+
ζ
2
2
=
c
η
ζ
+
η
1
ζ
1
+
η
2
ζ
2
=
g
ζ
ξ
+
ζ
1
ξ
1
+
ζ
2
ξ
2
=
h
ξ
η
+
ξ
1
η
1
+
ξ
2
η
2
=
k
|
ξ
2
−
ξ
1
2
−
ξ
2
2
=
a
η
2
−
η
1
2
−
η
2
2
=
b
ζ
2
−
ζ
1
2
−
ζ
2
2
=
c
η
ζ
−
η
1
ζ
1
−
η
2
ζ
2
=
g
ζ
ξ
−
ζ
1
ξ
1
−
ζ
2
ξ
2
=
h
ξ
η
−
ξ
1
η
1
−
ξ
2
η
2
=
k
{\displaystyle {\scriptstyle {\begin{aligned}{\mathfrak {f}}&={\mathfrak {a}}x^{2}+{\mathfrak {b}}y^{2}+{\mathfrak {c}}z^{2}+2{\mathfrak {g}}yz+2{\mathfrak {h}}zx+2{\mathfrak {k}}xy\\&=\left(\xi x+\eta y+\zeta z\right)^{2}+\left(\xi _{1}x+\eta _{1}y+\zeta _{1}z\right)^{2}+\left(\xi _{2}x+\eta _{2}y+\zeta _{2}z\right)^{2}\\\\f&=ax^{2}+by^{2}+cz^{2}+2gyz+2hzx+2kxy\\&=\left(\xi x+\eta y+\zeta z\right)^{2}-\left(\xi _{1}x+\eta _{1}y+\zeta _{1}z\right)^{2}-\left(\xi _{2}x+\eta _{2}y+\zeta _{2}z\right)^{2}\end{aligned}}\left|{\begin{aligned}\xi ^{2}+\xi _{1}^{2}+\xi _{2}^{2}&={\mathfrak {a}}\\\eta ^{2}+\eta _{1}^{2}+\eta _{2}^{2}&={\mathfrak {b}}\\\zeta ^{2}+\zeta _{1}^{2}+\zeta _{2}^{2}&={\mathfrak {c}}\\\eta \zeta +\eta _{1}\zeta _{1}+\eta _{2}\zeta _{2}&={\mathfrak {g}}\\\zeta \xi +\zeta _{1}\xi _{1}+\zeta _{2}\xi _{2}&={\mathfrak {h}}\\\xi \eta +\xi _{1}\eta _{1}+\xi _{2}\eta _{2}&={\mathfrak {k}}\end{aligned}}\right|{\begin{aligned}\xi ^{2}-\xi _{1}^{2}-\xi _{2}^{2}&=a\\\eta ^{2}-\eta _{1}^{2}-\eta _{2}^{2}&=b\\\zeta ^{2}-\zeta _{1}^{2}-\zeta _{2}^{2}&=c\\\eta \zeta -\eta _{1}\zeta _{1}-\eta _{2}\zeta _{2}&=g\\\zeta \xi -\zeta _{1}\xi _{1}-\zeta _{2}\xi _{2}&=h\\\xi \eta -\xi _{1}\eta _{1}-\xi _{2}\eta _{2}&=k\end{aligned}}}}
In addition, Selling showed that auxiliary coefficients ξ,η,ζ can be geometrically interpreted as point coordinates which are in motion upon one sheet of a two-sheet hyperboloid, which is related to Selling's formalism for the reduction of indefinite forms by using definite forms.[ M 23]
Selling also reproduced the Lorentz transformation given by Gauss (1800/63) , to whom he gave full credit, and called it the only example of a particular indefinite ternary form known to him that has ever been discussed:[ M 24]
(
1
,
−
1
,
−
1
0
,
0
,
0
)
W
=
|
1
2
(
α
2
+
β
2
+
γ
2
+
δ
2
)
1
2
(
α
2
+
β
2
−
γ
2
−
δ
2
)
α
γ
+
β
δ
1
2
(
α
2
−
β
2
+
γ
2
−
δ
2
)
1
2
(
α
2
−
β
2
−
γ
2
+
δ
2
)
α
γ
−
β
δ
α
β
+
γ
δ
α
β
−
γ
δ
α
δ
+
β
γ
|
(
|
α
β
γ
δ
|
=
1
)
{\displaystyle {\begin{matrix}\left({\begin{matrix}1,&-1,&-1\\0,&0,&0\end{matrix}}\right)\\\hline W={\begin{vmatrix}{\frac {1}{2}}\left(\alpha ^{2}+\beta ^{2}+\gamma ^{2}+\delta ^{2}\right)&{\frac {1}{2}}\left(\alpha ^{2}+\beta ^{2}-\gamma ^{2}-\delta ^{2}\right)&\alpha \gamma +\beta \delta \\{\frac {1}{2}}\left(\alpha ^{2}-\beta ^{2}+\gamma ^{2}-\delta ^{2}\right)&{\frac {1}{2}}\left(\alpha ^{2}-\beta ^{2}-\gamma ^{2}+\delta ^{2}\right)&\alpha \gamma -\beta \delta \\\alpha \beta +\gamma \delta &\alpha \beta -\gamma \delta &\alpha \delta +\beta \gamma \end{vmatrix}}\\\left({\begin{vmatrix}\alpha &\beta \\\gamma &\delta \end{vmatrix}}=1\right)\end{matrix}}}
This is equivalent to Lorentz transformation (
6e ), containing Lorentz boost (
6f ) or
E:(9b ) as a special case with
β
=
γ
=
0
{\displaystyle \beta =\gamma =0}
and
δ
=
1
/
α
{\displaystyle \delta =1/\alpha }
.
w:Henri Poincaré (1881a) demonstrated the connection of his formulas of the hyperboloid model [see E:Poincaré (1881) ] to Möbius transformations:[ M 25]
ξ
2
+
η
2
−
ζ
2
=
−
1
[
X
=
ξ
ζ
+
1
,
Y
=
η
ζ
+
1
]
→
t
=
X
+
i
Y
ξ
′
2
+
η
′
2
−
ζ
′
2
=
−
1
[
X
′
=
ξ
′
ζ
′
+
1
,
Y
′
=
η
′
ζ
′
+
1
]
→
t
′
=
X
′
+
i
Y
′
t
′
=
h
t
+
k
h
′
t
+
k
′
{\displaystyle {\begin{matrix}\xi ^{2}+\eta ^{2}-\zeta ^{2}=-1\\\left[X={\frac {\xi }{\zeta +1}},\ Y={\frac {\eta }{\zeta +1}}\right]\rightarrow t=X+iY\\\hline \xi ^{\prime 2}+\eta ^{\prime 2}-\zeta ^{\prime 2}=-1\\\left[X'={\frac {\xi '}{\zeta '+1}},\ Y'={\frac {\eta '}{\zeta '+1}}\right]\rightarrow t'=X'+iY'\\\hline t'={\frac {ht+k}{h't+k'}}\end{matrix}}}
This is equivalent to Lorentz transformation (
6g ).
Poincaré (1881b) also used the Möbius transformation
a
z
+
b
c
z
+
d
{\displaystyle {\tfrac {az+b}{cz+d}}}
in relation to w:Fuchsian functions and the discontinuous w:Fuchsian group , being a special case of the hyperbolic group leaving invariant the "fundamental circle" (w:Poincaré disk model and w:Poincaré half-plane model of hyperbolic geometry).[ M 26] He then extended Klein's (1878-1882) study on the relation between Möbius transformations and hyperbolic, elliptic, parabolic, and loxodromic substitutions, and while formulating w:Kleinian groups (1883) he used the following transformation leaving invariant the w:generalized circle :[ M 27]
(
z
,
α
z
+
β
γ
z
+
δ
)
,
(
z
0
,
α
0
z
0
+
β
0
γ
0
z
0
+
δ
0
)
z
=
ξ
+
i
η
,
z
0
=
ξ
−
i
η
,
ρ
2
=
ξ
2
+
η
2
+
ζ
2
A
ρ
′
2
+
B
z
′
+
B
0
z
0
′
+
C
=
0
ρ
′
2
=
ρ
2
α
α
0
+
z
α
β
0
+
z
0
β
α
0
+
β
β
0
ρ
2
γ
γ
0
+
z
γ
δ
0
+
z
0
δ
γ
0
+
δ
δ
0
z
′
=
ρ
2
α
γ
0
+
z
α
δ
0
+
z
0
β
γ
0
+
β
δ
0
ρ
2
γ
γ
0
+
z
γ
δ
0
+
z
0
δ
γ
0
+
δ
δ
0
z
0
′
=
ρ
2
γ
α
0
+
z
γ
β
0
+
z
0
δ
α
0
+
δ
β
0
ρ
2
γ
γ
0
+
z
γ
δ
0
+
z
0
δ
γ
0
+
δ
δ
0
{\displaystyle {\begin{matrix}\left(z,\ {\frac {\alpha z+\beta }{\gamma z+\delta }}\right),\ \left(z_{0},\ {\frac {\alpha _{0}z_{0}+\beta _{0}}{\gamma _{0}z_{0}+\delta _{0}}}\right)\\\hline z=\xi +i\eta ,\ z_{0}=\xi -i\eta ,\ \rho ^{2}=\xi ^{2}+\eta ^{2}+\zeta ^{2}\\A\rho ^{\prime 2}+Bz^{\prime }+B_{0}z_{0}^{\prime }+C=0\\\hline {\begin{aligned}\rho ^{\prime 2}&={\frac {\rho ^{2}\alpha \alpha _{0}+z\alpha \beta _{0}+z_{0}\beta \alpha _{0}+\beta \beta _{0}}{\rho ^{2}\gamma \gamma _{0}+z\gamma \delta _{0}+z_{0}\delta \gamma _{0}+\delta \delta _{0}}}\\z^{\prime }&={\frac {\rho ^{2}\alpha \gamma _{0}+z\alpha \delta _{0}+z_{0}\beta \gamma _{0}+\beta \delta _{0}}{\rho ^{2}\gamma \gamma _{0}+z\gamma \delta _{0}+z_{0}\delta \gamma _{0}+\delta \delta _{0}}}\\z_{0}^{\prime }&={\frac {\rho ^{2}\gamma \alpha _{0}+z\gamma \beta _{0}+z_{0}\delta \alpha _{0}+\delta \beta _{0}}{\rho ^{2}\gamma \gamma _{0}+z\gamma \delta _{0}+z_{0}\delta \gamma _{0}+\delta \delta _{0}}}\end{aligned}}\end{matrix}}}
Setting
[
ρ
2
,
z
,
z
0
]
=
[
X
1
X
4
,
X
2
X
4
,
X
3
X
4
]
{\displaystyle [\rho ^{2},\ z,\ z_{0}]=\left[{\tfrac {X_{1}}{X_{4}}},\ {\tfrac {X_{2}}{X_{4}}},\ {\tfrac {X_{3}}{X_{4}}}\right]}
this becomes transformation
u′ in (
6a ) and becomes the complete Lorentz transformation by setting
[
X
1
X
2
X
3
X
4
]
=
[
x
0
+
x
3
x
1
−
i
x
2
x
1
+
i
x
2
x
0
−
x
3
]
{\displaystyle {\scriptstyle \left[{\begin{matrix}X_{1}&X_{2}\\X_{3}&X_{4}\end{matrix}}\right]=\left[{\begin{matrix}x_{0}+x_{3}&x_{1}-ix_{2}\\x_{1}+ix_{2}&x_{0}-x_{3}\end{matrix}}\right]}}
.
In 1886, Poincaré investigated the relation between indefinite ternary quadratic forms and Fuchsian functions and groups:[ M 28]
(
z
,
α
z
+
β
γ
z
+
δ
)
Y
′
2
−
X
′
Z
′
=
Y
2
−
X
Z
X
′
=
α
2
X
+
2
α
γ
Y
+
γ
2
Z
Y
′
=
α
β
X
+
(
α
δ
+
β
γ
)
Y
+
γ
δ
Z
Z
′
=
β
2
X
+
2
β
γ
Y
+
δ
2
Z
[
X
=
a
x
+
b
y
+
c
z
,
Y
=
a
′
x
+
b
′
y
+
c
′
z
,
Z
=
a
″
x
+
b
″
y
+
c
″
z
,
X
′
=
a
x
′
+
b
y
′
+
c
z
′
,
Y
′
=
a
′
x
′
+
b
′
y
′
+
c
′
z
′
,
Z
′
=
a
″
x
′
+
b
″
y
′
+
c
″
z
′
,
]
{\displaystyle {\begin{matrix}\left(z,\ {\frac {\alpha z+\beta }{\gamma z+\delta }}\right)\\\hline Y^{\prime 2}-X'Z'=Y^{2}-XZ\\\hline {\begin{aligned}X'&=\alpha ^{2}X+2\alpha \gamma Y+\gamma ^{2}Z\\Y'&=\alpha \beta X+(\alpha \delta +\beta \gamma )Y+\gamma \delta Z\\Z'&=\beta ^{2}X+2\beta \gamma Y+\delta ^{2}Z\end{aligned}}\\\left[{\scriptstyle {\begin{aligned}X=&ax+by+cz,&Y&=a'x+b'y+c'z,&Z&=a''x+b''y+c''z,\\X'=&ax'+by'+cz',&Y'&=a'x'+b'y'+c'z',&Z'&=a''x'+b''y'+c''z',\end{aligned}}}\right]\end{matrix}}}
This is equivalent to transformation
u′ in (
6d ) and becomes the complete Lorentz transformation by suitibly choosing the coefficients
a,b,c,... so that
[X,Y,Z]=[x+z, y, -x+z] .
Related to Klein's (1871) and Poincaré's (1881-1887) work on non-Euclidean geometry and indefinite quadratic forms, w:Luigi Bianchi (1888) analyzed the differential Lorentz interval in term of conic sections and hyperboloids, alluded to the linear fractional transformation of
ω
{\displaystyle \omega }
and its conjugate
ω
1
{\displaystyle \omega _{1}}
with parameters α,β,γ,δ in order to preserve the Lorentz interval, and gave credit to Gauss (1800/63) who obtained the same coefficient system:[ M 29]
d
s
2
=
d
x
2
+
d
y
2
−
d
z
2
;
x
2
+
y
2
−
z
2
=
0
;
X
3
2
+
Y
3
2
−
Z
3
2
=
−
1
X
3
=
i
1
−
ω
ω
1
ω
−
ω
1
,
Y
3
=
i
ω
−
ω
1
ω
−
ω
1
,
Z
3
=
i
1
+
ω
ω
1
ω
−
ω
1
,
ω
=
α
ω
′
+
β
γ
ω
′
+
δ
(
α
δ
−
β
γ
=
1
)
(
α
2
−
β
2
−
γ
2
+
δ
2
2
,
γ
δ
−
α
β
,
−
α
2
−
β
2
+
γ
2
+
δ
2
2
β
δ
−
α
γ
,
α
δ
+
β
γ
,
β
δ
+
α
γ
−
α
2
+
β
2
−
γ
2
+
δ
2
2
,
α
β
+
γ
δ
,
α
2
+
β
2
+
γ
2
+
δ
2
2
)
x
′
=
α
2
−
β
2
−
γ
2
+
δ
2
2
x
+
(
γ
δ
−
α
β
)
y
+
−
α
2
−
β
2
+
γ
2
+
δ
2
2
z
+
c
1
y
′
=
(
β
δ
−
α
γ
)
x
+
(
α
δ
+
β
γ
)
y
+
(
β
δ
+
α
γ
)
z
+
c
2
z
′
=
−
α
2
+
β
2
−
γ
2
+
δ
2
2
x
+
(
α
β
+
γ
δ
)
y
+
α
2
+
β
2
+
γ
2
+
δ
2
2
z
+
c
3
{\displaystyle {\begin{matrix}ds^{2}=dx^{2}+dy^{2}-dz^{2};\ x^{2}+y^{2}-z^{2}=0;\\\hline X_{3}^{2}+Y_{3}^{2}-Z_{3}^{2}=-1\\X_{3}=i{\frac {1-\omega \omega _{1}}{\omega -\omega _{1}}},\ Y_{3}=i{\frac {\omega -\omega _{1}}{\omega -\omega _{1}}},\ Z_{3}=i{\frac {1+\omega \omega _{1}}{\omega -\omega _{1}}},\\\omega ={\frac {\alpha \omega '+\beta }{\gamma \omega '+\delta }}\quad (\alpha \delta -\beta \gamma =1)\\\hline \left({\begin{matrix}{\frac {\alpha ^{2}-\beta ^{2}-\gamma ^{2}+\delta ^{2}}{2}},&\gamma \delta -\alpha \beta ,&{\frac {-\alpha ^{2}-\beta ^{2}+\gamma ^{2}+\delta ^{2}}{2}}\\\beta \delta -\alpha \gamma ,&\alpha \delta +\beta \gamma ,&\beta \delta +\alpha \gamma \\{\frac {-\alpha ^{2}+\beta ^{2}-\gamma ^{2}+\delta ^{2}}{2}},&\alpha \beta +\gamma \delta ,&{\frac {\alpha ^{2}+\beta ^{2}+\gamma ^{2}+\delta ^{2}}{2}}\end{matrix}}\right)\\\hline {\begin{aligned}x'&={\frac {\alpha ^{2}-\beta ^{2}-\gamma ^{2}+\delta ^{2}}{2}}x+(\gamma \delta -\alpha \beta )y+{\frac {-\alpha ^{2}-\beta ^{2}+\gamma ^{2}+\delta ^{2}}{2}}z+c_{1}\\y'&=(\beta \delta -\alpha \gamma )x+(\alpha \delta +\beta \gamma )y+(\beta \delta +\alpha \gamma )z+c_{2}\\z'&={\frac {-\alpha ^{2}+\beta ^{2}-\gamma ^{2}+\delta ^{2}}{2}}x+(\alpha \beta +\gamma \delta )y+{\frac {\alpha ^{2}+\beta ^{2}+\gamma ^{2}+\delta ^{2}}{2}}z+c_{3}\end{aligned}}\end{matrix}}}
The is equivalent to Lorentz transformations (
6d ) and (
6e ), containing Lorentz boost (
6f ) or
E:(9b ) as a special case with
β
=
γ
=
0
{\displaystyle \beta =\gamma =0}
and
δ
=
1
/
α
{\displaystyle \delta =1/\alpha }
.
In 1893, Bianchi gave the coefficients in the case of four dimensions:[ M 30]
z
=
α
z
′
+
β
γ
z
′
+
δ
(
α
δ
−
β
γ
=
1
)
→
z
=
ξ
η
z
′
=
ξ
′
η
′
→
ξ
=
α
ξ
′
+
β
η
′
η
=
γ
ξ
′
+
δ
η
′
ξ
0
=
α
0
ξ
0
′
+
β
0
η
0
′
η
0
=
γ
0
ξ
0
′
+
δ
0
η
0
′
F
=
(
u
1
+
u
4
)
ξ
ξ
0
+
(
u
2
+
i
u
3
)
ξ
η
0
+
(
u
2
−
i
u
3
)
ξ
0
η
+
(
u
4
−
u
1
)
η
η
0
F
′
=
(
u
1
′
+
u
′
4
)
ξ
′
ξ
0
′
+
(
u
2
′
+
i
u
′
3
)
ξ
′
η
0
′
+
(
u
2
′
−
i
u
′
3
)
ξ
0
′
η
′
+
(
u
4
′
−
u
′
1
)
η
′
η
0
′
(
u
2
+
i
u
3
)
(
u
2
−
i
u
3
)
+
(
u
1
−
u
4
)
(
u
1
+
u
4
)
=
(
u
2
′
+
i
u
′
3
)
(
u
2
′
−
i
u
′
3
)
+
(
u
1
′
−
u
′
4
)
(
u
1
′
+
u
′
4
)
u
1
′
+
u
4
′
=
α
α
0
(
u
1
+
u
4
)
+
α
γ
0
(
u
2
+
i
u
3
)
+
α
0
γ
(
u
2
−
i
u
3
)
+
γ
γ
0
(
u
4
−
u
1
)
u
2
′
+
i
u
3
′
=
α
β
0
(
u
1
+
u
4
)
+
α
δ
0
(
u
2
+
i
u
3
)
+
β
0
γ
(
u
2
−
i
u
3
)
+
γ
δ
0
(
u
4
−
u
1
)
u
2
′
−
i
u
3
′
=
α
0
β
(
u
1
+
u
4
)
+
α
0
δ
(
u
2
−
i
u
3
)
+
β
γ
0
(
u
2
+
i
u
3
)
+
γ
0
δ
(
u
4
−
u
1
)
u
4
′
−
u
1
′
=
β
β
0
(
u
1
+
u
4
)
+
β
δ
0
(
u
2
+
i
u
3
)
+
β
0
δ
(
u
2
−
i
u
3
)
+
δ
δ
0
(
u
4
−
u
1
)
{\displaystyle {\begin{matrix}{\begin{aligned}z&={\frac {\alpha z'+\beta }{\gamma z'+\delta }}\\&(\alpha \delta -\beta \gamma =1)\end{aligned}}\rightarrow {\begin{aligned}z&={\frac {\xi }{\eta }}\\z'&={\frac {\xi '}{\eta '}}\end{aligned}}\rightarrow {\begin{aligned}\xi &=\alpha \xi '+\beta \eta '\\\eta &=\gamma \xi '+\delta \eta '\\\\\xi _{0}&=\alpha _{0}\xi '_{0}+\beta _{0}\eta '_{0}\\\eta _{0}&=\gamma _{0}\xi '_{0}+\delta _{0}\eta '_{0}\end{aligned}}\\\hline {\scriptstyle F=\left(u_{1}+u{}_{4}\right)\xi \xi _{0}+\left(u_{2}+iu{}_{3}\right)\xi \eta _{0}+\left(u_{2}-iu{}_{3}\right)\xi _{0}\eta +\left(u_{4}-u{}_{1}\right)\eta \eta _{0}}\\{\scriptstyle F'=\left(u'_{1}+u'{}_{4}\right)\xi '\xi '_{0}+\left(u'_{2}+iu'{}_{3}\right)\xi '\eta '_{0}+\left(u'_{2}-iu'{}_{3}\right)\xi '_{0}\eta '+\left(u'_{4}-u'{}_{1}\right)\eta '\eta '_{0}}\\{\scriptstyle \left(u_{2}+iu{}_{3}\right)\left(u_{2}-iu{}_{3}\right)+\left(u_{1}-u{}_{4}\right)\left(u_{1}+u{}_{4}\right)=\left(u'_{2}+iu'{}_{3}\right)\left(u'_{2}-iu'{}_{3}\right)+\left(u'_{1}-u'{}_{4}\right)\left(u'_{1}+u'{}_{4}\right)}\\\hline {\scriptstyle {\begin{aligned}u'_{1}+u'_{4}&=\alpha \alpha _{0}\left(u_{1}+u{}_{4}\right)+\alpha \gamma _{0}\left(u_{2}+iu{}_{3}\right)+\alpha _{0}\gamma \left(u_{2}-iu{}_{3}\right)+\gamma \gamma _{0}\left(u_{4}-u{}_{1}\right)\\u'_{2}+iu'_{3}&=\alpha \beta _{0}\left(u_{1}+u{}_{4}\right)+\alpha \delta _{0}\left(u_{2}+iu{}_{3}\right)+\beta _{0}\gamma \left(u_{2}-iu{}_{3}\right)+\gamma \delta _{0}\left(u_{4}-u{}_{1}\right)\\u'_{2}-iu'_{3}&=\alpha _{0}\beta \left(u_{1}+u{}_{4}\right)+\alpha _{0}\delta \left(u_{2}-iu{}_{3}\right)+\beta \gamma _{0}\left(u_{2}+iu{}_{3}\right)+\gamma _{0}\delta \left(u_{4}-u{}_{1}\right)\\u'_{4}-u'_{1}&=\beta \beta _{0}\left(u_{1}+u{}_{4}\right)+\beta \delta _{0}\left(u_{2}+iu{}_{3}\right)+\beta _{0}\delta \left(u_{2}-iu{}_{3}\right)+\delta \delta _{0}\left(u_{4}-u{}_{1}\right)\end{aligned}}}\end{matrix}}}
This is equivalent to Lorentz transformation (
6a ).
Solving for
u
1
′
…
{\displaystyle u'_{1}\dots }
Bianchi obtained:[ M 30]
u
1
2
+
u
2
2
+
u
3
2
−
u
4
2
=
u
1
′
2
+
u
2
′
2
+
u
3
′
2
−
u
4
′
2
u
1
′
=
1
2
(
α
α
0
−
β
β
0
−
γ
γ
0
+
δ
δ
0
)
u
1
+
1
2
(
α
γ
0
+
α
0
γ
−
β
δ
0
−
β
0
δ
)
u
2
+
+
i
2
(
α
γ
0
−
α
0
γ
+
β
0
δ
−
β
δ
0
)
u
3
+
1
2
(
α
α
0
−
β
β
0
+
γ
γ
0
−
δ
δ
0
)
u
4
u
2
′
=
1
2
(
α
β
0
+
α
0
β
−
γ
δ
0
−
γ
0
δ
)
u
1
+
1
2
(
α
δ
0
+
α
0
δ
+
β
γ
0
+
β
0
γ
)
u
2
+
+
i
2
(
α
δ
0
−
α
0
δ
+
β
γ
0
−
β
0
γ
)
u
3
+
1
2
(
α
β
0
+
α
0
β
+
γ
δ
0
+
γ
0
δ
)
u
4
u
3
′
=
i
2
(
α
0
β
−
α
β
0
+
γ
δ
0
−
γ
0
δ
)
u
1
+
i
2
(
α
0
δ
−
α
δ
0
+
β
γ
0
−
β
0
γ
)
u
2
+
+
1
2
(
α
δ
0
+
α
0
δ
−
β
γ
0
−
β
0
γ
)
u
3
+
i
2
(
α
0
β
−
α
β
0
+
γ
0
δ
−
γ
δ
0
)
u
4
u
4
′
=
1
2
(
α
α
0
+
β
β
0
−
γ
γ
0
−
δ
δ
0
)
u
1
+
1
2
(
α
γ
0
+
α
0
γ
+
β
δ
0
+
β
0
δ
)
u
2
+
+
i
2
(
α
γ
0
−
α
0
γ
+
β
δ
0
−
β
0
δ
)
u
3
+
1
2
(
α
α
0
+
β
β
0
+
γ
γ
0
+
δ
δ
0
)
u
4
{\displaystyle {\begin{matrix}u_{1}^{2}+u_{2}^{2}+u_{3}^{2}-u_{4}^{2}=u_{1}^{\prime 2}+u_{2}^{\prime 2}+u_{3}^{\prime 2}-u_{4}^{\prime 2}\\\hline {\scriptstyle {\begin{aligned}u'_{1}&={\frac {1}{2}}\left(\alpha \alpha _{0}-\beta \beta _{0}-\gamma \gamma _{0}+\delta \delta _{0}\right)u_{1}+{\frac {1}{2}}\left(\alpha \gamma _{0}+\alpha _{0}\gamma -\beta \delta _{0}-\beta _{0}\delta \right)u_{2}+\\&+{\frac {i}{2}}\left(\alpha \gamma _{0}-\alpha _{0}\gamma +\beta _{0}\delta -\beta \delta _{0}\right)u_{3}+{\frac {1}{2}}\left(\alpha \alpha _{0}-\beta \beta _{0}+\gamma \gamma _{0}-\delta \delta _{0}\right)u_{4}\\u'_{2}&={\frac {1}{2}}\left(\alpha \beta _{0}+\alpha _{0}\beta -\gamma \delta _{0}-\gamma _{0}\delta \right)u_{1}+{\frac {1}{2}}\left(\alpha \delta _{0}+\alpha _{0}\delta +\beta \gamma _{0}+\beta _{0}\gamma \right)u_{2}+\\&+{\frac {i}{2}}\left(\alpha \delta _{0}-\alpha _{0}\delta +\beta \gamma _{0}-\beta _{0}\gamma \right)u_{3}+{\frac {1}{2}}\left(\alpha \beta _{0}+\alpha _{0}\beta +\gamma \delta _{0}+\gamma _{0}\delta \right)u_{4}\\u'_{3}&={\frac {i}{2}}\left(\alpha _{0}\beta -\alpha \beta _{0}+\gamma \delta _{0}-\gamma _{0}\delta \right)u_{1}+{\frac {i}{2}}\left(\alpha _{0}\delta -\alpha \delta _{0}+\beta \gamma _{0}-\beta _{0}\gamma \right)u_{2}+\\&+{\frac {1}{2}}\left(\alpha \delta _{0}+\alpha _{0}\delta -\beta \gamma _{0}-\beta _{0}\gamma \right)u_{3}+{\frac {i}{2}}\left(\alpha _{0}\beta -\alpha \beta _{0}+\gamma _{0}\delta -\gamma \delta _{0}\right)u_{4}\\u'_{4}&={\frac {1}{2}}\left(\alpha \alpha _{0}+\beta \beta _{0}-\gamma \gamma _{0}-\delta \delta _{0}\right)u_{1}+{\frac {1}{2}}\left(\alpha \gamma _{0}+\alpha _{0}\gamma +\beta \delta _{0}+\beta _{0}\delta \right)u_{2}+\\&+{\frac {i}{2}}\left(\alpha \gamma _{0}-\alpha _{0}\gamma +\beta \delta _{0}-\beta _{0}\delta \right)u_{3}+{\frac {1}{2}}\left(\alpha \alpha _{0}+\beta \beta _{0}+\gamma \gamma _{0}+\delta \delta _{0}\right)u_{4}\end{aligned}}}\end{matrix}}}
This is equivalent to Lorentz transformation (
6b ).
w:Robert Fricke (1891) – following the work of his teacher Klein (1878–1882) as well as Poincaré (1881–1887) on automorphic functions and group theory – obtained the following transformation for an integer ternary quadratic form[ M 31] [ 9]
ω
′
=
δ
ω
+
β
γ
ω
+
α
(
α
δ
−
β
γ
=
1
)
,
ω
=
η
ξ
,
ξ
′
=
ξ
α
2
+
2
η
α
γ
+
ζ
γ
2
η
′
=
ξ
α
β
+
η
(
α
δ
+
β
γ
)
+
ζ
γ
δ
ζ
′
=
ξ
β
2
+
2
η
β
δ
+
ζ
δ
2
ξ
′
ζ
′
−
η
′
2
=
(
α
δ
−
β
γ
)
2
(
ξ
ζ
−
η
2
)
ξ
=
x
q
−
y
,
η
=
z
,
ζ
=
x
q
+
y
q
x
′
2
−
y
′
2
−
z
′
2
=
q
x
2
−
y
2
−
z
2
(
1
2
(
+
α
2
+
β
2
+
γ
2
+
δ
2
)
1
2
q
(
−
α
2
−
β
2
+
γ
2
+
δ
2
)
1
q
(
α
γ
+
β
δ
)
1
2
q
(
−
α
2
+
β
2
−
γ
2
+
δ
2
)
1
2
(
+
α
2
−
β
2
−
γ
2
+
δ
2
)
(
−
α
γ
+
β
δ
)
q
(
α
β
+
γ
δ
)
(
−
α
β
+
γ
δ
)
(
α
δ
+
β
γ
)
)
{\displaystyle {\begin{matrix}\omega '={\frac {\delta \omega +\beta }{\gamma \omega +\alpha }}\ (\alpha \delta -\beta \gamma =1),\ \omega ={\frac {\eta }{\xi }},\\\hline {\begin{aligned}\xi '&=\xi \alpha ^{2}+2\eta \alpha \gamma +\zeta \gamma ^{2}\\\eta '&=\xi \alpha \beta +\eta (\alpha \delta +\beta \gamma )+\zeta \gamma \delta \\\zeta '&=\xi \beta ^{2}+2\eta \beta \delta +\zeta \delta ^{2}\end{aligned}}\\\hline \xi '\zeta '-\eta '^{2}=(\alpha \delta -\beta \gamma )^{2}\left(\xi \zeta -\eta ^{2}\right)\\\xi =x{\sqrt {q}}-y,\ \eta =z,\ \zeta =x{\sqrt {q}}+y\\\hline qx^{\prime 2}-y^{\prime 2}-z^{\prime 2}=qx^{2}-y^{2}-z^{2}\\\hline \left({\begin{matrix}{\frac {1}{2}}\left(+\alpha ^{2}+\beta ^{2}+\gamma ^{2}+\delta ^{2}\right)&{\frac {1}{2{\sqrt {q}}}}\left(-\alpha ^{2}-\beta ^{2}+\gamma ^{2}+\delta ^{2}\right)&{\frac {1}{\sqrt {q}}}(\alpha \gamma +\beta \delta )\\{\frac {1}{2}}{\sqrt {q}}\left(-\alpha ^{2}+\beta ^{2}-\gamma ^{2}+\delta ^{2}\right)&{\frac {1}{2}}\left(+\alpha ^{2}-\beta ^{2}-\gamma ^{2}+\delta ^{2}\right)&(-\alpha \gamma +\beta \delta )\\{\sqrt {q}}(\alpha \beta +\gamma \delta )&(-\alpha \beta +\gamma \delta )&(\alpha \delta +\beta \gamma )\end{matrix}}\right)\end{matrix}}}
By setting
q=1 , the first part is equivalent to Lorentz transformation (
6d ) and the second part is equivalent to (
6e ), containing Lorentz boost (
6f ) or
E:(9b ) as a special case with
β
=
γ
=
0
{\displaystyle \beta =\gamma =0}
and
δ
=
1
/
α
{\displaystyle \delta =1/\alpha }
.
And the general case of four dimensions in 1893:[ M 32]
y
2
′
y
3
′
−
y
1
′
y
4
′
=
y
2
y
3
−
y
1
y
4
y
1
′
=
α
α
¯
y
1
+
α
β
¯
y
2
+
β
α
¯
y
3
+
β
β
¯
y
4
y
2
′
=
α
γ
¯
y
1
+
α
δ
¯
y
2
+
β
γ
¯
y
3
+
β
δ
¯
y
4
y
3
′
=
γ
α
¯
y
1
+
γ
β
¯
y
2
+
δ
α
¯
y
3
+
δ
β
¯
y
4
y
4
′
=
γ
γ
¯
y
1
+
γ
δ
¯
y
2
+
δ
γ
¯
y
3
+
δ
δ
¯
y
4
y
1
=
z
4
s
+
z
3
r
,
y
2
=
z
1
p
+
i
z
2
q
y
3
=
z
1
p
−
i
z
2
q
,
y
4
=
z
4
s
−
z
3
r
p
z
1
′
2
+
q
z
2
′
2
+
r
z
3
′
2
−
s
z
4
′
2
=
p
z
1
2
+
q
z
2
2
+
r
z
3
2
−
s
z
4
2
z
i
′
=
α
i
1
z
1
+
α
i
2
z
2
+
α
i
3
z
3
+
α
i
4
z
4
2
α
11
or
2
α
22
=
α
δ
¯
+
δ
α
¯
±
β
γ
¯
±
γ
β
¯
,
2
α
33
or
2
α
44
=
α
α
¯
+
δ
δ
¯
±
β
β
¯
±
γ
γ
¯
2
α
12
p
i
p
or
2
α
21
i
p
p
=
α
δ
¯
−
δ
¯
α
∓
β
γ
¯
±
γ
β
¯
,
2
α
34
r
s
or
2
α
43
s
r
=
α
α
¯
−
δ
δ
¯
±
β
β
¯
±
γ
γ
¯
2
α
13
p
r
or
2
α
24
i
p
s
=
α
γ
¯
−
δ
β
¯
±
γ
α
¯
±
β
δ
¯
,
2
α
14
p
s
or
2
α
23
i
q
r
=
α
γ
¯
+
δ
β
¯
±
γ
α
¯
±
β
δ
¯
2
α
31
r
p
or
2
α
43
s
i
q
=
α
β
¯
−
δ
γ
¯
±
β
α
¯
∓
γ
δ
¯
,
2
α
41
s
p
or
2
α
32
r
i
q
=
α
β
¯
+
δ
γ
¯
±
β
α
¯
±
γ
δ
¯
{\displaystyle {\begin{matrix}y'_{2}y'_{3}-y'_{1}y'_{4}=y_{2}y_{3}-y_{1}y_{4}\\\hline {\begin{aligned}y_{1}^{\prime }&=\alpha {\bar {\alpha }}y_{1}+\alpha {\bar {\beta }}y_{2}+\beta {\bar {\alpha }}y_{3}+\beta {\bar {\beta }}y_{4}\\y_{2}^{\prime }&=\alpha {\bar {\gamma }}y_{1}+\alpha {\bar {\delta }}y_{2}+\beta {\bar {\gamma }}y_{3}+\beta {\bar {\delta }}y_{4}\\y_{3}^{\prime }&=\gamma {\bar {\alpha }}y_{1}+\gamma {\bar {\beta }}y_{2}+\delta {\bar {\alpha }}y_{3}+\delta {\bar {\beta }}y_{4}\\y_{4}^{\prime }&=\gamma {\bar {\gamma }}y_{1}+\gamma {\bar {\delta }}y_{2}+\delta {\bar {\gamma }}y_{3}+\delta {\bar {\delta }}y_{4}\end{aligned}}\\\hline {\begin{aligned}y_{1}&=z_{4}{\sqrt {s}}+z_{3}{\sqrt {r}},&y_{2}&=z_{1}{\sqrt {p}}+iz_{2}{\sqrt {q}}\\y_{3}&=z_{1}{\sqrt {p}}-iz_{2}{\sqrt {q}},&y_{4}&=z_{4}{\sqrt {s}}-z_{3}{\sqrt {r}}\end{aligned}}\\\hline pz_{1}^{\prime 2}+qz{}_{2}^{\prime 2}+rz{}_{3}^{\prime 2}-sz{}_{4}^{\prime 2}=pz_{1}^{2}+qz_{2}^{2}+rz_{3}^{2}-sz_{4}^{2}\\\hline z'_{i}=\alpha _{i1}z_{1}+\alpha _{i2}z_{2}+\alpha _{i3}z_{3}+\alpha _{i4}z_{4}\\{\scriptstyle {\begin{aligned}2\alpha _{11}\ {\text{or}}\ 2\alpha _{22}&=\alpha {\bar {\delta }}+\delta {\bar {\alpha }}\pm \beta {\bar {\gamma }}\pm \gamma {\bar {\beta }},&2\alpha _{33}\ {\text{or}}\ 2\alpha _{44}&=\alpha {\bar {\alpha }}+\delta {\bar {\delta }}\pm \beta {\bar {\beta }}\pm \gamma {\bar {\gamma }}\\{\frac {2\alpha _{12}{\sqrt {p}}}{i{\sqrt {p}}}}\ {\text{or}}\ {\frac {2\alpha _{21}i{\sqrt {p}}}{\sqrt {p}}}&=\alpha {\bar {\delta }}-{\bar {\delta }}\alpha \mp \beta {\bar {\gamma }}\pm \gamma {\bar {\beta }},&{\frac {2\alpha _{34}{\sqrt {r}}}{\sqrt {s}}}\ {\text{or}}\ {\frac {2\alpha _{43}{\sqrt {s}}}{\sqrt {r}}}&=\alpha {\bar {\alpha }}-\delta {\bar {\delta }}\pm \beta {\bar {\beta }}\pm \gamma {\bar {\gamma }}\\{\frac {2\alpha _{13}{\sqrt {p}}}{\sqrt {r}}}\ {\text{or}}\ {\frac {2\alpha _{24}i{\sqrt {p}}}{\sqrt {s}}}&=\alpha {\bar {\gamma }}-\delta {\bar {\beta }}\pm \gamma {\bar {\alpha }}\pm \beta {\bar {\delta }},&{\frac {2\alpha _{14}{\sqrt {p}}}{\sqrt {s}}}\ {\text{or}}\ {\frac {2\alpha _{23}i{\sqrt {q}}}{\sqrt {r}}}&=\alpha {\bar {\gamma }}+\delta {\bar {\beta }}\pm \gamma {\bar {\alpha }}\pm \beta {\bar {\delta }}\\{\frac {2\alpha _{31}{\sqrt {r}}}{\sqrt {p}}}\ {\text{or}}\ {\frac {2\alpha _{43}{\sqrt {s}}}{i{\sqrt {q}}}}&=\alpha {\bar {\beta }}-\delta {\bar {\gamma }}\pm \beta {\bar {\alpha }}\mp \gamma {\bar {\delta }},&{\frac {2\alpha _{41}{\sqrt {s}}}{\sqrt {p}}}\ {\text{or}}\ {\frac {2\alpha _{32}{\sqrt {r}}}{i{\sqrt {q}}}}&=\alpha {\bar {\beta }}+\delta {\bar {\gamma }}\pm \beta {\bar {\alpha }}\pm \gamma {\bar {\delta }}\end{aligned}}}\end{matrix}}}
By setting
p=q=r=s=1 , the first part is equivalent to Lorentz transformation (
6a ) and the second part to (
6b ).
Supported by Felix Klein, Fricke summarized his and Klein's work in a treatise concerning w:automorphic functions (1897). Using a sphere as the absolute, in which the interior of the sphere is denoted as hyperbolic space, they defined hyperbolic motions, and stressed that any hyperbolic motion corresponds to "circle relations" (now called Möbius transformations):[ M 7]
z
1
2
+
z
2
2
+
z
3
2
−
z
4
2
=
0
=
(
z
4
+
z
3
)
(
z
4
−
z
3
)
−
(
z
1
+
i
z
2
)
(
z
1
−
i
z
2
)
=
0
=
y
1
y
4
−
y
2
y
3
=
0
(
y
1
=
z
4
+
z
3
,
y
2
=
z
1
+
i
z
2
,
y
3
=
z
1
−
i
z
2
,
y
4
=
z
4
−
z
3
)
ζ
=
z
1
+
i
z
2
z
4
−
z
3
,
ζ
¯
=
z
1
−
i
z
2
z
4
−
z
3
ζ
′
=
α
ζ
+
β
γ
ζ
+
δ
,
ζ
¯
′
=
α
ζ
¯
+
β
¯
γ
ζ
¯
+
δ
¯
(
α
δ
−
β
γ
≠
0
)
z
1
:
z
2
:
z
3
z
4
=
(
ζ
+
ζ
¯
)
:
−
i
(
ζ
−
ζ
¯
)
:
(
ζ
ζ
¯
−
1
)
:
(
ζ
ζ
¯
+
1
)
y
1
:
y
2
:
y
3
y
4
=
ζ
ζ
¯
:
ζ
:
ζ
¯
:
1
=
ζ
1
ζ
¯
1
:
ζ
1
ζ
¯
2
:
ζ
2
ζ
¯
1
:
ζ
2
ζ
¯
2
(
ζ
=
ζ
1
:
ζ
2
,
ζ
¯
=
ζ
¯
1
:
ζ
¯
2
)
y
1
′
=
α
α
¯
y
1
+
α
β
¯
y
2
+
β
α
¯
y
3
+
β
β
¯
y
4
y
2
′
=
α
γ
¯
y
1
+
α
δ
¯
y
2
+
β
γ
¯
y
3
+
β
δ
¯
y
4
y
3
′
=
γ
α
¯
y
1
+
γ
β
¯
y
2
+
δ
α
¯
y
3
+
δ
β
¯
y
4
y
4
′
=
γ
γ
¯
y
1
+
γ
δ
¯
y
2
+
δ
γ
¯
y
3
+
δ
δ
¯
y
4
{\displaystyle {\begin{matrix}z_{1}^{2}+z_{2}^{2}+z_{3}^{2}-z_{4}^{2}=0\\=(z_{4}+z_{3})(z_{4}-z_{3})-(z_{1}+iz_{2})(z_{1}-iz_{2})=0\\=y_{1}y_{4}-y_{2}y_{3}=0\\\left(y_{1}=z_{4}+z_{3},\ y_{2}=z_{1}+iz_{2},\ y_{3}=z_{1}-iz_{2},\ y_{4}=z_{4}-z_{3}\right)\\\zeta ={\frac {z_{1}+iz_{2}}{z_{4}-z_{3}}},\ {\bar {\zeta }}={\frac {z_{1}-iz_{2}}{z_{4}-z_{3}}}\\\zeta '={\frac {\alpha \zeta +\beta }{\gamma \zeta +\delta }},\ {\bar {\zeta }}'={\frac {{\overline {\alpha \zeta }}+{\bar {\beta }}}{{\overline {\gamma \zeta }}+{\bar {\delta }}}}\quad (\alpha \delta -\beta \gamma \neq 0)\\z_{1}:z_{2}:z_{3}z_{4}=(\zeta +{\bar {\zeta }}):-i(\zeta -{\bar {\zeta }}):(\zeta {\bar {\zeta }}-1):(\zeta {\bar {\zeta }}+1)\\y_{1}:y_{2}:y_{3}y_{4}=\zeta {\bar {\zeta }}:\zeta :{\bar {\zeta }}:1=\zeta _{1}{\bar {\zeta }}_{1}:\zeta _{1}{\bar {\zeta }}_{2}:\zeta _{2}{\bar {\zeta }}_{1}:\zeta _{2}{\bar {\zeta }}_{2}\\\left(\zeta =\zeta _{1}:\zeta _{2},\ {\bar {\zeta }}={\bar {\zeta }}_{1}:{\bar {\zeta }}_{2}\right)\\\hline {\begin{aligned}y_{1}^{\prime }&=\alpha {\bar {\alpha }}y_{1}+\alpha {\bar {\beta }}y_{2}+\beta {\bar {\alpha }}y_{3}+\beta {\bar {\beta }}y_{4}\\y_{2}^{\prime }&=\alpha {\bar {\gamma }}y_{1}+\alpha {\bar {\delta }}y_{2}+\beta {\bar {\gamma }}y_{3}+\beta {\bar {\delta }}y_{4}\\y_{3}^{\prime }&=\gamma {\bar {\alpha }}y_{1}+\gamma {\bar {\beta }}y_{2}+\delta {\bar {\alpha }}y_{3}+\delta {\bar {\beta }}y_{4}\\y_{4}^{\prime }&=\gamma {\bar {\gamma }}y_{1}+\gamma {\bar {\delta }}y_{2}+\delta {\bar {\gamma }}y_{3}+\delta {\bar {\delta }}y_{4}\end{aligned}}\end{matrix}}}
This is equivalent to Lorentz transformation (
6a ).
In a thesis supervised by Felix Klein, w:Frederick S. Woods (1895) further developed Bianchi's (1888) treatment of surfaces satisfying the Lorentz interval (pseudominimal surface), and used the transformation of Gauss (1800/63) and Bianchi (1888) while discussing automorphisms of that surface:[ M 33]
x
2
+
y
2
−
z
2
=
0
;
x
2
+
y
2
−
z
2
=
−
1
(
x
,
y
,
z
)
⇒
ω
ω
1
′
=
α
ω
1
+
β
ω
2
ω
2
′
=
γ
ω
1
+
δ
ω
2
(
α
δ
−
β
γ
=
1
)
x
′
=
(
−
1
)
k
[
α
2
−
β
2
−
γ
2
+
δ
2
2
x
+
(
γ
δ
−
α
β
)
y
+
−
α
2
−
β
2
+
γ
2
+
δ
2
2
z
]
+
c
1
y
′
=
(
−
1
)
k
[
(
β
δ
−
α
γ
)
x
+
(
α
δ
+
β
γ
)
y
+
(
β
δ
+
α
γ
)
z
]
+
c
2
z
′
=
(
−
1
)
k
[
−
α
2
+
β
2
−
γ
2
+
δ
2
2
x
+
(
α
β
+
γ
δ
)
y
+
α
2
+
β
2
+
γ
2
+
δ
2
2
z
]
+
c
3
{\displaystyle {\begin{matrix}x^{2}+y^{2}-z^{2}=0;\quad x^{2}+y^{2}-z^{2}=-1\\\hline \left(x,y,z\right)\Rightarrow \omega \\{\begin{aligned}\omega _{1}^{\prime }&=\alpha \omega _{1}+\beta \omega _{2}\\\omega _{2}^{\prime }&=\gamma \omega _{1}+\delta \omega _{2}\end{aligned}}\quad (\alpha \delta -\beta \gamma =1)\\\hline {\begin{aligned}x'&=(-1)^{k}\left[{\frac {\alpha ^{2}-\beta ^{2}-\gamma ^{2}+\delta ^{2}}{2}}x+(\gamma \delta -\alpha \beta )y+{\frac {-\alpha ^{2}-\beta ^{2}+\gamma ^{2}+\delta ^{2}}{2}}z\right]+c_{1}\\y'&=(-1)^{k}\left[(\beta \delta -\alpha \gamma )x+(\alpha \delta +\beta \gamma )y+(\beta \delta +\alpha \gamma )z\right]+c_{2}\\z'&=(-1)^{k}\left[{\frac {-\alpha ^{2}+\beta ^{2}-\gamma ^{2}+\delta ^{2}}{2}}x+(\alpha \beta +\gamma \delta )y+{\frac {\alpha ^{2}+\beta ^{2}+\gamma ^{2}+\delta ^{2}}{2}}z\right]+c_{3}\end{aligned}}\end{matrix}}}
The expressions within the brackets are equivalent to Lorentz transformations (
6e ), containing Lorentz boost (
6f ) as a special case with
β
=
γ
=
0
{\displaystyle \beta =\gamma =0}
and
δ
=
1
/
α
{\displaystyle \delta =1/\alpha }
.
Herglotz (1909/10) – Special relativity
edit
Already in the context of special relativity, w:Gustav Herglotz (1909/10) followed Klein (1889–1897) as well as Fricke & Klein (1897) concerning the Cayley absolute, hyperbolic motion and its transformation, and classified the one-parameter Lorentz transformations as loxodromic, hyperbolic, parabolic and elliptic. He provided the general case (on the left) and the hyperbolic substitution (on the right) as follows:[ R 1]