向量空间的结构

向量空间本身是裸的；加什么结构，就得到什么几何，剩下什么变换群（Klein Erlangen 纲领视角）。内积、酉结构、辛结构、不定度规同属一个家族——Weyl 称之为典型群（classical groups），「酉」「辛」两个译名正出自这套体系。

结构总表

结构	定义对象	保留它的群	几何	备注
无	仅线性运算	$GL(n)$	线性几何	行列式非零即全部约束
体积	体积形式	$SL(n)$	保体积	$\det M=1$
内积（对称正定）	实双线性形式	$O(n)$	欧氏几何	量长度、角度
不定度规（对称）	$\eta =\mathrm{diag}(p,q)$	$O(p,q)$	伪欧氏	$O(3,1)$ = Lorentz 群，狭义相对论
酉结构（Hermitian）	复双线性一半形式	$U(n)$	酉几何	本篇重点
辛结构（反对称非退化）	实双线性形式	$Sp(2n)$	辛几何	量有向面积，必偶数维

对称性一刀切开两大类：对称（度规类：欧氏/伪欧氏）与反对称（辛类）；酉结构则是复世界对内积的修正版。

flowchart TD
    V["裸向量空间<br/>GL(n)"] -->|"+ 体积形式"| SL["SL(n)・保体积"]
    V -->|"+ 对称正定内积"| O["O(n)・欧氏几何"]
    V -->|"+ 对称不定度规"| Oq["O(p,q)・伪欧氏"]
    V -->|"+ Hermitian 内积"| U["U(n)・酉几何"]
    V -->|"+ 反对称辛形式"| Sp["Sp(2n)・辛几何"]
    O -.->|"实部 g"| K["Kähler 交汇<br/>U(n)=O(2n)∩Sp(2n,R)"]
    Sp -.->|"虚部 ω"| K
    K --> F["典型群四大无限族 A·B·C·D"]

酉结构

定义

复向量空间 $V$ 上的 Hermitian 内积：半双线性（sesquilinear）形式

$$⟨u,v⟩=u^{†}v=\sum _i\overline{u_i}{v}_i$$

三条公理与实内积对照：

公理	实内积	Hermitian 内积
对称性	$⟨u,v⟩=⟨v,u⟩$	共轭对称 $⟨u,v⟩=\overline{⟨v,u⟩}$
线性	双线性	对第二变元线性，第一变元共轭线性
正定性	$⟨v,v⟩\ge 0$	同左，且 $⟨v,v⟩\in {\mathbb{R}}_{\ge 0}$

共轭的介入使 $⟨v,v⟩={\sum }_i|v_i{|}^2$ 必为实非负——范数（见范数）得以存活。若沿用双线性，$v=(1,i)$ 会给出 $⟨v,v⟩=1+i^2=0$，正定性崩溃：这就是酉结构存在的理由。

酉矩阵与酉群

矩阵 $U$ 保 Hermitian 内积 ⟺：

$$U^{†}U=I(\text{共轭转置即逆})$$

构成酉群 $U(n)$；$\det U$ 必落在单位圆上，限制 $\det U=1$ 得特殊酉群 $SU(n)$。性质：

性质	内容
列向量	标准 Hermitian 正交（各列自范数 1，两两正交）
特征值	全在单位圆上：$\Vert \lambda \Vert =1$
可对角化	酉矩阵正规，谱定理保证可被酉矩阵对角化
保度量	保范数、保内积、保角度；量子态演化的「保概率」即此
与正交群关系	$U(n)\cap GL(n,\mathbb{R})=O(n)$——实矩阵的酉 = 正交

量子力学：酉几何的母语

量子力学的全部线性代数就是酉几何：

量子对象	酉几何对象
态 $\Vert \psi ⟩$	单位向量（射线）
演化算符	酉算符（Schrödinger 演化 $e^{-i\hat{H}t/\hslash }$）
可观测量	Hermitian 算符（特征值实 = 测量值）
基矢变换	酉基变换（保跃迁概率 $⟨\varphi \Vert \psi ⟩$）

译名

「酉」为华罗庚所译，取地支第十位音译 u- 音节，与天干「辛」（symplectic）同一套手笔——干支字生僻、单字、无常用义干扰。

交汇：三家归一（Kähler 结构）

${\mathbb{C}}^n$ 的标准 Hermitian 内积 $h$ 拆开看是一对实结构：

$$h(u,v)=\underset{\text{实部：欧氏内积}}{\underbrace{g(u,v)}}-i\underset{\text{虚部：辛形式}}{\underbrace{\omega (u,v)}}$$ $$U(n)=O(2n)\cap GL(n,\mathbb{C})=O(2n)\cap Sp(2n,\mathbb{R})$$

保酉 = 同时保欧氏与保辛。流形上三者相容——$J$ 为复结构（$J^2=-I$ 的实矩阵，扮演乘 $i$，见辛结构）、$\omega$ 为辛形式、$g(\cdot ,\cdot )=\omega (\cdot ,J\cdot )$ 为度规——即 Kähler 流形：量子场论与弦论的配景、Witten 等人工作的主舞台。经典三族群在此汇合。

典型群谱系

Lie 群分类中，典型群对应无限族 $A_n=SU(n+1)$、$B_n=SO(2n+1)$、$C_n=Sp(2n)$、$D_n=SO(2n)$——复半单 Lie 代数四大无限族恰是典型群的李代数，例外群 $E_{6,7,8},F_4,G_2$ 之外再无其他。一句话：线性空间上的自然结构穷尽了四大对称族。

相关笔记

• 内积 — 实对称分支的原型
• 欧氏空间 — 内积撑起的几何
• 辛结构 — 反对称分支，本篇的姊妹
• 范数 — 正定性的度量产出
• 复数运算 — 共轭的舞台
• 哈密顿方程 — 辛结构的物理主场