第十章阐述了单位四元数如何构筑三维旋转的覆盖结构。

三维向量首先被嵌入纯虚四元数空间中：

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

单位四元数通过夹心乘法作用于该空间：

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

当设定：

q=cos⁡θ2+usin⁡θ2q=\cos\frac{\theta}{2}+\mathbf u\sin\frac{\theta}{2}

这一夹心作用即在三维空间中准确描述了绕轴 u\mathbf u 旋转 θ\theta 角的几何变换。

该结构同时确立了双值映射关系：

q∼−qq\sim -q

即同一个 SO(3)SO(3) 旋转变换，对应于单位四元数球面 S3S^3 上的两个对跖点。

上述结论完备地刻画了三维旋转的覆盖特性，然而其表达环境仍局限于四元数自身的代数体系之内。

为了使该理论架构能够自然衔接现代线性代数与量子力学，我们有必要将上述结构引入矩阵表达环境。由于现代物理理论普遍采用复向量、线性算子、内积及共轭转置等矩阵语言，若单位四元数仅作为独立的数系存在，其应用范围将受到限制；反之，若能将其乘法规则、模长守恒、夹心变换及双值覆盖等核心特性平滑地迁移至复矩阵体系中，则前述几何理论便可顺理成章地拓展至微观旋转理论。

这一承接宏观旋转与微观量子态的矩阵语言即为：

SU(2)SU(2)

此代数转换的核心目的在于保持旋转对象的固有几何意义：即单位四元数应同构于单位模长的复矩阵，纯虚三维向量应映射至一类特定的三维实矩阵子空间，而四元数的夹心操作应转化为相应的矩阵夹心运算。

矩阵化

实现从四元数向矩阵语言的过渡，首要前提是确定需要保留的代数与几何结构。四元数能够描述三维旋转，其关键不仅在于拥有四个实自由度，更在于其单位元素的复合与取逆操作、乘法的保长特性、能够将纯虚子空间映射回自身的夹心机制，以及 qq 与 −q-q 的双值等效性。矩阵化方案需要保持这些结构属性。

矩阵语言具备线性空间、算子、特征值、内积及共轭转置等基础结构，这为后续刻画微观态演化提供了可直接使用的数学工具。

在矩阵理论中，“保长”这一几何要求可被转化为清晰的代数条件。在实矩阵范畴内，保持内积等价于正交关系：

RTR=IR^T R=I

而在复矩阵范畴内，该条件扩展为幺正关系：

U†U=IU^\dagger U=I

其中 U†U^\dagger 表示共轭转置操作。

四元数与特定矩阵系统之间存在此类同构关系。单位四元数可被嵌入 2×22\times2 复矩阵体系，并保留其原有的乘法代数结构。借此，四元数层面的几何直觉便转化为 SU(2)SU(2) 的代数特性。

本章由此确立一个基本逻辑起点：

SU(2)SU(2) 首先作为单位四元数的等价矩阵同构形式引入，进而讨论其经典的代数与几何属性。

本章会先用 E1,E2,E3E_1,E_2,E_3 构造四元数虚单位的矩阵版本，随后切换到物理中常用的泡利矩阵 σx,σy,σz\sigma_x,\sigma_y,\sigma_z。两套基底描述同一个代数结构，只在排列和符号约定上有所差异。先看 EiE_i 是为了保留构造来源，后看泡利矩阵是为了衔接量子旋量。

复矩阵表示

复矩阵表示的建立，要求在 2×22\times2 复矩阵中寻找到三个矩阵元，用以充当四元数虚单位的角色，且满足四元数的基本代数关系：

i2=j2=k2=−1,ij=k,ji=−ki^2=j^2=k^2=-1,\qquad ij=k,\quad ji=-k

为避免与四元数虚单位混淆，将复数域的虚单位记为 i\mathrm i。我们首要寻找的第一个矩阵记为 E1E_1。它需要满足：

E12=−IE_1^2=-I

