|
|
四元数是最简单的超复数。
复数是由实数加上元素 i 组成，其中
<math>i^2 = -1 ,</math>。
相似地，四元数都是由实数加上三个元素 i、j、k 组成，而且它们有如下的关系：
<math>i^2 = j^2 = k^2 = ijk = -1 ,</math>
每个四元数都是 1、i、j 和 k 的线性组合，即是四元数一般可表示为<math>a + bi + cj + dk ,</math>。 |
|
四元数(quaternions)是由威廉·卢云·哈密顿(william rowan hamilton, 1805-1865)在1843年爱尔兰发现的数学概念。四元数的乘法不符合交换律(commutative law)，故它似乎破坏了科学知识中一个最基本的原则。
明确地说，四元数是复数的不可交换延伸。如把四元数的集合考虑成多维实数空间的话，四元数就代表著一个四维空间，相对於复数为二维空间。
四元数是除法环的一个例子。除了没有乘法的交换律外，除法环与场是相类的。特别地，乘法的结合律仍旧存在、非零元素仍有唯一的逆元素。
四元数形成一个在实数上的四维结合代数（事实上是除法代数），并包括复数，但不与复数组成结合代数。 四元数（以及实数和复数）都只是有限维的实数结合除法代数。
四元数的不可交换性往往导致一些令人意外的结果，例如四元数的 n-阶多项式能有多於 n 个不同的根。
四元数就是形如 ai+bj+ck+d 的数
a、b、c、d是实数
i^2=j^2=k^2=-1
ij=k ji=-k jk=i kj=-i ki=j ik=-j
(a^2+b^2+c^2+d^2)的平方根 称为四元数的模. |
|
假设：
<math>x = 3 + i ,</math>
<math>y = 5i + j - 2k ,</math>
那麽：
<math>x + y = 3 + 6i + j - 2k ,</math>
<math>xy = left( {3 + i}
ight)left( {5i + j - 2k}
ight) = 15i + 3j - 6k + 5i^2 + ij - 2ik </math>
<math>= 15i + 3j - 6k - 5 + k + 2j = - 5 + 15i + 5j - 5k ,</math> |
|
象在四元数和空间转动条目中详细解释的那样，非零四元数的乘法群在r3的取实部为零的拷贝上以共轭作用可以实现转动。单位四元数（绝对值为1的四元数）的共轭作用，若实部为cos(t)，是一个角度为2t的转动，转轴为虚部的方向。四元数的优点是：
非奇异表达（和例如欧拉角之类的表示相比）
比矩阵更紧凑（更快速）
单位四元数的对可以表示四维空间中的一个转动。
所有单位四元数的集合组成一个三维球s3和在乘法下的一个群（一个李群）。s3是行列式为1的实正交3×3正交矩阵的群so(3,r)的双面复盖，因为每两个单位四元数通过上述关系对应于一个转动。群s3和su(2)同构，su(2)是行列式为1的复酉2×2矩阵的群。令a为形为a + bi + cj + dk的四元数的集合，其中a, b, c和d或者都是整数或者都是分子为奇数分母为2的有理数。集合a是一个环，并且是一个格。该环中存在24个四元数，而它们是施莱夫利符号为{3,4,3}的正二十四胞体的顶点。 |
|
有两种方法能以矩阵表示四元数，并以矩阵之加法、乘法应用于四元数之加法、乘法。
第一种是以二阶复数矩阵表示。若 h = a + bi + cj + dk 则它的复数形式为：
<math>egin a-di & -b+ci b+ci & ;; a+di end</math>
这种表示法有如下优点：
所有复数 (c = d = 0) 就相应于一个实矩阵。
四元数的绝对值的平方就等于矩阵的行列式。
四元数的共轭值就等于矩阵的共轭转置。
对于单位四元数 (|h| = 1) 而言，这种表示方式给了四维球体和su(2)之间的一个同型，而后者对于量子力学中的自旋的研究十分重要。（请另见泡利矩阵）
第二种则是以四阶实数矩阵表示：
<math>egin;;a&-b&;;d&-c ;;b&;;a&-c&-d-d&;;c&;;a&-b ;;c&;;d&;;b&;;aend</math>
其中四元数的共轭等于矩阵的转置。 |
|
四元数运算在电动力学与广义相对论中有广泛的应用。四元数可以用来取代张量表示。有时候采用带有复数元素之四元数会比较容易，导得结果不为除法代数之形式。然而亦可结合共轭运算以达到相同的运算结果。
此处仅讨论具有实数元素之四元数，并将以两种形式来描述四元数。其中一种是向量与纯量的结合，另一形式两个创建量(constructor)与双向量(bivector；i、j与k)的结合。
定义两个四元数:
<math>q = a + vec = a + bi + cj + dk</math>
<math>p = t + vec = t + xi + yj + zk</math>
其中<math>vec</math>表示矢量<b, c, d>，而<math>vec</math>表示矢量<x, y, z>.
加、乘和一般函数
四元数加法﹗p + q
跟复数、向量和矩阵一样，两个四元数之和需要将不同的元素加起来﹗
<math>p + q = a + t + vec + vec = (a + t) + (b + x)i + (c + y)j + (d + z)k</math>
加法遵循实数和复数的所有交换律和结合律。
四元数乘法﹗pq
两个四元数之间的非可换乘积通常被格拉斯曼称为积，这个积上面已经简单介绍过，它的完整型态是﹗
<math>pq = at - veccdotvec + avec + tvec + vec imesvec</math>
<math>pq = (at - bx - cy - dz) + (bt + ax + cz - dy)i + (ct + ay + dx - bz)j + (dt + za + by - xc)k ,</math>
由于四元数乘法的非可换性，pq并不等于qp。格拉斯曼积常用在描述许多其他代数函数。qp乘积的向量部分是:
<math>qp = at - veccdotvec + avec + tvec - vec imesvec</math>
四元数点积﹗ p · q
点积也叫做欧几里德内积，四元数的点积等同于一个四维向量的点积。点积的值是p中每个元素的数值与q中相应元素的数值的乘积的和。这是四元数之间的可换积，并返回一个标量。
<math>p cdot q = at + veccdotvec = at + bx + cy + dz</math>
点积可以用格拉斯曼积的形式表示:
<math>p cdot q = frac{p^*q + q^*p}</math>
这个积对于从四元数分离出一个元素有用。例如，i项可以从p中这样提出来：
<math>p cdot i = x</math>
四元数外积﹗outer(p,q)
欧几里德外积并不常用; 然而因为外积和内积的格拉斯曼积形式的相似性.它们总是一同被提及:
<math>operatorname(p,q) = frac{p^*q - q^*p}</math>
<math>operatorname(p,q) = avec - tvec - vec imesvec</math>
<math>operatorname(p,q) = (ax - tb - cz + dy)i + (ay - tc - dx + bz)j + (az - td - by + xc)k</math>
四元数偶积：even(p,q)
四元数偶积也不常用，但是它也会被提到，因为它和奇积的相似性。它是纯对称的积；因此，它是完全可交换的。
<math>operatorname(p,q) = frac{pq + qp}</math>
<math>operatorname(p,q) = at - veccdotvec + avec + tvec</math>
<math>operatorname(p,q) = (at - bx - cy - dz) + (ax + tb)i + (ay + tc)j + (az + td)k</math>
四元数叉积：p × q
四元数叉积也称为奇积。它和向量叉积等价，并且只返回一个向量值：
<math>p imes q = frac{pq - qp}</math>
<math>p imes q = vec imesvec</math>
<math>p imes q = (cz - dy)i + (dx - bz)j + (by - xc)k</math>
四元数转置：p−1
四元数的转置通过p−1p = 1被定义。 它定义在上面的定义一节，位于属性之下（注意变量记法的差异）。其建构方式相同于复倒数(complex inverse)之构造：
<math>p^ = frac{p^*}{pcdot p}</math>
一个四元数的自身点积是个纯量。四元数除以一个纯量等效于乘上此纯量的倒数，而使四元数的每个元素皆除以此一除数。
四元数除法﹗p−1q
四元数的不可换性导致了 p−1q 和 qp−1的不同。 这意味着除非p是一个标量,否则不能使用q/p这一符号。
四元数纯量部：scalar(p)
四元数的标量部分可以用前面所述的点积来分离出来：
<math>1cdot p = frac{p + p^*} = a</math>
四元数向量部﹗vector(p)
四元数的向量部分可以用外积提取出来，就象用点积分离标量那样：
<math>operatorname(1, p) = frac{p - p^*} = vec = 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|}</math>
四元数幅角：arg(p)
幅角函数可找出一4-向量四元数偏离单位纯量(即：1)之角度。此函数输出一个纯量角度。
<math>arg(p) = arccosleft(frac{operatorname(p)}{|p|}
ight)</math> |
|
四元数是由哈密顿在1843年爱尔兰发现的。当时他正研究扩展复数到更高的维次（复数可视为平面上的点）。他不能做到三维空间的例子，但四维则造出四元数。根据哈密顿记述，他于10月16日跟他的妻子在都柏林的皇家运河（royal canal）上散步时突然想到 <math>i^2 = j^2 = k^2 = ijk = -1 ,</math>image:quaternion plague on broom bridge.jpg的方程解。之后哈密顿立刻将此方程刻在附近布鲁穆桥（brougham bridge，现称为金雀花桥 broom bridge）。这条方程放弃了交换律，是当时一个极端的想法（那时还未发展出向量和矩阵）。
不只如此，哈密顿还创造了向量的内外积。他亦把四元数描绘成一个有序的四重实数：一个纯量（a）和向量（bi + cj + dk）的组合。若两个纯量部为零的四元数相乘，所得的纯量部便是原来的两个向量部的纯量积的负值，而向量部则为向量积的值，但它们的重要性仍有待发掘。
哈密顿之后继续推广四元数，并出了几本书。最后一本《四元数的原理》（elements of quaternions）于他死后不久出版，长达八百多页。
用途争辩
即使到目前为止四元数的用途仍在争辩之中。一些哈密顿的支持者非常反对奥利夫·亥维赛的向量代数学和 willard gibbs 的向量微积分的发展，以维持四元数的超然地位。对于三维空间这可以讨论，但对于更高维四元数就失效了（但可用延伸如八元数和柯利弗德代数学）。而事实上，在二十世纪中叶的科学和工程界中，向量几乎已完全取代四元数的位置。
詹姆斯·克拉克·麦克斯韦曾经在他的《电磁场动力理论》（a dynamical theory of electromagnetic field）直接以20条有20个变量的微分方程组来解释电力、磁力和电磁场之间的关系。某些早期的麦克斯韦方程组使用了四元数来表述，但与后来亥维赛使用四条以向量为基础的麦克斯韦方程组表述相比较，使用四元数的表述并没有流行起来。 |
|
四元数
quaternion
四元数[呷佃耐佣;~p妞“0.1
一个超复数(h邵曰comPkx nUmb二)，它在四维空
间中有几何刻画.四元数系是在1843年由W .R.
Hall五1ton( 1805一1865)提出的、四元数是由于力图
推广复数而产生的历史上第一个超复数系的例子.复
数被几何地描述为平面上的点及其算子，相应于平
面上最简单的几何变换.不能把三维或更高维空间
中的点“组织”成类似实数域或复数域的数系.然
而，如果去掉乘法的交换性要求，则可以由4维空间
的点构造一个数系(在3维，5维或更高维空间中，
却不能这样做).
四元数构成实数域上一个4维代数，带有基1，
i，j，k(“基单位”)和下面的“基单位”乘法表:
布
每个四元数可以写成
X“x。·l十x:·i十x:·j十x3·k
或者(由于1起着通常的单位元的作用，在写成四元
数时可被省略)写成
X二x。+x〕i+xZj+x。k.
四元数可以分成标量部分(sollarpaI’t)x。和向量部分
(碳沈tl〕r part)
V=义一i+x 22+芜3k，
即x二x。+V.若x。=o，则四元数V称为向量，
等同于通常的3维向量，因为这样的两个向量V，和
V:在四元数代数中的乘法与向量V，和V:在3维
空间中的标量积(Vl，VZ)(见内积〔~produCt))
及向t积(从戈tor prodUCt)仁Vl，VZI有关，公式为
V，V:=一(V，，VZ)+[Vl，VZI·
这表明了四元数和向.演算(、七以Dr。】c川us)之间的
密切关系.历史上，后者来源于四元数理论.
对应于每个四元数X二x。+V有一个共辘四元
数(伪功火尹把quaten‘on)无=x。一v，并且
x·无二无·x二瑞十对+式+式·
这个实数称为四元数X的范数(norm of theq哪lter-
~)，记为N(X).范数满足关系
N(XY)二N(X)N(Y).
3维空间的绕原点的任意旋转可通过范数为1的四元
数尸来确定.对应于尸的旋转将向量X二x，i十
xZj+x3k变为向量Y=夕，i+夕Zj+夕3k二尸灭尸一‘.
四元数代数是实数域上带单位元的唯一的结合的
非交换的有限维赋范代数.四元数代数是一个除环
(skew一反ld)，即在其中定义了除法，四元数X的四
元数逆元是见/N(x).四元数除环是唯一无零因子
的结合非交换的有限维实代数(亦见R创比苗留定理
(Frobe巨璐也印~);C州吻一众d国翔代数(Qyky-
Did侣on alg为m)).
【补注】设否是四元数代数中的元素(1+i十j十k)/2.
Hur俪tZ四元整数环(Hur侧tZ rlllg ofi助笔阁q姗Lter-
ruo幻旧)是环
H={，。C+，，泣+。Zj+。3k:m。，，:，。2，。3“Z}.
HurwitZ环是非交换环，其中类似的D刘id除法性质
(E优lid比n di俪ion脚讲砌)(见Ddd算法(E侧为山翔n
川即巧山m))成立:对任何a，b‘H，b沪0，存在q，
‘H，使得 |
|
- n.: quaternion
|
|
| 四元数域 | 整四元数 | 复四元数 | | 反四元数 | 半四元数 | 四元数体 | | 四元数群 | 四元数运算 | 四元数历史 | | 共轭四元数 | 四元数代数 | 四元数向量 | | 四元数函数 | 四元数空间 | 四元数的例子 | | 广义四元数群 | 广义四元数环 | 四元数椭圆空间 | | 四元数可除代数 | 四元数的群旋转 | 建四元数旋转矩阵 | | 以矩阵表示四元数 | 四元数的性质与特点 | |
|