四元數 (英語:Quaternion )是由愛爾蘭 數學家威廉·盧雲·哈密頓 在1843年創立出的數學 概念 。通常記為H ,或
H
{\displaystyle \mathbb {H} }
。
從明確地角度而言,四元數是複數 的不可交換延伸。如把四元數的集合 考慮成多維實數 空間的話,四元數則代表着一個四維空間 ,相對於複數為二維空間 。
作為用於描述現實空間的坐標表示方式,人們在複數的基礎上創造了四元數並以a+bi+cj+dk的形式說明空間點所在位置。
i、j、k作為一種特殊的虛數單位參與運算,並有以下運算規則:i0 =j0 =k0 =1,i2 =j2 =k2 =-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旋轉的反向旋轉。
基礎
定義
複數是由實數加上虛數單位
i
{\displaystyle i}
組成,其中
i
2
=
−
1
{\displaystyle i^{2}=-1\,}
。
相似地,四元數都是由實數加上三個元素
i
{\displaystyle i}
、
j
{\displaystyle j}
、
k
{\displaystyle k}
組成,而且它們有如下的關係:
i
2
=
j
2
=
k
2
=
i
j
k
=
−
1
{\displaystyle i^{2}=j^{2}=k^{2}=ijk=-1\,}
每個四元數都是 1、
i
{\displaystyle i}
、
j
{\displaystyle j}
和
k
{\displaystyle k}
的線性組合 ,即是四元數一般可表示為
a
+
b
i
+
c
j
+
d
k
{\displaystyle a+bi+cj+dk\,}
。
要把兩個四元數相加 只需將相類的系數加起來就可以,就像複數一樣。至於乘法 則可跟隨以下的乘數表:
×
{\displaystyle \times }
1
{\displaystyle 1}
i
{\displaystyle i}
j
{\displaystyle j}
k
{\displaystyle k}
1
{\displaystyle 1}
1
{\displaystyle 1}
i
{\displaystyle i}
j
{\displaystyle j}
k
{\displaystyle k}
i
{\displaystyle i}
i
{\displaystyle i}
−
1
{\displaystyle -1}
k
{\displaystyle k}
−
j
{\displaystyle -j}
j
{\displaystyle j}
j
{\displaystyle j}
−
k
{\displaystyle -k}
−
1
{\displaystyle -1}
i
{\displaystyle i}
k
{\displaystyle k}
k
{\displaystyle k}
j
{\displaystyle j}
−
i
{\displaystyle -i}
−
1
{\displaystyle -1}
四元數的單位元素的乘法構成了八階四元群 ,
Q
8
{\displaystyle Q_{8}}
。
性質
四元數不像實數 或複數 那樣,它的乘法符合反交換律 ,不符合交換律 ,因此是不可交換的,例如:
i
j
=
k
,
j
i
=
−
k
{\displaystyle i\,j=k,\,j\,i=-k}
;
j
k
=
i
,
k
j
=
−
i
{\displaystyle j\,k=i,\,k\,j=-i}
;
k
i
=
j
,
i
k
=
−
j
{\displaystyle k\,i=j,\,i\,k=-j}
。
四元數是除法環 的一個例子。除了沒有乘法的交換律外,除法環與域 是相類的。特別地,乘法的結合律 仍舊存在、非零元素仍有唯一的反元素。
四元數形成一個在實數上的四維結合代數 (事實上是除法代數),並包括複數,但不與複數組成結合代數。
四元數(以及實數和複數)都只是有限維的實數結合除法代數。
四元數的不可交換性往往導致一些令人意外的結果,例如四元數的 n -階多項式 能有多於 n 個不同的根 。
例如方程式
h
2
+
1
=
0
{\displaystyle h^{2}+1=0\,}
就有無數多個解。
只要是符合
b
2
+
c
2
+
d
2
=
1
{\displaystyle b^{2}+c^{2}+d^{2}=1\,}
的實數,那麼
h
=
b
i
+
c
j
+
d
k
{\displaystyle h=b\,i+c\,j+d\,k}
就是一個解。
一個四元數
h
=
a
+
b
i
+
c
j
+
d
k
{\displaystyle h=a+b\,i+c\,j+d\,k}
的共軛 值定義為:
h
∗
=
a
−
b
i
−
c
j
−
d
k
{\displaystyle h^{*}=a-b\,i-c\,j-d\,k}
而它的絕對值 則是非負實數,定義為:
|
h
|
=
h
⋅
h
∗
=
a
2
+
b
2
+
c
2
+
d
2
{\displaystyle \left|h\right|={\sqrt {h\cdot h^{*}}}={\sqrt {a^{2}+b^{2}+c^{2}+d^{2}}}}
注意
(
h
k
)
∗
=
k
∗
h
∗
{\displaystyle (h\,k)^{*}=k^{*}\,h^{*}}
,一般狀況下不等於
h
∗
k
∗
{\displaystyle h^{*}\,k^{*}}
。
四元數的乘法逆 可以
h
−
1
=
h
∗
|
h
|
2
{\displaystyle h^{-1}={\frac {h^{*}}{\left|h\right|^{2}}}}
算得。
透過使用距離函數
d
(
h
,
k
)
=
|
h
−
k
|
{\displaystyle d(h,k)=|h-k|\,}
,四元數便可成為同胚 於
R
4
{\displaystyle \mathbb {R} ^{4}}
的度量空間 ,
並且有連續 的算術 運算。另外,對於所有四元數
h
{\displaystyle h\,}
和
k
{\displaystyle k\,}
皆有
|
h
k
|
=
|
h
|
|
k
|
{\displaystyle |h\,k|=|h|\,|k|}
。
若以絕對值為模 ,則四元數可組成一實數 巴拿赫空間 。
群旋轉
非零四元數的乘法群在R 3 的實部為零的部分上的共軛作用可以實現轉動。單位四元數(絕對值為1的四元數)若實部為cos(t ),它的共軛作用是一個角度為2t 的轉動,轉軸為虛部的方向。四元數的優點是:
表達式無奇異點(和例如歐拉角 之類的表示相比)
比矩陣 更簡煉(也更快速)
單位四元數的對可以表示四維空間 中的一個轉動。
所有單位四元數的集合組成一個三維球 S 3 和在乘法下的一個群(一個李群 )。S 3 是行列式 為1的實正交3×3正交矩陣 的群SO (3,R )的雙重複蓋,因為每兩個 單位四元數通過上述關係對應於一個轉動。群S 3 和SU (2)同構,SU (2)是行列式為1的復酉 2×2矩陣的群。令A 為形為a + bi + cj + dk 的四元數的集合,其中a , b , c 和d 或者都是整數 或者都是分子為奇數分母為2的有理數 。集合A 是一個環,並且是一個格 。該環中存在24個四元數,而它們是施萊夫利符號 為{3,4,3}的正二十四胞體 的頂點 。
以矩陣表示四元數
有兩種方法能以矩陣 表示四元數,並以矩陣之加法、乘法應用於四元數之加法、乘法。
第一種是以二階複數矩陣表示。四元數的三個元素i 、j 、k 採用矩陣表示法(其中斜體字
i
{\displaystyle i}
為
−
1
{\displaystyle {\sqrt {-1}}}
;σ x 、σ y 、σ z 為鮑利矩陣 ):
i
=
−
i
σ
x
=
(
0
−
i
−
i
0
)
,
j
=
−
i
σ
y
=
(
0
−
1
1
0
)
,
k
=
−
i
σ
z
=
(
−
i
0
0
i
)
{\displaystyle \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}}}
。
則任意四元數h = a + b i + c j + d k 的矩陣形式為:
(
a
−
d
i
−
c
−
b
i
c
−
b
i
a
+
d
i
)
{\displaystyle {\begin{pmatrix}a-di&-c-bi\\c-bi&a+di\end{pmatrix}}}
這種表示法有如下優點:
使b = d = 0,可回歸到一複數 h = a + c j ,相應於一個實矩陣。(參見複數 的矩陣表達式。)
四元數的絕對值平方就等於矩陣的行列式 。
四元數的共軛值就等於矩陣的共軛轉置 。
對於單位四元數 (|h | = 1) 而言,這種表示方式給了四維球體 和SU(2) 之間的一個同型,而後者對於量子力學 中的自旋 的研究十分重要。(參見鮑利矩陣 )
第二種則是以四階實數矩陣表示(相當與把上述表示中的複數再換成其矩陣表示):
i
↔
(
0
−
1
1
0
)
{\displaystyle i\leftrightarrow {\begin{pmatrix}0&-1\\1&\;\;0\end{pmatrix}}}
(
a
d
−
c
b
−
d
a
−
b
−
c
c
b
a
−
d
−
b
c
d
a
)
=
a
(
1
0
0
0
0
1
0
0
0
0
1
0
0
0
0
1
)
+
b
(
0
0
0
1
0
0
−
1
0
0
1
0
0
−
1
0
0
0
)
+
c
(
0
0
−
1
0
0
0
0
−
1
1
0
0
0
0
1
0
0
)
+
d
(
0
1
0
0
−
1
0
0
0
0
0
0
−
1
0
0
1
0
)
.
{\displaystyle {\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}}.}
其中四元數的共軛等於矩陣的轉置 ,模的四次方等於矩陣的行列式。
四元數運算
四元數運算在電動力學 與廣義相對論 中有廣泛的應用。四元數可以用來取代張量表示。有時候採用帶有複數元素之四元數會比較容易,導得結果不為除法代數之形式。然而亦可結合共軛運算以達到相同的運算結果。
此處僅討論具有實數元素之四元數,並將以兩種形式來描述四元數。其中一種是向量與純量的結合,另一形式兩個創建量(constructor)與雙向量(bivector;i、j與k)的結合。
定義兩個四元數:
q
=
a
+
u
→
=
a
+
b
i
+
c
j
+
d
k
{\displaystyle q=a+{\vec {u}}=a+bi+cj+dk}
p
=
t
+
v
→
=
t
+
x
i
+
y
j
+
z
k
{\displaystyle p=t+{\vec {v}}=t+xi+yj+zk}
其中
u
→
{\displaystyle {\vec {u}}}
表示向量<b, c, d>,而
v
→
{\displaystyle {\vec {v}}}
表示向量<x, y, z>.
加、乘和一般函數
四元數加法:p + q
跟複數 、向量 和矩陣 一樣,兩個四元數之和需要將不同的元素加起來:
p
+
q
=
a
+
t
+
u
→
+
v
→
=
(
a
+
t
)
+
(
b
+
x
)
i
+
(
c
+
y
)
j
+
(
d
+
z
)
k
{\displaystyle p+q=a+t+{\vec {u}}+{\vec {v}}=(a+t)+(b+x)i+(c+y)j+(d+z)k}
加法遵循實數 和複數 的所有交換律和結合律。
四元數乘法:qp
兩個四元數之間的非可換乘積通常被稱為格拉斯曼 積,這個積上面已經簡單介紹過,它的完整型態是:
q
p
=
a
t
−
u
→
⋅
v
→
+
a
v
→
+
t
u
→
+
u
→
×
v
→
{\displaystyle qp=at-{\vec {u}}\cdot {\vec {v}}+a{\vec {v}}+t{\vec {u}}+{\vec {u}}\times {\vec {v}}}
q
p
=
(
a
t
−
b
x
−
c
y
−
d
z
)
+
(
a
x
+
b
t
+
c
z
−
d
y
)
i
+
(
a
y
−
b
z
+
c
t
+
d
x
)
j
+
(
a
z
+
b
t
−
c
x
+
d
t
)
k
{\displaystyle qp=(at-bx-cy-dz)+(ax+bt+cz-dy)i+(ay-bz+ct+dx)j+(az+bt-cx+dt)k\,}
由於四元數乘法的非可換性,pq並不等於qp。格拉斯曼 積常用在描述許多其他代數函數 。qp乘積的向量 部分是:
q
p
=
a
t
−
u
→
⋅
v
→
+
a
v
→
+
t
u
→
+
u
→
×
v
→
{\displaystyle qp=at-{\vec {u}}\cdot {\vec {v}}+a{\vec {v}}+t{\vec {u}}+{\vec {u}}\times {\vec {v}}}
四元數點積: p · q
點積也叫做歐幾里得 內積 ,四元數的點積等同於一個四維向量的點積 。點積 的值是p中每個元素的數值與q中相應元素的數值的乘積的和。這是四元數之間的可換積,並返回一個純量 。
p
⋅
q
=
a
t
+
u
→
⋅
v
→
=
a
t
+
b
x
+
c
y
+
d
z
{\displaystyle p\cdot q=at+{\vec {u}}\cdot {\vec {v}}=at+bx+cy+dz}
點積 可以用格拉斯曼 積的形式表示:
p
⋅
q
=
p
∗
q
+
q
∗
p
2
{\displaystyle p\cdot q={\frac {p^{*}q+q^{*}p}{2}}}
這個積對於從四元數分離出一個元素有用。例如,i項可以從p中這樣提出來:
p
⋅
i
=
x
{\displaystyle p\cdot i=x}
四元數外積:Outer(p,q)
歐幾里得 外積 並不常用; 然而因為外積 和內積 的格拉斯曼 積形式的相似性.它們總是一同被提及:
Outer
(
p
,
q
)
=
p
∗
q
−
q
∗
p
2
{\displaystyle \operatorname {Outer} (p,q)={\frac {p^{*}q-q^{*}p}{2}}}
Outer
(
p
,
q
)
=
t
u
→
−
a
v
→
−
v
→
×
u
→
{\displaystyle \operatorname {Outer} (p,q)=t{\vec {u}}-a{\vec {v}}-{\vec {v}}\times {\vec {u}}}
Outer
(
p
,
q
)
=
(
t
b
−
a
x
+
c
z
−
d
y
)
i
+
(
t
c
−
a
y
+
d
x
−
b
z
)
j
+
(
t
d
−
a
z
+
b
y
−
x
c
)
k
{\displaystyle \operatorname {Outer} (p,q)=(tb-ax+cz-dy)i+(tc-ay+dx-bz)j+(td-az+by-xc)k}
四元數偶積:Even(p,q)
四元數偶積也不常用,但是它也會被提到,因為它和奇積的相似性。它是純對稱的積;因此,它是完全可交換的。
Even
(
p
,
q
)
=
p
q
+
q
p
2
{\displaystyle \operatorname {Even} (p,q)={\frac {pq+qp}{2}}}
Even
(
p
,
q
)
=
a
t
−
u
→
⋅
v
→
+
a
v
→
+
t
u
→
{\displaystyle \operatorname {Even} (p,q)=at-{\vec {u}}\cdot {\vec {v}}+a{\vec {v}}+t{\vec {u}}}
Even
(
p
,
q
)
=
(
a
t
−
b
x
−
c
y
−
d
z
)
+
(
a
x
+
t
b
)
i
+
(
a
y
+
t
c
)
j
+
(
a
z
+
t
d
)
k
{\displaystyle \operatorname {Even} (p,q)=(at-bx-cy-dz)+(ax+tb)i+(ay+tc)j+(az+td)k}
四元數叉積:p × q
四元數叉積也稱為奇積。它和向量叉積等價,並且只返回一個向量值:
p
×
q
=
p
q
−
q
p
2
{\displaystyle p\times q={\frac {pq-qp}{2}}}
p
×
q
=
u
→
×
v
→
{\displaystyle p\times q={\vec {u}}\times {\vec {v}}}
p
×
q
=
(
c
z
−
d
y
)
i
+
(
d
x
−
b
z
)
j
+
(
b
y
−
x
c
)
k
{\displaystyle p\times q=(cz-dy)i+(dx-bz)j+(by-xc)k}
四元數的逆:p−1
四元數的逆通過p−1 p = 1被定義。 它定義在上面的定義一節,位於屬性之下(注意變量記法的差異)。其建構方式相同於複倒數(complex inverse)之構造:
p
−
1
=
p
∗
p
⋅
p
{\displaystyle p^{-1}={\frac {p^{*}}{p\cdot p}}}
一個四元數的自身點積是個純量。四元數除以一個純量等效於乘上此純量的倒數,而使四元數的每個元素皆除以此一除數。
四元數除法:p−1 q
四元數的不可換性導致了 p−1 q 和 qp−1 的不同。 這意味着除非p是一個純量,否則不能使用q/p這一符號。
四元數純量部:Scalar(p)
四元數的純量部分可以用前面所述的點積來分離出來:
1
⋅
p
=
p
+
p
∗
2
=
t
{\displaystyle 1\cdot p={\frac {p+p^{*}}{2}}=t}
四元數向量部:Vector(p)
四元數的向量部分可以用外積提取出來,就象用點積分離純量那樣:
Outer
(
1
,
p
)
=
p
−
p
∗
2
=
u
→
=
b
i
+
c
j
+
d
k
{\displaystyle \operatorname {Outer} (1,p)={\frac {p-p^{*}}{2}}={\vec {u}}=bi+cj+dk}
四元數模:|p|
四元數的絕對值是四元數到原點的距離。
|
p
|
=
p
⋅
p
=
p
∗
p
=
a
2
+
b
2
+
c
2
+
d
2
{\displaystyle |p|={\sqrt {p\cdot p}}={\sqrt {p^{*}p}}={\sqrt {a^{2}+b^{2}+c^{2}+d^{2}}}}
四元數符號數:sgn(p)
一複數之符號數乃得出單位圓上,一個方向與原複數相同之複數。四元數的符號數亦產生單位四元數:
sgn
(
p
)
=
p
|
p
|
{\displaystyle \operatorname {sgn}(p)={\frac {p}{|p|}}}
四元數輻角:arg(p)
輻角函數可找出一個四元數向量偏離單位純量(即:1)之角度。此函數輸出一個純量角度。
arg
(
p
)
=
arccos
(
Scalar
(
p
)
|
p
|
)
{\displaystyle \arg(p)=\arccos \left({\frac {\operatorname {Scalar} (p)}{|p|}}\right)}
冪和對數
因為四元數有除法,所以冪 和對數 可以定義。
自然冪:
exp
(
p
)
=
exp
(
a
)
(
cos
(
|
u
→
|
)
+
sgn
(
u
→
)
sin
(
|
u
→
|
)
)
{\displaystyle \exp(p)=\exp(a)(\cos(|{\vec {u}}|)+\operatorname {sgn}({\vec {u}})\sin(|{\vec {u}}|))}
自然對數:
ln
(
p
)
=
ln
(
|
p
|
)
+
sgn
(
u
→
)
arg
(
p
)
{\displaystyle \ln(p)=\ln(|p|)+\operatorname {sgn}({\vec {u}})\arg(p)}
冪:
p
q
=
e
q
ln
(
p
)
{\displaystyle p^{q}=e^{q\ln(p)}\,}
正弦 :
sin
(
p
)
=
sin
(
a
)
cosh
(
|
u
→
|
)
+
cos
(
a
)
sgn
(
u
→
)
sinh
(
|
u
→
|
)
{\displaystyle \sin(p)=\sin(a)\cosh(|{\vec {u}}|)+\cos(a)\operatorname {sgn}({\vec {u}})\sinh(|{\vec {u}}|)}
餘弦 :
cos
(
p
)
=
cos
(
a
)
cosh
(
|
u
→
|
)
−
sin
(
a
)
sgn
(
u
→
)
sinh
(
|
u
→
|
)
{\displaystyle \cos(p)=\cos(a)\cosh(|{\vec {u}}|)-\sin(a)\operatorname {sgn}({\vec {u}})\sinh(|{\vec {u}}|)}
正切 :
tan
(
p
)
=
sin
(
p
)
cos
(
p
)
{\displaystyle \tan(p)={\frac {\sin(p)}{\cos(p)}}}
雙曲正弦:
sinh
(
p
)
=
sinh
(
a
)
cos
(
|
u
→
|
)
+
cosh
(
a
)
sgn
(
|
u
→
|
)
sin
(
|
u
→
|
)
{\displaystyle \sinh(p)=\sinh(a)\cos(|{\vec {u}}|)+\cosh(a)\operatorname {sgn}(|{\vec {u}}|)\sin(|{\vec {u}}|)}
雙曲餘弦:
cosh
(
p
)
=
cosh
(
a
)
cos
(
|
u
→
|
)
+
sinh
(
a
)
sgn
(
|
u
→
|
)
sin
(
|
u
→
|
)
{\displaystyle \cosh(p)=\cosh(a)\cos(|{\vec {u}}|)+\sinh(a)\operatorname {sgn}(|{\vec {u}}|)\sin(|{\vec {u}}|)}
雙曲正切:
tanh
(
p
)
=
sinh
(
p
)
cosh
(
p
)
{\displaystyle \tanh(p)={\frac {\sinh(p)}{\cosh(p)}}}
反雙曲正弦:
arcsinh
(
p
)
=
ln
(
p
+
p
2
+
1
)
{\displaystyle \operatorname {arcsinh} (p)=\ln(p+{\sqrt {p^{2}+1}})}
反雙曲餘弦:
arccosh
(
p
)
=
ln
(
p
+
p
2
−
1
)
{\displaystyle \operatorname {arccosh} (p)=\ln(p+{\sqrt {p^{2}-1}})}
反雙曲正切:
arctanh
(
p
)
=
ln
(
1
+
q
)
−
ln
(
1
−
q
)
2
{\displaystyle \operatorname {arctanh} (p)={\frac {\ln(1+q)-\ln(1-q)}{2}}}
將這些被放到最後,是因為需要先定義四元數中的反雙曲三角函數。
反正弦 函數:
arcsin
(
p
)
=
−
sgn
(
u
→
)
arcsinh
(
p
sgn
(
u
→
)
)
{\displaystyle \arcsin(p)=-\operatorname {sgn}({\vec {u}})\operatorname {arcsinh} (p\operatorname {sgn}({\vec {u}}))}
反餘弦 函數:
arccos
(
p
)
=
−
sgn
(
u
→
)
arccosh
(
p
)
{\displaystyle \arccos(p)=-\operatorname {sgn}({\vec {u}})\operatorname {arccosh} (p)}
反正切 函數:
arctan
(
p
)
=
−
sgn
(
u
→
)
arctanh
(
p
sgn
(
u
→
)
)
{\displaystyle \arctan(p)=-\operatorname {sgn}({\vec {u}})\operatorname {arctanh} (p\operatorname {sgn}({\vec {u}}))}
廣義化
若 F 是一個域,且 a 、b 為 F 的元素,那麼就可在 F 上定義一個四維單一結合代數,而它的產生是由符合 i 2 = a 、j 2 = b 和 ij = -ji 的 i 、j 而起。
這些代數不是與 F 的二階矩陣代數同型,就是 F 的除法代數。它們稱為「四元數代數 」。
歷史
四元數 是由哈密頓在1843年愛爾蘭發現的。當時他正研究擴展複數到更高的維次(複數可視為平面 上的點 )。他不能做到三維空間 的例子(即構建不出三元數 ),但四維則造出四元數。根據哈密頓記述,他於10月16日跟他的妻子在都柏林 的皇家運河(Royal Canal)上散步時突然想到
i
2
=
j
2
=
k
2
=
i
j
k
=
−
1
{\displaystyle 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代數 的一個子代數,而後者已經得到很好的研究和應用,尤其是在理論物理中。例如可以用幾何代數將狹義相對論和經典電動力學表述為非常優美的形式,量子力學中討論自旋常用的鮑利矩陣實際上也是幾何代數的一個子代數的矩陣表示,類似的例子還有對經典力學中剛體的轉動的不可交換性的表述。
應用
四元數大量用於計算機圖形學 中,表示三維物件的旋轉及方位。四元數亦見於控制論 、信號處理 、姿態控制 、物理、軌道力學 和生物資訊學 ,[ 1] [ 2] 都是用來表示旋轉和方位。
相對於另兩種旋轉表示法(矩陣 和歐拉角 ),四元數具有某些方面的優勢,如速度更快、提供平滑插值 、有效避免萬向鎖 問題、存儲空間較小等等[ 3] 。
相關條目
外部連結
參考文獻
^ Shu, Jian-Jun; Ouw, L.S. Pairwise alignment of the DNA sequence using hypercomplex number representation. Bulletin of Mathematical Biology. 2004, 66 (5): 1423–1438. doi:10.1016/j.bulm.2004.01.005 .
^ Shu, Jian-Jun; Li, Y. Hypercomplex cross-correlation of DNA sequences. Journal of Biological Systems. 2010, 18 (4): 711–725. doi:10.1142/S0218339010003470 .
^ 帕貝里. 第10章3D中的方位与角位移 10.5各方法比较. 3D数学基础: 图形与游戏开发. 清華大學出版社有限公司. 2005: 第159頁. ISBN 9787302109464 .
可數集
自然數 (
N
{\displaystyle \mathbb {N} }
)
整數 (
Z
{\displaystyle \mathbb {Z} }
)
有理數 (
Q
{\displaystyle \mathbb {Q} }
)
規矩數
代數數 (
A
{\displaystyle \mathbb {A} }
)
週期
可計算數
可定義數
高斯整數 (
Z
[
i
]
{\displaystyle \mathbb {Z} [i]}
)
艾森斯坦整數
合成代數
可除代數 :實數 (
R
{\displaystyle \mathbb {R} }
)
複數 (
C
{\displaystyle \mathbb {C} }
)
四元數 (
H
{\displaystyle \mathbb {H} }
)
八元數 (
O
{\displaystyle \mathbb {O} }
)
凱萊-迪克森結構
實數 (
R
{\displaystyle \mathbb {R} }
)
複數 (
C
{\displaystyle \mathbb {C} }
)
四元數 (
H
{\displaystyle \mathbb {H} }
)
八元數 (
O
{\displaystyle \mathbb {O} }
)
十六元數 (
S
{\displaystyle \mathbb {S} }
)
三十二元數
六十四元數
一百二十八元數
二百五十六元數……
分裂 形式 其他超複數 其他系統