第一章确立了本系列的研究对象。旋转是固定原点、保持长度和角度并维持取向的空间操作。在矩阵表达中，矩阵的每一列记录着一根材料轴旋转后的新位置，而 nn 维旋转共同构成了群 SO(n)SO(n)。我们首先考察最小的非平凡情况，即二维旋转。

二维平面仅包含两根材料轴，几何矢量都在同一个平面内。这种几何背景赋予了二维旋转对称而整齐的结构：当第一根材料轴的新方向确定后，第二根材料轴的方向也随之受到约束。同时，在两次旋转复合时，角度会在同一个平面内沿着同一把标尺累加。单位复数产生于这种整齐的结构之中，它将 SO(2)SO(2) 的几何结构转化为更紧凑的乘法语言。

极角参数

二维旋转属于群 SO(2)SO(2)。从代数角度展开该符号，意味着旋转矩阵 RR 需要同时满足如下条件：

RTR=I,det⁡R=1R^TR=I,\quad \det R=1

上述两个条件具有明确的几何含义。RTR=IR^TR=I 表示矩阵的两列在旋转后仍构成一组单位正交基，而 det⁡R=1\det R=1 对应于这组基的排列顺序维持着原有的空间取向。

我们首先追踪第一根材料轴的运动轨迹。其初始状态为

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

经过旋转作用后，该轴指向某个新的单位矢量方向，记作

e1′=(a,b)\mathbf e_1'=(a,b)

基于旋转操作保持长度不变的性质，新矢量的坐标需要满足

∣e1′∣2=a2+b2=1|\mathbf e_1'|^2=a^2+b^2=1

该方程将 e1′\mathbf e_1' 的末端限制在单位圆上。为了记录单位圆上的点的位置，可以引入从正向横轴起始的有向角 θ\theta。当逆时针方向到达 e1′\mathbf e_1' 时将其记为正角，顺时针方向则记为负角。由此，单位圆上该点的横纵坐标分别定义为 cos⁡θ\cos\theta 与 sin⁡θ\sin\theta，从而得到

e1′=(cos⁡θ,sin⁡θ)\mathbf e_1'=(\cos\theta,\sin\theta)

这一过程通过角度来描述单位矢量在单位圆上的位置，使角度充当了圆周坐标的角色。同时，角度表达方式具有内在的周期性特征，即 θ\theta 与 θ+2π\theta+2\pi 对应同一个单位矢量。这种多对一的映射关系体现出拓扑上的重合关系，使角度坐标具有闭合周期性。

正交约束

在第一根新轴的方向确定后，第二根新轴 e2′\mathbf e_2' 需要同时满足三个条件：长度保持为 1，与 e1′\mathbf e_1' 保持正交，并且与 e1′\mathbf e_1' 共同构成的坐标系维持初始的空间取向。

假设第一根新轴的坐标表示为

e1′=(cos⁡θ,sin⁡θ)\mathbf e_1'=(\cos\theta,\sin\theta)

在该二维平面内，与其正交的单位矢量有两个。为了证明这一点，设第二根候选单位矢量的坐标为

(p,q)(p,q)

根据正交性条件，这两者的内积需要为零，即

pcos⁡θ+qsin⁡θ=0p\cos\theta+q\sin\theta=0

在二维几何中，过原点且垂直于已知非零矢量的解集构成一条直线。可以验证，向量 (−sin⁡θ,cos⁡θ)(-\sin\theta,\cos\theta) 满足该正交方程，因此符合条件的解位于该直线方向上。结合候选矢量需要满足单位长度的约束，这条直线上只有两个符合要求的方向：

(−sin⁡θ,cos⁡θ)(-\sin\theta,\cos\theta)

以及

(sin⁡θ,−cos⁡θ)(\sin\theta,-\cos\theta)

计算可得，两者的长度平方均为

sin⁡2θ+cos⁡2θ=1\sin^2\theta+\cos^2\theta=1

且它们与 e1′\mathbf e_1' 的点积分别为

cos⁡θ(−sin⁡θ)+sin⁡θcos⁡θ=0\cos\theta(-\sin\theta)+\sin\theta\cos\theta=0

以及

cos⁡θsin⁡θ+sin⁡θ(−cos⁡θ)=0\cos\theta\sin\theta+\sin\theta(-\cos\theta)=0

长度和正交性条件提供了这两个平行的备选方案，而第三个条件------取向守恒，则能够唯一确定所需的方向。若将第一种备选矢量作为矩阵的第二列构建变换矩阵：

