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