Everipedia Logo
Everipedia is now IQ.wiki - Join the IQ Brainlist and our Discord for early access to editing on the new platform and to participate in the beta testing.
Versor

Versor

In mathematics, a versor is a quaternion of norm one (a unit quaternion).

Each versor has the form

where the r2 = −1 condition means that r is a unit-length vector quaternion (or that the first component of r is zero, and the last three components of r are a unit vector in 3 dimensions). In case a = π/2, the versor is termed a right versor.

The corresponding 3-dimensional rotation has the angle 2a about the axis r in axis–angle representation.

The word is derived from Latin versare = "to turn" with the suffix -or forming a noun from the verb (i.e. versor = "the turner"). It was introduced by William Rowan Hamilton in the context of his quaternion theory.

Presentation on 3- and 2-spheres

Hamilton denoted the versor of a quaternion q by the symbol Uq. He was then able to display the general quaternion in polar coordinate form

q = Tq Uq,

where Tq is the norm of q. The norm of a versor is always equal to one; hence they occupy the unit 3-sphere in H. Examples of versors include the eight elements of the quaternion group. Of particular importance are the right versors, which have angle π/2. These versors have zero scalar part, and so are vectors of length one (unit vectors). The right versors form a sphere of square roots of −1 in the quaternion algebra. The generators i, j, and k are examples of right versors, as well as their additive inverses. Other versors include the twenty-four Hurwitz quaternions that have the norm 1 and form vertices of a 24-cell polychoron.

Hamilton defined a quaternion as the quotient of two vectors. A versor can be defined as the quotient of two unit vectors. For any fixed plane Π the quotient of two unit vectors lying in Π depends only on the angle (directed) between them, the same a as in the unit vector–angle representation of a versor explained above. That's why it may be natural to understand corresponding versors as directed arcs that connect pairs of unit vectors and lie on a great circle formed by intersection of Π with the unit sphere, where the plane Π passes through the origin. Arcs of the same direction and length (or, the same, its subtended angle in radians) are equivalent, i.e. define the same versor.

Such an arc, although lying in the three-dimensional space, does not represent a path of a point rotating as described with the sandwiched product with the versor. Indeed, it represents the left multiplication action of the versor on quaternions that preserves the plane Π and the corresponding great circle of 3-vectors. The 3-dimensional rotation defined by the versor has the angle two times the arc's subtended angle, and preserves the same plane. It is a rotation about the corresponding vector r, that is perpendicular to Π.

On three unit vectors, Hamilton writes[1]

and

imply

Multiplication of quaternions of norm one corresponds to the (non-commutative) "addition" of great circle arcs on the unit sphere. Any pair of great circles either is the same circle or has two intersection points. Hence, one can always move the point B and the corresponding vector to one of these points such that the beginning of the second arc will be the same as the end of the first arc.

An equation

implicitly specifies the unit vector–angle representation for the product of two versors. Its solution is an instance of the general Campbell–Baker–Hausdorff formula in Lie group theory. As the 3-sphere represented by versors in ℍ is a 3-parameter Lie group, practice with versor compositions is a step into Lie theory. Evidently versors are the image of the exponential map applied to a ball of radius π in the quaternion subspace of vectors.

Versors compose as aforementioned vector arcs, and Hamilton referred to this group operation as "the sum of arcs", but as quaternions they simply multiply.

The geometry of elliptic space has been described as the space of versors.[2]

Representation of SO(3)

Theorthogonal groupin three dimensions,rotation group SO(3), is frequently interpreted with versors via theinner automorphismwhere u is a versor. Indeed, if
and vector s is perpendicular to r,

then

by calculation.[3] The planeis isomorphic to C and the inner automorphism, by commutivity, reduces to the identity mapping there. Since quaternions can be interpreted as an algebra of two complex dimensions, the rotationactioncan also be viewed through thespecial unitary groupSU(2).

