第八章展示了 SO(3)SO(3) 的全局形状。轴角球的内部结构直观明了，而边界上对跖点的合并特征则解释了诸多现象的来源。这种拓扑合并会表现为欧拉角奇异、轴角边界重复以及对数多值现象，同时也解释了 360∘360^\circ 与 720∘720^\circ 旋转路径在拓扑上的区别。由此引出一个新的研究目标：寻找一个更平滑、连贯的空间来表达三维旋转，使得旋转的复合运算保持明确，并能将 SO(3)SO(3) 复杂的粘合结构展开。

二维旋转系统的代数表示提供了重要的启发。在二维情形下，单位复数构成了 SO(2)SO(2) 的匹配代数模型：

eiαeiβ=ei(α+β)e^{i\alpha}e^{i\beta}=e^{i(\alpha+\beta)}

三维旋转同样需要一种相应的代数语言。由于三维旋转具有非交换性质，且其全局空间结构更为复杂，描述三维旋转的新数系需要能够容纳这些几何事实。正是在这种代数与几何的双重需求下，四元数理论进入了我们的讨论。

复数模型

二维旋转与单位复数之间存在着明确的代数对应关系。对于平面向量

(x,y)(x,y)

将其写为复数形式

z=x+iyz=x+iy

只需将其与单位复数

cos⁡θ+isin⁡θ\cos\theta+i\sin\theta

相乘，即可完成一次平面的旋转操作。复数模型在二维空间取得成功的基础可以归纳为三个几何与代数特征。首先，二维空间仅存在唯一的旋转平面；其次，复数域在乘法运算下具有封闭性；最后，单位复数的模长恒为1，保证了乘法操作维持向量的长度恒定。此外，复数乘法的交换律与二维角度加法的交换性匹配，使整个代数结构保持自洽。

推广至三维空间时，空间中存在无穷多个旋转平面，且旋转的复合呈现出顺序依赖的非交换特征。因此，构建用于描述三维旋转的扩展代数系统时，其乘法规则需要具备非交换性，以此反映三维旋转操作中顺序的作用。新的数系需要继承复数系统的主要性质，包括乘法封闭性、单位模长元素的保距性、存在逆元以及连续的拓扑结构，同时还需要将三维旋转的非交换规律内化于其代数乘法律中。

三维代数瓶颈

一个初步构想是构造一种三维形式的代数系统，例如定义如下形式的数值：

a+bi+cja+bi+cj

并期望它像复数一样具备乘法封闭性，进而利用其单位元素来描述三维旋转。从代数结构的动机层面审视，将代数系统局限于三维维度会遇到维度容量的结构性限制。

建立描述三维旋转的代数系统需要满足若干主要要求：乘积保持在同一数系内；单位模长元素的乘积保持单位模长；每个有效元素需要存在逆元，以确保旋转操作的可逆性；乘法规则需要内化三维旋转的非交换特征；同时，该数系需能够嵌入三维向量，并通过特定的乘法作用保持向量的长度与取向恒定。

在三维空间内部同时满足上述条件会引发维度容量的紧张。如果设定一个实部与两个虚部，虚部的维度容量将不足以映射三维物理空间；如果将三个分量都设定为虚部，代数系统中将缺失一个能够吸收广义乘积所产生标量项的代数位置。这种“标量位置”的必要性源于三维向量乘法的内在结构。两个三维向量之间的几何关系由两类基本乘积共同刻画：

点积

a⋅b\mathbf a\cdot\mathbf b

产生一个标量，反映向量间的长度与投影关系；而叉乘

a×b\mathbf a\times\mathbf b

产生一个向量，表征垂直方向与空间取向。

要求一种广义乘法能够记录向量间的长度与方向关系，乘积中会同时出现标量部分与向量部分。仅将代数结构限制在三维向量空间内，使得点积产生的标量需要一个独立的维度来承载。通过两种极端的乘法定义可以看到这一代数困境。若仅提取叉乘作为广义向量乘法的定义：

ab=a×b\mathbf a\mathbf b=\mathbf a\times\mathbf b

平行的非零向量相乘将产生零向量：

a×a=0\mathbf a\times\mathbf a=\mathbf 0

这种乘法退化导致了代数结构中严重的信息塌陷，进而破坏了旋转可逆性所依赖的逆元存在性。若将点积结果纳入考量：

a⋅b\mathbf a\cdot\mathbf b

由此产生的标量结果超出了三维纯虚向量空间的范畴。为了维持乘法运算的代数封闭性，该数系需要扩展出一个独立的实部维度来承接这一标量结果。

