第八章：SO(3)全局拓扑

第七章阐明了 $SO(3)$ 在单位元附近如何被李代数线性化。

瞬时旋转由反对称矩阵表达。

在微小邻域内，旋转空间的几何特性等同于三维线性空间。

指数映射实现了从局部生成元向有限旋转的过渡。

这有效处理了局部运动问题。同时，第五章已经揭示了全局层面的现象：零旋转表现出轴的多重等价性，半圈旋转则要求将正反轴进行合并。由于局部线性语言的适用范围局限于单位元附近，这类全局等同关系需要引入更宏观的视角来处理。

由此引出对整个 $SO(3)$ 拓扑形状的重新审视。

李代数的作用范围集中于单位元附近，类似于局部放大镜，主要用于刻画瞬时速度与微小扰动。为了处理发生在大尺度范围下的全局粘合现象，需要采用能够覆盖更大参数空间的轴角模型进行观察。

轴角提供了一种直观的几何模型：以轴表示方向，以角度表示距离原点的距离。该模型初步呈现为实心球体的形态，而 $SO(3)$ 空间本身则是将此球体的边界按特定规则进行粘合后所得到的拓扑结构。

轴角实心球

轴角表示把一次三维旋转写成

(\mathbf u,\theta)

其中

|\mathbf u|=1

表示单位轴方向， $\theta$ 表示旋转角。

为了确立标准表达，通常将角度限制在

0\le \theta\le \pi

通过这种设定，每个旋转均可对应到一个半径为 $\pi$ 的球体内部：

从球心出发的方向由 $\mathbf u$ 给出。

离球心的距离由 $\theta$ 给出。

也就是说，把旋转对应到点

\theta\mathbf u

当 $\theta=0$ 时，点在球心。

当 $0<\theta<\pi$ 时，点在球内部。

当 $\theta=\pi$ 时，点在球面上。

这个模型的合理性来自旋转向量的定义：

\boldsymbol\omega=\theta\mathbf u

球心代表零旋转，径向距离外延对应着角度的增加，最外层球面对应半圈旋转。

这个实心球构成了 $SO(3)$ 的初步坐标容器。要建立与 $SO(3)$ 的等价关系，还需要在此容器的边界上引入额外的粘合规则。

更严格地说，先构造半径为 $\pi$ 的闭球：

B_\pi^3=\{\mathbf x\in\mathbb R^3:\ |\mathbf x|\le \pi\}

其内部点写成

\mathbf x=\theta\mathbf u

其中 $0\le\theta\le\pi$ 。在边界球面上引入等价关系：

\pi\mathbf u\sim-\pi\mathbf u

完成这一步识别后，商空间

B_\pi^3/\sim

才对应旋转空间的全局模型。这个区分可以避免把未粘合的参数球直接当作 $SO(3)$ 本身。

球心退化

先看球心。

当

\theta=0

时，旋转是

I

任意轴方向均给出相同的结果：

(\mathbf u,0)

与

(\mathbf v,0)

只要旋转角度为零，二者均等效于恒等变换。

在球模型里，这些表达已经统一落在同一个位置。所有

0\cdot\mathbf u

都等于球心

\mathbf 0

因此，零旋转的无穷多轴表达形式在球心处汇聚为同一个点。

这反映出对象本身具备更高的对称性。零旋转在空间中呈现出各向同性的特征。在书写中为其指定具体的轴，实质上是引入了冗余信息。

内部双射

再看球内部：

0<\theta<\pi

这时旋转有明确角度，也有明确的有向轴。若两个内部点相同：

\theta\mathbf u=\phi\mathbf v

由于两个点都在球内部且半径为正，就会得到

\theta=\phi,\quad \mathbf u=\mathbf v

对应同一个轴角。

此时的映射保持一一对应关系。球内部的每个点都可确定地对应一个旋转对象。

从旋转矩阵本身也可以看出这一唯一性。若 $R\ne I$ 且对应角度满足 $\theta\ne\pi$ ，不动轴由特征值 $1$ 的一维特征子空间给出；旋转角则由迹公式确定：

\operatorname{tr}R=1+2\cos\theta

当取值范围限定为 $\theta\in(0,\pi)$ 时，旋转角唯一；随后由旋转正向确定有向轴 $\mathbf u$ 。因此，内部双射并非仅来自球模型的画法，也有矩阵代数上的判据支撑。

因此，轴角球的内部提供了一幅直观的局部映射图。这也阐明了李代数与旋转向量在小角度范围内适用的原因：靠近球心的区域，其几何特性接近常规的三维平直空间。

