辛结构

辛结构（symplectic structure）是反对称、非退化的双线性形式——内积的反对称孪生。它把「长度」换成「有向面积」，是哈密顿力学相空间的骨架几何；其代数本体完全属于线性代数。

线性代数定义

线性代数研究双线性形式 $\omega :V\times V\to \mathbb{R}$，按对称性一分为二：

	对称	反对称
代表	内积 $⟨u,v⟩$、二次型	辛形式 $\omega (u,v)$
度量对象	长度、角度	有向面积
保留它的矩阵群	正交群 $O(n)$	辛群 $Sp(2n)$
几何	欧氏几何	辛几何

辛向量空间 $(V,\omega )$ 要求 $\omega$ 满足两条：

$$\omega (u,v)=-\omega (v,u)(\text{反对称}),\omega (u,v)=0\forall v\Rightarrow u=0(\text{非退化})$$

非退化 ⟺ 表示矩阵可逆——这正是「结构」二字的分量：它足以在 $V$ 上建立坐标与度量，与内积地位对等。

标准形式与辛基

取 $V={\mathbb{R}}^{2n}$，坐标排成 $\xi =(q_1,\dots ,q_n,p_1,\dots ,p_n)$，标准辛形式：

$$\omega (u,v)=u^{\mathsf{T}}Jv,J=\left(\begin{array}{cc}0& I_n\\ -I_n& 0\end{array}\right),J^2=-I$$

辛基 $(e_1,\dots ,e_n,f_1,\dots ,f_n)$：$\omega (e_i,f_j)={\delta }_{ij}$，$\omega (e_i,e_j)=\omega (f_i,f_j)=0$——反对称版的「标准正交基」。任何辛向量空间都可通过 Gram–Schmidt 式流程化到这一标准型。

为什么维度必须是偶数

反对称 $n\times n$ 矩阵 $A$ 满足 $\det A=\det A^{\mathsf{T}}=\det (-A)=(-1{)}^n\det A$。$n$ 为奇数时 $\det A=-\det A$，故 $\det A=0$——退化，不可能非退化。所以辛空间必为偶数维：相空间 $(\mathbf{q},\mathbf{p})$ 的 $2N$ 维正是必然。

辛矩阵与辛群

线性映射 $M$ 保辛形式（$\omega (Mu,Mv)=\omega (u,v)$）⟺：

$$M^{\mathsf{T}}JM=J$$

全体这样的 $M$ 构成辛群 $Sp(2n,\mathbb{R})$，与正交群 $M^{\mathsf{T}}M=I$ 逐条对照。基本性质：

性质	内容
行列式	$\det M=1$ 恒成立：$\det (M^{\mathsf{T}}JM)=\det J$ 只给出 $(\det M{)}^2=1$，再由 $Sp(2n,\mathbb{R})$ 路径连通、$\det$ 连续且 $\det I=1$ 排除 $-1$
特征值	成对出现 $\lambda ,\bar{\lambda },1/\lambda ,1/\bar{\lambda }$（$M$ 与 $M^{-1}$ 相似）
非紧性	$\mathrm{diag}(t,1/t)\in Sp(2)$ 随 $t\to \infty$ 范数无界，故 $Sp(2n,\mathbb{R})$ 非紧
二维特例	$Sp(2)=SL(2)$：保面积 = 行列式为 1

$J^2=-I$ 使 $J$ 扮演「乘 $i$」（见复数运算）的角色——辛几何常被描述为「没有长度的复结构几何」。

二维直觉：有向面积

$n=1$（相平面）时：

$$\omega (u,v)=\det \left(\begin{array}{cc}{u}_q& v_q\\ u_p& v_p\end{array}\right)=u_q{v}_p-u_p{v}_q$$

恰是两个向量张成的平行四边形有向面积。高维时 $\omega$ 量测 $n$ 个独立平面方向上的面积组合。

译名由来

symplectic 为 Weyl（1939，《The Classical Groups》）所造：这类群旧称 linear complex group（源自几何学的 line complex），但 complex 已被复数占用，Weyl 换用其希腊同义词 συμπλεκτικός——sym-（共同，对应拉丁 com-）+ plek-（编织，对应 plectere），「交织」之意。中译「辛」为华罗庚所创：取天干「辛」音译 sym 音节；同类译作还有 unitary →「酉」（地支）。干支字生僻无歧义、单字简洁，与「熵」（entropy）并称单字佳译。

流形层面：辛流形

光滑流形 $M$ 上给定逐点辛结构且闭（$d\omega =0$）的 2-形式 $\omega$，称辛流形 $(M,\omega )$。两条关键定理：

定理	内容	对照
Darboux	局部总可取坐标使 $\omega$ 为标准 $J$ 形	黎曼几何做不到（有曲率），辛几何无局部不变量
保体积	${\omega }^n/n!$ 是体积形式，辛映射保 $\omega$ 故保它	刘维尔定理 的几何根源

哈密顿力学即辛流形上的动力学：$H\in C^{\infty }(M)$ 通过 ${\iota }_{X_H}\omega =dH$（${\iota }_{X_H}\omega$：把 $\omega (\cdot ,\cdot )$ 第一个槽位填入 $X_H$ 所得的余向量）确定Hamilton 向量场，局部坐标下写成

$$\dot{\xi }=J\nabla H$$

——哈密顿方程的紧凑形态。其流为辛微分同胚（正则变换），保 $\omega$ 从而保相体积。

意义与应用

领域	角色
哈密顿力学	相空间的本征几何；正则变换 = 辛同胚
统计力学	辛 ⇒ 保体积 ⇒ 刘维尔定理 ⇒ 系综理论合法
几何量子化	相空间量子化的舞台（Weyl 量子化、metaplectic 表示）
数值分析	symplectic integrator：离散格式构造在 $Sp(2n)$ 上，长期能量误差有界
镜像对称	弦论对偶：辛几何（A 侧）与复几何（B 侧）的镜像对应（同调镜像对称）

相关笔记

• 向量空间的结构 — 内积/酉/辛/度规的结构家族总览（典型群）
• 内积 — 对称双线性形式的对照物
• 欧氏空间 — 内积定义的几何；辛几何是其一族的「反对称姊妹」
• 哈密顿方程 — 辛结构上的动力学
• 刘维尔方程 — 保体积性的分析推论
• 流形 — 辛流形的底层数据结构