[cos⁡θ−sin⁡θsin⁡θcos⁡θ]\begin{bmatrix} \cos\theta&-\sin\theta\\ \sin\theta&\cos\theta \end{bmatrix}

其行列式计算结果为

cos⁡2θ+sin⁡2θ=1\cos^2\theta+\sin^2\theta=1

该结果表明它与标准基底具有一致的取向。当角度 θ\theta 从 00 连续变化至当前值时，两根轴始终保持单位正交状态，标架结构保持不变，取向符号保持为 +1+1。

若采用第二种备选矢量构建矩阵：

[cos⁡θsin⁡θsin⁡θ−cos⁡θ]\begin{bmatrix} \cos\theta&\sin\theta\\ \sin\theta&-\cos\theta \end{bmatrix}

其行列式变为

−cos⁡2θ−sin⁡2θ=−1-\cos^2\theta-\sin^2\theta=-1

这一数值说明该变换导致了取向的翻转。从几何直观上看，尽管第一根轴仍指向给定的 θ\theta 方向，但第二根轴被反向映射，使得原有的逆时针轴向顺序变更为顺时针顺序。

由于 SO(2)SO(2) 群要求行列式为 +1+1，第二根材料轴的新方向被唯一确定为

e2′=(−sin⁡θ,cos⁡θ)\mathbf e_2'=(-\sin\theta,\cos\theta)

由此得到二维旋转矩阵的形式：

R(θ)=[cos⁡θ−sin⁡θsin⁡θcos⁡θ]R(\theta)= \begin{bmatrix} \cos\theta&-\sin\theta\\ \sin\theta&\cos\theta \end{bmatrix}

该矩阵展示了它的两列构成元素：

e1′=(cos⁡θ,sin⁡θ)\mathbf e_1'=(\cos\theta,\sin\theta)

和

e2′=(−sin⁡θ,cos⁡θ)\mathbf e_2'=(-\sin\theta,\cos\theta)

这揭示了二维空间的特殊约束机制：一旦第一根单位轴的新方向给定，第二根轴就会由长度、直角及取向条件唯一确定，从而使单一的角度变量足以刻画二维旋转。

旋转算子

将空间中的任意矢量写成列向量形式：

v=[xy]\mathbf v= \begin{bmatrix} x\\ y \end{bmatrix}

采用主动变换的视角，该表达式代表着几何矢量随同物体发生了实际转动，而外部固定的参考系负责读取其变换后的新坐标。在此背景下，矩阵乘法表现为保留原有坐标系数，并按新的材料轴进行线性组合：

R(θ)[xy]=x[cos⁡θsin⁡θ]+y[−sin⁡θcos⁡θ]R(\theta) \begin{bmatrix} x\\ y \end{bmatrix} = x \begin{bmatrix} \cos\theta\\ \sin\theta \end{bmatrix} + y \begin{bmatrix} -\sin\theta\\ \cos\theta \end{bmatrix}

经过展开，可得

R(θ)[xy]=[xcos⁡θ−ysin⁡θxsin⁡θ+ycos⁡θ]R(\theta) \begin{bmatrix} x\\ y \end{bmatrix} = \begin{bmatrix} x\cos\theta-y\sin\theta\\ x\sin\theta+y\cos\theta \end{bmatrix}

该公式中的 −sin⁡θ-\sin\theta 的几何来源明确，它对应着第二根材料轴旋转后的新坐标。基于二维正交系的刚性结构，第二根轴的方向等于第一根新轴逆时针旋转 90∘90^\circ 的结果：

(cos⁡θ,sin⁡θ)⟼(−sin⁡θ,cos⁡θ)(\cos\theta,\sin\theta) \quad\longmapsto\quad (-\sin\theta,\cos\theta)

这种几何关系为任意矢量的旋转提供了一种几何解读。在变换前，矢量由第一根材料轴的 xx 份与第二根材料轴的 yy 份组合而成；在发生整体旋转后，它将以相同的系数 xx 与 yy 在新的材料轴上进行重构。坐标系数维持不变，而基底材料轴发生转向，从而得到该矢量的新位置。

通过代入特定的角度值，可以直观地检验该代数形式。当 θ=0\theta=0 时，旋转矩阵退化为单位矩阵：

R(0)=[1001]R(0)= \begin{bmatrix} 1&0\\ 0&1 \end{bmatrix}

这意味着任意矢量都保持初始位置。当 θ=π2\theta=\frac{\pi}{2} 时，矩阵为

R(π2)=[0−110]R\left(\frac{\pi}{2}\right)= \begin{bmatrix} 0&-1\\ 1&0 \end{bmatrix}

该矩阵操作将第一根基底矢量