单独由平方条件 E12=−IE_1^2=-I 只能推出 E1E_1 的特征值属于集合 {i,−i}\{\mathrm i,-\mathrm i\}，还不能推出两个特征值分别取 i\mathrm i 与 −i-\mathrm i。例如 iI\mathrm i I 同样满足平方条件，却无法提供与第二个虚单位反交换的非平凡表示。

为构造二维复矩阵中的四元数表示，需要选取一个非标量且迹为零的矩阵作为第一个虚单位。平方条件限制了它的特征值，迹零条件则使两个特征值相加为零。在等价基变换下，可取：

E1=(i00−i)E_1= \begin{pmatrix} \mathrm i&0\\ 0&-\mathrm i \end{pmatrix}

此步骤固定了矩阵空间的基底选择，等同于定义了第一个非标量虚单位的表示形式。

进一步寻找第二个矩阵 E2E_2。基于四元数虚单位间的反交换性质，E2E_2 需要满足：

E1E2+E2E1=0E_1E_2+E_2E_1=0

设该矩阵的一般形式为：

E2=(abcd)E_2= \begin{pmatrix} a&b\\ c&d \end{pmatrix}

将其代入反交换条件，可得：

E1E2+E2E1=(2ia00−2id)=0E_1E_2+E_2E_1= \begin{pmatrix} 2\mathrm i a&0\\ 0&-2\mathrm i d \end{pmatrix} =0

由此推导出：

a=d=0a=d=0

故第二个虚单位仅含有非对角元：

E2=(0bc0)E_2= \begin{pmatrix} 0&b\\ c&0 \end{pmatrix}

再引入平方条件：

E22=−IE_2^2=-I

由此得到：

bc=−1bc=-1

在矩阵基底相位的选取规范下，我们取最简约的解：

b=1,c=−1b=1,\qquad c=-1

从而确立了 E2E_2 的具体形式：

E2=(01−10)E_2= \begin{pmatrix} 0&1\\ -1&0 \end{pmatrix}

第三个虚单位可通过前两者的乘积直接获取。依照 ij=kij=k 的要求，定义：

E3=E1E2E_3=E_1E_2

执行矩阵乘法后得到：

E3=(0ii0)E_3= \begin{pmatrix} 0&\mathrm i\\ \mathrm i&0 \end{pmatrix}

该矩阵自然满足了剩余的代数约束：

E32=−I,E2E1=−E3E_3^2=-I,\qquad E_2E_1=-E_3

至此，四元数的完整乘法表已在 2×22\times2 复矩阵空间中构造完毕。

现考察任意四元数：

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

其中 w,x,y,zw,x,y,z 均为实数。依循上述构造的矩阵基元，将其进行线性组合：

M(q)=wI+xE1+yE2+zE3\mathcal M(q)=wI+xE_1+yE_2+zE_3

可得矩阵形式：

M(q)=(w+xiy+zi−y+ziw−xi)\mathcal M(q)= \begin{pmatrix} w+x\mathrm i & y+z\mathrm i\\ -y+z\mathrm i & w-x\mathrm i \end{pmatrix}

该矩阵的具体排布由虚单位的平方属性、反交换法则及乘法顺序共同界定。若选取另一组等效的复基底，矩阵元的位置或符号可能发生变化，但它们共同表征了同一个恒定的四元数代数结构。

基础基元的映射关系总结如下：

M(1)=(1001)\mathcal M(1)= \begin{pmatrix} 1&0\\ 0&1 \end{pmatrix} M(i)=(i00−i)\mathcal M(i)= \begin{pmatrix} \mathrm i&0\\ 0&-\mathrm i \end{pmatrix} M(j)=(01−10)\mathcal M(j)= \begin{pmatrix} 0&1\\ -1&0 \end{pmatrix} M(k)=(0ii0)\mathcal M(k)= \begin{pmatrix} 0&\mathrm i\\ \mathrm i&0 \end{pmatrix}

这些基矩阵的平方均等于：

−I-I

且遵循与 i,j,ki,j,k 相同的换序变号代数法则。基于此，矩阵乘法能够精确再现四元数乘法规则：

