Gyrovector
   HOME

TheInfoList



OR:

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.Abraham A. Ungar (2005), "Analytic Hyperbolic Geometry: Mathematical Foundations and Applications", Published by World Scientific, , 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
boost Boost, boosted or boosting may refer to: Science, technology and mathematics * Boost, positive manifold pressure in turbocharged engines * Boost (C++ libraries), a set of free peer-reviewed portable C++ libraries * Boost (material), a material b ...
s – "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'', \oplus) consists of an underlying set ''G'' and a
binary operation In mathematics, a binary operation or dyadic operation is a rule for combining two elements (called operands) to produce another element. More formally, a binary operation is an operation of arity two. More specifically, an internal binary op ...
\oplus satisfying the following axioms: #In ''G'' there is at least one element 0 called a left identity with 0 \oplus ''a'' = ''a'' for all ''a'' in ''G''. #For each ''a'' in ''G'' there is an element \ominus''a'' in ''G'' called a left inverse of a with (\ominus''a'') \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'' \oplus (''b'' \oplus ''c'') = (''a'' \oplus ''b'') \oplus gyr 'a'',''b'''c'' #The map gyr 'a'',''b'' ''G'' → ''G'' given by ''c'' ↦ gyr 'a'',''b'''c'' is an
automorphism In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms ...
of the magma (''G'', \oplus) – that is, gyr 'a'',''b''is a member of Aut(''G'', \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'', \oplus) is called the gyrator of ''G''. #The gyroautomorphism gyr 'a'',''b''has the left
loop Loop or LOOP may refer to: Brands and enterprises * Loop (mobile), a Bulgarian virtual network operator and co-founder of Loop Live * Loop, clothing, a company founded by Carlos Vasquez in the 1990s and worn by Digable Planets * Loop Mobile, an ...
property gyr 'a'',''b''= gyr 'a'' \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 Loop or LOOP may refer to: Brands and enterprises * Loop (mobile), a Bulgarian virtual network operator and co-founder of Loop Live * Loop, clothing, a company founded by Carlos Vasquez in the 1990s and worn by Digable Planets * Loop Mobile, an ...
. 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'', \oplus) are: #\mathrm mathbf,\mathbfmathbf=\ominus(\mathbf \oplus \mathbf) \oplus (\mathbf \oplus (\mathbf \oplus \mathbf)) (gyration) #\mathbf \oplus (\mathbf \oplus \mathbf) = (\mathbf \oplus \mathbf)\oplus \mathrm mathbf,\mathbfmathbf (left associativity) #(\mathbf \oplus \mathbf) \oplus \mathbf = \mathbf \oplus (\mathbf\oplus \mathrm mathbf,\mathbfmathbf) (right associativity) Furthermore, one may prove the Gyration inversion law, which is the motivation for the definition of gyrocommutativity below: # \ominus (\mathbf \oplus \mathbf) = \mathrm mathbf,\mathbf(\ominus \mathbf \ominus \mathbf) (gyration inversion law) Some additional theorems satisfied by the Gyration group of any gyrogroup include: #\mathrm mathbf,\mathbf= \mathrm mathbf,\mathbf= \mathrm ominus \mathbf,\mathbf= I (identity gyrations) #\mathrm^ mathbf,\mathbf=\mathrm mathbf,\mathbf (gyroautomorphism inversion law) #\mathrm ominus \mathbf,\ominus \mathbf=\mathrm mathbf,\mathbf (gyration even property) #\mathrm mathbf,\mathbf=\mathrm mathbf,\mathbf \oplus \mathbf (right loop property) #\mathrm mathbf,\mathbf=\mathrm mathbf \oplus \mathbf,\mathbf (left loop property) More identities given on page 50 of Analytic hyperbolic geometry and Albert Einstein's special theory of relativity
Abraham A. Ungar, World Scientific, 2008,
. One particularly useful consequence of the above identities is that Gyrogroups satisfy the left Bol property #(\mathbf \oplus (\mathbf \oplus \mathbf)) \oplus \mathbf = \mathbf \oplus (\mathbf \oplus (\mathbf \oplus \mathbf))


