Quaternion

Quaternions are 4-dimensional generalizations of complex numbers. It can also be said that the basis elements \displaystyle \mathbf{i}, \displaystyle \mathbf{j}, \displaystyle \mathbf{k} of a quaternion are 3-dimensional generalization of the pure imaginary number \sqrt{-1}.

William Rowan Hamilton discovered quaternions in 1843. After many years of thinking on the subject, he had a flash of insight while he was walking along the Royal Canal in Dublin. According to legend he inscribed these equations on the Brougham Bridge on 16 October 1843.

\mathbf{i^2} = \mathbf{j^2} = \mathbf{k^2} = \mathbf{ijk} = -1

\mathbf{ij}=-\mathbf{ji}

\mathbf{jk}=-\mathbf{kj}

\mathbf{ki}=-\mathbf{ik}

Hamilton made many important contributions to physics and mathematics. The “Hamiltonian” in classical dynamics was named after him. In his mind, however, quaternions was the most important discovery. Some say that he was obsessed with quaternions.

Quaternions are superior to vectors for describing rotations in space. This is why quaternions are used extensively in the aerospace industry to compute the orbits of satellites and other space vehicles and in virtual reality simulations. There are many applications in physics as well. A comprehensive bibliography of quaternions in mathematical physics is maintained by A.Gsponer and J.-P. Hurni [1].

Even though quaternions have many applications today, Hamilton imagined that they would be taught in high schools and replace the vectors in mathematics education. That dream did not materialize.

Quaternion

The \displaystyle \mathbf{i}, \displaystyle \mathbf{j}, \displaystyle \mathbf{k} are known as basis elements.

A quaternion is defined in terms of these basis elements plus the unity element \displaystyle \mathbf{1}.

q = \mathbf{1} z_0 + \mathbf{i} z_1 + \mathbf{j} z_2 + \mathbf{k} z_3

Pure quaternion

The z_0, z_1, z_2, z_3 are real numbers. Any of these coefficients can be zero. When z_0=0 we have a pure quaternion.

q = \mathbf{i} z_1 + \mathbf{j} z_2 + \mathbf{k} z_3

Norm

The norm of a quaternion is defined as

N^2 (q)= z_{0}^{2} + z_{1}^{2} + z_{2}^{2} + z_{3}^{2}

The “norm” is similar to length. You can think of it as a distance measure.

Conjugate

The conjugate of a quaternion is defined as

\overline{q} = \mathbf{1} z_0 - \mathbf{i} z_1 - \mathbf{j} z_2 - \mathbf{k} z_3

The quaternion conjugate has the following property. If p and q are quaternions then

\overline{(qp)} = \overline{p}\overline{q}

Inverse

\displaystyle q^{-1} =\frac{\overline{q}}{N^2 (q)}

Important difference between pure quaternion and pure complex number 

Any pure quaternion with norm 1 squares to -1. There are infinite number of such quaternions because \displaystyle z_{1}^{2} + z_{2}^{2} + z_{3}^{2}=1 defines a sphere of radius 1 (unit sphere). There are infinite number of points on the unit sphere corresponding to different pure quaternions.

In contrast, there are only 2 pure complex numbers that square to -1: and .

Quaternion multiplication

Let A and B quaternions. The product of two quaternions is another quaternion

AB = a_0 b_0 - \mathbf{A} \cdot \mathbf{B} + a_0 \mathbf{A} + \mathbf{B} b_0 + \mathbf{A} \times \mathbf{B}

\mathbf{A} and \mathbf{B} are the vector-like part of the quaternions involving quaternion basis elements. The \cdot and \times are the 3-dimensional scalar and vector products, respectively. [2]

AB and BA are not necessarily equal.

Quaternion division

Using the inverse of a quaternion we can write “A divided by B” as

or as

These two are not equal.

References

[1] Andre Gsponer and Jean-Pierre Hurni, “Quaternions in mathematical physics (2): Analytical bibliography”, arXiv:math-ph/0511092

[2] J.B. Kuipers, “Quaternions and Rotation Sequences”, Princeton Paperbacks, ISBN 978-0-691-10298-6, p:108

Advertisements

About Suresh Emre

I have worked as a physicist at the Fermi National Accelerator Laboratory and the Superconducting Super Collider Laboratory. I am a volunteer for the Renaissance Universal movement. My main goal is to inspire the reader to engage in Self-discovery and expansion of consciousness.
This entry was posted in mathematics, tutorial and tagged , , . Bookmark the permalink.