M(q1q2)=M(q1)M(q2)\mathcal M(q_1q_2)=\mathcal M(q_1)\mathcal M(q_2)

这一同构映射证明，矩阵乘法在代数上与四元数乘法保持一致。在四元数空间中连续执行 q1q_1 和 q2q_2 的乘法操作，映射至矩阵空间中即为依次执行 M(q1)\mathcal M(q_1) 与 M(q2)\mathcal M(q_2) 的矩阵相乘。

特殊幺正群

进一步分析单位长度条件在矩阵域中的对应表述。

对映射矩阵进行行列式计算：

det⁡M(q)=(w+xi)(w−xi)−(y+zi)(−y+zi)\det\mathcal M(q) = (w+xi)(w-xi)-(y+zi)(-y+zi)

展开第一项得到：

w2+x2w^2+x^2

展开第二项得到：

−y2−z2-y^2-z^2

合并各项即为：

det⁡M(q)=w2+x2+y2+z2\det\mathcal M(q)=w^2+x^2+y^2+z^2

这一结果精确对应于四元数模长的平方：

det⁡M(q)=∣q∣2\det\mathcal M(q)=|q|^2

对于满足单位模长的四元数，其约束条件自然转化为矩阵行列式等于 11：

det⁡M(q)=1\det\mathcal M(q)=1

接下来验证其幺正属性。

该矩阵的共轭转置形式写为：

M(q)†=(w−xi−y−ziy−ziw+xi)\mathcal M(q)^\dagger= \begin{pmatrix} w-xi & -y-zi\\ y-zi & w+xi \end{pmatrix}

两矩阵相乘可得：

M(q)†M(q)=∣q∣2I\mathcal M(q)^\dagger\mathcal M(q) =|q|^2 I

因此，对于单位四元数，其对应矩阵必然满足：

M(q)†M(q)=I\mathcal M(q)^\dagger\mathcal M(q)=I

这给出了幺正性的确切定义。

综合上述推演，单位四元数被精确映射为同时满足以下两项代数条件的复矩阵：

U†U=IU^\dagger U=I

以及

det⁡U=1\det U=1

所有符合该约束的 2×22\times2 复矩阵共同定义了特殊幺正群：

SU(2)SU(2)

该群的命名直观地反映了其定义条件：

UU 表示其幺正性 (unitary)。

SS 表示其特殊性 (special)，即行列式限制为 1。

括号中的 2 则表明矩阵所处的二维复空间阶数。

由此，其代数集合可精确表达为：

SU(2)={U∈M2(C)∣U†U=I, det⁡U=1}SU(2)=\{U\in M_2(\mathbb C)\mid U^\dagger U=I,\ \det U=1\}

这套矩阵系统与单位四元数群构成了严密的等价结构，其乘法同构关系可简明地表示为：

{单位四元数}≅SU(2)\{\text{单位四元数}\}\cong SU(2)

前一章论述的超球面 S3S^3 也在 SU(2)SU(2) 框架中获得重现。任意 SU(2)SU(2) 矩阵均可作如下参数化表示：

U=(αβ−β‾α‾)U= \begin{pmatrix} \alpha&\beta\\ -\overline{\beta}&\overline{\alpha} \end{pmatrix}

且满足模长等式：

∣α∣2+∣β∣2=1|\alpha|^2+|\beta|^2=1

通过引入实数参量：

α=w+xi,β=y+zi\alpha=w+xi,\quad \beta=y+zi

代入模长条件即导出：

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

这一表达式再次重构了 S3S^3 流形的标准方程。

泡利矩阵

在确立了四元数体系至矩阵空间的同构映射后，随后需要将被旋转的三维向量同步转换为适当的矩阵形式。

三维实向量由三个分量构成：

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

为使矩阵能够表示几何操作，目标编码空间需要满足三项核心要求：它本身需正好具有三个独立的实自由度；它在受到 UHU†UHU^\dagger 夹心操作后须保持封闭；并且它需要具有一个明确的代数不变量以对应向量的欧几里得长度。