Gyrocommutativity

A gyrogroup (G,\oplus) is ''gyrocommutative'' if its binary operation obeys the gyrocommutative law: ''a'' \oplus ''b'' = gyr 'a'',''b''''b'' \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'' \boxplus ''b'' = ''a'' \oplus gyr 'a'',\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 In relativistic physics, a velocity-addition formula is a three-dimensional equation that relates the velocities of objects in different reference frames. Such formulas apply to successive Lorentz transformations, so they also relate different fra ...
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 mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation on two vectors in a three-dimensional oriented Euclidean vector space (named here E), and is ...
in favour of the dot product. In the general case, the Einstein
velocity addition In relativistic physics, a velocity-addition formula is a three-dimensional equation that relates the velocities of objects in different reference frames. Such formulas apply to successive Lorentz transformations, so they also relate different fra ...
of two velocities \mathbf and \mathbf is given in coordinate-independent form as: :\mathbf \oplus_E \mathbf=\frac\left\ where \gamma_\mathbf is the gamma factor given by the equation \gamma_\mathbf=\frac. Using coordinates this becomes: :\beginw_1\\ w_2\\ w_3\\ \end=\frac\left\ where \gamma_\mathbf=\frac. Einstein velocity addition is commutative and
associative In mathematics, the associative property is a property of some binary operations, which means that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement f ...
''only'' when \mathbf and \mathbf are ''parallel''. In fact :\mathbf \oplus \mathbf=\mathrm mathbf,\mathbf\mathbf \oplus \mathbf) and :\mathbf \oplus (\mathbf \oplus \mathbf) = (\mathbf \oplus \mathbf)\oplus \mathrm mathbf,\mathbfmathbf where "gyr" is the mathematical abstraction of Thomas precession into an operator called Thomas gyration and given by :\mathrm mathbf,\mathbfmathbf=\ominus(\mathbf \oplus \mathbf) \oplus (\mathbf \oplus (\mathbf \oplus \mathbf)) 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: : \mathrm mathbf,\mathbf \begin 1 & 0 \\ 0 & \mathrm mathbf,\mathbf\end . The composition of two Lorentz boosts B(u) and B(v) of velocities u and v is given by:Ungar, A. A: The relativistic velocity composition paradox and the Thomas rotation. Found. Phys. 19, 1385–1396 (1989) :B(\mathbf)B(\mathbf)=B(\mathbf\oplus\mathbf)\mathrm mathbf,\mathbf\mathrm mathbf,\mathbf(\mathbf\oplus\mathbf) This fact that either B(u\oplusv) or B(v\oplusu) 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(\mathbf,U)L(\mathbf,V)=L(\mathbf\oplus U\mathbf, \mathrm mathbf,U\mathbfV) 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. ''v''1, ''v''2, ''v''3 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\oplusv in the 4 × 4 matrix B(u\oplusv). 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,vto get B(u)B(v) = B(u\oplusv)Gyr ''u,v= Gyr ''u,v(v\oplusu).


Einstein gyrovector spaces

Let s be any positive constant, let (V,+,.) be any real inner product space and let Vs=. An Einstein gyrovector space (''V''''s''\oplus\otimes) is an Einstein gyrogroup (''V''''s''\oplus) with scalar multiplication given by ''r''\otimesv = ''s'' tanh(''r'' tanh−1(, v, /''s''))v/, v, where ''r'' is any real number, v  ∈ ''V''''s'', v ≠ 0 and ''r'' \otimes 0 = 0 with the notation v \otimes ''r'' = ''r'' \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'',''r''1,''r''2 and v  ∈ ''V''''s':


Poincaré disc/ball model and Möbius addition

The
Möbius transformation In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form f(z) = \frac of one complex variable ''z''; here the coefficients ''a'', ''b'', ''c'', ''d'' are complex numbers satisfying ''ad'' ...
of the open unit disc in the
complex plane In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by the ...
is given by the polar decomposition :z\to which can be written as e^ which defines the Möbius addition = \frac. To generalize this to higher dimensions the complex numbers are considered as vectors in the plane \mathbf^2, and Möbius addition is rewritten in vector form as: :\mathbf \oplus_M \mathbf=\frac This gives the vector addition of points in the Poincaré ball model of hyperbolic geometry where 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=. A Möbius gyrovector space (''V''''s''\oplus\otimes) is a Möbius gyrogroup (''V''''s''\oplus) with scalar multiplication given by ''r'' \otimesv = ''s'' tanh(''r'' tanh−1(, v, /''s''))v/, v, where ''r'' is any real number, v  ∈ ''V''''s'', v ≠ 0 and ''r'' \otimes 0 = 0 with the notation v \otimes ''r'' = ''r'' \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:Thomas Precession: Its Underlying Gyrogroup Axioms and Their Use in Hyperbolic Geometry and Relativistic Physics, Abraham A. Ungar, Foundations of Physics, Vol. 27, No. 6, 1997 :\mathbf \oplus_U \mathbf=\mathbf+\mathbf+\left\ \mathbf where \beta_\mathbf is the beta factor given by \beta_\mathbf=\frac. 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 \oplus_U and with scalar multiplication defined by ''r'' \otimesv = ''s'' sinh(''r'' sinh−1(, v, /''s''))v/, v, where ''r'' is any real number, v  ∈ ''V'', v ≠ 0 and ''r'' \otimes 0 = 0 with the notation v \otimes ''r'' = ''r'' \otimes v.