因此，适应三维旋转规律的代数乘法需要同时兼容点积提供的长度度量与叉乘提供的取向信息。一个实部加上三个虚部的四维代数结构，可以为这两类几何信息的共存提供维度基础。这一逻辑推演表明，当乘法系统需要统一点积与叉乘的几何属性时，引入四维代数容器是一种自然的数学选择。若要把这种选择提升为严格的分类结论，还需要引入范数可乘代数、除代数以及 Hurwitz 定理等背景；本书此处只取旋转理论所需的构造动机。进而，将代数空间扩展为

一个实部+三个虚部\text{一个实部}+\text{三个虚部}

成为了合理的路径。四元数的实部具有明确的代数职能：它为纯虚向量乘积中的标量项提供容器，也在单位四元数中承担旋转半角的余弦分量。

四元数结构

四元数的标准代数形式表示为

q=w+xi+yj+zkq=w+xi+yj+zk

其中系数

w,x,y,z∈Rw,x,y,z\in\mathbb R

在该结构中，ww 称为实部，而 xi+yj+zkxi+yj+zk 构成虚部。它也可以等价地表达为标量与向量的组合形式：

q=(w,v)q=(w,\mathbf v)

其中向量部分为

v=(x,y,z)\mathbf v=(x,y,z)

四元数的三个虚单位遵循哈密顿乘法规则：

i2=j2=k2=−1i^2=j^2=k^2=-1

并且具有轮换对称性：

ij=k,jk=i,ki=jij=k,\quad jk=i,\quad ki=j

改变相乘的顺序将导致符号反转：

ji=−k,kj=−i,ik=−jji=-k,\quad kj=-i,\quad ik=-j

这种基础的乘法律赋予了整个代数系统非交换性质。具体表现为

ij=kij=k

与

ji=−kji=-k

两者的符号差异。这种非交换特征与三维旋转的物理经验相吻合：操作的先后顺序会影响空间状态。

利用标量与向量的组合记法，对于两个给定的四元数

q1=(w1,v1),q2=(w2,v2)q_1=(w_1,\mathbf v_1),\quad q_2=(w_2,\mathbf v_2)

它们的乘积可以展开为

q1q2=(w1w2−v1⋅v2,w1v2+w2v1+v1×v2)q_1q_2= \bigl( w_1w_2-\mathbf v_1\cdot\mathbf v_2, w_1\mathbf v_2+w_2\mathbf v_1+\mathbf v_1\times\mathbf v_2 \bigr)

这一乘积公式具有明确的几何内涵。在结果的实部中，浮现了两个向量的点积项：

−v1⋅v2-\mathbf v_1\cdot\mathbf v_2

而在结果的虚部中，则包含了两者的叉乘项：

v1×v2\mathbf v_1\times\mathbf v_2

这表明，四元数的乘法运算在代数层面上统合了三维几何中的两类基本度量信息。点积项负责刻画向量间的平行投影与长度关系，叉乘项则主导了正交方向与空间取向规律。同时，四元数乘法的非交换性来源也由此显现：它继承自三维向量叉乘运算中的反对称特性。

四元数乘法还满足结合律。一种验证方式是把左乘 q=w+xi+yj+zkq=w+xi+yj+zk 写成实矩阵

L(q)=[w−x−y−zxw−zyyzw−xz−yxw].L(q)= \begin{bmatrix} w&-x&-y&-z\\ x&w&-z&y\\ y&z&w&-x\\ z&-y&x&w \end{bmatrix}.

代入乘法表可检验 L(q1)L(q2)=L(q1q2)L(q_1)L(q_2)=L(q_1q_2)。矩阵乘法满足结合律，且 L(q)L(q) 保留四个分量的信息，因此四元数乘法也满足 (q1q2)q3=q1(q2q3)(q_1q_2)q_3=q_1(q_2q_3)。

单位四元数

四元数的共轭运算定义为其虚部反号的操作：

q∗=w−xi−yj−zkq^*=w-xi-yj-zk

用标量加向量形式可等价表示为

(w,v)∗=(w,−v)(w,\mathbf v)^*=(w,-\mathbf v)

四元数的模长则由其四个分量的欧几里得范数定义：

∣q∣=w2+x2+y2+z2|q|=\sqrt{w^2+x^2+y^2+z^2}

将四元数与其共轭相乘，可以得出标量结果：

qq∗=q∗q=∣q∣2qq^*=q^*q=|q|^2

等式右侧对应一个纯实四元数：

∣q∣2=(w2+x2+y2+z2,0)|q|^2=(w^2+x^2+y^2+z^2,\mathbf 0)

此推导过程表明，共轭操作实现了四元数虚部方向的反转，而在后续的乘法复合中，正负虚部发生代数对消，结果保留了四元数长度的平方信息。对于任何非零四元数

q≠0q\ne0

其乘法逆元均可通过共轭与模长明确构造：

q−1=q∗∣q∣2q^{-1}=\frac{q^*}{|q|^2}

