第九章将四元数作为 SO(3)SO(3) 覆盖空间的候选数学对象进行了初步引入。

三维向量嵌入纯虚四元数空间：

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

单位四元数构成球面 S3S^3：

∣q∣=1|q|=1

它们具备清晰的乘法规则、逆元结构与连续的流形特征。

在此基础之上，随之而来的核心问题是：

单位四元数应以何种代数方式作用于纯虚四元数，方可准确表达三维几何旋转？

探讨具体的映射规则需要遵循代数演进的逻辑。观察左乘操作带来的空间偏离现象，可以启发我们寻找必要的代数补偿，从而逐步确定补偿因子的合理位置与具体结构。

本章首先对几种基本的候选代数操作进行逐一试算：

qp,pq,qpqqp,\quad pq,\quad qpq

试算结果显示，单侧乘法会将目标对象映射出纯虚子空间，而两侧同向相乘则导致实部项的叠加。这些代数特征指引我们将右侧因子的向量部分取反。在单位四元数中，实现该反向操作的代数对象正是其共轭，亦即逆元 q−1q^{-1}。

夹心乘法的代数形式由此在该验证过程中自然确立。旋转的半角关系与群覆盖的双值现象也将从该代数结构中严格导出。

左乘越界

设单位四元数写为：

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

三维向量写为纯虚四元数：

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

依据第九章的乘法公式：

(w1,v1)(w2,v2)=(w1w2−v1⋅v2,w1v2+w2v1+v1×v2)(w_1,\mathbf v_1)(w_2,\mathbf v_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)

执行左乘计算：

qp=(w,v)(0,p)qp=(w,\mathbf v)(0,\mathbf p)

得到结果：

qp=(−v⋅p,wp+v×p)qp= \bigl( -\mathbf v\cdot\mathbf p, w\mathbf p+\mathbf v\times\mathbf p \bigr)

其标量实部通常为：

−v⋅p-\mathbf v\cdot\mathbf p

当 v\mathbf v 与 p\mathbf p 的夹角偏离正交状态时，该实部即表现为非零项。

此时，qpqp 的结果超出了用以表征三维向量的纯虚子空间。

此现象具有明确的几何表现。单位四元数 qq 原本定义于四维空间中，左乘 qq 的操作自然会将纯虚的三维子空间映射至四维空间内的其他区域。若其目标在于表达三维旋转，则变换后的对象必须仍能写为纯虚形式：