For a fixed r, versors of the form exp(ar) where a ∈ (−π, π], form a subgroup isomorphic to the circle group. Orbits of the left multiplication action of this subgroup are fibers of a fiber bundle over the 2-sphere, known as Hopf fibration in the case r = i; other vectors give isomorphic, but not identical fibrations. In 2003 David W. Lyons[4] wrote "the fibers of the Hopf map are circles in S3" (page 95). Lyons gives an elementary introduction to quaternions to elucidate the Hopf fibration as a mapping on unit quaternions.

Versors have been used to represent rotations of the Bloch sphere with quaternion multiplication.[5]

Elliptic space

The facility of versors illustrateelliptic geometry, in particularelliptic space, a three-dimensional realm of rotations. The versors are the points of this elliptic space, though they refer torotations in 4-dimensional Euclidean space. Given two fixed versors u and v, the mappingis an elliptic motion. If one of the fixed versors is 1, then the motion is a Clifford translation of the elliptic space, named afterWilliam Kingdon Cliffordwho was a proponent of the space. An elliptic line through versor u isParallelism in the space is expressed byClifford parallels. One of the methods of viewing elliptic space uses theCayley transformto map the versors to ℝ3

Hyperbolic versor

A hyperbolic versor is a generalization of quaternionic versors to indefinite orthogonal groups, such as Lorentz group. It is defined as a quantity of the form

where

Such elements arise in algebras of mixed signature, for example split-complex numbers or split-quaternions. It was the algebra of tessarines discovered by James Cockle in 1848 that first provided hyperbolic versors. In fact, James Cockle wrote the above equation (with j in place of r) when he found that the tessarines included the new type of imaginary element.

This versor was used by Homersham Cox (1882/83) in relation to quaternion multiplication.[6][7] The primary exponent of hyperbolic versors was Alexander Macfarlane as he worked to shape quaternion theory to serve physical science.[8] He saw the modelling power of hyperbolic versors operating on the split-complex number plane, and in 1891 he introduced hyperbolic quaternions to extend the concept to 4-space. Problems in that algebra led to use of biquaternions after 1900. In a widely circulated review of 1899, Macfarlane said:

…the root of a quadratic equation may be versor in nature or scalar in nature. If it is versor in nature, then the part affected by the radical involves the axis perpendicular to the plane of reference, and this is so, whether the radical involves the square root of minus one or not. In the former case the versor is circular, in the latter hyperbolic.[9]
Today the concept of aone-parameter groupsubsumes the concepts of versor and hyperbolic versor as the terminology ofSophus Liehas replaced that of Hamilton and Macfarlane. In particular, for each **r** such that**r r** = +1or**r r** = −1, the mappingtakes thereal lineto a group of hyperbolic or ordinary versors. In the ordinary case, when **r** and **−r** areantipodeson a sphere, the one-parameter groups have the same points but are oppositely directed. In physics, this aspect ofrotational symmetryis termed adoublet.

In 1911 Alfred Robb published his Optical Geometry of Motion in which he identified the parameter rapidity which specifies a change in frame of reference. This rapidity parameter corresponds to the real variable in a one-parameter group of hyperbolic versors. With the further development of special relativity the action of a hyperbolic versor came to be called a Lorentz boost.

Lie theory

Sophus Lie was less that a year old when Hamilton first described quaternions, but Lie's name has become associated with all groups generated by exponentiation. The set of versors with their multiplication has been denoted Sl(1,q) by Robert Gilmore in his text on Lie theory.[10] Sl(1,q) is the special linear group of one dimension over quaternions, the "special" indicating that all elements are of norm one. The group is isomorphic to SU(2,c), a special unitary group, a frequently used designation since quaternions and versors are sometimes considered anachronistic for group theory. The special orthogonal group SO(3,r) of rotations in three dimensions is closely related: it is a 2:1 homomorphic image of SU(2,c).

The subspaceis called theLie algebraof the group of versors. The commutator productjust double thecross productof two vectors, forms the multiplication in the Lie algebra. The close relation to SU(1,c) and SO(3,r) is evident in the isomorphism of their Lie algebras.[10]

Lie groups that contain hyperbolic versors include the group on the unit hyperbola and the special unitary group SU(1,1).

