查看“︁四元數”︁的源代码

{{multiple issues|
{{onesource|time=2014-07-21T07:30:45+00:00}}
{{refimprove|time=2014-07-21T07:30:45+00:00}}
}}
{{NoteTA
|G1 = Math
|G2 = 物理學
}}
{{Infobox number system
| official_name = 四元數
| symbol = <math>\mathbb H</math>
| type = [[超复数|超複]][[域上的代数|代數]]
| units = <math>1</math>、 <math>i</math>、 <math>j</math>、 <math>k</math>
| identity = <math>1</math>
| properties = [[交換律|非交換]]
}}
{{Numbers}}
'''四元數'''（{{lang-en|Quaternion}}）是由[[爱尔兰]]數學家[[威廉·盧雲·哈密頓]]在1843年创立出的[[數學]][[概念]]。通常记为'''H'''，或<math>\mathbb{H}</math>。

從明確地角度而言，四元數是[[复数 (数学)|複數]]的不可交換延伸。如把四元數的[[集合 (数学)|集合]]考慮成多維[[實數]]空間的話，四元數則代表著一個[[四维空间]]，相對於複數為[[二维空间]]。

作为用于描述现实空间的坐标表示方式，人们在复数的基础上创造了四元数并以a+bi+cj+dk的形式说明空间点所在位置。
i、j、k作为一种特殊的虚数单位参与运算，并有以下运算规则：i<sup>0</sup>=j<sup>0</sup>=k<sup>0</sup>=1，i<sup>2</sup>=j<sup>2</sup>=k<sup>2</sup>=-1

对于i、j、k本身的几何意义可以理解为一种旋转，其中i旋转代表X轴与Y轴相交平面中X轴正向向Y轴正向的旋转，j旋转代表Z轴与X轴相交平面中Z轴正向向X轴正向的旋转，k旋转代表Y轴与Z轴相交平面中Y轴正向向Z轴正向的旋转，-i、-j、-k分别代表i、j、k旋转的反向旋转。

== 基礎 ==
=== 定義 ===
複數是由實數加上[[虛數單位]] <math>i</math> 組成，其中
: <math>i^2 = -1 \,</math>。

相似地，四元數都是由實數加上三個元素 <math>i</math>、<math>j</math>、<math>k</math> 組成，而且它們有如下的關係：
: <math>i^2 = j^2 = k^2 = ijk = -1 \,</math>

每個四元數都是 1、<math>i</math>、<math>j</math> 和 <math>k</math> 的[[線性組合]]，即是四元數一般可表示為<math>a + bi + cj + dk \,</math>。

要把兩個四元數[[加法|相加]]只需將相類的係數加起來就可以，就像複數一樣。至於[[乘法]]則可跟隨以下的乘數表：
{{乘法表
|table class = align="center" style="border: 1px solid black; text-align: center;"
|number_list = 1,i,j,k
|number_list2 = 1,i,j,k
|calculate = {{{left}}} * {{{right}}}
|calculate title = <math>\times</math>
|1 = style="background:#fcc;"| -1 = bgcolor="#FFCCCC"
|i = style="background:#ccf;"| -i = bgcolor="#CCCCFF"
|j = style="background:#ff9;"| -j = bgcolor="#FFFF99"
|k = style="background:#cfc;"| -k = bgcolor="#CCFFCC"
|main head css = style="width: 1.5em;"
|head css = bgcolor="silver" style="width: 1.5em;"
|class=qmath
|use math=yes
}}
四元數的單位元素的乘法構成了八階[[四元群]]，<math>Q_8</math>。

=== 性質 ===
<!-- Division Ring = ? -->

四元數不像[[實數]]或[[複數 (數學)|複數]]那樣，它的乘法符合[[反交換律]]，不符合[[交換律]]，因此是不可交換的，例如：
:<math>i \, j = k, \, j \, i = -k</math>；
:<math>j \, k = i, \, k \, j = -i</math>；
:<math>k \, i = j, \, i \, k = -j</math>。

