A gyrovector space is a mathematical concept proposed by Abraham A. Ungar for studying hyperbolic geometry in analogy to the way vector spaces are used in Euclidean geometry. Ungar introduced the concept of gyrovectors that have addition based on gyrogroups instead of vectors which have addition based on groups. Ungar developed his concept as a tool for the formulation of special relativity as an alternative to the use of Lorentz transformations to represent compositions of velocities (also called boosts – "boosts" are aspects of relative velocities, and should not be conflated with "translations"). This is achieved by introducing "gyro operators"; two 3d velocity vectors are used to construct an operator, which acts on another 3d velocity.
Name Gyrogroups are weakly associative group-like structures. Ungar proposed the term gyrogroup for what he called a gyrocommutative-gyrogroup, with the term gyrogroup being reserved for the non-gyrocommutative case, in analogy with groups vs. abelian groups. Gyrogroups are a type of Bol loop. Gyrocommutative gyrogroups are equivalent to K-loops although defined differently. The terms Bruck loop and dyadic symset are also in use.
Mathematics of gyrovector spaces
Gyrogroups
Axioms A gyrogroup (G, ⊕ {\displaystyle \oplus } ) consists of an underlying set G and a binary operation ⊕ {\displaystyle \oplus } satisfying the following axioms:
In G there is at least one element 0 called a left identity with 0 ⊕ {\displaystyle \oplus } a = a for all a in G. For each a in G there is an element ⊖ {\displaystyle \ominus } a in G called a left inverse of a with ( ⊖ {\displaystyle \ominus } a) ⊕ {\displaystyle \oplus } a = 0. For any a, b, c in G there exists a unique element gyr[a,b]c in G such that the binary operation obeys the left gyroassociative law: a ⊕ {\displaystyle \oplus } (b ⊕ {\displaystyle \oplus } c) = (a ⊕ {\displaystyle \oplus } b) ⊕ {\displaystyle \oplus } gyr[a,b]c The map gyr[a,b]: G → G given by c ↦ gyr[a,b]c is an automorphism of the magma (G, ⊕ {\displaystyle \oplus } ) – that is, gyr[a,b] is a member of Aut(G, ⊕ {\displaystyle \oplus } ) and the automorphism gyr[a,b] of G is called the gyroautomorphism of G generated by a, b in G. The operation gyr: G × G → Aut(G, ⊕ {\displaystyle \oplus } ) is called the gyrator of G. The gyroautomorphism gyr[a,b] has the left loop property gyr[a,b] = gyr[a ⊕ {\displaystyle \oplus } b,b] The first pair of axioms are like the group axioms. The last pair present the gyrator axioms and the middle axiom links the two pairs. Since a gyrogroup has inverses and an identity it qualifies as a quasigroup and a loop. Gyrogroups are a generalization of groups. Every group is an example of a gyrogroup with gyr[a,b] defined as the identity map for all a and b in G. An example of a finite gyrogroup is given in .
Identities Some identities which hold in any gyrogroup (G, ⊕ {\displaystyle \oplus } ) are:
g y r [ u , v ] w = ⊖ ( u ⊕ v ) ⊕ ( u ⊕ ( v ⊕ w ) ) {\displaystyle \mathrm {gyr} [\mathbf {u} ,\mathbf {v} ]\mathbf {w} =\ominus (\mathbf {u} \oplus \mathbf {v} )\oplus (\mathbf {u} \oplus (\mathbf {v} \oplus \mathbf {w} ))} (gyration)
u ⊕ ( v ⊕ w ) = ( u ⊕ v ) ⊕ g y r [ u , v ] w {\displaystyle \mathbf {u} \oplus (\mathbf {v} \oplus \mathbf {w} )=(\mathbf {u} \oplus \mathbf {v} )\oplus \mathrm {gyr} [\mathbf {u} ,\mathbf {v} ]\mathbf {w} } (left associativity)
( u ⊕ v ) ⊕ w = u ⊕ ( v ⊕ g y r [ v , u ] w ) {\displaystyle (\mathbf {u} \oplus \mathbf {v} )\oplus \mathbf {w} =\mathbf {u} \oplus (\mathbf {v} \oplus \mathrm {gyr} [\mathbf {v} ,\mathbf {u} ]\mathbf {w} )} (right associativity) Furthermore, one may prove the Gyration inversion law, which is the motivation for the definition of gyrocommutativity below:
⊖ ( u ⊕ v ) = g y r [ u , v ] ( ⊖ v ⊖ u ) {\displaystyle \ominus (\mathbf {u} \oplus \mathbf {v} )=\mathrm {gyr} [\mathbf {u} ,\mathbf {v} ](\ominus \mathbf {v} \ominus \mathbf {u} )} (gyration inversion law) Some additional theorems satisfied by the Gyration group of any gyrogroup include:
g y r [ 0 , u ] = g y r [ u , u ] = g y r [ ⊖ u , u ] = I {\displaystyle \mathrm {gyr} [\mathbf {0} ,\mathbf {u} ]=\mathrm {gyr} [\mathbf {u} ,\mathbf {u} ]=\mathrm {gyr} [\ominus \mathbf {u} ,\mathbf {u} ]=I} (identity gyrations)
g y r − 1 [ u , v ] = g y r [ v , u ] {\displaystyle \mathrm {gyr} ^{-1}[\mathbf {u} ,\mathbf {v} ]=\mathrm {gyr} [\mathbf {v} ,\mathbf {u} ]} (gyroautomorphism inversion law)
g y r [ ⊖ u , ⊖ v ] = g y r [ u , v ] {\displaystyle \mathrm {gyr} [\ominus \mathbf {u} ,\ominus \mathbf {v} ]=\mathrm {gyr} [\mathbf {u} ,\mathbf {v} ]} (gyration even property)
g y r [ u , v ] = g y r [ u , v ⊕ u ] {\displaystyle \mathrm {gyr} [\mathbf {u} ,\mathbf {v} ]=\mathrm {gyr} [\mathbf {u} ,\mathbf {v} \oplus \mathbf {u} ]} (right loop property)
g y r [ u , v ] = g y r [ u ⊕ v , v ] {\displaystyle \mathrm {gyr} [\mathbf {u} ,\mathbf {v} ]=\mathrm {gyr} [\mathbf {u} \oplus \mathbf {v} ,\mathbf {v} ]} (left loop property) More identities given on page 50 of . One particularly useful consequence of the above identities is that Gyrogroups satisfy the left Bol property
( u ⊕ ( v ⊕ u ) ) ⊕ w = u ⊕ ( v ⊕ ( u ⊕ w ) ) {\displaystyle (\mathbf {u} \oplus (\mathbf {v} \oplus \mathbf {u} ))\oplus \mathbf {w} =\mathbf {u} \oplus (\mathbf {v} \oplus (\mathbf {u} \oplus \mathbf {w} ))}
Gyrocommutativity A gyrogroup (G, ⊕ {\displaystyle \oplus } ) is gyrocommutative if its binary operation obeys the gyrocommutative law: a ⊕ {\displaystyle \oplus } b = gyr[a,b](b ⊕ {\displaystyle \oplus } a). For relativistic velocity addition, this formula showing the role of rotation relating a + b and b + a was published in 1914 by Ludwik Silberstein.
Coaddition In every gyrogroup, a second operation can be defined called coaddition: a ⊞ {\displaystyle \boxplus } b = a ⊕ {\displaystyle \oplus } gyr[a, ⊖ {\displaystyle \ominus } b]b for all a, b ∈ G. Coaddition is commutative if the gyrogroup addition is gyrocommutative.
Beltrami–Klein disc/ball model and Einstein addition Relativistic velocities can be considered as points in the Beltrami–Klein model of hyperbolic geometry and so vector addition in the Beltrami–Klein model can be given by the velocity addition formula. In order for the formula to generalize to vector addition in hyperbolic space of dimensions greater than 3, the formula must be written in a form that avoids use of the cross product in favour of the dot product. In the general case, the Einstein velocity addition of two velocities u {\displaystyle \mathbf {u} } and v {\displaystyle \mathbf {v} } is given in coordinate-independent form as:
u ⊕ E v = 1 1 + u ⋅ v c 2 { u + 1 γ u v + 1 c 2 γ u 1 + γ u ( u ⋅ v ) u } {\displaystyle \mathbf {u} \oplus _{E}\mathbf {v} ={\frac {1}{1+{\frac {\mathbf {u} \cdot \mathbf {v} }{c^{2}}}}}\left\{\mathbf {u} +{\frac {1}{\gamma _{\mathbf {u} }}}\mathbf {v} +{\frac {1}{c^{2}}}{\frac {\gamma _{\mathbf {u} }}{1+\gamma _{\mathbf {u} }}}(\mathbf {u} \cdot \mathbf {v} )\mathbf {u} \right\}}
where γ u {\displaystyle \gamma _{\mathbf {u} }} is the gamma factor given by the equation γ u = 1 1 − | u | 2 c 2 {\displaystyle \gamma _{\mathbf {u} }={\frac {1}{\sqrt {1-{\frac {|\mathbf {u} |^{2}}{c^{2}}}}}}} . Using coordinates this becomes:
( w 1 w 2 w 3 ) = 1 1 + u 1 v 1 + u 2 v 2 + u 3 v 3 c 2 { [ 1 + 1 c 2 γ u 1 + γ u ( u 1 v 1 + u 2 v 2 + u 3 v 3 ) ] ( u 1 u 2 u 3 ) + 1 γ u ( v 1 v 2 v 3 ) } {\displaystyle {\begin{pmatrix}w_{1}\\w_{2}\\w_{3}\\\end{pmatrix}}={\frac {1}{1+{\frac {u_{1}v_{1}+u_{2}v_{2}+u_{3}v_{3}}{c^{2}}}}}\left\{\left[1+{\frac {1}{c^{2}}}{\frac {\gamma _{\mathbf {u} }}{1+\gamma _{\mathbf {u} }}}(u_{1}v_{1}+u_{2}v_{2}+u_{3}v_{3})\right]{\begin{pmatrix}u_{1}\\u_{2}\\u_{3}\\\end{pmatrix}}+{\frac {1}{\gamma _{\mathbf {u} }}}{\begin{pmatrix}v_{1}\\v_{2}\\v_{3}\\\end{pmatrix}}\right\}}
where γ u = 1 1 − u 1 2 + u 2 2 + u 3 2 c 2 {\displaystyle \gamma _{\mathbf {u} }={\frac {1}{\sqrt {1-{\frac {u_{1}^{2}+u_{2}^{2}+u_{3}^{2}}{c^{2}}}}}}} . Einstein velocity addition is commutative and associative only when u {\displaystyle \mathbf {u} } and v {\displaystyle \mathbf {v} } are parallel. In fact
u ⊕ v = g y r [ u , v ] ( v ⊕ u ) {\displaystyle \mathbf {u} \oplus \mathbf {v} =\mathrm {gyr} [\mathbf {u} ,\mathbf {v} ](\mathbf {v} \oplus \mathbf {u} )}
and
u ⊕ ( v ⊕ w ) = ( u ⊕ v ) ⊕ g y r [ u , v ] w {\displaystyle \mathbf {u} \oplus (\mathbf {v} \oplus \mathbf {w} )=(\mathbf {u} \oplus \mathbf {v} )\oplus \mathrm {gyr} [\mathbf {u} ,\mathbf {v} ]\mathbf {w} }
where "gyr" is the mathematical abstraction of Thomas precession into an operator called Thomas gyration and given by
g y r [ u , v ] w = ⊖ ( u ⊕ v ) ⊕ ( u ⊕ ( v ⊕ w ) ) {\displaystyle \mathrm {gyr} [\mathbf {u} ,\mathbf {v} ]\mathbf {w} =\ominus (\mathbf {u} \oplus \mathbf {v} )\oplus (\mathbf {u} \oplus (\mathbf {v} \oplus \mathbf {w} ))}
for all w. Thomas precession has an interpretation in hyperbolic geometry as the negative hyperbolic triangle defect.
Lorentz transformation composition If the 3 × 3 matrix form of the rotation applied to 3-coordinates is given by gyr[u,v], then the 4 × 4 matrix rotation applied to 4-coordinates is given by:
G y r [ u , v ] = ( 1 0 0 g y r [ u , v ] ) {\displaystyle \mathrm {Gyr} [\mathbf {u} ,\mathbf {v} ]={\begin{pmatrix}1&0\\0&\mathrm {gyr} [\mathbf {u} ,\mathbf {v} ]\end{pmatrix}}} . The composition of two Lorentz boosts B(u) and B(v) of velocities u and v is given by:
B ( u ) B ( v ) = B ( u ⊕ v ) G y r [ u , v ] = G y r [ u , v ] B ( v ⊕ u ) {\displaystyle B(\mathbf {u} )B(\mathbf {v} )=B(\mathbf {u} \oplus \mathbf {v} )\mathrm {Gyr} [\mathbf {u} ,\mathbf {v} ]=\mathrm {Gyr} [\mathbf {u} ,\mathbf {v} ]B(\mathbf {v} \oplus \mathbf {u} )}
This fact that either B(u ⊕ {\displaystyle \oplus } v) or B(v ⊕ {\displaystyle \oplus } u) can be used depending whether you write the rotation before or after explains the velocity composition paradox. The composition of two Lorentz transformations L(u,U) and L(v,V) which include rotations U and V is given by:
L ( u , U ) L ( v , V ) = L ( u ⊕ U v , g y r [ u , U v ] U V ) {\displaystyle L(\mathbf {u} ,U)L(\mathbf {v} ,V)=L(\mathbf {u} \oplus U\mathbf {v} ,\mathrm {gyr} [\mathbf {u} ,U\mathbf {v} ]UV)}
In the above, a boost can be represented as a 4 × 4 matrix. The boost matrix B(v) means the boost B that uses the components of v, i.e. v1, v2, v3 in the entries of the matrix, or rather the components of v/c in the representation that is used in the section Lorentz transformation#Matrix forms. The matrix entries depend on the components of the 3-velocity v, and that's what the notation B(v) means. It could be argued that the entries depend on the components of the 4-velocity because 3 of the entries of the 4-velocity are the same as the entries of the 3-velocity, but the usefulness of parameterizing the boost by 3-velocity is that the resultant boost you get from the composition of two boosts uses the components of the 3-velocity composition u ⊕ {\displaystyle \oplus } v in the 4 × 4 matrix B(u ⊕ {\displaystyle \oplus } v). But the resultant boost also needs to be multiplied by a rotation matrix because boost composition (i.e. the multiplication of two 4 × 4 matrices) results not in a pure boost but a boost and a rotation, i.e. a 4 × 4 matrix that corresponds to the rotation Gyr[u,v] to get B(u)B(v) = B(u ⊕ {\displaystyle \oplus } v)Gyr[u,v] = Gyr[u,v]B(v ⊕ {\displaystyle \oplus } u).
Einstein gyrovector spaces Let s be any positive constant, let (V,+,.) be any real inner product space and let Vs={v ∈ V :|v|<s}. An Einstein gyrovector space (Vs, ⊕ {\displaystyle \oplus } , ⊗ {\displaystyle \otimes } ) is an Einstein gyrogroup (Vs, ⊕ {\displaystyle \oplus } ) with scalar multiplication given by r ⊗ {\displaystyle \otimes } v = s tanh(r tanh−1(|v|/s))v/|v| where r is any real number, v ∈ Vs, v ≠ 0 and r ⊗ {\displaystyle \otimes } 0 = 0 with the notation v ⊗ {\displaystyle \otimes } r = r ⊗ {\displaystyle \otimes } v. Einstein scalar multiplication does not distribute over Einstein addition except when the gyrovectors are colinear (monodistributivity), but it has other properties of vector spaces: For any positive integer n and for all real numbers r,r1,r2 and v ∈ Vs:
Poincaré disc/ball model and Möbius addition The Möbius transformation of the open unit disc in the complex plane is given by the polar decomposition
z → e i θ a + z 1 + a z ¯ {\displaystyle z\to {e^{i\theta }}{\frac {a+z}{1+a{\bar {z}}}}} which can be written as e i θ ( a ⊕ M z ) {\displaystyle e^{i\theta }{(a\oplus _{M}{z})}} which defines the Möbius addition a ⊕ M z = a + z 1 + a z ¯ {\displaystyle {a\oplus _{M}{z}}={\frac {a+z}{1+a{\bar {z}}}}} . To generalize this to higher dimensions the complex numbers are considered as vectors in the plane R 2 {\displaystyle \mathbf {\mathrm {R} } ^{2}} , and Möbius addition is rewritten in vector form as:
u ⊕ M v = ( 1 + 2 s 2 u ⋅ v + 1 s 2 | v | 2 ) u + ( 1 − 1 s 2 | u | 2 ) v 1 + 2 s 2 u ⋅ v + 1 s 4 | u | 2 | v | 2 {\displaystyle \mathbf {u} \oplus _{M}\mathbf {v} ={\frac {(1+{\frac {2}{s^{2}}}\mathbf {u} \cdot \mathbf {v} +{\frac {1}{s^{2}}}|\mathbf {v} |^{2})\mathbf {u} +(1-{\frac {1}{s^{2}}}|\mathbf {u} |^{2})\mathbf {v} }{1+{\frac {2}{s^{2}}}\mathbf {u} \cdot \mathbf {v} +{\frac {1}{s^{4}}}|\mathbf {u} |^{2}|\mathbf {v} |^{2}}}}
This gives the vector addition of points in the Poincaré ball model of hyperbolic geometry where radius s=1 for the complex unit disc now becomes any s>0.
Möbius gyrovector spaces Let s be any positive constant, let (V,+,.) be any real inner product space and let Vs={v ∈ V :|v|<s}. A Möbius gyrovector space (Vs, ⊕ {\displaystyle \oplus } , ⊗ {\displaystyle \otimes } ) is a Möbius gyrogroup (Vs, ⊕ {\displaystyle \oplus } ) with scalar multiplication given by r ⊗ {\displaystyle \otimes } v = s tanh(r tanh−1(|v|/s))v/|v| where r is any real number, v ∈ Vs, v ≠ 0 and r ⊗ {\displaystyle \otimes } 0 = 0 with the notation v ⊗ {\displaystyle \otimes } r = r ⊗ {\displaystyle \otimes } v. Möbius scalar multiplication coincides with Einstein scalar multiplication (see section above) and this stems from Möbius addition and Einstein addition coinciding for vectors that are parallel.
Proper velocity space model and proper velocity addition A proper velocity space model of hyperbolic geometry is given by proper velocities with vector addition given by the proper velocity addition formula:
u ⊕ U v = u + v + { β u 1 + β u u ⋅ v c 2 + 1 − β v β v } u {\displaystyle \mathbf {u} \oplus _{U}\mathbf {v} =\mathbf {u} +\mathbf {v} +\left\{{\frac {\beta _{\mathbf {u} }}{1+\beta _{\mathbf {u} }}}{\frac {\mathbf {u} \cdot \mathbf {v} }{c^{2}}}+{\frac {1-\beta _{\mathbf {v} }}{\beta _{\mathbf {v} }}}\right\}\mathbf {u} }
where β w {\displaystyle \beta _{\mathbf {w} }} is the beta factor given by β w = 1 1 + | w | 2 c 2 {\displaystyle \beta _{\mathbf {w} }={\frac {1}{\sqrt {1+{\frac {|\mathbf {w} |^{2}}{c^{2}}}}}}} . This formula provides a model that uses a whole space compared to other models of hyperbolic geometry which use discs or half-planes. A proper velocity gyrovector space is a real inner product space V, with the proper velocity gyrogroup addition ⊕ U {\displaystyle \oplus _{U}} and with scalar multiplication defined by r ⊗ {\displaystyle \otimes } v = s sinh(r sinh−1(|v|/s))v/|v| where r is any real number, v