一般的 2×22\times2 复矩阵拥有八个实自由度，显然过于宽泛。若对矩阵施加厄米约束：

H†=HH^\dagger=H

则其自由度将缩减至四个。厄米矩阵的特征值恒为实数，这赋予了它在后续物理理论中表达可观测量的重要能力。然而，为了精确提取三维实向量空间，还需从这四个自由度中剥离一个与空间方向无关的标量维度。

该标量维度即对应于单位矩阵方向：

aIaI

在夹心变换下，该项表现出恒等映射的特性：

U(aI)U†=aIU(aI)U^\dagger=aI

由于它仅提供全局统一的标量背景，剥离这一维度的代数操作，等价于要求矩阵的迹恒定为零。

一个满足无迹条件的 2×22\times2 厄米矩阵的一般形式可写为：

H=(zx−iyx+iy−z)H= \begin{pmatrix} z&x-iy\\ x+iy&-z \end{pmatrix}

其中：

x,y,z∈Rx,y,z\in\mathbb R

该矩阵恰好保留了三个纯实参数。将其依 x,y,zx,y,z 进行基底分离：

H=x(0110)+y(0−ii0)+z(100−1)H= x \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix} +y \begin{pmatrix} 0&-i\\ i&0 \end{pmatrix} +z \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix}

由此，负责承载三维空间方向的三个基础矩阵自然显现，它们正是经典的泡利矩阵：

σx=(0110)\sigma_x= \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix} σy=(0−ii0)\sigma_y= \begin{pmatrix} 0&-i\\ i&0 \end{pmatrix} σz=(100−1)\sigma_z= \begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix}

数学意义上，泡利矩阵构成了 2×22\times2 复矩阵体系中某个特定无迹厄米实子空间的一组正交基底。

这组基矩阵呈现出若干重要的代数属性。

第一，各个泡利矩阵均满足厄米性：

σa†=σa\sigma_a^\dagger=\sigma_a

第二，各个泡利矩阵的迹严格为零：

tr⁡σa=0\operatorname{tr}\sigma_a=0

第三，它们的乘积运算内在统合了三维向量的点积与叉乘：

(a⋅σ)(b⋅σ)=(a⋅b)I+i(a×b)⋅σ(\mathbf a\cdot\boldsymbol\sigma) (\mathbf b\cdot\boldsymbol\sigma) = (\mathbf a\cdot\mathbf b)I +i(\mathbf a\times\mathbf b)\cdot\boldsymbol\sigma

其中：

a⋅σ=axσx+ayσy+azσz\mathbf a\cdot\boldsymbol\sigma =a_x\sigma_x+a_y\sigma_y+a_z\sigma_z

该恒等式与第九章中推导的纯虚四元数乘法规则结构一致。

纯虚四元数乘法规则为：

(0,a)(0,b)=(−a⋅b,a×b)(0,\mathbf a)(0,\mathbf b) = (-\mathbf a\cdot\mathbf b,\mathbf a\times\mathbf b)

泡利矩阵的乘法规则为：

(a⋅σ)(b⋅σ)=(a⋅b)I+i(a×b)⋅σ(\mathbf a\cdot\boldsymbol\sigma) (\mathbf b\cdot\boldsymbol\sigma) = (\mathbf a\cdot\mathbf b)I +i(\mathbf a\times\mathbf b)\cdot\boldsymbol\sigma

为明晰这一同构关系，定义四元数至矩阵的具体代换规则：

Φ(s,a)=sI−i a⋅σ\Phi(s,\mathbf a)=sI-i\,\mathbf a\cdot\boldsymbol\sigma

据此，纯虚四元数基底方向被映射为：

ej⟼−iσj\mathbf e_j\longmapsto -i\sigma_j

将两个纯虚四元数代入映射矩阵端进行运算：

Φ(0,a)Φ(0,b)=(−ia⋅σ)(−ib⋅σ)\Phi(0,\mathbf a)\Phi(0,\mathbf b) = (-i\mathbf a\cdot\boldsymbol\sigma) (-i\mathbf b\cdot\boldsymbol\sigma)

