Quaternions: Difference between revisions
imported>Jitse Niesen (expand on connection with rotation, general clean up) |
imported>Richard Pinch m (→Definition & basic operations: links) |
||
(24 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
'''Quaternions''' are a [[ | '''Quaternions''' are numbers of the form <math>a+bi+cj+dk</math>, where <math>a</math>, <math>b</math>, <math>c</math> and <math>d</math> are [[real number]]s and each of <math>i,j,k</math> denotes a number-like entity satisfying <math>i^2=-1</math>, <math>j^2=-1</math> and <math> k^2=-1</math> respectively. Of course, since the square of any real number is nonnegative, none of the entities <math>i</math>, <math>j</math> or <math>k</math> 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 <math>i</math>, <math>j</math> and <math>k</math> 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 apparent after the successful introduction of [[Complex number|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''<sub>1</sub> and ''q''<sub>2</sub> we cannot, in general, expect that ''q''<sub>1</sub>''q''<sub>2</sub> = ''q''<sub>2</sub>''q''<sub>1</sub>. | |||
For purposes of computation, it's often convenient to write a quaternion <math>q = a + b i + c j + d k</math> in the form <math>q=a +v </math> and treat ''v'' as an ordinary 3-dimensional [[vector]] (''b'',''c'',''d''). | |||
===Basic operations=== | |||
Quaternion addition is straightforward, | |||
:<math>(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.</math> | |||
The result is again a quaternion. | |||
Multiplication is a little more complicated. | |||
Given the two quaternions <math>q_0=a_0+ b_0 i+c_0 j+d_0 k=a_0+v_0</math> and <math>q_1=a_1 + b_1 i+c_1 j+d_1 k=a_1 + v_1 </math>, their product is given by | |||
:<math>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. </math> | |||
===Geometric interpretations=== | |||
Both the real numbers and the complex numbers can be given various geometric interpretations. It's not surprising that their arguably most natural extension, the quaternions, can be given several geometric interpretations as well. | |||
Like a real number can be interpreted as a point in 1-dimensional space, and a complex number can be interpreted as a point in 2-dimensional space, a quaternion may be interpreted as a point in 4-dimensional space. | |||
Also, a quaternion can be viewed as a function acting on 3-dimensional space, similar to the way a complex number may represent a 2-dimensional rotation and/or dilation. | |||
Also, a quaternion can be viewed as a function acting on 4-dimensional space, similar to the way a complex number may represent a 2-dimensional [[affine transformation]]. | |||
There are other ways to interpret quaternions as well. <!-- Add here something about quaternions arising from pairs of reflections and Clifford algebra --> | |||
==Algebraic closure== | |||
==Formal definition== | |||
== Definition & basic operations == | == Definition & basic operations == | ||
The quaternions, <math>\mathbb{H}</math>, form a four-dimensional normed division algebra over the [[ | The quaternions, <math>\mathbb{H}</math>, form a four-dimensional normed division [[Algebra over a field|algebra]] over the [[real number]]s.<br/><br/> | ||
:<math>\mathbb{H}=\left\lbrace a+\mathit{i}b+\mathit{j}c+\mathit{k}d \mid a,b,c,d\in\mathbb{R}\right\rbrace</math> | :<math>\mathbb{H}=\left\lbrace a+\mathit{i}b+\mathit{j}c+\mathit{k}d \mid a,b,c,d\in\mathbb{R}\right\rbrace</math> | ||
:<math>\mathit{i}^2=\mathit{j}^2=\mathit{k}^2=\mathit{ijk}=-1 \,</math> | :<math>\mathit{i}^2=\mathit{j}^2=\mathit{k}^2=\mathit{ijk}=-1 \,</math> | ||
They are a [[Commutativity|non-commutative]] extension of the real numbers. They were first described by Sir William Rowan Hamilton in 1843. | |||
== Properties == | == Properties == | ||
Line 13: | Line 59: | ||
== Applications == | == Applications == | ||
Quaternions can be used to model the three-dimensional rotation group. | Quaternions have many applications, including in computer graphics, but have during their history proved comparatively unpopular, with [[vector]]s 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 (mathematics)|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''<sub>1</sub> of unit length and an angle <math>\alpha _1</math>, the quaternion | |||
:<math>q_1 = \cos \left( \frac{\alpha_1}{2} \right) + u_1 \sin \left( \frac{\alpha_1}{2} \right)</math> | |||
then represents a rotation over an angle <math>\alpha_1</math> around the axis defined by the unit vector <math>u_1</math>. | |||
Given a similarly defined quaternion | |||
:<math>q_2 = \cos \left( \frac{\alpha_2}{2} \right) + u_2 \sin \left( \frac{\alpha_2}{2} \right)</math> | |||
one can — using the formulas for quaternion multiplication — compute their product quaternion <math>q_1 q_2</math>, which can again be written in the form | |||
:<math>\cos \left( \frac{\alpha_3}{2} \right) + u_3 \sin \left( \frac{\alpha_3}{2} \right)</math> | |||
for some angle <math>\alpha_3</math> and some unit vector <math>u_3</math>. | |||
It represents a rotation over an angle <math>\alpha_3</math> around the axis defined by the unit vector <math>u_3</math> | |||
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 [[fermion|fermionic phase factor]] of ±1. | |||
<!-- | |||
A [[rotation]] over an angle <math>\alpha</math> around the axis defined by the unit vector <math>u</math> is then represented by the unit quaternion | |||
:<math>\cos \left( \frac{\alpha}{2} \right) + u \sin \left( \frac{\alpha}{2} \right). </math> | :<math>\cos \left( \frac{\alpha}{2} \right) + u \sin \left( \frac{\alpha}{2} \right). </math> | ||
First, every 3-dimensional vector <math>(x,y,z)</math> is associated with the quaternion <math>ix + jy + kz</math>. | |||
In other words, the image of a vector under this rotation is the same as the product of the quaternion representing the rotation with the quaternion representing the vector. | In other words, the image of a vector under this rotation is the same as the product of the quaternion representing the rotation with the quaternion representing the vector. | ||
--> | |||
==See also== | ==See also== | ||
*[[Division algebra]] | *[[Division algebra]] | ||
*[[Field]] | *[[Field]] | ||
*[[Clifford algebra]] | |||
*[[Algebra]] | *[[Algebra]] | ||
Line 29: | Line 109: | ||
*[[Octonions]] | *[[Octonions]] | ||
*[[Hypercomplex number]] | *[[Hypercomplex number]] | ||
*[[SU2]] | |||
*[[SO3]] | |||
*[[Geometric algebra]] | |||
== References == | == References == |
Latest revision as of 07:41, 22 December 2008
![](http://s9.addthis.com/button1-share.gif)
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 apparent after the successful 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 q1 and q2 we cannot, in general, expect that q1q2 = q2q1.
For purposes of computation, it's often convenient to write a quaternion in the form and treat v as an ordinary 3-dimensional vector (b,c,d).
Basic operations
Quaternion addition is straightforward,
The result is again a quaternion.
Multiplication is a little more complicated.
Given the two quaternions and , their product is given by
Geometric interpretations
Both the real numbers and the complex numbers can be given various geometric interpretations. It's not surprising that their arguably most natural extension, the quaternions, can be given several geometric interpretations as well.
Like a real number can be interpreted as a point in 1-dimensional space, and a complex number can be interpreted as a point in 2-dimensional space, a quaternion may be interpreted as a point in 4-dimensional space.
Also, a quaternion can be viewed as a function acting on 3-dimensional space, similar to the way a complex number may represent a 2-dimensional rotation and/or dilation.
Also, a quaternion can be viewed as a function acting on 4-dimensional space, similar to the way a complex number may represent a 2-dimensional affine transformation.
There are other ways to interpret quaternions as well.
Algebraic closure
Formal definition
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.
Properties
Applications
Quaternions have many 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 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 — using the formulas for quaternion multiplication — compute their product quaternion , which can again be written in the form
for some angle and some unit vector .
It represents a rotation over an angle around the axis defined by the unit vector
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
- 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