Quaternions

From Citizendium
Revision as of 14:57, 1 December 2007 by imported>Ragnar Schroder (→‎Definition & basic operations: Removed unnecessary link)
Jump to navigation Jump to search
This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

Quaternions are numbers of the form , where , , and are real numbers and each of denotes a number-like entity satisfying , and respectively. Of course, since the square of any real number is nonnegative, none of the entities , or 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 , and 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.


Definition & basic operations

The quaternions, , form a four-dimensional normed division algebra over the real numbers.

They are a non-commutative extension of the real numbers. They were first described by Sir William Rowan Hamilton in 1843. He famously inscribed their defining equation on Broom Bridge in Dublin when walking with his wife on 16 October 1843. They have many possible applications, including in computer graphics, but have during their history proved comparatively unpopular, with vectors being preferred instead.

Properties

Applications

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 u1 of unit length and an angle , the quaternion

then represents a rotation over an angle around the axis defined by the unit vector .

Given a similarly defined quaternion

one can compute their product quaternion

This quaternion can be rewritten in the form

.

It represents a rotation over an angle around the axis defined by the unit vector , with

, and


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

Related topics

References

External links