四元數是[[除法環]]的一個例子。除了沒有乘法的交換律外，除法環與[[体 (数学)|域]]是相類的。特別地，乘法的[[結合律]]仍舊存在、非零元素仍有唯一的逆元素。
<!-- Associative/Division 代数?? -->

四元數形成一個在實數上的四維結合[[代数]]（事實上是除法代数），並包括複數，但不與複數組成結合代数。
四元數（以及實數和複數）都只是有限維的實數結合除法代数。

四元數的不可交換性往往導致一些令人意外的結果，例如四元數的 ''n''-階[[多项式|多項式]]能有多於 ''n'' 個不同的[[根 (数学)|根]]。
例如方程式 <math>h^2 + 1 = 0 \, </math> 就有無數多個解。
只要是符合 <math>b^2 + c^2 + d^2 = 1 \, </math> 的實數，那麼 <math>h = b \, i + c \, j + d \, k</math>就是一個解。

一個四元數 <math>h = a + b \, i + c \, j + d \, k</math> 的'''[[共軛]]'''值定義為：

<center><math>h^* = a - b \, i - c \, j - d \, k</math></center>

而它的[[絕對值]]則是非負實數，定義為：

<center><math>\left| h \right| = \sqrt {h \cdot h^ *  }  = \sqrt {a^2  + b^2  + c^2  + d^2 }</math></center>

注意<math>(h \, k)^* = k^* \, h^*</math>，一般狀況下不等於<math>h^* \, k^*</math>。

四元數的'''乘法逆'''可以<math>h^{ - 1}  = \frac{{h^* }}{{\left| h \right|^2 }}</math>算得。

透過使用[[距离函数]] <math>d(h, k) = |h - k| \, </math>，四元數便可成為[[同胚]]於 <math>\mathbb{R}^4</math> 的[[度量空间]]，
並且有[[連續]]的[[算術]]運算。另外，對於所有四元數<math>h  \, </math>和<math>k  \, </math>皆有 <math>|h \, k| = |h| \, |k|</math>。
若以絕對值為[[模]]，則四元數可組成一實數 [[巴拿赫空間]]。

=== 群旋轉 ===
{{main|四元数与空间旋转}}
非零四元数的乘法群在'''R'''<sup>3</sup>的实部为零的部分上的共轭作用可以实现转动。单位四元数（绝对值为1的四元数）若实部为cos(''t'')，它的共轭作用是一个角度为2''t''的转动，转轴为虚部的方向。四元数的优点是：

# 表达式无奇点（和例如[[欧拉角]]之类的表示相比）
# 比[[矩阵]]更简炼（也更快速）
# 单位四元数的对可以表示[[四维空间]]中的一个转动。

所有单位四元数的集合组成一个[[3-球|三维球]]''S''<sup>3</sup>和在乘法下的一个群（一个[[李群]]）。''S''<sup>3</sup>是[[行列式]]为1的实正交3×3[[正交矩阵]]的群''SO''(3,'''R''')的双重複盖，因为每''两个''单位四元数通过上述关系对应于一个转动。群''S''<sup>3</sup>和''SU''(2)同构，''SU''(2)是行列式为1的复[[酉矩阵|酉]]2×2矩阵的群。令''A''为形为''a'' + ''bi'' + ''cj'' + ''dk''的四元数的集合，其中''a'', ''b'', ''c''和''d''或者都是[[整数]]或者都是分子为奇数分母为2的[[有理数]]。集合''A''是一个环，并且是一个[[格 (数学)|格]]。该环中存在24个四元数，而它们是[[施莱夫利符号]]为{3,4,3}的[[正二十四胞体]]的[[頂點 (幾何)|顶点]]。