在特殊情形下，当四元数的模长满足单位长度条件

∣q∣=1|q|=1

时，其逆元化简为共轭本身：

q−1=q∗q^{-1}=q^*

这类满足范数约束

w2+x2+y2+z2=1w^2+x^2+y^2+z^2=1

的元素构成了单位四元数集合。

在几何构型上，该范数方程定义了四维实空间中的一个单位超球面，通常记作

S3S^3

维数符号 S3S^3 准确反映了这是四维空间中单位超球体的三维边界表面。正如普通球面 S2S^2 作为三维空间实心球的二维边界而具有两个局部的切向自由度，S3S^3 自身在局部流形上拥有三个独立的方向自由度。

单位四元数在乘法运算下具有封闭性。给定两个单位四元数，即

∣q1∣=∣q2∣=1|q_1|=|q_2|=1

它们的乘积保持单位模长：

∣q1q2∣=∣q1∣∣q2∣=1|q_1q_2|=|q_1||q_2|=1

这一模长守恒的乘法性质可由共轭运算的换序规则导出。两个四元数乘积的共轭等于它们各自共轭的倒序乘积：

(q1q2)∗=q2∗q1∗(q_1q_2)^*=q_2^*q_1^*

用标量—向量记法可以直接验证该倒序规则。设 q1=(a,u)q_1=(a,\mathbf u)、q2=(b,v)q_2=(b,\mathbf v)，则

(q1q2)∗=(ab−u⋅v, −av−bu−u×v).(q_1q_2)^* =\bigl(ab-\mathbf u\cdot\mathbf v,\, -a\mathbf v-b\mathbf u-\mathbf u\times\mathbf v\bigr).

另一方面，

q2∗q1∗=(b,−v)(a,−u)=(ab−v⋅u, −bu−av+(−v)×(−u))=(ab−u⋅v, −av−bu−u×v).\begin{aligned} q_2^*q_1^* &=(b,-\mathbf v)(a,-\mathbf u)\\ &=\bigl(ab-\mathbf v\cdot\mathbf u,\, -b\mathbf u-a\mathbf v+(-\mathbf v)\times(-\mathbf u)\bigr)\\ &=\bigl(ab-\mathbf u\cdot\mathbf v,\, -a\mathbf v-b\mathbf u-\mathbf u\times\mathbf v\bigr). \end{aligned}

两式一致，所以共轭会倒转乘法顺序。

基于此规则，乘积的模长平方可展开为

∣q1q2∣2=(q1q2)(q1q2)∗=q1q2q2∗q1∗=q1∣q2∣2q1∗=∣q2∣2q1q1∗=∣q2∣2∣q1∣2\begin{aligned} |q_1q_2|^2 &=(q_1q_2)(q_1q_2)^*\\ &=q_1q_2q_2^*q_1^*\\ &=q_1|q_2|^2q_1^*\\ &=|q_2|^2q_1q_1^*\\ &=|q_2|^2|q_1|^2 \end{aligned}

对等式两端提取非负平方根，即确立了模长的可乘性法则：

∣q1q2∣=∣q1∣∣q2∣|q_1q_2|=|q_1||q_2|

此外，单位四元数集合中存在明确的乘法单位元

1=(1,0)1=(1,\mathbf 0)

且所有元素都具有良定义的逆元。因此，全体单位四元数构成了一个代数乘法群结构，其对应的拓扑流形正是 S3S^3 超球面。这一结论呼应了第八章中关于寻找一个平滑三维空间以覆盖 SO(3)SO(3) 的理论诉求。单位四元数凭借其内蕴的三个自由度、明确的代数乘法律以及连续的流形结构，成为描述三维旋转的重要代数空间。

纯虚嵌入

四元数系统包含四个实数坐标分量。为了将其应用于三维旋转问题，需要建立三维物理向量向四元数空间的映射机制。这一映射通过将三维向量整体嵌入四元数的虚部得以实现。对于任意给定的三维向量

p=(px,py,pz)\mathbf p=(p_x,p_y,p_z)

可以将其构造为如下形式的纯虚四元数：

p=0+pxi+pyj+pzkp=0+p_xi+p_yj+p_zk

以标量与向量的组合形式表示即为

p=(0,p)p=(0,\mathbf p)

这里“纯虚”的属性意味着该四元数的实部分量恒定为零。全体纯虚四元数构成了一个三维线性子空间，该子空间与原本的三维欧几里得空间 R3\mathbb R^3 存在着一一对应关系。

