复数、四元数与辛群的关系

一、从复数到矩阵表示

1. 复数的矩阵表示

定义虚数单位和实数单位与矩阵之间的以下等价关系

虚数单位的平方给出了所需的乘法单位元的负数。

复数 z=a+bi可表示为实矩阵：

该对应是域同构，保持加法和乘法。

单位复数 e^iθ=cos⁡θ+isin⁡θ 对应旋转矩阵：

U(1)（一维酉群）

定义映射 Φ:SO(2)→U(1)：

从而有群同构：

二、四元数的矩阵表示

四元数 H={q=a+bi+cj+dk∣a,b,c,d∈R}，满足：

i²=j²=k²=ijk=−1,

ij=k,jk=i,ki=j

ji=−k,kj=−i,ik=−j（反对易关系）

1. 实矩阵表示（4×4）

左乘映射的定义

对于固定四元数 q=a+bi+cj+dk，定义：

选择标准基：

{1,i,j,k}作为 H的实向量空间基。

矩阵组装

这是单同态 H↪M4(R)。

验证同态性质

矩阵结构的对称性分析

矩阵满足四元数代数：

分块形式：

其中：

注意 A=D 是复数 (a,b)的旋转矩阵，而 B 和 C 与复数 (c,d)有关。这反映了四元数可以视为复数的推广：q=(a+bi)+(c+di)j。

与复数矩阵表示的对比

四元数的表示是复数情况的自然推广，只是现在有三个'虚数单位'矩阵 i,j,k。

四元数左乘映射的4×4实矩阵表示是由四元数乘法规则直接计算得到的。

矩阵的结构：

1)对角线块对称：左上和右下都是复数形式

2)反对角线块相关：右上和左下块互为负转置关系

3)参数对称性：每个参数在矩阵中出现4次，带有正负号的特定分布

这种矩阵表示保持了四元数代数的所有性质，是四元数到实矩阵代数的忠实表示（单同态）

2.复矩阵表示（2×2，重要）

令 α=a+bi, β=c+di∈C，则 q=α+βj,定义：

这是单同态，且保持乘法。单位四元数 ∣q∣=1对应 SU(2)：

三、四元数与旋转群

1. 三维旋转SO(3)

纯四元数 R³≃{v=bi+cj+dk}。

对单位四元数 q，映射：

给出旋转 φq∈SO(3)。

这定义满同态：

2. 四维旋转SO(4)

这个4×4实矩阵作用于向量 (x1,x2,x3,x4)^T（对应四元数 x1+x2i+x3j+x4k）时，实际上执行四元数乘法 q⋅x。

对于单位四元数 q=cos⁡θ+sin⁡θ(uxi+uyj+uzk)，这个矩阵对应一个四维旋转。

具体地：

• 当 q是纯虚单位四元数时，矩阵在四维空间中定义了一个二维平面的旋转。
• 一般单位四元数对应的矩阵是 SO(4)的元素。

对单位四元数对 (p,q)，映射：

给出旋转 ψ(p,q)∈SO(4)。

满同态：

四、辛群的定义与分类

辛群是保持辛形式的线性变换群。

常见类型：

注意：另一种常用记号，Sp(n)也指 四元数酉群：

五、四元数与辛群的对应

关键：四元数酉群 Sp(n)通过复矩阵表示与紧致辛群 USp(2n)同构。

1. 四元数向量的复表示

将 Hn视为右 H-模。

每个四元数分量 q=a+bi+cj+dk拆为一对复数：

2. 四元数矩阵的复表示

矩阵 A∈Mn(H)左乘作用于 Hn。

将每个元素 Aμν∈H用 ρ(Aμν) 替换，得 A∈M2n(C)。

具体地：

3. 保持结构的条件

四元数乘法涉及 j 的作用，在 C^(2n) 上对应映射：

4. 示例：n=1

六、实际案例对照

案例1：三维旋转（机器人学）

案例2：量子力学（自旋）

案例3：辛几何（经典力学）

相空间 R^(2n） 具辛形式 ω=∑dpi∧dqi。

线性辛变换构成 Sp(2n,R)。

在量子化中，考虑 Sp(2n,R)的双覆盖 Mp(2n)，与四元数结构相关。

七、数学表达式演示

1. 四元数乘法验证

2.Sp(n)条件推导

从复数到四元数再到辛群小结：

复数 → 2×2实矩阵 → 对应旋转群 SO(2)。

四元数 → 2×2复矩阵（或 4×4实矩阵）→ 对应 Sp(1)≅SU(2)。

四元数酉群 Sp(n) → 2n×2n复矩阵 → 对应紧致辛群 USp(2n)。

几何意义：四元数表示旋转，辛群表示相空间变换，二者通过矩阵表示紧密联系。