(1,0)(1,0)

映射至

(0,1)(0,1)

同时将第二根基底矢量

(0,1)(0,1)

映射至

(−1,0)(-1,0)

这一代数过程再现了二维平面整体逆时针旋转 90∘90^\circ 的几何现象。

角度加法

二维旋转的数学结构在群元素的复合规则中展现出较强的对称性。若依次执行角度为 β\beta 与 α\alpha 的两次旋转，在采用矩阵左乘列向量的约定下，其整体作用的复合矩阵可表示为

R(α)R(β)R(\alpha)R(\beta)

从几何层面考察这一过程，设定某个单位矢量的初始方向与正向横轴夹角为 ϕ\phi，即其坐标表示为

v=(cos⁡ϕ,sin⁡ϕ)\mathbf v=(\cos\phi,\sin\phi)

将第一步旋转矩阵作用于该矢量：

R(β)v=[cos⁡β−sin⁡βsin⁡βcos⁡β][cos⁡ϕsin⁡ϕ]=[cos⁡βcos⁡ϕ−sin⁡βsin⁡ϕsin⁡βcos⁡ϕ+cos⁡βsin⁡ϕ]=[cos⁡(ϕ+β)sin⁡(ϕ+β)]\begin{aligned} R(\beta)\mathbf v &= \begin{bmatrix} \cos\beta&-\sin\beta\\ \sin\beta&\cos\beta \end{bmatrix} \begin{bmatrix} \cos\phi\\ \sin\phi \end{bmatrix}\\ &= \begin{bmatrix} \cos\beta\cos\phi-\sin\beta\sin\phi\\ \sin\beta\cos\phi+\cos\beta\sin\phi \end{bmatrix}\\ &= \begin{bmatrix} \cos(\phi+\beta)\\ \sin(\phi+\beta) \end{bmatrix} \end{aligned}

由此可见，经历一次 β\beta 旋转后，该矢量的方位角演变为

ϕ+β\phi+\beta

同理，继续执行 α\alpha 旋转时，其方位角将累加为

ϕ+β+α\phi+\beta+\alpha

在整个变换流程中，目标矢量始终位于同一二维平面内。前序的旋转操作保持了平面本身的结构不变，使得后续旋转能够沿着同一套角度标尺进行标量加法。这里的 ϕ\phi 泛指单位圆上的任何方向，且对于任意长度为 rr 的矢量，其参数化表达形式均可写作

r(cos⁡ϕ,sin⁡ϕ)r(\cos\phi,\sin\phi)

由于旋转群的操作能够等距地维持长度系数 rr，原点也被固定，因此整个平面空间的映射法则可由单个角度增量确定。这种几何推导确立了一个明确的代数预期：

R(α)R(β)=R(α+β)R(\alpha)R(\beta)=R(\alpha+\beta)

矩阵乘法可验证上述结论：

R(α)R(β)=[cos⁡α−sin⁡αsin⁡αcos⁡α][cos⁡β−sin⁡βsin⁡βcos⁡β]=[cos⁡αcos⁡β−sin⁡αsin⁡β−(cos⁡αsin⁡β+sin⁡αcos⁡β)sin⁡αcos⁡β+cos⁡αsin⁡βcos⁡αcos⁡β−sin⁡αsin⁡β]=[cos⁡(α+β)−sin⁡(α+β)sin⁡(α+β)cos⁡(α+β)]\begin{aligned} R(\alpha)R(\beta) &= \begin{bmatrix} \cos\alpha&-\sin\alpha\\ \sin\alpha&\cos\alpha \end{bmatrix} \begin{bmatrix} \cos\beta&-\sin\beta\\ \sin\beta&\cos\beta \end{bmatrix}\\ &= \begin{bmatrix} \cos\alpha\cos\beta-\sin\alpha\sin\beta& -(\cos\alpha\sin\beta+\sin\alpha\cos\beta)\\ \sin\alpha\cos\beta+\cos\alpha\sin\beta& \cos\alpha\cos\beta-\sin\alpha\sin\beta \end{bmatrix}\\ &= \begin{bmatrix} \cos(\alpha+\beta)&-\sin(\alpha+\beta)\\ \sin(\alpha+\beta)&\cos(\alpha+\beta) \end{bmatrix} \end{aligned}

上述推导的最后一步使用三角加法恒等式：

cos⁡(α+β)=cos⁡αcos⁡β−sin⁡αsin⁡β\cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta sin⁡(α+β)=sin⁡αcos⁡β+cos⁡αsin⁡β\sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta

这证明了复合矩阵的等价性

