World Library  
Flag as Inappropriate
Email this Article

Versor

Article Id: WHEBN0002644621
Reproduction Date:

Title: Versor  
Author: World Heritage Encyclopedia
Language: English
Subject: Geometric algebra, Lie group, Rotation group SO(3), Quaternion, Clifford parallel
Collection: Quaternions, Rotation in Three Dimensions, Spherical Trigonometry
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Versor

Versors are an algebraic parametrisation of rotations. In classical quaternion theory a versor is a quaternion of norm one (a unit quaternion).

Each versor has the form

q = \exp(a\mathbf{r}) = \cos a + \mathbf{r} \sin a, \quad \mathbf{r}^2 = -1, \quad a \in [0,\pi],

where the r2 = −1 condition means that r is a 3-dimensional unit vector. 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. For historical reasons, it sometimes is used synonymously with a "unit quaternion" without a reference to rotations.

Contents

  • Versors, rotations, and Lie groups 1
  • Presentation on 3- and 2-spheres 2
  • Hyperbolic versor 3
  • See also 4
  • Notes 5
  • References 6
  • External links 7

Versors, rotations, and Lie groups

In the quaternion algebra a versor q = \exp(a \mathbf{r}) will rotate any quaternion v through the sandwiching product map v \mapsto q v q^{-1} such that the scalar part of v conserves. If this scalar part (the fourth dimension of the quaternion space) is zero, i.e. v is a Euclidean vector in three dimensions, then the formula above defines the rotation through the angle 2a around the unit vector r. For this case, this formula expresses the adjoint representation of the Spin(3) Lie group in its respective Lie algebra of 3-dimensional Euclidean vectors, and the factor "2" is due to the double covering of Spin(3) over the rotation group SO(3). In other words, qvq−1 rotates the vector part of v around the vector r. See quaternions and spatial rotation for details.

A quaternionic versor expressed in the complex 2×2 matrix representation is an element of the special unitary group SU(2). Spin(3) and SU(2) are the same group. Left multiplication qv of a quaternion v to a versor q is another kind of quaternion rotation as a 4-dimensional real vector space, identical to the SU(2) action on the 2-dimensional complex space identical to quaternions (v = A + Bj). Angles of rotation in this λ = 1/2 representation are equal to a; there is no "2" factor in angles unlike the λ = 1 adjoint representation mentioned above; see representation theory of SU(2) for details.

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[1] 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.

Presentation on 3- and 2-spheres

arc AB + arc BC = arc AC

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 Π.

Two versors from orthogonal planes (such as i and 1/2(3 + j)) multiply in both orders, giving different products represented with different spherical triangles (green)

On three unit vectors, Hamilton writes[2]

q = \beta: \alpha = OB:OA \ and
q' = \gamma:\beta = OC:OB

imply

q' q = \gamma:\alpha = OC:OA .

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

\exp(c\mathbf{r}) \exp(a\mathbf{s}) = \exp(b\mathbf{t}) \!

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.[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

\exp(ar) = \cosh a + r \sinh a where r^2 = +1.

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.

The primary exponent of hyperbolic versors was Alexander Macfarlane as he worked to shape quaternion theory to serve physical science.[4] 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.[5]

Today the concept of a one-parameter group subsumes the concepts of versor and hyperbolic versor as the terminology of Sophus Lie has replaced that of Hamilton and Macfarlane. In particular, for each r such that r r = +1 or r r = −1, the mapping a \mapsto \exp(ar) takes the real line to a group of hyperbolic or ordinary versors. In the ordinary case, when r and −r are antipodal points on a sphere, the one-parameter groups have the same points but are oppositely directed. In physics, this aspect of rotational symmetry is termed a doublet.

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.

See also

Notes

  1. ^ Lyons, David W. (April 2003), "An Elementary Introduction to the Hopf Fibration" ( 
  2. ^ Elements of Quaternions, 2nd edition, v. 1, p. 146
  3. ^ Mathematical Reviews
  4. ^ archive.org
  5. ^ Science, 9:326 (1899)

References

  • William Rowan Hamilton (1844 to 1850) On quaternions or a new system of imaginaries in algebra, Philosophical Magazine, link to David R. Wilkins collection at Trinity College, Dublin.
  • W.R. Hamilton (1899) Elements of Quaternions, 2nd edition, edited by Charles Jasper Joly, Longmans Green & Company. See pp. 135–147.
  • A.S. Hardy (1887) Elements of Quaternions, pp. 71,2 "Representation of Versors by spherical arcs" and pp. 112–8 "Applications to Spherical Trigonometry".
  • Arthur Stafford Hathaway (1896) A Primer on Quaternions, Chapter 2: Turns, Rotations, Arc Steps, from Project Gutenberg
  • C.C. Silva & R.A. Martins (2002) "Polar and Axial Vectors versus Quaternions", American Journal of Physics 70:958. Section IV: Versors and unitary vectors in the system of quaternions. Section V: Versor and unitary vectors in vector algebra.
  • Pieter Molenbroeck (1891) Theorie der Quaternionen, Seite 48, "Darstellung der Versoren mittelst Bogen auf der Einheitskugel", Leiden: Brill.

External links

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.