Isomorphisms

A gyrovector space isomorphism preserves gyrogroup addition and scalar multiplication and the inner product. The three gyrovector spaces Möbius, Einstein and Proper Velocity are isomorphic. If M, E and U are Möbius, Einstein and Proper Velocity gyrovector spaces respectively with elements vm, ve and vu then the isomorphisms are given by: From this table the relation between \oplus_E and \oplus_M is given by the equations: \mathbf\oplus_E\mathbf=2\otimes\left(\right) \mathbf\oplus_M\mathbf=\frac\otimes\left(\right) This is related to the connection between Möbius transformations and Lorentz transformations.


Gyrotrigonometry

Gyrotrigonometry is the use of gyroconcepts to study hyperbolic triangles. Hyperbolic trigonometry as usually studied uses the hyperbolic functions cosh, sinh etc., and this contrasts with spherical trigonometry which uses the Euclidean trigonometric functions cos, sin, but with spherical triangle identities instead of ordinary plane triangle identities. Gyrotrigonometry takes the approach of using the ordinary trigonometric functions but in conjunction with gyrotriangle identities.


Triangle centers

The study of triangle centers traditionally is concerned with Euclidean geometry, but triangle centers can also be studied in hyperbolic geometry. Using gyrotrigonometry, expressions for trigonometric barycentric coordinates can be calculated that have the same form for both euclidean and hyperbolic geometry. In order for the expressions to coincide, the expressions must ''not'' encapsulate the specification of the anglesum being 180 degrees.Barycentric Calculus In Euclidean And Hyperbolic Geometry: A Comparative Introduction
, Abraham Ungar, World Scientific, 2010


Gyroparallelogram addition

Using gyrotrigonometry, a gyrovector addition can be found which operates according to the gyroparallelogram law. This is the coaddition to the gyrogroup operation. Gyroparallelogram addition is commutative. The gyroparallelogram law is similar to the parallelogram law in that a gyroparallelogram is a hyperbolic quadrilateral the two gyrodiagonals of which intersect at their gyromidpoints, just as a parallelogram is a Euclidean quadrilateral the two diagonals of which intersect at their midpoints.


Bloch vectors

Bloch vector In quantum mechanics and computing, the Bloch sphere is a geometrical representation of the pure state space of a two-level quantum mechanical system (qubit), named after the physicist Felix Bloch. Quantum mechanics is mathematically formulate ...
s which belong to the open unit ball of the Euclidean 3-space, can be studied with Einstein addition or Möbius addition.


Book reviews