(0,p′)(0,\mathbf p')

即要求该代数操作的实部必须对任意输入向量恒等于零。

由此可见，单独的左乘操作不足以表征三维空间内的旋转行为。这一现象促使我们进一步比较几种基于四元数乘法自身所能构建的自然延伸方案。

夹心乘法

第一种探讨的代数演进方案，是将乘法操作移至右侧：

p↦pqp\mapsto pq

计算结果为：

pq=(0,p)(w,v)=(−p⋅v,wp+p×v)pq=(0,\mathbf p)(w,\mathbf v) = \bigl( -\mathbf p\cdot\mathbf v, w\mathbf p+\mathbf p\times\mathbf v \bigr)

其实部项仍为：

−p⋅v-\mathbf p\cdot\mathbf v

分析可知，单独右乘同样会产生实部分量。为了实现纯虚子空间的代数封闭，我们需要继续探索更为完备的乘法结构。

第二种启发性的尝试，是引入相同的 qq 从左右两侧同时进行乘法作用：

p↦qpqp\mapsto qpq

沿用前一节的计算结果，左乘操作给出：

qp=(−v⋅p,wp+v×p)qp= \bigl( -\mathbf v\cdot\mathbf p, w\mathbf p+\mathbf v\times\mathbf p \bigr)

随后右乘 q=(w,v)q=(w,\mathbf v)。该结果的实部为：

(−v⋅p)w−(wp+v×p)⋅v\bigl(-\mathbf v\cdot\mathbf p\bigr)w -\bigl(w\mathbf p+\mathbf v\times\mathbf p\bigr)\cdot\mathbf v

将其展开可得：

−w(v⋅p)−w(p⋅v)−(v×p)⋅v-w(\mathbf v\cdot\mathbf p) -w(\mathbf p\cdot\mathbf v) -(\mathbf v\times\mathbf p)\cdot\mathbf v

鉴于叉乘结果与参与叉乘的向量恒定垂直，最后一项严格为零，于是有：

Re⁡(qpq)=−2w(v⋅p)\operatorname{Re}(qpq) =-2w(\mathbf v\cdot\mathbf p)

推演至此展现出一个关键特征：在两侧同时作用相同的 qq 时，点积产生的实部分量在一般情形下呈现出叠加状态。这种代数特征自然指引我们将右侧因子的向量部分取反，以期构造出符号相反的项来实现抵消。满足该条件的代数对象即为共轭四元数：

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

针对单位四元数，前文已确立如下关系：

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

现考察以逆元构建的双侧作用：

qpq−1q p q^{-1}

仍定义：

A=−v⋅pA=-\mathbf v\cdot\mathbf p

以及

B=wp+v×p\mathbf B=w\mathbf p+\mathbf v\times\mathbf p

则代数操作写作：

(qp)q−1=(A,B)(w,−v)(qp)q^{-1}=(A,\mathbf B)(w,-\mathbf v)

其标量实部为：

Aw−B⋅(−v)Aw-\mathbf B\cdot(-\mathbf v)

代入 A,BA,\mathbf B 的表达式：

(−v⋅p)w+(wp+v×p)⋅v(-\mathbf v\cdot\mathbf p)w +(w\mathbf p+\mathbf v\times\mathbf p)\cdot\mathbf v

展开该等式：

−w(v⋅p)+w(p⋅v)+(v×p)⋅v-w(\mathbf v\cdot\mathbf p) +w(\mathbf p\cdot\mathbf v) +(\mathbf v\times\mathbf p)\cdot\mathbf v

前两项形成精确抵消。同时，由于叉乘向量垂直于 v\mathbf v，第三项的内积恒定为零。

由此可得，该变换的实部为：

00

这一系列的代数推演验证了逆元在旋转变换中的必要位置与构造功能：右侧引入的补偿因子需要将 qq 的向量分量反向，使得左乘作用诱发的实部项能够以相反的符号出现并相互抵消。单位四元数的共轭恰好等价于其逆元，因此，自洽的代数形式确立为：

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

夹心乘法藉此实现了纯虚四元数子空间的封闭。

更准确地说，左乘 qq 一般不保持纯虚子空间；引入右侧逆元 q−1q^{-1} 后，复合映射 p↦qpq−1p\mapsto qpq^{-1} 对纯虚四元数子空间封闭。因此，该映射可以限制为三维向量空间上的变换。这里的关键事实是复合映射的封闭性，而非某种独立的几何投影过程。

此结果亦可从更普遍的代数约束视角予以审视。若在右侧放置任意单位四元数 rr，并要求 qprqpr 针对所有纯虚输入 pp 均保持实部归零，则代数条件将强制把 rr 限制为 ±q−1\pm q^{-1}。这一限制可以直接推出。令

q=(w,v),r=(a,b)q=(w,\mathbf v),\qquad r=(a,\mathbf b)

对任意纯虚输入 p=(0,p)p=(0,\mathbf p)，要求

Re⁡(qpr)=0\operatorname{Re}(qpr)=0

等价于

av+wb+b×v=0a\mathbf v+w\mathbf b+\mathbf b\times\mathbf v=0

该式正是乘积 rqrq 的向量部分为零。因此 rqrq 必为实四元数；又因 rr 与 qq 均为单位四元数，rqrq 只能取 +1+1 或 −1-1。于是

r=±q−1r=\pm q^{-1}

其中，q−1q^{-1} 归属于从恒等变换连续演化而来的保向旋转分支；而 −q−1-q^{-1} 则会在 q=1q=1 时将所有纯虚向量映射至相反方向：

p↦−p\mathbf p\mapsto-\mathbf p

该映射在三维空间中的行列式为 −1-1，属于 O(3)O(3) 中的反向等距变换，已经离开 SO(3)SO(3)。因此，本章后续论述的连续旋转作用选定为：

qpq−1q p q^{-1}

保长性

几何旋转必须满足长度守恒条件。四元数的模长天然具备乘法保持律：

∣ab∣=∣a∣ ∣b∣|ab|=|a|\,|b|

前文已通过共轭操作严格确立了此项代数性质。在此引入该定律，旨在阐明夹心乘法的保长特性直接发端于左右两侧单位四元数自身的模长守恒律。

对于单位四元数 qq：

∣q∣=1,∣q−1∣=1|q|=1,\quad |q^{-1}|=1

因此，在夹心操作下有：

∣qpq−1∣=∣q∣ ∣p∣ ∣q−1∣=∣p∣|q p q^{-1}| =|q|\,|p|\,|q^{-1}| =|p|

考虑到纯虚四元数 p=(0,p)p=(0,\mathbf p) 的模长即为其对应的三维向量欧几里得长度：

∣p∣=∣p∣|p|=|\mathbf p|

这证明了夹心乘法严格保持了三维向量的空间长度。

此外，该变换具备线性特征。对于任意纯虚向量 p1,p2p_1,p_2 及实参量 a,ba,b：

q(ap1+bp2)q−1=a(qp1q−1)+b(qp2q−1)q(ap_1+bp_2)q^{-1} =a(qp_1q^{-1})+b(qp_2q^{-1})

其依据在于四元数乘法对加法满足分配律。

综合上述两点，夹心作用在三维空间中定义了一个线性且保长的正交变换。

线性与保长的双重属性，确立了该代数变换从属于正交群，这进一步引导我们去界定夹心作用的具体拓扑归属。正交变换涵盖了保持空间手性的旋转与反转空间手性的反射两种情况。

单位四元数空间 S3S^3 具备连通性。从恒等元素 q=1q=1 出发，必然存在一条连续路径延展至任意单位四元数 qq。沿此连续路径，夹心作用亦保持相应的连续演化特征。在 q=1q=1 时，该作用退化为恒等变换，其变换矩阵的行列式为 +1+1。在后续的连续参数演化过程中，正交变换的行列式只能取离散集合 {+1,−1}\{+1, -1\} 中的数值；受拓扑连续性约束，其行列式值将严格保持为初值 +1+1。

这证明了夹心乘法准确对应于 SO(3)SO(3) 群中所描述的三维保向旋转。

旋转轴映射

确立旋转属性后，需进一步解析夹心乘法所对应的几何旋转轴与偏转角度。

设定单位四元数为：

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

其中 u\mathbf u 为单位纯虚方向，满足条件：

u2=−1\mathbf u^2=-1

其逆元表达为：

q−1=cos⁡α−usin⁡αq^{-1}=\cos\alpha-\mathbf u\sin\alpha

首先检验该变换的轴向守恒性。

将待变换的三维向量取为轴方向本身，即写为纯虚四元数 u\mathbf u。由于该向量 u\mathbf u 与四元数 qq 的生成元同属一个方向，两者之间的乘法满足交换律。于是有：

qu=(cos⁡α+usin⁡α)u=u(cos⁡α+usin⁡α)=uqq\mathbf u=(\cos\alpha+\mathbf u\sin\alpha)\mathbf u =\mathbf u(\cos\alpha+\mathbf u\sin\alpha)=\mathbf u q

因此，夹心操作得出：

quq−1=qq−1u=uq\mathbf u q^{-1} =qq^{-1}\mathbf u =\mathbf u

该计算证明，向量 u\mathbf u 的方向在夹心变换下保持不变。

这从代数上确立了四元数虚部方向正是三维旋转恒定轴的确切对应物。

对于空间中任意平行于 u\mathbf u 的向量分量，该变换同样保证其处于静止状态。这进一步推导出，旋转的实质几何效应集中体现于垂直于 u\mathbf u 的二维作用平面内。

半角旋转

为了明晰旋转的角度特征，我们在垂直于 u\mathbf u 的平面内取一单位向量 a\mathbf a，并定义：

b=ua\mathbf b=\mathbf u\mathbf a

在纯虚四元数体系中，若 u\mathbf u 与 a\mathbf a 保持正交，则其点积为零，其乘积可直接化简为：

ua=u×a\mathbf u\mathbf a=\mathbf u\times\mathbf a

由此可见，b\mathbf b 对应着 a\mathbf a 在该正交平面内沿轴 u\mathbf u 规定的正方向偏转 90∘90^\circ 后的新方向。

鉴于 a\mathbf a 与 u\mathbf u 的正交性，其四元数乘法同样仅保留叉乘项。根据叉乘的反交换属性：

a×u=−u×a\mathbf a\times\mathbf u=-\mathbf u\times\mathbf a

我们得出：

au=a×u=−u×a=−b\mathbf a\mathbf u =\mathbf a\times\mathbf u =-\mathbf u\times\mathbf a =-\mathbf b

进一步考察 bu\mathbf b\mathbf u。由于 b=u×a\mathbf b=\mathbf u\times\mathbf a，它同样垂直于 u\mathbf u，相应的乘法也仅余叉乘项。根据右手系取向，先沿 b\mathbf b 再叉乘 u\mathbf u 将返回至初始方向 a\mathbf a：

bu=b×u=a\mathbf b\mathbf u=\mathbf b\times\mathbf u=\mathbf a

由此确立了后续推导所需的两项基本代数关联：

au=−b\mathbf a\mathbf u=-\mathbf b

以及

bu=a\mathbf b\mathbf u=\mathbf a

现对向量 a\mathbf a 实施夹心计算：

qaq−1q\mathbf a q^{-1}

为书写简便，引入记号：

c=cos⁡α,s=sin⁡αc=\cos\alpha,\quad s=\sin\alpha

则四元数及其逆元可写作：

q=c+su,q−1=c−suq=c+s\mathbf u,\quad q^{-1}=c-s\mathbf u

首先执行左侧乘法：

(c+su)a=ca+sua=ca+sb(c+s\mathbf u)\mathbf a =c\mathbf a+s\mathbf u\mathbf a =c\mathbf a+s\mathbf b

继而执行右侧乘法：

(ca+sb)(c−su)(c\mathbf a+s\mathbf b)(c-s\mathbf u)

将多项式展开：

c2a−cs au+cs b−s2buc^2\mathbf a -cs\,\mathbf a\mathbf u +cs\,\mathbf b -s^2\mathbf b\mathbf u

代入前面确立的代数关联：

au=−b,bu=a\mathbf a\mathbf u=-\mathbf b,\quad \mathbf b\mathbf u=\mathbf a

展开式可化简为：

c2a+csb+csb−s2ac^2\mathbf a +cs\mathbf b +cs\mathbf b -s^2\mathbf a

合并同类项得到：

(c2−s2)a+2cs b(c^2-s^2)\mathbf a+2cs\,\mathbf b

应用标准的二倍角公式：

c2−s2=cos⁡(2α)c^2-s^2=\cos(2\alpha)

以及

2cs=sin⁡(2α)2cs=\sin(2\alpha)

最终导出：

qaq−1=acos⁡(2α)+bsin⁡(2α)q\mathbf a q^{-1} =\mathbf a\cos(2\alpha)+\mathbf b\sin(2\alpha)

这一结果表明，该夹心作用在正交平面内对应二维旋转，其实际偏转角度为：

2α2\alpha

由此确立了下述清晰的对应关系：

若单位四元数表达为：

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

则夹心作用所诱导的宏观三维旋转角 θ\theta 满足：

θ=2α\theta=2\alpha

因此，为表征空间中绕 u\mathbf u 轴旋转 θ\theta 角度的几何变换，四元数应构造为：

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

半角因子来源于夹心乘法的双侧结构。四元数中的角度参数 α\alpha 分别出现在左侧乘法与右侧逆元乘法中，复合后在纯虚子空间上表现为 2α2\alpha 的几何旋转角。

罗德里格斯重构

任意纯虚向量 pp 可进行如下正交分解：

p=p∥+p⊥p=p_\parallel+p_\perp

其中 p∥p_\parallel 为平行于 u\mathbf u 的分量，p⊥p_\perp 为垂直于 u\mathbf u 的分量。

结合前文推导，我们已确立以下平行和垂直分量的演化规律：

qp∥q−1=p∥q p_\parallel q^{-1}=p_\parallel

以及

qp⊥q−1=p⊥cos⁡θ+(up⊥)sin⁡θq p_\perp q^{-1} =p_\perp\cos\theta+(\mathbf u p_\perp)\sin\theta

针对垂直分量的前置四元数乘法操作：

up⊥\mathbf u p_\perp

在几何上等效于叉乘：

u×p⊥\mathbf u\times\mathbf p_\perp

综合各正交分量的演化，整体变换方程可构筑为：

qpq−1=p∥+p⊥cos⁡θ+(u×p⊥)sin⁡θq p q^{-1} =p_\parallel +p_\perp\cos\theta +(\mathbf u\times\mathbf p_\perp)\sin\theta

这一代数方程与第六章建立的罗德里格斯公式的向量分量形式一致。

由此可见，四元数提供了一种平滑的覆盖机制，能够表达 SO(3)SO(3) 旋转群中的几何变换。

各体系的数学描述在不同抽象层级上解析了旋转的内蕴结构：

矩阵语言侧重于全局映射，追踪材料坐标轴在空间中的投影关系；

轴角语言侧重于特征提取，聚焦旋转操作的不变恒定轴与作用平面；

罗德里格斯公式侧重于向量代数，将轴角几何规律具象化为空间向量的分解与重构操作；

四元数夹心乘法，则将前述同一几何过程，提升至高维代数空间 S3S^3 内进行全局规律刻画。

这些表达体系之间存在明确的映射关系，共同提供了理解三维旋转的几种互补视角。

双值性

夹心乘法的代数结构同时蕴含着群表示的双值对应关系。

当我们考察将算子 qq 替换为其相反数 −q-q 时，其对应的逆元同步变为：

(−q)−1=−q−1(-q)^{-1}=-q^{-1}

将其代入夹心操作公式中：

(−q)p(−q)−1=(−q)p(−q−1)(-q)p(-q)^{-1} =(-q)p(-q^{-1})

在此序列乘法中，两侧的负号因子发生精确相乘并抵消：

(−q)p(−q−1)=qpq−1(-q)p(-q^{-1})=q p q^{-1}

这证明了：

qq

与

−q-q

这两个处于对跖位置的算子，针对任意三维向量均会产生不可区分的等效旋转。

此代数事实对应于连续群的拓扑覆盖特征。

单位四元数流形 S3S^3 上的任意一对对跖点 qq 和 −q-q，在商映射下对应于 SO(3)SO(3) 空间内的同一个旋转态。由此建立起满射关系：

S3⟶SO(3)S^3\longrightarrow SO(3)

在此映射架构中，单一的宏观三维旋转被自然地对应至一对成对跖关系的单位四元数：

q∼−qq\sim -q

回顾第八章的内容，SO(3)SO(3) 的轴角实心球模型需要通过边界对跖点粘合来描述全局结构；在当前框架下，单位四元数将这一粘合关系表示为超球面 S3S^3 上的对跖点识别，并通过 q∼−qq\sim -q 的商映射得到 SO(3)SO(3) 空间。

拓扑周期

固定旋转轴 u\mathbf u，探讨连续旋转角 θ\theta 的演化。对应的单位四元数参数化为：

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

当

θ=0\theta=0

时，系统处于恒等态：

q(0)=1q(0)=1

随着角度演化至

θ=2π\theta=2\pi

时，四元数演进为：

q(2π)=cos⁡π+usin⁡π=−1q(2\pi)=\cos\pi+\mathbf u\sin\pi=-1

在 SO(3)SO(3) 的物理观测视角下，鉴于夹心乘法中正负符号的自抵消效应，11 与 −1-1 均精确对应于恒等旋转。

此时，目标系统在 SO(3)SO(3) 中对应恒等旋转。

与此同时，在 S3S^3 覆盖空间中，路径由初始基点 11 延伸至其对跖点 −1-1，这表明覆盖空间中的路径尚未回到起点。

若旋转角度进一步增加至

θ=4π\theta=4\pi

则四元数算子演变为：

q(4π)=cos⁡2π+usin⁡2π=1q(4\pi)=\cos2\pi+\mathbf u\sin2\pi=1

至此，路径重新回到 S3S^3 空间中的起点。

第八章所探讨的几何拓扑现象在此转化为代数事实：

360∘360^\circ 的旋转在 SO(3)SO(3) 物理空间中实现了几何闭合，而在 S3S^3 覆盖空间中则构建了一段连接对跖点的连续过渡路径。

当总旋转角达到 720∘720^\circ 时，系统在 S3S^3 覆盖空间中的路径闭合。

这一现象说明四元数机制可以记录路径的双层覆盖结构：SO(3)SO(3) 层面呈现旋转态的回归（表现为 qq 与 −q-q 作用效果的重合），而 S3S^3 覆盖流形保留了整体路径在覆盖空间中的端点差异。

四元数复合

四元数表达旋转的另一优势在于其复合规则较为简洁。

若首先执行代数操作：

p′=q1pq1−1p'=q_1 p q_1^{-1}

随后叠加第二个旋转操作：

p′′=q2p′q2−1p''=q_2 p' q_2^{-1}

将其代入可得：

p′′=q2(q1pq1−1)q2−1p'' =q_2(q_1 p q_1^{-1})q_2^{-1}

应用四元数乘法的结合律：

p′′=(q2q1)p(q1−1q2−1)p'' =(q_2q_1)p(q_1^{-1}q_2^{-1})

利用逆元与乘积的关系式：

(q2q1)−1=q1−1q2−1(q_2q_1)^{-1}=q_1^{-1}q_2^{-1}

因此推导为：

p′′=(q2q1)p(q2q1)−1p''=(q_2q_1)p(q_2q_1)^{-1}

此结果表明，依次施加旋转算子 q1q_1 和 q2q_2，其宏观总效果等价于单一复合四元数算子：

q2q1q_2q_1

这种复合结构保持了变换的执行顺序。四元数乘法的非对易属性，与三维空间中旋转复合的非对易特征相对应。

将不同工具横向对比可知：相较于 3×33\times3 矩阵，单位四元数仅需四个实参量并满足单一模长约束，即可紧凑表达三维旋转；相较于欧拉角，四元数依靠覆盖空间中的平滑路径刻画姿态演进，从而避免欧拉角坐标奇异带来的万向节锁表示问题；相较于轴角表示法，四元数在连续变换的复合与路径刻画方面更便于计算。

四元数的这些优势具有共同的结构来源：它将连续的姿态演化路径表示在覆盖流形 S3S^3 中，再通过 q∼−qq\sim -q 的商映射对应到 SO(3)SO(3) 旋转空间。因此，旋转的复合、插值运算、半角因子以及双值映射特征，均可在同一套代数体系内描述。

SU(2)入口

至此，四元数代数体系将第八章探讨的全局粘合问题，转化为一套可计算的代数表示。

三维空间向量自然嵌入纯虚子空间，单位四元数群 S3S^3 充当覆盖流形，通过双侧的夹心乘法：

qpq−1q p q^{-1}

来严格复现三维旋转。其中起关键作用的半角参数：

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

直接源于该双侧作用的乘法机制；而双值拓扑对应关系：

q∼−qq\sim -q

则表明 SO(3)SO(3) 中的单一旋转在覆盖空间内对应一对对跖点。

在完成上述构筑后，接下来需要探究的是矩阵化表达。若要将四元数旋转纳入现代线性代数体系，并为微观量子态的理论描述提供支撑，就需要说明这些旋转算子如何作用于复向量空间，并与共轭转置、内积运算以及特征值分析等矩阵工具相互衔接。这要求我们进一步验证，现有的拓扑覆盖结构能否被映射为 2×22\times2 复矩阵语言。

数学验证表明，单位四元数系统能够与一类特定的 2×22\times2 复数矩阵群建立等距同构关系。该矩阵群正是著名的：

SU(2)SU(2)

本书的后续章节将会把当前的四元数框架逐项对应至 SU(2)SU(2) 矩阵语言：届时，单位四元数将对应特殊幺正矩阵，三维纯虚向量将由泡利矩阵所张成的无迹厄米矩阵表示，而四元数的夹心乘法则对应为：

UHU†UHU^\dagger

这一演进策略使得 SU(2)SU(2) 首先作为经典三维宏观旋转的覆盖语言出场。建立这一层几何与代数对应关系后，微观物理学自旋现象中的 SU(2)SU(2) 机制便有了清晰的理论入口。

专题导航