对跖点粘合

问题集中在边界：

\theta=\pi

球面上的一个点是

\pi\mathbf u

它表示绕 $\mathbf u$ 轴转半圈。

球面上正对面的点是

-\pi\mathbf u=\pi(-\mathbf u)

它表示绕 $-\mathbf u$ 轴转半圈。

第五章已经说明，这两个旋转相同。任意向量分成轴向分量和垂直分量：

\mathbf p=\mathbf p_\parallel+\mathbf p_\perp

半圈旋转后

\mathbf p_\parallel\mapsto\mathbf p_\parallel

\mathbf p_\perp\mapsto-\mathbf p_\perp

把轴从 $\mathbf u$ 换成 $-\mathbf u$ ，轴所在直线不变，垂直平面也不变。半圈的顺向和反向到达同一结果。所以

(\mathbf u,\pi)

和

(-\mathbf u,\pi)

代表同一个旋转对象。

在球模型中，这意味着：

球面上的每一对对跖点，都需被等效为同一个几何元素。

此处的“粘合”或“识别”操作具备明确的物理动机。尽管在参数坐标系中表现为两个独立的位置，它们在旋转流形中实际对应同一个状态。为使模型还原 $SO(3)$ 的结构，这两个参数点需要在数学层面合并。

把半径为 $\pi$ 的实心球边界按对跖点合并后，得到的整体空间就是 $SO(3)$ 的全局形状。拓扑学中，这个空间叫三维实射影空间：

\mathbb{RP}^3

$\mathbb{RP}^n$ 的直观含义是：把 $n$ 维球面 $S^n$ 上每一对相反点 $x$ 与 $-x$ 视作同一个点。这里的轴角球模型与这个构造相呼应：球内部保留普通坐标，边界球面按对跖点成对粘合。

所以可以说：

SO(3)\simeq_{\mathrm{top}}\mathbb{RP}^3

这里的符号表示二者作为拓扑空间同胚；进一步在通常的光滑结构下，也可理解为光滑流形同胚。它表达的意思是：所有三维旋转组成的空间，可以用这个粘合球模型来理解。这里没有把 $\mathbb{RP}^3$ 当作已经指定乘法的群结构来使用。

全局粘合

该球模型说明了 $SO(3)$ 参数化中的主要特征：

尽管 $SO(3)$ 在局部具有三个自由度，其全局结构会导致欧拉角奇异、轴角边界合并以及对数映射的多值性。

这种现象的根源在于局部属性与全局结构的差异。

在球内部任意普通点附近选取一块局部区域，在避开边界粘合区域与球心退化点的前提下，该区域的几何性质等同于常规三维空间，可使用三个连续坐标进行描述。

这正对应了第三章和第七章中反复讨论的局部三维特性。

当试图使用单一坐标系覆盖整个空间时，边界对跖点的合并规则就成为需要处理的重要因素。相比普通实心球边界点的相互独立， $SO(3)$ 的边界点呈现出成对合并的特征。这种结构属性改变了空间的整体拓扑形态。

欧拉角的万向节锁、轴角的半圈合并以及对数映射的多值性，均可视为同一全局拓扑障碍在不同参数系统中的表现。它们共享“单一全局无退化三参数坐标难以覆盖 $SO(3)$ ”这一背景，但具体机制各有侧重：欧拉角体现为坐标映射局部降秩，轴角体现为参数边界识别，对数映射体现为指数映射的非单射与角度周期性。

单张局部映射图能够将邻域参数化为平直空间。

多张局部映射图的有机结合构成了整体的拓扑流形。

常规的无退化三参数坐标系具有局部局限性，描绘整个 $SO(3)$ 需要全局结构支撑。

闭合路径

现在看固定轴 $\mathbf u$ 的连续旋转路径：

R(t)=\text{绕 }\mathbf u\text{ 转 }t

让 $t$ 从 $0$ 增加到 $2\pi$ 。

当

0\le t\le\pi

时，轴角球中的点是

t\mathbf u

路径从球心沿着 $\mathbf u$ 方向走到边界点

\pi\mathbf u

当

\pi<t\le 2\pi

时，绕 $\mathbf u$ 转 $t$ 等价于绕 $-\mathbf u$ 转

2\pi-t

所以球中的点改写为

-(2\pi-t)\mathbf u

这表示路径从对面的边界点

-\pi\mathbf u

沿着反向半径回到球心。

在实心球坐标系中，该路径表现为从 $\pi\mathbf u$ 跃迁至 $-\pi\mathbf u$ 。依据 $SO(3)$ 的粘合规则，这两个边界点代表相同的旋转状态。因此，该路径在旋转空间中保持连续。

