本页使用了标题或全文手工转换

四元數

维基百科,自由的百科全书
跳转至: 导航搜索
各种各样的
基本

\mathbb{N}\subseteq\mathbb{Z}\subseteq\mathbb{Q}\subseteq\mathbb{R}\subseteq\mathbb{C}

正數 \begin{smallmatrix} \mathbb{R}^+ \end{smallmatrix}
自然数 \begin{smallmatrix} \mathbb{N} \end{smallmatrix}
正整數 \begin{smallmatrix} \mathbb{Z}^+ \end{smallmatrix}
小数
有限小数
无限小数
循环小数
有理数 \begin{smallmatrix} \mathbb{Q} \end{smallmatrix}
代數數 \begin{smallmatrix} \mathbb{A} \end{smallmatrix}
实数 \begin{smallmatrix} \mathbb{R} \end{smallmatrix}
複數 \begin{smallmatrix} \mathbb{C} \end{smallmatrix}
高斯整數 \begin{smallmatrix} \mathbb{Z}[i] \end{smallmatrix}

负数 \begin{smallmatrix} \mathbb{R}^- \end{smallmatrix}
整数 \begin{smallmatrix} \mathbb{Z} \end{smallmatrix}
负整數 \begin{smallmatrix} \mathbb{Z}^- \end{smallmatrix}
分數
單位分數
二进分数
規矩數
無理數
超越數
虚数
二次无理数
艾森斯坦整数 \begin{smallmatrix} \mathbb{Z}[\omega] \end{smallmatrix}

延伸

雙複數
四元數 \begin{smallmatrix} \mathbb{H} \end{smallmatrix}
共四元數
八元數 \begin{smallmatrix} \mathbb{O} \end{smallmatrix}
超數
上超實數

超复数
十六元數 \begin{smallmatrix} \mathbb{S} \end{smallmatrix}
複四元數
大實數
超實數 \begin{smallmatrix} {}^\star\mathbb{R} \end{smallmatrix}
超現實數

其他

对偶数
雙曲複數
序数
質數
同餘
可計算數
阿列夫数

公稱值
超限数
基數
P進數
規矩數
整數數列
數學常數

圓周率 \begin{smallmatrix} \pi \end{smallmatrix}
 = 3.141592653…
自然對數的底 \begin{smallmatrix} e \end{smallmatrix}
 = 2.718281828…
虛數單位 \begin{smallmatrix} i \end{smallmatrix}
 = \begin{smallmatrix} +\sqrt{-1} \end{smallmatrix}
無窮大 \begin{smallmatrix} \infty \end{smallmatrix}

四元數是由爱尔兰數學家威廉·盧雲·哈密頓在1843年發現的數學概念

從明確地角度而言,四元數是複數的不可交換延伸。如把四元數的集合考慮成多維實數空間的話,四元數就代表著一個四维空间,相對於複數為二维空间

基礎[编辑]

定義[编辑]

複數是由實數加上虛數單位 i 組成,其中

i^2 = -1 \,

相似地,四元數都是由實數加上三個元素 ijk 組成,而且它們有如下的關係:

i^2 = j^2 = k^2 = ijk = -1 \,

每個四元數都是 1、ijk線性組合,即是四元數一般可表示為a + bi + cj + dk \,

要把兩個四元數相加只需將相類的係數加起來就可以,就像複數一樣。至於乘法則可跟隨以下的乘數表:

\times 1 i j k
1 1 i j k
i i -1 k -j
j j -k -1 i
k k j -i -1

四元數的單位元素的乘法構成了八階四元群Q_8

例子[编辑]

假設:

x = 3 + i \,
y = 5i + j - 2k \,

那麼:

x + y = 3 + 6i + j - 2k \,
xy = \left( {3 + i} \right)\left( {5i + j - 2k} \right) = 15i + 3j - 6k + 5i^2  + ij - 2ik
= 15i + 3j - 6k - 5 + k + 2j = - 5 + 15i + 5j - 5k \,

性質[编辑]

四元數不像實數複數那樣,它的乘法是不可交換的,例如:

i \, j = k, \, j \, i = -k
j \, k = i, \, k \, j = -i
k \, i = j, \, i \, k = -j

四元數是除法環的一個例子。除了沒有乘法的交換律外,除法環與是相類的。特別地,乘法的結合律仍舊存在、非零元素仍有唯一的逆元素。

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

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

一個四元數 h = a + b \, i + c \, j + d \, k共軛值定義為:

h^* = a - b \, i - c \, j - d \, k

而它的絕對值則是非負實數,定義為:

\left| h \right| = \sqrt {h \cdot h^ *  }  = \sqrt {a^2  + b^2  + c^2  + d^2 }

注意(h \, k)^* = k^* \, h^*,一般狀況下不等於h^* \, k^*

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

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

群旋轉[编辑]

四元数和空间转动条目所释,非零四元数的乘法群在R3的实部为零的部分上的共轭作用可以实现转动。单位四元数(绝对值为1的四元数)若实部为cos(t),它的共轭作用是一个角度为2t的转动,转轴为虚部的方向。四元数的优点是:

  1. 表达式无奇点(和例如欧拉角之类的表示相比)
  2. 矩阵更简炼(也更快速)
  3. 单位四元数的对可以表示四维空间中的一个转动。

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

以矩陣表示四元數[编辑]

有兩種方法能以矩陣表示四元數,並以矩陣之加法、乘法應用於四元數之加法、乘法。

第一種是以二階複數矩陣表示。若 h = a + bi + cj + dk 則它的複數形式為:

\begin{pmatrix} a-di & -b+ci \\ b+ci & \;\; a+di \end{pmatrix}