这种代数嵌入操作具有明确的几何意义：四元数构建了一个四维代数环境，而经典的三维物理空间则被嵌入为该环境中的纯虚子空间。经过这层映射，经典的几何旋转问题被转化为一个新的代数作用问题：单位四元数应当通过何种特定的代数运算施加于纯虚四元数之上，才能确保运算结果始终停留在纯虚子空间内部。这种表述界定了操作算子与作用对象之间的关系。四元数群充当了执行旋转操作的代数框架，而实际承受旋转作用的对象，依然是位于纯虚子空间内部的三维物理向量。

极坐标形式

对于任意的单位四元数

q=w+vq=w+\mathbf v

其分量满足单位模长的代数约束：

w2+∣v∣2=1w^2+|\mathbf v|^2=1

对于虚部为非零向量的常规情形，可以分离其方向与模长，将其极坐标化为

v=usin⁡α\mathbf v=\mathbf u\sin\alpha

其中方向向量满足单位长度要求

∣u∣=1|\mathbf u|=1

同时，实部可以对应地参数化为

w=cos⁡αw=\cos\alpha

基于这种三角参数化体系，单位四元数可以重写为规范的极坐标形式：

q=cos⁡α+usin⁡αq=\cos\alpha+\mathbf u\sin\alpha

此处的 u\mathbf u 代表了一个具有单位长度的纯虚方向变量：

u=uxi+uyj+uzk\mathbf u=u_xi+u_yj+u_zk

该形式默认虚部非零。当 q=1q=1 或 q=−1q=-1 时，虚部为零，方向 u\mathbf u 失去唯一性；这对应后文旋转作用中的恒等端点与 2π2\pi 覆盖端点处的轴方向冗余。

这种参数化表达式与二维平面中的单位复数形式呈现出结构一致性：

cos⁡α+isin⁡α\cos\alpha+i\sin\alpha

两者的维度扩展体现于：复数系统依托于单一的虚数方向 ii，而四元数系统则允许虚部指向三维空间中的任意单位方向 u\mathbf u。

这种代数形式上的同构性提供了一个明确的几何对应线索：单位四元数中的向量 u\mathbf u 能够承担起三维空间旋转轴的角色，而参数 α\alpha 则与某种旋转角度存在映射关系。在确立四元数对三维向量的具体代数作用规则之前，需要审慎处理 α\alpha 的物理意义。单侧的左乘运算会激发额外的实部标量。为了确保旋转操作的几何结果始终封闭于三维纯虚子空间内，数学上需要引入能够抵消实部生成的双侧夹心乘法结构：

p′  =  qpq−1p'\;=\;q p q^{-1}

后续的代数推导将表明，在这种保持空间封闭性的夹心运算机制中，四元数内部的参数角 α\alpha 对应于三维实际旋转角度的一半。

覆盖流形

综合 SO(3)SO(3) 的拓扑性质与四元数的代数结构，寻找平滑覆盖语言的理论动机与代数方向变得清楚。

在 SO(3)SO(3) 的经典轴角模型中，参数空间表现为半径为 π\pi 的实心球体，并在边界上引入了对跖点粘合的拓扑条件。相比之下，全体单位四元数构成了四维空间中的超球面 S3S^3。作为一个连续的紧致流形，它自身呈现为平滑的全局结构，因而具备成为平滑覆盖空间的基本条件。

与此同时，三维旋转群 SO(3)SO(3) 具有非交换的复合运算规则，而四元数的代数乘法具有同构的非交换属性。SO(3)SO(3) 具有三个内在的空间旋转自由度，单位四元数空间 S3S^3 同样提供了对应的三个独立维度。正如二维旋转可以通过单位复数的代数框架得到明确的代数表达，四元数延续了“利用单位元素乘法表征旋转”的代数范式，并将虚数空间扩展至三维维度。

综上所述，四元数理论的引入回应了一系列理论问题。它提供了一种避开欧拉角局部退化的候选平滑覆盖表示，构建了一种比正交矩阵更紧凑的复合运算机制，并把 SO(3)SO(3) 中由边界对跖点粘合带来的拓扑困难，提升到 S3S^3 上更平滑的空间中考察。在逻辑上，它延续了单位复数用单位元素乘法表达旋转的思路，但在三维中需要引入非交换乘法、半角参数和双侧夹心作用。

这一代数框架的确立需要经过关键的运算检验：对于给定的三维物理向量所对应的纯虚四元数

p=(0,p)p=(0,\mathbf p)

以及充当旋转算子的单位四元数

qq

需要构建一种明确的代数作用机制，使得 qq 作用于 pp 之后，能够生成一个新的纯虚四元数，并在运算过程中保持向量的长度与空间取向。真正的覆盖映射将在下一章通过 p↦qpq−1p\mapsto qpq^{-1} 构造出来；对这一问题的解析，将引出夹心乘法运算、半角参数化模型，并揭示 qq 与 −q-q 共同映射至同一三维旋转的双值覆盖结构。

专题导航