quaternions

quaternions
Name	Quaternions
Caption	Unit quaternion representing a rotation
Introduced	1843
Inventor	William Rowan Hamilton
Field	Algebra, Mathematics
Applications	Computer graphics, Robotics, Aerospace engineering, Signal processing

quaternions are a number system that extends the complex numbers to four dimensions, combining a scalar part and a three-dimensional vector part. They form a noncommutative normed division algebra over the real numbers, widely used to represent rotations in three-dimensional space and to model spatial transformations in Computer graphics, Aerospace engineering, and Robotics. Their algebraic structure links to concepts in Group theory, Linear algebra, and Differential geometry.

Definition and algebraic properties

A quaternion is expressed as a + bi + cj + dk where a, b, c, d are elements of the real numbers and i, j, k are imaginary units satisfying i^2 = j^2 = k^2 = ijk = −1, yielding relations such as ij = k, ji = −k. The set of quaternions forms a four-dimensional associative algebra over the real numbers that is a division algebra by the Frobenius theorem, contrasting with the commutative fields of real numbers and complex numbers. The conjugation map q ↦ q̄ gives norm N(q) = q q̄, which is multiplicative and yields the inverse q^{-1} = q̄ / N(q) for nonzero q, tying to results by William Rowan Hamilton and later formalizations in algebraic structures studied by Élie Cartan, Hermann Weyl, and Emmy Noether.

History and development

Quaternions were discovered by William Rowan Hamilton in 1843 on a bridge in Dublin, an event commemorated by a plaque and later chronicled in histories of Irish science and mathematical biography. Early development involved correspondence and publications with contemporaries such as John T. Graves and Arthur Cayley, and influenced the emergence of matrix theory through work by James Joseph Sylvester and Augustin-Louis Cauchy. Applications and theoretical extensions were pursued in the late 19th and early 20th centuries by mathematicians including H. A. Lorentz, Hermann Grassmann, and Sophus Lie, and later integrated into modern physics by figures like Paul Dirac and Albert Einstein through connections with spinors and rotation groups like SO(3) and SU(2).

Representation and notation

Quaternions are often written in scalar–vector form q = (s, v) with s ∈ R and v ∈ R^3, a notation popularized in applied contexts by authors such as Jack B. Kuipers and Ken Shoemake. Component notation uses a, b, c, d or s, x, y, z; alternative matrix representations use 2×2 complex matrices or 4×4 real matrices linking to formulations by William Rowan Hamilton and later expositions in texts by Gilbert Strang and Roger Penrose. Unit quaternions correspond to elements of the Lie group SU(2), covering the rotation group SO(3), a fact emphasized in treatments by Élie Cartan and presented in modern textbooks by H.S.M. Coxeter and Michael Spivak.

Arithmetic and operations

Addition and scalar multiplication of quaternions act componentwise as with vectors in R^4, while multiplication is noncommutative and determined by the fundamental relations among i, j, k. Conjugation reverses the sign of the vector part, and the norm provides a multiplicative absolute value enabling division by nonzero quaternions. The set of unit quaternions forms a multiplicative group isomorphic to SU(2), related to representation theory studied by Hermann Weyl and Élie Cartan, and multiplication implements composition of rotations, a property exploited in engineering by practitioners such as James R. Wertz and B. Siciliano.

Matrix and linear representations

Quaternions admit faithful matrix representations: as 2×2 complex matrices via the isomorphism H ⊗ C ≅ M_2(C) and as 4×4 real matrices acting on R^4, connecting to work by Arthur Cayley on matrices and later expositions in linear algebra by Carl Friedrich Gauss and David Hilbert. The identification of unit quaternions with SU(2) provides a bridge to representation theory and quantum mechanics in expositions by Paul Dirac and Eugene Wigner. Left- and right-multiplication give linear operators on R^4, and quaternionic linear algebra has specialized results developed in the literature by G. W. Mackey and Alan Turing-era contemporaries working on computation models.

Geometric interpretation and applications

Geometrically, unit quaternions represent rotations of three-dimensional Euclidean space via the double cover SU(2) → SO(3), an insight used by E. T. Whittaker and widely applied in Computer graphics by developers and researchers including Ed Catmull and John Carmack. In Robotics, quaternions parameterize orientations for kinematics and control systems in work by Oussama Khatib and Seth Hutchinson. In Aerospace engineering they are central to attitude representation and control as presented in classical references by Cornelius Lanczos and Bryson & Ho. Connections to spinors link quaternions to Paul Dirac’s formulation of spin-1/2 particles and to geometric algebra treatments by David Hestenes.

Computing and numerical methods

Quaternions are numerically stable for interpolation and composition of rotations, with algorithms like spherical linear interpolation (slerp) introduced by Ken Shoemake and employed in animation pipelines by studios such as Pixar and Industrial Light & Magic. Numerical integration, normalization, and filtering for quaternion-valued signals are used in inertial navigation by designers at NASA and in sensor fusion frameworks like those described by Sebastian Thrun and Hugh Durrant-Whyte. Efficient implementation leverages quaternion algebra to reduce gimbal lock issues compared with Euler angles, and libraries in languages used by practitioners such as those at MIT and Stanford University provide optimized routines for real-time applications.

Category:Number systems