R(α)R(β)=R(α+β)R(\alpha)R(\beta)=R(\alpha+\beta)

此外，该加法同态映射赋予了二维旋转矩阵交换律属性：

R(α)R(β)=R(α+β)=R(β+α)=R(β)R(α)R(\alpha)R(\beta)=R(\alpha+\beta)=R(\beta+\alpha)=R(\beta)R(\alpha)

群乘法的可交换性来源于二维空间仅存在单一旋转平面的几何结构。连续变换都依托于同一把角度标尺，执行次序的更替都会得到相同结果。这种通过简单角度相加实现旋转复合的机制属于二维空间的特殊属性。在更高维度的空间中存在多个独立的旋转平面，前序旋转会使后续旋转所依赖的参照坐标系发生偏转，简单的标量角度加法将不足以刻画更高维旋转的复合规则。

复数乘法

若将当前的二维几何空间映射为复数平面，空间中的实数矢量

(x,y)(x,y)

即可等效地表述为复数形式

z=x+iyz=x+iy

其中，实部记录矢量的横向坐标，虚部则承载其纵向坐标。引入虚数单位 ii 的乘法运算会产生几何效应：

i(x+iy)=ix+i2y=−y+ixi(x+iy)=ix+i^2y=-y+ix

该运算映射至实平面等价于

(x,y)⟼(−y,x)(x,y)\quad\longmapsto\quad(-y,x)

这一变换实现了整体几何坐标逆时针旋转 90∘90^\circ 的操作。由此，在复平面的代数体系中，ii 充当了“旋转 90∘90^\circ”这一特定正交算子的代数标识。

进一步考察为什么旋转操作需要使用单位复数。当任意复数

c=a+ibc=a+ib

与目标复数 z=x+iyz=x+iy 相乘时，由于复数的模长对应于平面矢量的欧几里得范数，运算结果的新模长符合关系式：

∣cz∣2=(a2+b2)(x2+y2)|cz|^2=(a^2+b^2)(x^2+y^2)

乘法中附带的缩放因子 a2+b2a^2+b^2 会改变目标矢量的长度。鉴于等距变换保持长度不变，该缩放因子需要取值为 1。这一条件使得变换复数 cc 需要位于单位圆上。采用极坐标形式表述的单位复数为

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

将其作为算子乘以目标矢量 zz 时，可以进行如下线性分解：

cz=(cos⁡θ)z+(sin⁡θ)(iz)cz=(\cos\theta)z+(\sin\theta)(iz)

第一项以 cos⁡θ\cos\theta 作为权重，维持了目标矢量的初始方向；第二项则以 sin⁡θ\sin\theta 为权重，生成了原始矢量逆时针旋转 90∘90^\circ 后的正交分量。这种分解机制在结构上对应二维旋转的几何逻辑，即任何矢量的 θ\theta 角度旋转均可由其“原方向”与“正交方向”以特定的三角函数权重线性组合而成。

将复数乘法执行展开计算：

cz=(cos⁡θ+isin⁡θ)(x+iy)=xcos⁡θ−ysin⁡θ+i(xsin⁡θ+ycos⁡θ)\begin{aligned} cz &=(\cos\theta+i\sin\theta)(x+iy)\\ &=x\cos\theta-y\sin\theta +i(x\sin\theta+y\cos\theta) \end{aligned}

提取其实部与虚部构成的列向量坐标为

[xcos⁡θ−ysin⁡θxsin⁡θ+ycos⁡θ]\begin{bmatrix} x\cos\theta-y\sin\theta\\ x\sin\theta+y\cos\theta \end{bmatrix}

该结果与矩阵 R(θ)R(\theta) 作用于矢量 (x,y)(x,y) 产生的坐标变换一致。这说明，左乘一个单位复数

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

在代数形式上等效于二维旋转 R(θ)R(\theta)。

这种同构关系体现了理论对象与其代数表达之间的映射对应。二维旋转对象由 SO(2)SO(2) 的条件定义，而单位复数则提供了一种简练的代数操作模型。这种表达方式之所以成立，是因为复平面包含统一的正交转向算子 ii，并且二维旋转过程正好对应在单一平面内对其基底方向与正交方向进行线性融合。

单位复数全体常记作

U(1)={z∈C∣∣z∣=1}.U(1)=\{z\in\mathbb C\mid |z|=1\}.

因此，上述对应关系也可写为 SO(2)≅U(1)SO(2)\cong U(1)。先记录这个记号，是为了后续看到 SU(2)SU(2) 时形成类比：UU 表示保持复内积的幺正结构，SS 表示再加上行列式为 11 的约束。