应用泡利乘法规则：

(−i)2[(a⋅b)I+i(a×b)⋅σ](-i)^2 \bigl[ (\mathbf a\cdot\mathbf b)I +i(\mathbf a\times\mathbf b)\cdot\boldsymbol\sigma \bigr]

整理即得：

−(a⋅b)I−i(a×b)⋅σ-(\mathbf a\cdot\mathbf b)I -i(\mathbf a\times\mathbf b)\cdot\boldsymbol\sigma

另一方面，在四元数端先进行乘法计算：

(0,a)(0,b)=(−a⋅b,a×b)(0,\mathbf a)(0,\mathbf b) =(-\mathbf a\cdot\mathbf b,\mathbf a\times\mathbf b)

随后进行矩阵映射：

Φ(−a⋅b,a×b)=−(a⋅b)I−i(a×b)⋅σ\Phi(-\mathbf a\cdot\mathbf b,\mathbf a\times\mathbf b) = -(\mathbf a\cdot\mathbf b)I -i(\mathbf a\times\mathbf b)\cdot\boldsymbol\sigma

两种路径的计算结果一致。点积项的负号源于复数系数 (−i)2=−1(-i)^2=-1，而叉乘项产生的复数 ii 则被代换规则中的 −i-i 所吸收。通过该推演，泡利矩阵与四元数虚单位之间的代数同构得以建立。

为了连接本章前半部分构造的矩阵基元 E1,E2,E3E_1,E_2,E_3 与后半部分采用的泡利矩阵约定，可将两套基底关系列成对照表：

  • 四元数单位 ii：前文构造的矩阵基元 E1=M(i)E_1=\mathcal M(i)，泡利矩阵表达 iσz\mathrm i\sigma_z，在 Φ(0,a)=−ia⋅σ\Phi(0,\mathbf a)=-i\mathbf a\cdot\boldsymbol\sigma 约定中的方向为 −ez-\mathbf e_z。
  • 四元数单位 jj：前文构造的矩阵基元 E2=M(j)E_2=\mathcal M(j)，泡利矩阵表达 iσy\mathrm i\sigma_y，在 Φ(0,a)=−ia⋅σ\Phi(0,\mathbf a)=-i\mathbf a\cdot\boldsymbol\sigma 约定中的方向为 −ey-\mathbf e_y。
  • 四元数单位 kk：前文构造的矩阵基元 E3=M(k)E_3=\mathcal M(k)，泡利矩阵表达 iσx\mathrm i\sigma_x，在 Φ(0,a)=−ia⋅σ\Phi(0,\mathbf a)=-i\mathbf a\cdot\boldsymbol\sigma 约定中的方向为 −ex-\mathbf e_x。

这说明前文的 E1,E2,E3E_1,E_2,E_3 与后文的 −iσx,−iσy,−iσz-i\sigma_x,-i\sigma_y,-i\sigma_z 采用了不同的基底排列和符号标记，但二者表征同一个四元数代数。后续讨论三维向量、无迹厄米矩阵和 SU(2)SU(2) 伴随作用时，统一采用

Φ(s,a)=sI−ia⋅σ\Phi(s,\mathbf a)=sI-i\mathbf a\cdot\boldsymbol\sigma

作为本章后续使用的约定。

另一项关键细节同样值得关注。

泡利矩阵的平方项均等效于单位矩阵：

σx2=σy2=σz2=I\sigma_x^2=\sigma_y^2=\sigma_z^2=I

当赋予复虚数系数 −i-i 后，可构造出平方为 −I-I 的生成元：

(−iσa)2=−I(-i\sigma_a)^2=-I

此特征对应于四元数虚单位平方为 −1-1 的代数结构。由此，在矩阵理论框架内，单位四元数的虚部向量获得了标准表达：

−i u⋅σ-i\,\mathbf u\cdot\boldsymbol\sigma

厄米矩阵

针对给定的三维向量：

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

定义其矩阵映射形式：

