Quaternions

Quaternions are numbers of the form $a+bi+cj+dk$, where $a$, $b$, $c$ and $d$ are real numbers and each of $i,j,k$ denotes a number-like entity satisfying $i^{2}=-1$, $j^{2}=-1$ and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k^2=-1} respectively. Of course, since the square of any real number is nonnegative, none of the entities Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle j} or Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} can be a real number. At first glance, it is not even clear whether such objects can exist in any meaningful sense: for example, can we sensibly associate with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle j} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} natural operations such as addition and multiplication? As it happens, we can define such mathematical operations in a consistent and sensible way and, perhaps more importantly, the resulting system provides mathematicians, physicists, and engineers with a powerful approach to expressing parts of these sciences in a convenient and natural-feeling way.

Historical context

The need for quaternions became appearent after the sucessful introduction of complex numbers into mathematics. These numbers made it possible to add, subtract, multiply and divide tuplets - points in the plane - just like one can do with real numbers. The search for a larger system, where one can similarly deal with triplets - points in 3-dimensional space - became the natural next step. It turned out, however, that there is no way triplets of real numbers can form such a system. The breakthrough came with Sir William Rowan Hamilton, when he realized that quadruples would work. He famously inscribed their defining equation on Broom Bridge in Dublin when walking with his wife on 16 October 1843.

Working with quaternions

Quaternion arithmetic is surprisingly straightforward. The main difficulty is that commutativity in multiplication is lost - for two quaterions q₁ and q₂ we cannot, in general, expect that q₁q₂=q₂q₁.

For purposes of computation, it's often convenient to write a quaternion Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q = a + b i + c j + d k} in the form Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q=a +v } and treat v as an ordinary 3-dimensional vector (b,c,d).

Basic operations

Quaternion addition is straightforward,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a_0+ b_0 i+c_0 j+d_0 k)+(a_1 + b_1 i+c_1 j+d_1 k)= (a_0+a_1)+(b_0+ b_1)i+(c_0+ c_1)j+(c_0+ c_1) k} .

The result is again a quaternion.

Multiplication is a little more complicated.

Given the two quaternions Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q_0=a_0+ b_0 i+c_0 j+d_0 k=a_0+v_0} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q_1=a_1 + b_1 i+c_1 j+d_1 k=a_1 + v_1 } , their product is given by

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q_0 q_1=a_0 a_1 - v_0 \bullet v_1 + a_0 v_1 + a_1 v_0 + v_0 \times v_1 }

Definition & basic operations

The quaternions, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{H}} , form a four-dimensional normed division algebra over the real numbers.

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{H}=\left\lbrace a+\mathit{i}b+\mathit{j}c+\mathit{k}d \mid a,b,c,d\in\mathbb{R}\right\rbrace}

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathit{i}^2=\mathit{j}^2=\mathit{k}^2=\mathit{ijk}=-1 \,}

They are a non-commutative extension of the real numbers. They were first described by Sir William Rowan Hamilton in 1843.

Applications

Quaternions have many possible applications, including in computer graphics, but have during their history proved comparatively unpopular, with vectors being preferred instead, especially among engineers.

In 3-dimensional space, any sequence of rotations around any number of different axes intersecting the origin can be represented by a single rotation - the set of all such rotations form a group.

The set of unit quaternions under quaternion multiplication also form a group, which can be used to model the three-dimensional rotation group.

A unit quaternion then represents a rotation, multiplying two quaternions represents performing two rotations in sequence, the resulting quaternion represents the equivalent single rotation.

Given an ordinary 3-dimensional vector u₁ of unit length and an angle Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha _1} , the quaternion

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q_1 = \cos \left( \frac{\alpha_1}{2} \right) + u_1 \sin \left( \frac{\alpha_1}{2} \right)}

then represents a rotation over an angle Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha_1} around the axis defined by the unit vector $u_{1}$.

Given a similarly defined quaternion

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q_2 = \cos \left( \frac{\alpha_2}{2} \right) + u_2 \sin \left( \frac{\alpha_2}{2} \right)}

one can - using the formulas for quaternion multiplication - compute their product quaternion Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q_1 q_2} , which can again be written in the form

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cos \left( \frac{\alpha_3}{2} \right) + u_3 \sin \left( \frac{\alpha_3}{2} \right)} for some angle Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha_3} and some unit vector Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle u_3} .

It represents a rotation over an angle Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha_3} around the axis defined by the unit vector Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle u_3}

Note that each of the quaternion units (i,j,k) in this model represents a 180 degree rotation, and the quaternion -1 represents a full rotation. The quaternion representation thus keeps track of rotations, in addition to a fermionic phase factor of +-1.

See also

• Division algebra
• Field
• Clifford algebra
• Algebra

Related topics

• Rotation
• Euler angles
• Octonions
• Hypercomplex number
• SU2
• SO3
• Geometric algebra

References

• Henry Baker. Quaternion references. Electronic document.
• Simon Altmann (2005). Rotations, Quaternions, and Double Groups. Dover Publications. ISBN 978-0486445182. (First edition appeared in 1977).

External links

• Quaternion at MathWorld