欧拉公式

我们已经论证了单位圆上的复数形式

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

能够表征二维旋转。为了将这一映射关系推向更简洁的代数形式，需要考察旋转的复合规律：当依次完成 α\alpha 和 β\beta 的旋转时，几何角度表现为算术加法，而对应的复数算子则执行乘法。这种同态映射揭示出一种“加法嵌入乘法”的代数结构特征。

指数函数的运算法则符合这一同态结构。遵循普通实数指数的恒等式规则：

eaeb=ea+be^a e^b=e^{a+b}

单位复数可以被统一表达为

eiθ=cos⁡θ+isin⁡θe^{i\theta}=\cos\theta+i\sin\theta

这正是经典的欧拉公式。该公式为单位复数引入了适合描述群复合的记法，左侧等式强调了角度在指数层面进行累加的代数特性，而右侧保留了平面空间中单位圆上的显式坐标投影。

结合解析函数理论中的幂级数展开，可以通过幂级数考察这两种表达的内在同一性。将复指数展开为泰勒级数：

eiθ=1+iθ+(iθ)22!+(iθ)33!+⋯e^{i\theta} =1+i\theta+\frac{(i\theta)^2}{2!}+\frac{(i\theta)^3}{3!}+\cdots

级数分离后，其实部对应的偶数次幂序列收敛于

cos⁡θ\cos\theta

虚部对应的奇数次幂序列则收敛于

isin⁡θi\sin\theta

即便不依赖幂级数推导，eiθe^{i\theta} 依然可以作为复平面单位圆上元素的紧凑标记，而其主要作用体现在算符乘法上。选取两个任意单位复数：

eiα=cos⁡α+isin⁡αe^{i\alpha}=\cos\alpha+i\sin\alpha

和

eiβ=cos⁡β+isin⁡βe^{i\beta}=\cos\beta+i\sin\beta

将其进行乘法组合：

eiαeiβ=(cos⁡α+isin⁡α)(cos⁡β+isin⁡β)=cos⁡(α+β)+isin⁡(α+β)=ei(α+β)\begin{aligned} e^{i\alpha}e^{i\beta} &=(\cos\alpha+i\sin\alpha)(\cos\beta+i\sin\beta)\\ &=\cos(\alpha+\beta)+i\sin(\alpha+\beta)\\ &=e^{i(\alpha+\beta)} \end{aligned}

推导的主要步骤同样依赖于三角加法公式，其结果与矩阵变换的同构映射保持一致：

R(α)R(β)=R(α+β)R(\alpha)R(\beta)=R(\alpha+\beta)

综上所述，在二维空间中，如下三种参数化表示形式对应着同一个刚体变换：

θ\theta R(θ)R(\theta) eiθe^{i\theta}

这三种记法分别代表着几何角度语言、群论视角的线性变换矩阵语言以及同构映射下的单位复数乘法语言。与此同时，它们共享着相同的拓扑周期特性：

ei(θ+2π)=eiθe^{i(\theta+2\pi)}=e^{i\theta}

以及

R(θ+2π)=R(θ)R(\theta+2\pi)=R(\theta)

相差整数倍 2π2\pi 的角度等效于同一个二维旋转。这表明系统在流形上经历一整圈环绕后会回到初始状态。

交换律局限

经过上述梳理，二维旋转框架的整齐结构，来自以下四个基本特征的同时成立。首先，二维空间仅存在唯一的旋转平面，使得几何矢量、刚体操作和代数复合都处在同一个不变的空间结构中。其次，由于维度的刚性约束，一旦第一根单位主轴的方向给定，后续第二根轴的姿态随之由长度规范、正交性以及整体取向确定。第三，二维平面具有统一的正交转向算符，而复数域中的虚数单位 ii 对应这一代数角色。最后，旋转的连乘复合并未偏离原始平面，致使矩阵代数、标量角度加法以及单位复数乘法三者相互一致。

上述四个条件在二维空间中同时成立，共同构成了单位复数能够全局刻画二维旋转的代数基础。这种整齐结构会引出对更高维度的探讨：在三维模型中，能否依然通过若干角度的线性叠加来描述旋转轨迹？能否发现一种类似单位复数的紧凑代数形式来处理复杂的空间操作？

为了回应这些问题，我们需要重新审视 SO(3)SO(3) 群在更高自由度下带来的拓扑复杂性。在三维空间中存在着无穷多个旋转平面，当来自不同平面的旋转操作依次耦合时，执行序列会改变复合后的空间姿态。这种不可交换的群复合机制构成了后续章节讨论三维旋转的起点。

专题导航