-
四元數
鎖定
四元數,是簡單的超複數。 複數是由實數加上虛數單位 i 組成,其中i²= -1。 相似地,四元數都是由實數加上三個虛數單位 i、j和k 組成,而且它們有如下的關係: i² = j² = k² = -1, iº = jº = kº = 1 , 每個四元數都是 1、i、j 和 k 的線性組合,即是四元數一般可表示為a + bi+ cj + dk,其中a、b、c 、d是實數。
對於i、j和k本身的幾何意義可以理解為一種旋轉,其中i旋轉代表Z軸與Y軸相交平面中Z軸正向向Y軸正向的旋轉,j旋轉代表X軸與Z軸相交平面中X軸正向向Z軸正向的旋轉,k旋轉代表Y軸與X軸相交平面中Y軸正向向X軸正向的旋轉,-i、-j、-k分別代表i、j、k旋轉的反向旋轉。
- 中文名
- 四元數
- 外文名
- Quaternions
- 發明者
- 愛爾蘭數學家哈密頓
- 發明時間
- 1843年
- 屬 性
- 數學術語
目錄
四元數簡介
四元數(Quaternions),是由愛爾蘭數學家哈密頓(William Rowan Hamilton,1805-1865)在1843年發明的數學概念,直到1985年才由Shoemake把四元數引入到計算機圖形學中。四元數的乘法不符合交換律(commutative law)。
四元數的不可交換性往往導致一些令人意外的結果,例如四元數的 n-階多項式能有多於 n 個不同的根。
四元數基本性質
四元數例子
假設:
那麼:
四元數羣旋轉
像在四元數和空間轉動條目中詳細解釋的那樣,非零四元數的乘法羣在
的取實部為零的拷貝上以共軛作用可以實現轉動。單位四元數(絕對值為1的四元數)的共軛作用,若實部為
,是一個角度為
的轉動,轉軸為虛部的方向。四元數的優點是:
1.非奇異表達(和例如歐拉角之類的表示相比)
2.比矩陣更緊湊(更快速)
3.單位四元數的對可以表示四維空間中的一個轉動。
4.所有單位四元數的集合組成一個三維球
和在乘法下的一個羣(一個李羣)。
是行列式為1的實正交3×3正交矩陣的羣
的雙面覆蓋,因為每兩個單位四元數通過上述關係對應於一個轉動。
羣和
同構,
是行列式為1的復酉2×2矩陣的羣。令
為形為
的四元數的集合,其中
或者都是整數或者都是分子為奇數分母為2的有理數。集合
是一個環,並且是一個格。該環中存在 24 個四元數,而它們是施萊夫利符號為
的正二十四胞體的頂點。
四元數矩陣表示
第一種是以二階複數矩陣表示。若
則它的複數形式為:
這種表示法有如下優點:
所有複數
就相應於一個實矩陣。
四元數的絕對值的平方就等於矩陣的行列式。
四元數的共軛值就等於矩陣的共軛轉置。
第二種則是以四階實數矩陣表示:
其中四元數的共軛等於矩陣的轉置。
四元數歷史
1843年,哈密頓在愛爾蘭發現四元數。當時他正研究擴展複數到更高的維次(複數可視為平面上的點)。他不能做到三維空間的例子,但四維則造出四元數。根據哈密頓記述,他於10月16日跟妻子在都柏林的皇家運河(Royal Canal)上散步時突然想到
的方程解。之後哈密頓立刻將此方程刻在附近布魯穆橋(Brougham Bridge,現稱為金雀花橋 Broom Bridge)。這條方程放棄了交換律,是當時一個極端的想法(那時還未發展出向量和矩陣)。
不只如此,哈密頓還創造了向量的內外積。他亦把四元數描繪成一個有序的四重實數:一個純量
和向量
的組合。若兩個純量部為零的四元數相乘,所得的純量部便是原來的兩個向量部的純量積的負值,而向量部則為向量積的值,但它們的重要性仍有待發掘。
哈密頓之後繼續推廣四元數,並出了幾本書。最後一本《四元數的原理》(Elements of Quaternions)於他死後不久出版,長達八百多頁。
四元數用途爭辯
四元數的用途仍在爭辯之中。一些哈密頓的支持者非常反對奧利弗·亥維賽(Oliver Heaviside)的向量代數學和約西亞·威拉德·吉布斯(Josiah Willard Gibbs)的向量微積分的發展,以維持四元數的超然地位。對於三維空間這可以討論,但對於更高維四元數就失效了(但可用延伸如八元數和柯利弗德代數學)。而事實上,在二十世紀中葉的科學和工程界中,向量幾乎已完全取代四元數的位置
[1]
。
詹姆斯·克拉克·麥克斯韋(James Clerk Maxwell)曾經在他的《電磁場動力理論》(A Dynamical Theory of Electromagnetic Field)直接以20條有20個變量的微分方程組來解釋電力、磁力和電磁場之間的關係。某些早期的麥克斯韋方程組使用了四元數來表述,但與後來亥維賽使用四條以向量為基礎的麥克斯韋方程組表述相比較,使用四元數的表述並沒有流行起來
[2]
。
四元數運算
四元數綜述
定義兩個四元數:
其中
表示矢量
;而
表示矢量
。
四元數四元數加法
跟複數、向量和矩陣一樣,兩個四元數之和需要將不同的元素加起來。
四元數四元數乘法
兩個四元數之間的非可換乘積通常被格拉斯曼(Hermann Grassmann)稱為積,這個積上面已經簡單介紹過,它的完整型態是︰
由於四元數乘法的非可換性,pq並不等於qp。格拉斯曼積常用在描述許多其他代數函數。qp乘積的向量部分是:
四元數四元數點積
點積可以用格拉斯曼積的形式表示:
這個積對於從四元數分離出一個元素有用。例如,i項可以從p中這樣提出來:
四元數四元數外積:Outer(p,q)
歐幾里德外積並不常用; 然而因為外積和內積的格拉斯曼積形式的相似性,它們總是一同被提及:
四元數四元數偶積:Even(p,q)
四元數偶積也不常用,但是它也會被提到,因為它和奇積的相似性。它是純對稱的積;因此,它是完全可交換的。
四元數四元數叉積:p×q
四元數叉積也稱為奇積。它和向量叉積等價,並且只返回一個向量值:
四元數四元數轉置:p^(−1)
四元數的轉置通過
被定義。它定義在上面的定義一節,位於屬性之下(注意變量記法的差異)。其建構方式相同於復倒數(complex inverse)之構造:
四元數四元數除法:p^(−1) q
四元數四元數純量部:Scalar(p)
四元數的標量部分可以用前面所述的點積來分離出來:
四元數四元數向量部:Vector(p)
四元數的向量部分可以用外積提取出來,就象用點積分離標量那樣:
四元數四元數模:|p|
四元數的絕對值是四元數到原點的距離。
四元數四元數符號數:sgn(p)
一複數之符號數乃得出單位圓上,一個方向與原複數相同之複數。四元數的符號數亦產生單位四元數:
四元數四元數輻角:arg(p)
幅角函數可找出一4-向量四元數偏離單位純量(即:1)之角度。此函數輸出一個純量角度。
- 參考資料
-
- 1. 李新波,李曉青,劉國君,石要武,楊志剛. 用於聲矢量陣列波達方向估計的四元數最小范數法[J]. 光學精密工程,2014,22(07):1969-1975.
- 2. 張洪華,關軼峯,胡錦昌,王澤國. 分區四元數姿態控制[J]. 自動化學報,2015,41(07):1341-1349.
- 3. 關於四元數的幾何意義和物理應用(第二版) .百度文庫.2021-07-05[引用日期2021-07-14]