H(r)=r⋅σH(\mathbf r)=\mathbf r\cdot\boldsymbol\sigma

此即为上一节所探讨的无迹厄米矩阵：

H(r)=(zx−iyx+iy−z)H(\mathbf r)= \begin{pmatrix} z&x-iy\\ x+iy&-z \end{pmatrix}

该矩阵天然继承了以下三项基础代数属性。

第一，它严格遵循厄米共轭性：

H(r)†=H(r)H(\mathbf r)^\dagger=H(\mathbf r)

第二，它的矩阵迹恒等于零：

tr⁡H(r)=0\operatorname{tr}H(\mathbf r)=0

第三，它的行列式承载了三维向量模长的负平方关系：

det⁡H(r)=−(x2+y2+z2)\det H(\mathbf r)=-(x^2+y^2+z^2)

即：

−det⁡H(r)=∣r∣2-\det H(\mathbf r)=|\mathbf r|^2

上述推导明晰了二维复矩阵如何实现对三维几何空间的有效表达。2×22\times2 复矩阵体系提供了充足的代数自由度，而其包含的无迹厄米矩阵子空间恰好对应于三维实空间结构，三维向量由此获得了同构的代数基底。

在此语境中，“二维”指代复矩阵的维度层级，而“三维”则反映了无迹厄米子空间内的独立实参数数量，两者在相通的理论基础内共同确立了几何变换的代数表达。

矩阵夹心作用

引入特定的幺正变换矩阵：

U∈SU(2)U\in SU(2)

对代表三维向量的无迹厄米矩阵施加夹心变换：

H′  =  UHU†H'\;=\;U H U^\dagger

此映射机制与单位四元数的夹心乘法形成了理论等价：

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

首先须验证该操作是否维持目标矩阵的子空间封闭性，即其变换结果是否仍属于无迹厄米矩阵集合。

鉴于 HH 本身具备厄米性，经过夹心映射后：

(UHU†)†=UH†U†=UHU†(UHU^\dagger)^\dagger =UH^\dagger U^\dagger =UHU^\dagger

证明其厄米性保持不变。

进一步考察矩阵的迹：

tr⁡(UHU†)=tr⁡(U†UH)=tr⁡(H)\operatorname{tr}(UHU^\dagger) =\operatorname{tr}(U^\dagger U H) =\operatorname{tr}(H)

此处应用了特殊幺正矩阵的基本条件：

U†U=IU^\dagger U=I

由此确认，原矩阵无迹的属性在变换中被严格保留，新矩阵 H′H' 的迹同为零。

随后检验矩阵行列式的守恒性质：

det⁡(UHU†)=det⁡Udet⁡Hdet⁡U†\det(UHU^\dagger) =\det U\det H\det U^\dagger

依特殊幺正群定义：

det⁡U=1,det⁡U†=det⁡U‾=1\det U=1,\quad \det U^\dagger=\overline{\det U}=1

因此：

det⁡H′=det⁡H\det H'=\det H

因 −det⁡H-\det H 表示三维向量模长的平方，这从代数上证明了 UHU†UHU^\dagger 操作满足对欧几里得长度的保长约束。

代数性质的全面守恒证明了，该夹心作用为三维向量空间构建了一个明确的线性且保长的正交变换。

为判别该变换的拓扑空间属性，我们诉诸其连通特性。由于 SU(2)SU(2) 构成了连通流形，任一 UU 均可由单位阵 II 平滑形变获得。在初始态 U=IU=I 处，该夹心作用为恒等变换，相应的实三维正交变换的行列式定为 +1+1。根据群流形的连续性原则，其在此演化路径上无法跃变，行列式恒守 +1+1。

这证实了映射机制：

H↦UHU†H\mapsto UHU^\dagger

必然对应于三维空间中的保向旋转 SO(3)SO(3)。

此论点概括为：

任一属于 SU(2)SU(2) 的群元素 UU 均通过特定的夹心映射规则，严格对应于三维空间中的特定 SO(3)SO(3) 几何旋转。

指数映射

第十章确立了单位四元数表达旋转的生成形式：

