Quaternions

Many are familiar with the idea of imaginary/complex numbers but in 1843, Hamilton invented hypercomplex numbers. Initially, he created three components such that they had the form  where . This however raised a problem when multiplying complex numbers. We can test this concept by multiplying it by itself.




All the terms make sense but the problem is the multiplication of  and . One may think the answer here would be  but to avoid assumptions Hamilton defined a fourth term  such that  and . In fact, even the assumption of commutativity was not made in multiplication. If you multiply both sides of by  on the right side, the resulting equation is . By left and right multiplication on known equations, a multitude of relationships between  and  can be formed.





These relationships are often shown with a table.

 i  j  k
 i  -1  k  -j
 j  -k  -1  i
 k  j  -i  -1

There is even a relationship between these complex variables and cross products. If one thinks of  and  as the corresponding Cartesian unit vectors, one can perform quaternion multiplication by taking cross products between vectors. For example,  for the vectors and  for the quaternions.

Basically, a quaternion is a hypercomplex number of the form . The conjugate would be . The norm or length  of any quaternion  is  or .

These quaternions come in many different forms but here are two.

1.

Sometimes, these are represented using  Pauli Matrices.



The square of all these matrices are the negative identity matrix. One can test this is works by multiplying any two of the matrices and checking that the correct result comes out ( for example). These matrices are also anti-commutative as they should be.

Because for any given quaternion , the  matrix representation would be the following.

and  are regular complex numbers. The great thing about this form is you can take the Hermitian of the matrix (conjugate transpose) to get the quaternion’s conjugate. You can also take its determinant to get its length. In fact, you can rewrite  as . Observe the following.




2. Scalar-vector

Quaternions can be represented as scalar vector combinations  where for any given quaternion , . This scalar vector combination is generally the most common. The following properties of quaternions make this form very useful.



This is just scratching the surface of quaternions. It is everywhere in mathematics, physics, and computer science and most known for providing easy methods to do 3D rotations and, in the process, avoiding gimbal lock.

Technically, there are such things as octonions (7 imaginary components instead of 3) which help in higher dimensional analysis, sedenions (15 imaginary), etc.  At these higher dimensions, weird things occur. For example, octonions lose associativity and sedenions lose alternativity. Also notice, there only exists hypercomplex numbers in dimensions that the cross products exists (cross products only exist in 3 and 7 dimensions nontrivially). There are also variations of this number system. Hyperbolic quaternions are the same as quaternions but squaring any “imaginary” element will yield 1 instead of -1. Tessarines are hypercomplex numbers that have commutative algebras. Coquaternions are hypercomplex numbers that have zero divisors (), nilpotent elements (), and idempotent elements (). A biquaternion is a quaternion with complex coefficients. In fact, there are even three types of complex numbers themselves: ordinary, split ( where ), and dual ( where ). For each, there exists a type a hypercomplex biquaternion: ordinary, split, and dual. I might start a whole page talking about just hypercomplex numbers because in mathematics, there really are no bounds to creativity.

If you want to learn more or know where I learn this from, watch UC Davis’s lecture on quaternions, Numberphile, and read Wolfram Mathworld.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s