反对称矩阵

反对称矩阵 (Skew-Symmetric Matrix)

反对称矩阵（Skew-Symmetric Matrix 或 Antisymmetric Matrix）是线性代数中的一类特殊方阵，其转置等于其相反数：$A^T = -A$。等价地，对所有 $i, j$ 有 $a_{ij} = -a_{ji}$。这一条件直接迫使所有对角元为零：由 $a_{ii} = -a_{ii}$ 即得 $a_{ii} = 0$。反对称矩阵与对称矩阵、正交矩阵共同构成矩阵分类的基本支柱，并在微分几何、刚体力学、控制论和计算机图形学中扮演核心角色。

代数结构与矩阵分解

全体 $n$ 阶实反对称矩阵构成一个维数为 $n(n-1)/2$ 的线性空间，记作 $\mathfrak{so}(n)$。该空间在换位子 $[\cdot,\cdot]$ 下封闭：

因此 $\mathfrak{so}(n)$ 是一个李代数——具体地，它是特殊正交群 $SO(n)$ 的李代数。这一关系是李群-李代数对应（Lie Group–Lie Algebra Correspondence）的经典实例，为理解旋转运动的无穷小生成元提供了代数框架。

任意实方阵 $M$ 可唯一分解为对称部分与反对称部分之和：

其中第一项为对称矩阵，第二项为反对称矩阵。这种分解在二次型理论和微分方程稳定性分析中频繁出现。

行列式与 Pfaffian

反对称矩阵的行列式具有奇偶分明的特性。奇数阶反对称矩阵必定奇异：由 $A^T = -A$，取行列式得 $\det(A) = \det(A^T) = \det(-A) = (-1)^n \det(A)$。当 $n$ 为奇数时，$\det(A) = -\det(A)$，故 $\det(A) = 0$。

偶数阶反对称矩阵的行列式则非平凡，且与 Pfaffian（普法夫式）密切相关：

Pfaffian 定义为 $\operatorname{pf}(A) = \frac{1}{2^n n!} \sum_{\sigma \in S_{2n}} \operatorname{sgn}(\sigma) \prod_{i=1}^n a_{\sigma(2i-1), \sigma(2i)}$，它是一个关于矩阵元的 $n$ 次齐次多项式。Pfaffian 的存在意味着偶数阶反对称矩阵的行列式始终为非负实数，这一事实在微分几何的高斯-博内定理证明中具有深刻意义。

特征值与谱结构

实反对称矩阵的特征值具有优美的共轭配对结构。$A$ 为实反对称矩阵，则 $iA$ 为埃尔米特矩阵（Hermitian Matrix），因而 $iA$ 的特征值均为实数。由此推知 $A$ 的特征值要么为零，要么为纯虚共轭对 $\pm i\lambda$（$\lambda > 0$）。进一步，反对称矩阵可被正交对角化为块对角标准型：

其中 $Q$ 为正交矩阵，$r = \operatorname{rank}(A)/2$。这一标准型揭示了反对称矩阵的本质几何意义：在适当基下，它描述了一组相互正交的二维平面上的旋转伸缩运动。

与叉积和三维向量的对应

在 $\mathbb{R}^3$ 中，反对称矩阵与向量之间存在自然同构。对任意向量 $\mathbf{a} = (a_1, a_2, a_3)^T$，定义其反对称矩阵表示：

则向量叉积等价于矩阵乘法：$\mathbf{a} \times \mathbf{b} = [\mathbf{a}]_\times \mathbf{b}$。这一表示将叉积的几何运算转化为代数运算，在计算机视觉的运动恢复结构（Structure from Motion）、机器人学的刚体运动学和经典力学的角速度描述中极为便捷。例如，刚体以角速度 $\boldsymbol{\omega}$ 旋转时，其上任意固定向量的运动方程为 $\dot{\mathbf{r}} = \boldsymbol{\omega} \times \mathbf{r} = [\boldsymbol{\omega}]_\times \mathbf{r}$。

应用领域

反对称矩阵的应用远超出线性代数教材：

1. 微分几何：联络形式和曲率形式用李代数 $\mathfrak{so}(n)$ 取值的外形式表示，反对称性保证了度量的相容性与挠率为零的条件。
2. 经典力学：哈密顿力学中，辛矩阵的生成元是反对称矩阵；刚体运动的角速度张量即为三阶反对称矩阵。
3. 控制论：李雅普诺夫稳定性理论中，系统矩阵的反对称部分影响能量的保守演化，对称部分决定耗散行为。
4. 数值线性代数：反对称矩阵的稀疏结构和特征值性质被用于设计保结构算法，如辛积分器和等谱流方法。
5. 量子力学：角动量算符的矩阵表示在适当基下是反对称的，这反映了旋转群的李代数结构 $\mathfrak{su}(2) \cong \mathfrak{so}(3)$。

反对称矩阵虽形式简洁，却深刻地联系着几何、代数和物理的多个分支。其核心思想——用线性代数语言描述"旋转"与"反对称性"——是近代数学物理方法中不可或缺的语言工具。