這種表示法有如下優點:

  • 所有複數 (c = d = 0) 就相應於一個實矩陣。
  • 四元數的絕對值的平方就等於矩陣的行列式
  • 四元數的共軛值就等於矩陣的共軛轉置
  • 對於單位四元數 (|h| = 1) 而言,這種表示方式給了四維球体SU(2)之間的一個同型,而後者對於量子力學中的自旋的研究十分重要。(請另見泡利矩陣

第二種則是以四階實數矩陣表示:

\begin{pmatrix}\;\;a&-b&\;\;d&-c\\ \;\;b&\;\;a&-c&-d\\-d&\;\;c&\;\;a&-b\\ \;\;c&\;\;d&\;\;b&\;\;a\end{pmatrix}

其中四元數的共軛等於矩陣的轉置

四元數運算[编辑]

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

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

定義兩個四元數:

q = a + \vec{u} = a + bi + cj + dk
p = t + \vec{v} = t + xi + yj + zk

其中\vec{u}表示矢量<b, c, d>,而\vec{v}表示矢量<x, y, z>.

加、乘和一般函數[编辑]

四元數加法:p + q
複數向量矩陣一樣,兩個四元數之和需要將不同的元素加起來:
p + q = a + t + \vec{u} + \vec{v} = (a + t) + (b + x)i + (c + y)j + (d + z)k

加法遵循实数复数的所有交换律和结合律。

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

pq = at -\vec{u}\cdot\vec{v} + a\vec{v} + t\vec{u} + \vec{v}\times\vec{u}

pq = (at - bx - cy - dz) + (bt + ax + dy - cz)i + (ct + ay + bz - dx)j + (dt + za + cx - by)k \,

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

qp = at -\vec{u}\cdot\vec{v} + a\vec{v} + t\vec{u} + \vec{u}\times\vec{v}

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

p \cdot q = at + \vec{u}\cdot\vec{v} = at + bx + cy + dz

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

p \cdot q = \frac{p^*q + q^*p}{2}

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

p \cdot i = x

四元數外積:Outer(p,q) 

欧几里得外积并不常用; 然而因为外积内积格拉斯曼积形式的相似性.它们总是一同被提及:

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

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

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

四元數偶積:Even(p,q) 

四元数偶积也不常用,但是它也会被提到,因为它和奇积的相似性。它是纯对称的积;因此,它是完全可交换的。

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

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

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

四元數叉積:p × q

四元数叉积也称为奇积。它和向量叉积等价,并且只返回一个向量值:

p \times q = \frac{pq - qp}{2}

p \times q = \vec{u}\times\vec{v}

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

四元數的逆:p−1

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

p^{-1} = \frac{p^*}{p\cdot p}

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

四元數除法:p−1

四元数的不可换性导致了 p−1q 和 qp−1的不同。 这意味着除非p是一个标量,否则不能使用q/p这一符号。

四元數純量部:Scalar(p) 

四元数的标量部分可以用前面所述的点积来分离出来:

1\cdot p = \frac{p + p^*}{2} = t

四元數向量部:Vector(p) 

四元数的向量部分可以用外积提取出来,就象用点积分离标量那样:

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

四元數模:|p| 

四元数的绝对值是四元数到原点的距离。

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

四元數符號數:sgn(p) 

一複數之符號數乃得出單位圓上,一個方向與原複數相同之複數。四元數的符號數亦產生單位四元數:

\sgn(p) = \frac{p}{|p|}

四元數辐角:arg(p) 

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

\arg(p) = \arccos\left(\frac{\operatorname{Scalar}(p)}{|p|}\right)

冪和對數[编辑]

因為四元數有除法,所以對數可以定義。

  • 自然冪:\exp(p) = \exp(a)(\cos(|\vec{u}|) + \sgn(\vec{u})\sin(|\vec{u}|))
  • 自然對數:\ln(p) = \ln(|p|) + \sgn(\vec{u})\arg(p)
  • 冪:p^q = e^{q\ln(p)} \,

三角函數[编辑]

雙曲函數[编辑]

  • 雙曲正弦: \sinh(p) = \sinh(a)\cos(|\vec{u}|) + \cosh(a)\sgn(|\vec{u}|)\sin(|\vec{u}|)
  • 雙曲餘弦: \cosh(p) = \cosh(a)\cos(|\vec{u}|) + \sinh(a)\sgn(|\vec{u}|)\sin(|\vec{u}|)
  • 雙曲正切: \tanh(p) = \frac{\sinh(p)}{\cosh(p)}

反雙曲函數[编辑]

  • 反雙曲正弦: \operatorname{arcsinh}(p) = \ln(p + \sqrt{p^2 + 1})
  • 反雙曲餘弦: \operatorname{arccosh}(p) = \ln(p + \sqrt{p^2 - 1})
  • 反雙曲正切: \operatorname{arctanh}(p) = \frac{\ln(1+q)-\ln(1-q)}{2}

反三角函數[编辑]

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

廣義化[编辑]

F 是一個域,且 abF 的元素,那麼就可在 F 上定義一個四維單一結合代数,而它的產生是由符合 i2 = aj2 = bij = -jiij 而起。 這些代数不是與 F 的二階矩陣代数同型,就是 F 的除法代数。它們稱為「四元數代数」。

歷史[编辑]

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

i^2 = j^2 = k^2 = ijk = -1 \,
金雀花橋上的紀念石刻

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

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

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

用途爭辯[编辑]

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

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

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

紀念發現人的活動[编辑]

愛爾蘭國家大學梅努斯分校由1989年開始舉辦紀念發現人哈密頓的徒步活動,活動行程由Dunsink天文台起始,到皇家運河結束,參與者包括數學家盖尔曼(2002年)和安德魯·懷爾斯(2003年),可惜途中已找不到哈密頓的刻石[來源請求]

應用[编辑]

四元數大量用於電腦繪圖(及相關的圖像分析)上表示三維物件的旋轉及方位。四元數亦見於控制論信號處理姿态控制、物理和軌道力學,都是用來表示旋轉和方位。

相對於另兩種旋轉表示法(矩陣歐拉角),四元數具有某些方面的優勢,如速度更快、提供平滑插值、有效避免萬向鎖問題、存儲空間較小等等 [1]

参考文献[编辑]

  1. ^ 帕贝里. 第10章3D中的方位与角位移 10.5各方法比较//3D数学基础: 图形与游戏开发. 清华大学出版社有限公司. 2005: 第159页. ISBN 9787302109464. 

外部链接[编辑]

参见[编辑]