=== 以矩陣表示四元數 ===
有兩種方法能以[[矩陣]]表示四元數，並以矩陣之加法、乘法應用於四元數之加法、乘法。
{{main|泡利矩陣#四元數與包立矩陣}}
第一種是以二階複數矩陣表示。四元數的三個元素'''i'''、'''j'''、'''k'''採用矩陣表示法（其中[[斜體字]]<math>i</math>為<math>\sqrt{-1}</math>；''σ''<sub>x</sub>、''σ''<sub>y</sub>、''σ''<sub>z</sub>为[[泡利矩陣]]）：
:<math>\mathbf{i}=-i\sigma_x=\begin{pmatrix} 0 & -i \\ -i & 0 \end{pmatrix},
 \mathbf{j}=-i\sigma_y=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix},
 \mathbf{k}=-i\sigma_z=\begin{pmatrix} -i & 0 \\ 0 & i \end{pmatrix}</math>。

則任意四元數''h'' = ''a'' + ''b'''''i''' + ''c'''''j''' + ''d'''''k'''的矩陣形式為：

:<math>\begin{pmatrix} a-di & -c-bi \\ c-bi & a+di \end{pmatrix}</math>

這種表示法有如下優點：
* 使''b'' = ''d'' = 0，可回歸到一[[複數 (數學)|複數]]''h'' = ''a'' + ''c'''''j'''，相應於一個實矩陣。（參見[[複數 (數學)|複數]]的矩陣表達式。）
* 四元數的絕對值平方就等於矩陣的[[行列式]]。
* 四元數的共軛值就等於矩陣的[[共軛轉置]]。
* 對於單位四元數 (|''h''| = 1) 而言，這種表示方式給了四維[[球体]]和[[特殊酉群|SU(2)]]之間的一個同型，而後者對於[[量子力學]]中的[[自旋]]的研究十分重要。（參見[[泡利矩陣]]）

第二種則是以四階實數矩陣表示（相當與把上述表示中的複數再換成其矩陣表示）：<math>i\leftrightarrow \begin{pmatrix}
  0 &     -1  \\
  1 & \;\; 0
\end{pmatrix}</math>
: <math>\begin{pmatrix}
 a & d & -c & b \\ 
 -d & a & -b & -c \\
 c & b & a & -d \\
 -b & c & d & a 
\end{pmatrix}= a
\begin{pmatrix}
 1 & 0 & 0 & 0 \\ 
 0 & 1 & 0 & 0 \\
 0 & 0 & 1 & 0 \\
 0 & 0 & 0 & 1 
\end{pmatrix}
+ b
\begin{pmatrix}
 0 & 0 & 0 & 1 \\ 
 0 & 0 & -1 & 0 \\
 0 & 1 & 0 & 0 \\
 -1 & 0 & 0 & 0 
\end{pmatrix}
+ c
\begin{pmatrix}
 0 & 0 & -1 & 0 \\ 
 0 & 0 & 0 & -1 \\
 1 & 0 & 0 & 0 \\
 0 & 1 & 0 & 0 
\end{pmatrix}
+ d
\begin{pmatrix}
 0 & 1 & 0 & 0 \\ 
 -1 & 0 & 0 & 0 \\
 0 & 0 & 0 & -1 \\
 0 & 0 & 1 & 0 
\end{pmatrix}.
</math>

其中四元數的共軛等於矩陣的[[轉置]]，模的四次方等於矩陣的行列式。

== 四元數運算 ==
四元數運算在[[電動力學]]與[[廣義相對論]]中有廣泛的應用。四元數可以用來取代張量表示。有時候採用帶有複數元素之四元數會比較容易，導得結果不為除法代數之形式。然而亦可結合共軛運算以達到相同的運算結果。 

此處僅討論具有實數元素之四元數，並將以兩種形式來描述四元數。其中一種是向量與純量的結合，另一形式兩個創建量(constructor)與雙向量(bivector；i、j與k)的結合。

定義兩個四元數:
:<math>q = a + \vec{u} = a + bi + cj + dk</math>
:<math>p = t + \vec{v} = t + xi + yj + zk</math>

其中<math>\vec{u}</math>表示-{zh-hans:矢量; zh-hant:向量;}-<nowiki><b, c, d></nowiki>，而<math>\vec{v}</math>表示-{zh-hans:矢量; zh-hant:向量;}-<x, y, z>.

=== 加、乘和一般函數 ===

;四元數加法：''p'' + ''q''
:跟[[复数 (数学)|複數]]、[[向量]]和[[矩陣]]一樣，兩個四元數之和需要將不同的元素加起來：

:<math>p + q = a + t + \vec{u} + \vec{v} = (a + t) + (b + x)i + (c + y)j + (d + z)k</math>

加法遵循[[实数]]和[[複數 (數學)|複數]]的所有交换律和结合律。

;四元數乘法：''qp''
:两个四元数之间的非可换乘积通常被称为[[格拉斯曼]]积，這個積上面已經簡單介紹過，它的完整型態是：

<math>qp = at -\vec{u}\cdot\vec{v} + a\vec{v} + t\vec{u} + \vec{u}\times\vec{v}</math>

<math>qp = (at - bx - cy - dz) + (ax + bt + cz - dy)i + (ay - bz + ct + dx)j + (az + bt - cx +dt)k \,</math>

由于四元数乘法的非可换性，pq并不等于qp。[[格拉斯曼]]积常用在描述许多其他[[代数函数]]。qp乘积的[[向量]]部分是:

<math>qp = at -\vec{u}\cdot\vec{v} + a\vec{v} + t\vec{u} + \vec{u}\times\vec{v}</math>

; 四元數點積： ''p'' · ''q''
:点积也叫做[[欧几里得]][[点积|内积]]，四元数的点积等同于一个四维向量的[[点积]]。[[点积]]的值是p中每个元素的数值与q中相应元素的数值的乘积的和。这是四元数之间的可换积，并返回一个[[标量 (数学)|标量]]。

<math>p \cdot q = at + \vec{u}\cdot\vec{v} = at + bx + cy + dz</math>

[[点积]]可以用[[格拉斯曼]]积的形式表示:

<math>p \cdot q = \frac{p^*q + q^*p}{2}</math>

这个积对于从四元数分离出一个元素有用。例如，i项可以从p中这样提出来：

<math>p \cdot i = x</math>

; 四元數外積：Outer(p,q) :
[[欧几里得]][[外积 (张量积)|外积]]并不常用; 然而因为[[外积 (张量积)|外积]]和[[点积|内积]]的[[格拉斯曼]]积形式的相似性.它们总是一同被提及:

<math>\operatorname{Outer}(p,q) = \frac{p^*q - q^*p}{2}</math>

<math>\operatorname{Outer}(p,q) = t\vec{u} - a\vec{v} - \vec{v}\times\vec{u}</math>

<math>\operatorname{Outer}(p,q) = (tb - ax + cz - dy)i + (tc - ay + dx - bz)j + (td - az + by - xc)k</math>

; 四元數偶積：Even(p,q) :
四元数偶积也不常用，但是它也会被提到，因为它和奇积的相似性。它是纯对称的积；因此，它是完全可交换的。

<math>\operatorname{Even}(p,q) = \frac{pq + qp}{2}</math>

<math>\operatorname{Even}(p,q) = at - \vec{u}\cdot\vec{v} + a\vec{v} + t\vec{u}</math>

<math>\operatorname{Even}(p,q) = (at - bx - cy - dz) + (ax + tb)i + (ay + tc)j + (az + td)k</math>

; 四元數叉積：''p'' × ''q''
四元数叉积也称为奇积。它和向量叉积等价，并且只返回一个向量值：

<math>p \times q = \frac{pq - qp}{2}</math>

<math>p \times q = \vec{u}\times\vec{v}</math>

<math>p \times q = (cz - dy)i + (dx - bz)j + (by - xc)k</math>

; 四元數的逆：p<sup>−1</sup>
四元數的逆通过p<sup>−1</sup>p = 1被定義。 它定义在上面的定义一节，位于属性之下（注意变量记法的差异）。其建構方式相同於複倒數(complex inverse)之构造：

<math>p^{-1} = \frac{p^*}{p\cdot p}</math>

一個四元數的自身點積是個純量。四元數除以一個純量等效於乘上此純量的倒數，而使四元數的每個元素皆除以此一除數。

; 四元數除法：p<sup>−1</sup>q :
四元数的不可换性导致了 p<sup>−1</sup>q 和 qp<sup>−1</sup>的不同。 这意味着除非p是一个-{zh-hans:标量; zh-hant:純量;}-,否则不能使用q/p这一符号。

; 四元數純量部：''Scalar(p)'' :
四元数的标量部分可以用前面所述的点积来分离出来：

<math>1\cdot p = \frac{p + p^*}{2} = t</math>

; 四元數向量部：''Vector(p)'' :
四元数的向量部分可以用外积提取出来，就象用点积分离标量那样：

<math>\operatorname{Outer}(1, p) = \frac{p - p^*}{2} = \vec{u} = bi + cj + dk</math>

; 四元數模：|p| :
四元数的绝对值是四元数到原点的距离。

<math>|p| = \sqrt{p \cdot p} = \sqrt{p^*p} = \sqrt{a^2 + b^2 + c^2 + d^2}</math>

; 四元數符號數：''sgn(p)'' :
一複數之符號數乃得出單位圓上，一個方向與原複數相同之複數。四元數的符號數亦產生單位四元數：

<math>\sgn(p) = \frac{p}{|p|}</math>

; 四元數辐角：''arg(p)'' :
辐角函數可找出一個四元數向量偏離單位純量(即：1)之角度。此函數輸出一個純量角度。

<math>\arg(p) = \arccos\left(\frac{\operatorname{Scalar}(p)}{|p|}\right)</math>

=== 冪和對數 ===
因為四元數有除法，所以[[冪]]和[[對數]]可以定義。

* 自然冪：<math>\exp(p) = \exp(a)(\cos(|\vec{u}|) + \sgn(\vec{u})\sin(|\vec{u}|))</math>

* 自然對數：<math>\ln(p) = \ln(|p|) + \sgn(\vec{u})\arg(p)</math>

* 冪：<math>p^q = e^{q\ln(p)} \,</math>

=== [[三角函數]] ===
* [[正弦]]：<math>\sin(p) = \sin(a)\cosh(|\vec{u}|) + \cos(a)\sgn(\vec{u})\sinh(|\vec{u}|)</math>

* [[餘弦]]：<math>\cos(p) = \cos(a)\cosh(|\vec{u}|) - \sin(a)\sgn(\vec{u})\sinh(|\vec{u}|)</math>

* [[正切]]：<math>\tan(p) = \frac{\sin(p)}{\cos(p)}</math>

=== [[雙曲函數]] ===
* 雙曲正弦: <math>\sinh(p) = \sinh(a)\cos(|\vec{u}|) + \cosh(a)\sgn(|\vec{u}|)\sin(|\vec{u}|)</math>

* 雙曲餘弦: <math>\cosh(p) = \cosh(a)\cos(|\vec{u}|) + \sinh(a)\sgn(|\vec{u}|)\sin(|\vec{u}|)</math>

* 雙曲正切: <math>\tanh(p) = \frac{\sinh(p)}{\cosh(p)}</math>

=== [[反雙曲函數]] ===
* 反雙曲正弦: <math>\operatorname{arcsinh}(p) = \ln(p + \sqrt{p^2 + 1})</math>

* 反雙曲餘弦: <math>\operatorname{arccosh}(p) = \ln(p + \sqrt{p^2 - 1})</math>

* 反雙曲正切: <math>\operatorname{arctanh}(p) = \frac{\ln(1+q)-\ln(1-q)}{2}</math>

=== [[反三角函數]] ===
將這些被放到最後，是因為需要先定義四元數中的反雙曲三角函数。

* [[反正弦]]函數: <math>\arcsin(p) = -\sgn(\vec{u})\operatorname{arcsinh}(p \sgn(\vec{u}))</math>

* [[反餘弦]]函數: <math>\arccos(p) = -\sgn(\vec{u})\operatorname{arccosh}(p)</math>

* [[反正切]]函數: <math>\arctan(p) = -\sgn(\vec{u})\operatorname{arctanh}(p \sgn(\vec{u}))</math>

=== 廣義化 ===
若 ''F'' 是一個域，且 ''a''、''b'' 為 ''F'' 的元素，那麼就可在 ''F'' 上定義一個四維單一結合代数，而它的產生是由符合 ''i''<sup>2</sup> = ''a''、''j''<sup>2</sup> = ''b'' 和 ''ij = -ji'' 的 ''i''、''j'' 而起。
這些代数不是與 ''F'' 的二階矩陣代数同型，就是 ''F'' 的除法代数。它們稱為「[[四元數代数]]」。

== 歷史 ==
'''四元數'''是由哈密頓在1843年愛爾蘭發現的。當時他正研究擴展複數到更高的維次（複數可視為[[平面 (数学)|平面]]上的[[点]]）。他不能做到[[三維空間]]的例子（即構建不出[[三元數]]），但四維則造出四元數。根據哈密頓記述，他於10月16日跟他的妻子在[[都柏林]]的皇家運河（Royal Canal）上散步時突然想到

<center><math>i^2 = j^2 = k^2 = ijk = -1 \,</math></center>

[[File:William_Rowan_Hamilton_Plaque_-_geograph.org.uk_-_347941.jpg|thumb|right|金雀花橋上的紀念石刻]]

的方程解。之後哈密頓立刻將此方程刻在附近布魯穆橋（Brougham Bridge，現稱為金雀花橋 Broom Bridge）。這條方程放棄了交換律，是當時一個極端的想法（那時還未發展出[[向量]]和矩陣）。

不只如此，哈密頓還創造了向量的[[点积|内积]]和[[外积 (张量积)|外积]]。他亦把四元數描繪成一個有序的四重實數：一個[[标量 (数学)|純量]]（''a''）和向量（''bi + cj + dk''）的組合。若兩個純量部為零的四元數相乘，所得的純量部便是原來的兩個向量部的[[点积|純量積]]的負值，而向量部則為[[向量積]]的值，但它們的重要性仍有待發掘。

哈密頓之後繼續推廣四元數，並出了幾本書。最後一本《四元數的原理》（''Elements of Quaternions''）於他死後不久出版，長達八百多頁。

=== 用途爭辯 ===
即使到目前為止四元數在某些領域的用途仍在爭辯之中。一些哈密頓的支持者非常反對[[奥利弗·黑維塞]]的[[向量代数]]和[[约西亚·吉布斯]]的[[向量分析]]的發展，以維持四元數的超然地位。對於三維空間這可以討論，但對於更高維四元數就失效了（但可用延伸如[[八元数]]和[[克利福德代数]]）。而事實上，在20世紀中葉的[[科學]]和[[工程学|工程]]界中，[[向量]]幾乎已完全取代四元數的位置。

[[詹姆斯·克拉克·馬克士威]]曾經在他的《電磁場動力理論》（''A Dynamical Theory of Electromagnetic Field''）直接以20條有20個[[變數]]的[[微分方程]]組來解釋[[电力]]、[[磁力]]和[[电磁场]]之間的關係。某些早期的馬克士威方程组使用了四元数来表述，但与後來黑維塞使用四條以向量為基礎的[[馬克士威方程组]]表述相比较，使用四元数的表述并没有流行起来。

事实上，四元数是常被数学家称为几何代数的[[克利福德代数|clifford代数]]的一个子代数，而后者已经得到很好的研究和应用，尤其是在理论物理中。例如可以用几何代数将狭义相对论和经典电动力学表述为非常优美的形式，量子力学中讨论自旋常用的泡利矩阵实际上也是几何代数的一个子代数的矩阵表示，类似的例子还有对经典力学中刚体的转动的不可交换性的表述。

== 應用 ==
四元數大量用於[[计算机图形学]]中，表示三維物件的旋轉及方位。四元數亦見於[[控制論]]、[[信號處理]]、{{le|姿态控制|Attitude control}}、物理、[[轨道力学]]和[[生物信息学]]，<ref>{{cite journal | title = Pairwise alignment of the DNA sequence using hypercomplex number representation | journal = Bulletin of Mathematical Biology | date = 2004 | first1 = Jian-Jun | last1 = Shu | first2 = L.S. | last2 = Ouw | volume = 66 | issue = 5 | pages = 1423-1438 | doi = 10.1016/j.bulm.2004.01.005 }}</ref><ref>{{cite journal | title = Hypercomplex cross-correlation of DNA sequences | journal = Journal of Biological Systems | date = 2010 | | first1 = Jian-Jun | last1 = Shu | first2 = Y. | last2 = Li | volume = 18 | issue = 4 | pages = 711-725 | doi = 10.1142/S0218339010003470 }}</ref> 都是用來表示旋轉和方位。

相對於另兩種旋轉表示法（[[矩陣]]和[[歐拉角]]），四元數具有某些方面的優勢，如速度更快、提供[[球面線性插值|平滑插值]]、有效避免[[萬向鎖]]問題、存儲空間較小等等<ref>{{Cite book
|publisher = 清华大学出版社有限公司
|isbn = 9787302109464
|last = 帕贝里
|title = 3D数学基础: 图形与游戏开发
|date = 2005
|pages = 第159页
|chapter = 第10章3D中的方位与角位移 10.5各方法比较
|accessdate = 2013年12月13日
}}</ref>。

== 相關條目 ==
* [[複數 (數學)|複數]]
* [[八元数]]
* [[十六元数]]
* [[超复数]]
* [[泡利矩陣]]
* [[四平方和定理]]
* [[四元数与空间旋转]]

== 外部链接 ==
* {{en}}[http://world.std.com/~sweetser/quaternions/qindex/qindex.html Doing Physics with Quaternions] {{Wayback|url=http://world.std.com/~sweetser/quaternions/qindex/qindex.html |date=20031204225515 }}
* {{en}}[http://theworld.com/~sweetser/java/qcalc/qcalc.html Quaternion Calculator] {{Wayback|url=http://theworld.com/~sweetser/java/qcalc/qcalc.html |date=20030929031450 }} (Java)
* {{en}}[http://arxiv.org/pdf/math-ph/0201058 The Physical Heritage of Sir W. R. Hamilton] (PDF)
* {{en}}Tait, Peter Guthrie, “{{Cite web |url=http://www.ugcs.caltech.edu/~presto/papers/Quaternions-Britannica.ps.bz2 |title=Quaternion |access-date=2016-01-09 |archive-url=https://web.archive.org/web/20140808040037/http://www.ugcs.caltech.edu/~presto/papers/Quaternions-Britannica.ps.bz2 |archive-date=2014-08-08 |dead-url=yes }}”. M.A. Sec. R.S.E. Encyclopaedia Britannica, Ninth Edition, 1886, Vol. XX, pp. 160-164. (PostScript)
* Kuipers, Jack (2002). ''Quaternions and Rotation Sequences: A Primer With Applications to Orbits, Aerospace, and Virtual Reality (Reprint edition)''. Princeton University Press. ISBN 978-0-691-10298-6
* {{zh-cn}}[http://wenku.baidu.com/link?url=x3N50ofxrcRoWx1Z7Inubpar8_eE0fdw3CAMisMUTsO3RJeTGfyWndxZ3ErTmZlP9YyKdwNjS6223jAWe4oZYr7kHen6DlDX4QWNEGnm52C 关于四元数的几何意义和物理应用] {{Wayback|url=http://wenku.baidu.com/link?url=x3N50ofxrcRoWx1Z7Inubpar8_eE0fdw3CAMisMUTsO3RJeTGfyWndxZ3ErTmZlP9YyKdwNjS6223jAWe4oZYr7kHen6DlDX4QWNEGnm52C |date=20210807103339 }}

== 参考文献 ==
{{Reflist}}
{{數的系統}}
{{Authority control}}

[[Category:超複數|S]]
[[Category:四元數| ]]
[[Category:四]]