A review of one of the earlier gyrovector books says the following:
"Over the years, there have been a handful of attempts to promote the non-Euclidean style for use in problem solving in relativity and electrodynamics, the failure of which to attract any substantial following, compounded by the absence of any positive results must give pause to anyone considering a similar undertaking. Until recently, no one was in a position to offer an improvement on the tools available since 1912. In his new book, Ungar furnishes the crucial missing element from the panoply of the non-Euclidean style: an elegant nonassociative algebraic formalism that fully exploits the structure of Einstein’s law of velocity composition."Scott Walter, Foundations of Physics 32:327–330 (2002).
A book review
,


Notes and references

*Domenico Giulini
Algebraic and geometric structures of Special Relativity
A Chapter in "Special Relativity: Will it Survive the Next 100 Years?", edited by Claus Lämmerzahl, Jürgen Ehlers, Springer, 2006.


Further reading

* * *Maks A. Akivis And Vladislav V. Goldberg (2006)

Bulletin of the AMS, Volume 43, Number 2 *Oğuzhan Demirel, Emine Soytürk (2008)
The Hyperbolic Carnot Theorem In The Poincare Disc Model Of Hyperbolic Geometry
Novi Sad J. Math. Vol. 38, No. 2, 2008, 33–39 *M Ferreira (2008), Spherical continuous wavelet transforms arising from sections of the Lorentz group, Applied and Computational Harmonic Analysis, Elsevier *T Foguel (2000), Comment. Math. Univ. Carolinae
Groups, transversals, and loops
*Yaakov Friedman (1994), "Bounded symmetric domains and the JB*-triple structure in physics", Jordan Algebras: Proceedings of the Conference Held in Oberwolfach, Germany, August 9–15, 1992, By Wilhelm Kaup, Kevin McCrimmon, Holger P. Petersson, Published by Walter de Gruyter, , *Florian Girelli, Etera R. Livine (2004)
Special Relativity as a non commutative geometry: Lessons for Deformed Special Relativity
Phys. Rev. D 81, 085041 (2010) *Sejong Kim, Jimmie Lawson (2011)
Smooth Bruck Loops, Symmetric Spaces, And Nonassociative Vector Spaces
Demonstratio Mathematica, Vol. XLIV, No 4 * Peter Levay (2003)
Mixed State Geometric Phase From Thomas Rotations
*Azniv Kasparian, Abraham A. Ungar, (2004) Lie Gyrovector Spaces, J. Geom. Symm. Phys *R Olah-Gal, J Sandor (2009)
On Trigonometric Proofs of the Steiner–Lehmus Theorem
Forum Geometricorum, 2009 – forumgeom.fau.edu *Gonzalo E. Reyes (2003), On the law of motion in Special Relativity *Krzysztof Rozga (2000), Pacific Journal of Mathematics, Vol. 193, No.
On Central Extensions Of Gyrocommutative Gyrogroups
*L.V. Sabinin (1995)
"On the gyrogroups of Hungar"
RUSS MATH SURV, 1995, 50 (5), 1095–1096. *L.V. Sabinin, L.L. Sabinina, Larissa Sbitneva (1998), '' Aequationes Mathematicae''
On the notion of gyrogroup
*L.V. Sabinin, Larissa Sbitneva, I.P. Shestakov (2006), "Non-associative Algebra and Its Applications",CRC Press,, *F. Smarandache, C. Barbu (2010)
The Hyperbolic Menelaus Theorem in The Poincaré Disc Model of Hyperbolic Geometry
*Roman Ulrich Sexl, Helmuth Kurt Urbantke, (2001), "Relativity, Groups, Particles: Special Relativity and Relativistic Symmetry in Field and Particle Physics", pages 141–142, Springer, ,


External links


Einstein's Special Relativity: The Hyperbolic Geometric Viewpoint
*{{cite document , citeseerx = 10.1.1.17.6107 , title = Hyperbolic Trigonometry and its Application in the Poincaré Ball Model of Hyperbolic Geometry , year = 2001 , pages = 6–19 Euclidean geometry Hyperbolic geometry Non-associative algebra Special relativity Quantum mechanics