当 $t=2\pi$ 时，旋转对象回到单位元。刚体的姿态与初始姿态吻合。

然而，路径经历了一次边界对跖粘合过程。这一拓扑属性会被全局系统保留。

双圈路径

就最终姿态而言， $360^\circ$ 的旋转回到了单位元：

R(2\pi)=I

然而，路径的拓扑特征揭示了更丰富的内涵。在粘合球模型中，转一圈的路径从球心出发，穿越边界识别区域一次，随后回到球心。该路径构成了 $SO(3)$ 中的一条闭合环路。

判断这条环路能否收缩，较清楚的方式是使用覆盖空间。后文将通过单位四元数把覆盖映射

S^3\longrightarrow SO(3)

具体构造出来。这里先使用它给出的路径判据。固定轴 $\mathbf u$ 的连续旋转路径

R(t),\quad 0\le t\le 2\pi

在覆盖空间中可提升为

q(t)=\cos\frac t2+\mathbf u\sin\frac t2

于是端点为

q(0)=1,\qquad q(2\pi)=-1

覆盖映射会把 $1$ 与 $-1$ 投影到 $SO(3)$ 中的同一个单位旋转，所以 $R(t)$ 在 $SO(3)$ 中闭合；但它的提升路径在 $S^3$ 中从一个覆盖层走到另一个覆盖层。若这条闭合环路可以在 $SO(3)$ 中收缩到单位元附近的小环，那么以 $1$ 为起点的提升端点在连续变形中不能从离散纤维 $\{1,-1\}$ 的一个点跳到另一个点。端点落在不同覆盖层，说明该环路代表基本群中的非平凡类。

若保持相同方向继续旋转一圈，总角度累积至 $4\pi$ ，覆盖路径变为

q(4\pi)=1

此时，提升路径在 $S^3$ 中闭合，对应 $SO(3)$ 基本群中的平凡类。使用代数拓扑语言表述， $SO(3)$ 的基本群为：

\pi_1(SO(3))=\mathbb Z_2

基本群 $\pi_1(X)$ 用来记录空间 $X$ 中闭合路径的类型：两条闭合路径若能连续变形为彼此，就归为同一类。对 $SO(3)$ 来说，这个分类只剩两种：提升路径回到起点，或提升路径落到对跖点。

它只区分两类闭合路径：提升端点回到起点的路径，以及提升端点落到对跖点的路径。

因此， $360^\circ$ 与 $720^\circ$ 在最终姿态层面等价，在连续路径拓扑层面不同。对于孤立刚体，单就姿态评估，一圈旋转已经回到同一姿态；对于连续的姿态演化路径、与外部环境存在连接约束的系统、相干路径或旋量态表示，这种路径差别可以被物理过程记录。

狄拉克带子实验提供了这一现象的可视化演示：物体旋转一圈后，连接的带子呈现出明显的扭结状态；继续同方向旋转第二圈后，带子可通过自身的连续形变恢复平整。带子的状态记录了路径在全局空间中的拓扑类型，最终姿态只呈现了该物理过程的部分信息。

覆盖空间

经过这一步， $SO(3)$ 的全局困难可以归因于：

它局部像三维空间，整体却带有对跖粘合。

粘合带来两类后果。

第一，参数表达会出现边界、重复或退化。欧拉角、轴角、对数映射各自遇到的问题，根源都在这里。

第二，路径会出现奇偶差别。 $360^\circ$ 和 $720^\circ$ 在最终姿态上都回到单位元，但路径类型不同。

由此出现一个想法：

能不能找一个更平滑的空间，把 $SO(3)$ 中被粘在一起的结构展开？

这个空间应该满足几件事。

它要能表达三维旋转。

它要能处理旋转复合。

它的局部结构仍应保持三维特质。

它应当采用超越轴角球边界硬粘合的更为平滑的几何结构。

二维旋转曾提供了一个典型范例。 $SO(2)$ 可通过单位复数进行表达，单位圆上的乘法运算兼容了旋转的复合。三维旋转同样需要一种更高维的代数语言。

由于三维旋转展现出非交换性与全局粘合特征，由此引出寻找更广义代数语言的需求。这种新语言需要涵盖比复数更大的空间，也需要包容非交换代数的运算规则。

下一章将以此需求为逻辑起点，引入四元数体系。四元数的引入具有双重数学意义：除了提供有效的计算框架之外，更重要的作用在于为 $SO(3)$ 构建一个更平滑的全局覆盖空间。