q=cos⁡θ2+usin⁡θ2q=\cos\frac{\theta}{2}+\mathbf u\sin\frac{\theta}{2}

引入矩阵理论后，首先需对该生成元中的虚单位方向 u\mathbf u 进行翻译。

设三维物理空间中的单位旋转轴向为：

u=(ux,uy,uz)\mathbf u=(u_x,u_y,u_z)

结合泡利矩阵，可构造方向矩阵：

u⋅σ=uxσx+uyσy+uzσz\mathbf u\cdot\boldsymbol\sigma =u_x\sigma_x+u_y\sigma_y+u_z\sigma_z

基于前述泡利矩阵运算规则，该单位矩阵的平方遵循：

(u⋅σ)2=I(\mathbf u\cdot\boldsymbol\sigma)^2=I

由此构造矩阵：

Au=−i u⋅σA_{\mathbf u}=-i\,\mathbf u\cdot\boldsymbol\sigma

它必然满足：

Au2=−IA_{\mathbf u}^2=-I

它在矩阵理论中发挥了等同于“沿 u\mathbf u 方向的四元数虚单位”的核心代数作用。

随即将四元数的半角因子结构对应至矩阵空间：标量成分 cos⁡(θ/2)\cos(\theta/2) 乘上单位阵 II，而虚方向部分则由 AuA_{\mathbf u} 替代，由此获得：

U(u,θ)=cos⁡θ2 I+Ausin⁡θ2U(\mathbf u,\theta) = \cos\frac{\theta}{2}\,I +A_{\mathbf u}\sin\frac{\theta}{2}

即为：

U(u,θ)=cos⁡θ2 I−i(u⋅σ)sin⁡θ2U(\mathbf u,\theta) = \cos\frac{\theta}{2}\,I -i(\mathbf u\cdot\boldsymbol\sigma)\sin\frac{\theta}{2}

该表达式在矩阵层面上精确保留了单位四元数的原始演化结构：

q=cos⁡θ2+usin⁡θ2q=\cos\frac{\theta}{2}+\mathbf u\sin\frac{\theta}{2}

二者在形式上的主要差异集中于虚单位的构造：由单纯的四元数基元 u\mathbf u 转化为了复合矩阵算符：

−i u⋅σ-i\,\mathbf u\cdot\boldsymbol\sigma

在此推演中尚未直接采用指数函数形式。指数表达的引入基于一项基础代数观察：对任意符合平方约束 A2=−IA^2=-I 的代数元，其指数级数展开将自动依奇偶次幂解耦为余弦和正弦序列：

eαA=Icos⁡α+Asin⁡αe^{\alpha A} =I\cos\alpha+A\sin\alpha

将参量：

A=Au,α=θ2A=A_{\mathbf u},\qquad \alpha=\frac{\theta}{2}

代入前式，可将矩阵的半角表达式集约为：

U(u,θ)=exp⁡(− iθ2u⋅σ)U(\mathbf u,\theta) =\exp\left( -\,\frac{i\theta}{2}\mathbf u\cdot\boldsymbol\sigma \right)

因此，指数映射是半角多项式结构与生成元平方代数约束 Au2=−IA_{\mathbf u}^2=-I 结合后的紧凑表达。

矩阵表述同样说明了半角因子的来源：左侧的 UU 与右侧的 U†U^\dagger 共同作用在无迹厄米矩阵子空间上，使指数中的 θ/2\theta/2 在伴随作用中产生三维向量的 θ\theta 角旋转。

矩阵双值性

在单位四元数的代数构架内，双值覆盖是一个核心的拓扑等价关系：

q∼−qq\sim -q

这一现象在 SU(2)SU(2) 矩阵域中同样出现。

考察变换操作，当矩阵 UU 取反转变为 −U-U 时：

(−U)H(−U)†(-U)H(-U)^\dagger

根据矩阵共轭转置的线性运算法则：

(−U)†=−U†(-U)^\dagger=-U^\dagger

这导出了其夹心作用等式：