See also

  • cis (mathematics) (cis(x) = cos(x) + i sin(x))

  • Quaternions and spatial rotation

  • Rotations in 4-dimensional Euclidean space

  • Turn (geometry)

References

[1]
Citation Linkopenlibrary.orgElements of Quaternions, 2nd edition, v. 1, p. 146
Sep 27, 2019, 3:34 PM
[2]
Citation Linkwww.ams.orgHarold Scott MacDonald Coxeter (1950) Review of "Quaternions and Elliptic Space" (by Georges Lemaître) from Mathematical Reviews
Sep 27, 2019, 3:34 PM
[3]
Citation Linken.wikibooks.orgRotation representation
Sep 27, 2019, 3:34 PM
[4]
Citation Linkportal.issn.orgLyons, David W. (April 2003), "An Elementary Introduction to the Hopf Fibration" (PDF), Mathematics Magazine, 76 (2): 87–98, CiteSeerX 10.1.1.583.3499, doi:10.2307/3219300, ISSN 0025-570X, JSTOR 3219300
Sep 27, 2019, 3:34 PM
[5]
Citation Linkmathscinet.ams.orgK. B. Wharton, D. Koch (2015) "Unit quaternions and the Bloch Sphere", Journal of Physics A 48(23) doi:10.1088/1751-8113/48/23/235302 MR3355237
Sep 27, 2019, 3:34 PM
[6]
Citation Linkarchive.orgCox, H. (1883) [1882]. "On the Application of Quaternions and Grassmann's Ausdehnungslehre to different kinds of Uniform Space". Transactions of the Cambridge Philosophical Society. 13: 69–143.
Sep 27, 2019, 3:34 PM
[7]
Citation Linkarchive.orgCox, H. (1883) [1882]. "On the Application of Quaternions and Grassmann's Ausdehnungslehre to different kinds of Uniform Space". Proc. Camb. Phil. Soc. 4: 194–196.
Sep 27, 2019, 3:34 PM
[8]
Citation Linkarchive.orgAlexander Macfarlane (1894) Papers on Space Analysis, especially papers #2, 3, & 5, B. Westerman, New York, weblink from archive.org
Sep 27, 2019, 3:34 PM
[9]
Citation Linkopenlibrary.orgScience, 9:326 (1899)
Sep 27, 2019, 3:34 PM
[10]
Citation Linkopenlibrary.orgRobert Gilmore (1974) Lie Groups, Lie Algebras and some of their Applications, chapter 5: Some simple examples, pages 120–35, Wiley ISBN 0-471-30179-5 Gilmore denotes the real, complex, and quaternion division algebras by r, c, and q, rather than the more common R, C, and H.
Sep 27, 2019, 3:34 PM
[11]
Citation Linkwww.maths.tcd.ieOn quaternions or a new system of imaginaries in algebra
Sep 27, 2019, 3:34 PM
[12]
Citation Linkwww.gutenberg.orgA Primer on Quaternions
Sep 27, 2019, 3:34 PM
[13]
Citation Linkwww.encyclopediaofmath.orgVersor
Sep 27, 2019, 3:34 PM
[14]
Citation Linkwww.biology-online.orghttp://www.biology-online.org/dictionary/versor
Sep 27, 2019, 3:34 PM
[15]
Citation Linkwww.thefreedictionary.comhttp://www.thefreedictionary.com/Versor
Sep 27, 2019, 3:34 PM
[16]
Citation Linkwww.itk.orgQuaternion tutorial
Sep 27, 2019, 3:34 PM
[17]
Citation Linkwww.ams.orgReview of "Quaternions and Elliptic Space"
Sep 27, 2019, 3:34 PM
[18]
Citation Linken.wikibooks.orgRotation representation
Sep 27, 2019, 3:34 PM
[19]
Citation Linkcsunix1.lvc.edu"An Elementary Introduction to the Hopf Fibration"
Sep 27, 2019, 3:34 PM
[20]
Citation Linkciteseerx.ist.psu.edu10.1.1.583.3499
Sep 27, 2019, 3:34 PM