(−U)H(−U†)=UHU†(-U)H(-U^\dagger)=UHU^\dagger

代数连乘导致负号因子相互抵消。

由此确认，UU 与 −U-U 在对三维向量进行夹心变换时，给出相同的旋转映射。

上述代数机制可通过群同态理论表示为确定的映射：

SU(2)⟶SO(3)SU(2)\longrightarrow SO(3)

前文已经说明，该映射把每个 U∈SU(2)U\in SU(2) 送到一个三维保向正交变换。为了得到商群结论，还需确认该映射覆盖整个 SO(3)SO(3)。任意 SO(3)SO(3) 元素都可写成某个轴角旋转：绕单位轴 u\mathbf u 旋转角 θ\theta。而矩阵

U(u,θ)=exp⁡(− iθ2u⋅σ)U(\mathbf u,\theta) =\exp\left( -\,\frac{i\theta}{2}\mathbf u\cdot\boldsymbol\sigma \right)

在伴随作用 H↦UHU†H\mapsto UHU^\dagger 下正好诱导该轴角旋转。因此，每个 SO(3)SO(3) 旋转都至少来自一个 SU(2)SU(2) 元素，该群同态为满射。

该群同态映射的核构成为含两个离散元素的集合：

{I,−I}\{I,-I\}

依据群同态基本定理，建立起二者的同构关系：

SO(3)≅SU(2)/{±I}SO(3)\cong SU(2)/\{\pm I\}

该方程统合了第八章与第十章积累的几何直观：

SU(2)SU(2) 本身的拓扑结构构筑了连通的超球面 S3S^3。

SO(3)SO(3) 则是该球面 S3S^3 上互为对跖的点对通过商拓扑识别而形成的实空间流形。

三维空间内的保向旋转发生于 SO(3)SO(3) 群中，而支持平滑演化与复合路径的双向覆盖代数结构，则由 SU(2)SU(2) 矩阵群提供。

群覆盖

经过上述代数推演，SU(2)SU(2) 群在旋转理论中的位置可以概括如下。

四元数元：

qq

等价映射至特殊幺正群元素：

UU

代表三维矢量的纯虚四元数：

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

等距同构于无迹厄米矩阵：

H(p)=p⋅σH(\mathbf p)=\mathbf p\cdot\boldsymbol\sigma

四元数算子的夹心演算：

qpq−1q p q^{-1}

自然过渡为矩阵群的内涵作用：

UHU†U H U^\dagger

基于四元数的半角生成结构：

cos⁡θ2+usin⁡θ2\cos\frac{\theta}{2}+\mathbf u\sin\frac{\theta}{2}

获得了 SU(2)SU(2) 的半角矩阵展开表达：

cos⁡θ2I−i(u⋅σ)sin⁡θ2\cos\frac{\theta}{2}I -i(\mathbf u\cdot\boldsymbol\sigma)\sin\frac{\theta}{2}

最后，四元数对跖点的等价性：

q∼−qq\sim -q

同步展现为复矩阵群中正负矩阵元的几何等价：

U∼−UU\sim -U

至此，SU(2)SU(2) 作为理解宏观几何与微观物理旋转的代数框架已基本建立。它先以四元数系统的矩阵同构形式出现，继而获得作为 SO(3)SO(3) 连续双层覆盖群的拓扑身份。

这一套理论演绎扎根于代数学与经典几何学的对应关系。

奠定了几何与代数的基础之后，第十二章将转入微观量子旋转的讨论：

微观世界的内禀属性------自旋，为何适合用二维复线性空间进行数学抽象？

仅容纳两个特征观测态的自旋物理系统，其理论演化态空间缘何会构筑为一个连续完整的 Bloch 球面？

更进一步，宏观世界中的 SO(3)SO(3) 空间旋转，究竟如何借由态空间内的 SU(2)SU(2) 幺正演化方程作用于微观粒子的量子态？

第十一章在代数和群论维度上完成了矩阵语言的铺垫，随后的第十二章将讨论量子物理实验事实如何落入这一数学对应关系之中。

专题导航