对称与怪兽（四）：被当成间谍的数学家，与他接着伽罗瓦做的梦

「数学，归根到底是独立于经验的、人类思维的产物，它何以竟能如此恰切地契合现实世界中的种种对象？」 ——阿尔伯特·爱因斯坦，《几何与经验》（Geometry and Experience，1921）

作者的话

做这个系列的同时我也读完了这本书，对我来说AI时代的读书与以往最大的不同是大多数书本中的问题都能在AI这里找到答案，如果我们好奇心足够强，我们能从一本书里读到比以往更多的东西。比如这个系列中大部分的数学和物理推导其实来源于我对AI不断追问的过程中，AI不是代替我们读完一整本书，而是帮助我们从一本书里发现更多我们想知道的，所以“我们想知道”很重要。

🎬 本期配套视频已上线（YouTube）

引子 · 一个比伽罗瓦更大的问题

1870 年夏天，普法战争刚刚开打。一个挪威人正独自徒步穿过法国乡间，往意大利走。走到枫丹白露，他被当成德国间谍抓了起来——他背包里那些写满符号的数学手稿，被宪兵当成了加密的军事电报。他在牢里关了约一个月，直到一位法国数学家拿着内政部的信，才把他保出来。

这个被当成间谍的人，叫 Sophus Lie（索菲斯·李）。而他手稿里那些”密码”，是一门此后悄悄改写了整个物理学的数学。

图 1　索菲斯·李（Sophus Lie，1842–1899）——被当成间谍的那个人。公有领域。

EP2、EP3 里，伽罗瓦（Évariste Galois）用群解开了离散的对称——有限个根，能怎样排列、置换。可这世界上更多的对称是连续的：转一个圆、转一个球，可以转任意一点点，中间不留缝。Lie 问了一个比伽罗瓦更大的问题：连续的对称，也有伽罗瓦那一整套吗？

这一集跟着这个问题走四步：先看 Lie 这个人、和他要追的那个问题（历史）；再看连续对称自己的”周期表”（数学）；接着看它怎么造出了我们这个宇宙的元素周期表（物理）；最后看怎样从无穷的连续对称、走回有限的对称原子，并在结尾追问：这些原子，究竟有没有被找全。

§1 · 历史线：那个想给微分方程做 Galois 理论的人
§2 · 数学线：连续对称的「周期表」
§3 · 物理线：周期表那些电子数，到底怎么来的
§4 · 回到数学线的追问：怎么回到「有限」？
尾声 · 找全了吗？
附录一 · 表示论基础：完全可约、特征标、Schur 正交
附录二 · $SO(3)$ 的不可约表示：球面调和与 $2\ell+1$ （奇数维）
附录三 · 从 Dirac 方程推出电子的自旋 ½
附录四 · 从自旋 ½ 推出费米子与泡利不相容
附录五 · Burnside $p^aq^b$ 定理：非交换单群的阶至少含 3 个素数
参考来源

§1 · 历史线：那个想给微分方程做 Galois 理论的人

1842 年，索菲斯·李（Sophus Lie）生在挪威西海岸的 Nordfjordeide，父亲是路德宗牧师。他从小是个运动健将——体操尤其好，也是挪威早期徒步的先行者：寻常日子走三四十公里不当回事，状态好的日子能走七八十公里，传说有一次为了取一本落下的书，走了个上百公里的来回。

图 2　李的故乡，挪威西海岸。J. C. Dahl《Winter at the Sognefjord》，1827。公有领域。

但他的人生起步并不顺。1865 年大学毕业时，他对自己学的东西既没显出过人天赋、也谈不上多喜欢，毕业后一连几年不知道该做什么。据他的权威传记作者 Stubhaug 记述，那几年他一度陷入近乎轻生的低谷——1866 年初他给一位好友写信说：“我本打算了断此生，只是没有那个力气。“转机在 1867–68 年前后：他读到 Plücker 和 Poncelet 的几何，又向 Sylow 借来当年的 Galois 理论讲义，才真正走上数学这条路。

图 3　埃瓦里斯特·伽罗瓦（Évariste Galois，1811–1832），15 岁像。李借来他的理论讲义，从此立志给微分方程也做一套 Galois 理论。公有领域。

他的志向，从一开始就接着伽罗瓦。伽罗瓦用群解开了代数方程（有限个根的置换）；李想做的，是给微分方程也做一套 Galois 理论——他的传记里，Freudenthal 的原话是”李梦想要一套微分方程的 Galois 理论”。难点在于：代数方程只有有限个解，而一个微分方程（比如描述一根振动的弦）有无穷多个解，随初始条件连续地变。李想把所有解放在一起看，再看一个解怎么连续地变成另一个——这就把他引到了**“连续变换群”：群里一个操作能被一点一点连续地变形成另一个。这种群是无穷大的（连续变化要经过无穷多个中间态），可它后来恰恰成了找全有限**对称原子的关键。这就是从 EP2、EP3 接到本集的那条线：离散世界里的伽罗瓦，被李搬进了连续的世界。

图 4　李 1893 年《变换群理论》序言——他在这里公开接续伽罗瓦，也与克莱因划清界限。公有领域。

引子里那场间谍风波之后，他回到挪威，很快完成博士论文，挪威议会专门为他设了教席。他承接着伽罗瓦的方向往下做，也活得够久——能亲自推广自己的方法、带学生，这一点和早逝的伽罗瓦不同。他用多维几何来处理微分方程（把方程的参数当坐标——坐标几何这套是笛卡尔在 17 世纪上半叶、1637 年开创的）。1886 年他离开挪威，接替 Klein 去莱比锡任教；1898 年回到挪威（克里斯蒂安尼亚，即今奥斯陆，一个专为他新设的教席），1899 年 2 月在那里病逝。

他开创的这门数学，此后只增不减地重要。与他合作多年的 Engel 说，李的理论”像一件艺术品，足以和贝多芬相提并论”；1974 年，数学家 Dieudonné 写道：从算术到量子物理，那些最出人意料的理论，“都像绕着一根巨轴一样，围着这个领域旋转”。

接棒的人：把这套理论铺开、补全、再带回有限

菲利克斯·克莱因（Felix Klein，1849–1925）：李的密友与合作者。两人 1869 年在柏林相识、1870 年春在巴黎一起琢磨变换群——这正是克莱因 1872 年”埃尔朗根纲领”（用一个变换群来定义一门几何）的种子。但两人 1892–93 年因埃尔朗根纲领的署名/功劳闹翻，李在 1893 年那部《变换群理论》的序言里公开与他划清界限。
威廉·基灵（Wilhelm Killing，1847–1923）：本职是文理中学教师，独立地做出了复单李代数的分类、发现了那几个例外代数（即后来的 Killing–Cartan 分类，“基灵型”也由他得名）。两人是只差五岁的同代人、各自独立走到这套理论，1884 年才经克莱因第一次有联系、1886 年只见过一面（话不投机），是竞争对手而非师徒。
埃利·嘉当（Élie Cartan，1869–1951）：1894 年的博士论文把基灵的分类做严、并真正构造出那几个例外单李代数——“Killing–Cartan 分类”由此得名。他不是李本人的同事（论文 1894，李 1899 年去世），是把这套结构理论补全的直接传人。
伦纳德·迪克森（Leonard Dickson，1874–1954）：美国人，把连续李群的造法原样搬到有限域上，造出有限单群（G₂ 型至今叫”迪克森群”）。这是连续→有限那条路的关键一步（接 §4）。
威廉·伯恩赛德（William Burnside，1852–1927）：英国人，在有限群这一侧。1904 年他证了 pᵃqᵇ 定理，推论是：非交换有限单群的阶必被至少三个不同素数整除——这正好框住 §4 要回扣 EP3 的 60 = 2²·3·5（A₅）。

图 5　接棒的人：克莱因、基灵、嘉当、迪克森、伯恩赛德——把李的理论铺开、补全、再带回有限。肖像来源见文末「图像来源」。

§2 · 数学线：连续对称的「周期表」

Lie 接过伽罗瓦的接力棒，想给连续对称也建一套理论。但连续对称比离散的滑溜得多——一个圆能转任意一点点，中间不留缝。要给它建一张”周期表”，第一步得先弄明白一件最基本的事：一个”连续对称群”到底长什么样、又怎么”称量”它的大小？

一、什么是连续变换群（直觉）

怎么”称量”一个连续群的大小？数它有多少个元素是行不通的——一个圆能转的角度有无穷多个，任何两个连续群比”元素个数”都是无穷比无穷、分不出高下。换个问法就清楚了：这个对称里，有几个可以彼此独立、连续调节的方向？ 把每一个这样的方向想成一个能拧的”旋钮”——拧动它，对称就连续地变一点点，而几个旋钮互不影响。一个连续群有几个旋钮，是个有限的数，它才真正抓住了这个群的”大小”与复杂度。我们把这个数叫作这个连续群的维数（也叫自由度）。

转一个圆盘。 你可以转任意角度 $\theta$ ——一个连续旋钮。就这一个旋钮，所以圆盘的旋转对称是 1 维的。把所有转法本身画出来： $\theta$ 从 $0$ 连续转到 $360^\circ$ 再接回起点——这些”转法”自己排成了一个圆。一个最简单的连续群 $SO(2)$ ，它的形状就是一个圈。
让一块刚体在平面上自由滑动。 它能左右移（1 个旋钮）、上下移（第 2 个）、再原地转（第 3 个）——3 种独立动法，3 维。
把一个网球扔进三维空间。 它能沿 $x,y,z$ 平移（3 个），还能绕三根轴翻滚（3 个）——6 自由度，6 维。

“维数 = 独立连续动法的个数”——这就是我们需要的全部直觉。连续群可以是 1 维（圆）、3 维、6 维……乃至几百维。

把它握在手里：连续群就是一族矩阵。 上面这些”转法”不只是比喻——每一个都能写成一个矩阵。就拿最简单的 $SO(2)$ ：“转 $\theta$ 角”作用在平面上一个向量 $(x,y)$ 上、把它逆时针转过 $\theta$ ，写下来就是

R(\theta)=\begin{pmatrix}\cos\theta & -\sin\theta\\ \sin\theta & \cos\theta\end{pmatrix},\qquad R(\theta)\begin{pmatrix}x\\ y\end{pmatrix}=\begin{pmatrix}x\cos\theta-y\sin\theta\\ x\sin\theta+y\cos\theta\end{pmatrix}.

整个 $SO(2)$ 群，就是所有这些矩阵 $R(\theta)$ （ $\theta$ 从 $0$ 到 $2\pi$ ）的集合。把两次旋转接起来——先转 $\beta$ 、再转 $\alpha$ ——就是把两个矩阵相乘，乘出来正好是转了 $\alpha+\beta$ ：

R(\alpha)\,R(\beta)=\begin{pmatrix}\cos\alpha & -\sin\alpha\\ \sin\alpha & \cos\alpha\end{pmatrix}\begin{pmatrix}\cos\beta & -\sin\beta\\ \sin\beta & \cos\beta\end{pmatrix}=\begin{pmatrix}\cos(\alpha{+}\beta) & -\sin(\alpha{+}\beta)\\ \sin(\alpha{+}\beta) & \cos(\alpha{+}\beta)\end{pmatrix}=R(\alpha{+}\beta)

（用一次三角和角公式就能验出来——“群里两个操作相乘”在这里就是实打实的矩阵乘法）。三维空间里”绕轴转”同样是矩阵，比如绕 $z$ 轴转 $\theta$ ：

举个具体数：取 $\theta=90°$ ， $R(90°)=\begin{pmatrix}0&-1\\1&0\end{pmatrix}$ 把 $(1,0)$ 送到 $(0,1)$ ；再来一次，送到 $(-1,0)$ ——两个 $90°$ 拼起来正是 $180°$ ，对应 $R(90°)\,R(90°)=R(180°)=\begin{pmatrix}-1&0\\0&-1\end{pmatrix}$ 。「相乘 = 角度相加」就这样落到了实打实的数上。

R_z(\theta)=\begin{pmatrix}\cos\theta & -\sin\theta & 0\\ \sin\theta & \cos\theta & 0\\ 0 & 0 & 1\end{pmatrix}

（绕 $x$ 、 $y$ 轴是另外两个类似的 $3\times3$ 矩阵）；全体这样的 $3\times3$ 旋转矩阵组成 $SO(3)$ 。这就是本章的核心：一个连续群，落到纸面上，就是一族矩阵——所谓”李群”，绝大多数时候说的就是”由矩阵组成的连续群”。下面那张分类表，分的正是这些矩阵群。

图 6　最简单的连续群 SO(2)：转任意角度 θ，每个转法对应一个矩阵 R(θ)，两次旋转相乘正好是角度相加。

二、Lie 的目标：把连续对称也分类

有了”维数”这把尺，回到分类这件正事。伽罗瓦理清离散对称时，做的不只是”用群描述它”，还把有限对称一路拆到了拆不动的原子——有限单群（EP3 那颗 $A_5$ 就是一颗）。Lie 想对连续对称做同样的事，于是第一个问题立刻冒出来：连续对称，也有”原子”吗？

有的。有些连续群能拆开：比如 §一那个”平面刚体运动”（3 维），其实是”平移”和”旋转”两块拼起来的，平移那块能整块剥下来单过。但有些连续群怎么都剥不动——你在它里面找不到一小块连续对称能单独拎出来（用 EP3 的话：没有非平凡的连续正规子群可以商掉）。这种”再也拆不开”的连续群，就是连续对称的原子，数学上叫单李群。 $SO(3)$ （三维旋转）就是一颗：你没法把”绕某个方向转”拆成两件更小的、各自独立的连续对称。

例（可拆 vs 拆不动）：平面刚体运动 $SE(2)$ （平移 2 维 + 转 1 维 = 3 维）里，「平移」那两维构成一个连续正规子群，可以整块商掉、单独剥离——所以 $SE(2)$ 不是原子；而 $SO(3)$ （绕任意轴转）里找不到这样一块能单独剥的连续正规子群——所以它是一颗原子（单李群）。

这样一来，Lie 要做的事和伽罗瓦做过的就一模一样了：先把所有这些”原子”列全，那么世间一切连续对称都不过是它们拼出来的——正如化学家把万物拆到一张元素周期表上。原子表列全的那天，连续对称也就被彻底理清了。

这件事 Lie 没来得及完成；接力的是 Killing（一位中学教师，§1 的人物链）和 Élie Cartan（把分类做严、并真正构造出那几个例外的人）。他们证出了一条惊人地干净的分类定理——下面就是这张 连续对称群的「周期表」。

先说清一个用词。

这里借「周期表」作比喻，指的是把

连续对称群

（单李群）像化学元素那样分门别类的

分类表

——它和 §3 要讲的化学

元素

周期表

不是同一张表

：前者是

群

的周期表，后者是

元素

的周期表。真正奇妙的，是

同一套连续对称数学

——一头排出了自己这张

群的分类表

（本节），一头又在 §3 决定了

化学元素周期表

的结构。同一种数学，在两个层面各写下了一张表。

图 7　李《变换群理论》（Theorie der Transformationsgruppen，与 Engel 合著，1888–93）。公有领域。

三、Killing–Cartan 周期表：4 大族 + 5 个例外

那张表长这样：所有连续对称的原子（单李群），恰好落进四条无限延伸的家族——叫它们 $A、B、C、D$ ——再加上五个不属于任何一族的例外。先看四大族，它们本质上都是某种”旋转”。

$A_n$ 族——复数版的旋转。 把普通旋转里的实数坐标换成复数坐标（每根”轴”成了一个复平面），保长度的那些旋转就组成 $A_n=SU(n{+}1)$ 。最小的 $A_1=SU(2)$ 我们已见过：它双重覆盖三维旋转 $SO(3)$ （§3 电子自旋正住在这一层）。

$B_n$ 、 $D_n$ 族——老实地转实空间，只分奇偶维。 这两族就是最熟的”转一个 $k$ 维实空间” $SO(k)$ ：维数是奇数（ $k{=}2n{+}1$ ）归 $B_n$ 、偶数（ $k{=}2n$ ）归 $D_n$ 。为什么奇偶要分家？因为偶数维里旋转多出一种”把所有平面成对配起来”的额外对称，奇数维里没有——这点结构差异让两族”指纹”不同，必须分开。 $SO(3)$ 是 $B_1$ 、 $SO(8)$ 是 $D_4$ 。

$C_n$ 族——“相空间”的旋转（辛对称）。 这个最不直观，但有个物理抓手：经典力学里描述一个粒子要用位置 + 动量成对，这种”位置–动量配对”撑起的空间叫相空间；保持这种”位置–动量”配对结构（数学上叫辛结构）的线性变换，就组成 $C_n=Sp(2n)$ ——它正是经典力学里所谓正则变换的线性版：换一套位置、动量坐标，却让哈密顿方程的形式原样不变。（顺带澄清一个常见误会：这不是”时空对称”——时空怎么转、物理定律不变，那是另一个群、叫洛伦兹群，§四末尾会点到；辛群 $Sp$ 管的是相空间里”位置–动量”的配对，不是时空。）一句话记牢这四族： $A$ 转复空间、 $B/D$ 转实空间（奇/偶维）、 $C$ 转相空间。

那”秩”到底是什么？ 别停在”≈独立旋转平面”这种虚话上，它有个很具体的意思：你能同时、互不干扰地转动几个独立的平面。 三维空间里随便挑两根转轴都会互相搅，最多只能独立转一个平面——所以 $SO(3)$ 秩 1。可一到四维，” $xy$ 平面”和” $zw$ 平面”井水不犯河水，能同时各转各的—— $SO(4)$ 秩 2。维度越高，能同时拧的独立旋转越多，秩就越大。秩，就是一个连续对称”同时能拧几下”的数。（族里第 $n$ 个的秩恰好是 $n$ ；除了每族开头一两个最小的，这些群全是上一节说的那种”拆不动”的原子。）

四大族，写成矩阵。 回到 §一那条核心——“连续群就是一族矩阵”——这四族本质上都是”保住某种结构的矩阵”的全体：

族	群	写成矩阵	它保住什么
$A_n$	$SU(n{+}1)$	$(n{+}1)\times(n{+}1)$ 复矩阵	复空间的长度（ $U^\dagger U=I,\ \det=1$ ）
$B_n,\,D_n$	$SO(2n{+}1),\,SO(2n)$	$k\times k$ 实矩阵	实空间的长度（ $R^\mathsf{T}R=I,\ \det=1$ ）
$C_n$	$Sp(2n)$	$2n\times2n$ 实矩阵	位置–动量的配对（ $M^\mathsf{T}JM=J$ ）

“转复空间 / 转实空间 / 转相空间”这三句，确切含义就是这三行矩阵条件——这才是它们”都是某种旋转”的实底。举每族最小的一个，把矩阵真写出来：

\underbrace{\begin{pmatrix}\alpha & -\bar\beta\\ \beta & \bar\alpha\end{pmatrix}}_{A_1=SU(2),\ |\alpha|^2+|\beta|^2=1}\qquad\quad \underbrace{\begin{pmatrix}\cos\theta & -\sin\theta & 0\\ \sin\theta & \cos\theta & 0\\ 0&0&1\end{pmatrix}}_{B_1=SO(3)}\qquad\quad \underbrace{\begin{pmatrix}a & b\\ c & d\end{pmatrix}}_{C_1=Sp(2,\mathbb{R}),\ ad-bc=1}

$A$ 的元素是复数（ $\alpha,\beta$ 复，约束 $|\alpha|^2+|\beta|^2=1$ 保住复长度）； $B/D$ 是实数（保住实长度，正是 §一那个旋转）； $C$ 也是实数，但保的不是长度而是”面积”—— $Sp(2,\mathbb{R})$ 恰好就是行列式为 $1$ 的 $2\times2$ 实矩阵，即把平行四边形面积拧不变的线性变换，这就是最小的”辛配对”。

例（ $SU(2)$ 双覆盖 $SO(3)$ 长什么样）：绕 $x$ 轴转 $\theta$ 的 $SU(2)$ 元素是 $U(\theta)=\begin{pmatrix}\cos\tfrac{\theta}{2} & -i\sin\tfrac{\theta}{2}\\ -i\sin\tfrac{\theta}{2} & \cos\tfrac{\theta}{2}\end{pmatrix}$ （ $\det=1$ 、酉）。把角度加满一圈到 $\theta+2\pi$ ：因为 $\cos\tfrac{\theta+2\pi}{2}=-\cos\tfrac{\theta}{2}$ ，于是 $U\to -U$ ——这是同一个 $SO(3)$ 旋转（转 $\theta$ 与转 $\theta{+}2\pi$ 在空间里没区别），却是两个不同的 $SU(2)$ 元素 $U$ 与 $-U$ 。这「二对一」就是「双覆盖」，也正是 §3 电子自旋 ½ 的根。

（一个诚实的脚注：上面挑的是每族最小的成员，只为展示三种”风味”的矩阵长相；其实在这个最小档（秩 1） $A_1,B_1,C_1$ 彼此恰好同构，是有名的”低秩巧合”。四族真正分家要到秩 $\ge 2$ ——比如 $B_2=SO(5)$ 、 $C_2=Sp(4)$ 就是两个不同的群了。）

四条无限的族——故事到这儿，本该完美收场了。 一张又干净又规整的表：四列，每列无限往下排。要是连续对称的世界就这么整齐，那也太省心。

但分类真推到底，结果并不这么规整。 Killing 和 Cartan 把分类做到尽头，发现表的角落里还多出 5 个对称——它们套不进 $A、B、C、D$ 任何一族的模子，是额外冒出来的：

G_2\ (14\text{ 维}),\quad F_4\ (52),\quad E_6\ (78),\quad E_7\ (133),\quad E_8\ (248).

图 8　连续对称的「周期表」：4 条无限延伸的家族 A/B/C/D，加上 5 个不属于任何一族的例外 G₂、F₄、E₆、E₇、E₈。

这个结果有三点值得注意： - 它们不讲规律。 四大族每族都有一句话能概括（“转复空间""转实空间”……），这 5 个却凑不出统一的”它们是转什么的”——各有各的古怪结构。 - 不多不少，恰好 5 个。 不是 0 个（那才规整）、也不是无穷多个（那也算一种规律），偏偏是 5 这个莫名其妙的有限数。 - 到 $E_8$ 就戛然而止。 秩爬到 8（ $E_8$ ，248 维）就是天花板——你想再接一个" $E_9$ "，整个结构会塌成无穷维，不再是一块有限的积木。这堵秩 8 的墙，没有人事先料得到。

图 9　五个例外排到 E₈（248 维）就戛然封顶——秩 8 是天花板，再想接一个，整个结构会塌成无穷维。

一张本该规整无限的分类表，最后长成了”四条无限的家族 + 5 个戛然封顶的例外”。

⭐

这是本系列第一次尝到”例外”的滋味

——四条规整家族之外，确确实实另有几块基本积木。但要说清楚：它们仍是

正经的连续对称、属于李群这套正规分类

，只是

长得不像那四族

而已。它们各自的来历、 $E_8$ 那 248 维里藏着什么，

本集点到为止

（留给后面几集）。但请记住这个图景：

一张分类表，主体是几条规整的无限家族，角落里却另有几个不按常理出牌的成员。

连续对称，就这样有了它自己的一张「周期表」——Killing–Cartan 的 4 大族 + 5 例外（再强调一次：这是群的分类表，不是化学那张元素周期表）。下一节，我们看这套连续对称造了什么真东西：它会亲手定下我们这个宇宙的化学——那张真正的元素周期表。

而那 5 个例外本身的来历，留给后面几集。但这里先埋个更大的悬念：它们再怪，也还在这张分类表上；而这一系列真正要追的猎物，也许根本不在表上。（伏笔 → 尾声。）

四、再走一步：群的「表示」，与一把要用一整节的尺

到这里，§2 说的”连续群就是一族矩阵”，指的是群自己长什么样—— $SO(3)$ 自己，就是那些 $3\times3$ 旋转矩阵。但真正有用的一步，是再往前迈一格：同一个群，还能”作用”在别的东西上。

三维旋转 $SO(3)$ 不只转空间里的箭头，它也作用在电子的状态上——把原子转一下，电子那些”轨道”会跟着搅动、彼此调换。这种作用同样是给群里每个操作配一个矩阵（只不过这些矩阵作用在”电子状态”这个空间上，可以比 $3\times3$ 大得多），而且配得和乘法严丝合缝：先转 $g$ 、再转 $h$ ，对应的矩阵恰好就是两者相乘。把一个群的每个操作，就这样对应成一个矩阵——这件事本身（前提是上面那条”和乘法对得上”），数学上就叫群的一个表示（representation）。

一个表示往往能”对角分块”：选对了坐标，那一大堆矩阵会同时裂成几个互不串扰的小方块，每块各管一摊状态。裂到再也裂不开的小方块，叫不可约表示；它的维数（小块的边长）是一个确定的整数，是这个群最硬的指纹之一。

例（一个看得见的表示）： $SO(3)$ 作用在三个 $p$ 轨道 $(p_x,p_y,p_z)$ 上，就是一个 3 维表示。绕 $z$ 轴转 $90°$ 把 $p_x\!\to\!p_y$ 、 $p_y\!\to\!-p_x$ 、 $p_z$ 不变，写成矩阵正是 $\begin{pmatrix}0&-1&0\\1&0&0\\0&0&1\end{pmatrix}=R_z(90°)$ 。这个 $3$ 维块再也裂不开——它就是下一节 $\ell=1$ 那个 $2\ell+1=3$ 的不可约块。

把这把尺记牢：群 → 表示 → 维数。下一节整条物理线，反复用的就是它——同一把尺，一头去量元素周期表，一头去量基本粒子。

（这里「选对坐标后矩阵同时分块对角」「不可约表示」「特征标」为何成立——完全可约性、迹与特征标、Schur 引理与正交关系——的严格证明，见文末 附录一。）

§3 · 物理线：周期表那些电子数，到底怎么来的

上一集结尾，那组发光的轨道云—— $s$ 是球、 $p$ 是哑铃、 $d$ 是四片花瓣——就是电子在原子里能待的”形状”。化学课会教你一套规则去数电子：一个亚层（ $s,p,d,f$ ）里有若干个轨道，每个轨道最多 2 个电子，于是 $s/p/d/f$ 分别装 2、6、10、14 个。

图10

图 10　电子轨道的形状：s 球、p 哑铃、d 四瓣。PoorLeno《Hydrogen density plots》，2008。公有领域。

这套规则你大概背过。这一节要补的，是它背后的道理——而且自始至终只用一件工具：上一节那把尺，群 → 表示 → 维数。下面会三次拿出它：第一次量出”一个亚层有几个轨道”，第二次量出”一个轨道几个电子”，最后一次，让同一把尺一路伸到基本粒子。 $2、6、10、14$ 不是凑出来的，是这把尺量两次、再乘起来的结果。

一、先把三级理清：轨道 → 亚层 → 电子层

轨道（orbital）：电子在原子里能占的一个空间状态——一个确定的形状加朝向（比如一个朝 $z$ 方向的 $p$ 瓣）。这是最小的单位。
亚层（subshell）：形状同类、只是朝向不同的轨道，归成一个亚层，也就是 $s,p,d,f$ 。
电子层（shell）：同一主层数 $n$ 的各个亚层合起来，是一个电子层（化学里的 K、L、M… 层）。

所以是轨道先有，往上才拼出亚层、再拼出电子层。要数”一个亚层、一个电子层能装多少电子”，得先回答两个最基本的问题：一个亚层里有几个轨道？一个轨道里站几个电子？

二、第一次用尺：一个亚层有几个轨道 = $SO(3)$ 的表示块 $2\ell+1$

为什么 $p$ 亚层偏偏是 3 个轨道、 $d$ 是 5 个？把上一节那把尺拿来量一次就清楚。在最干净的图景里（单电子、无外场），一个原子怎么转都一样——它带着三维旋转的全体对称 $SO(3)$ （上一集那个”球的对称”）。

$SO(3)$ 作用在电子状态上，就是它的一个表示：每个旋转配一个矩阵，挑对坐标后这些矩阵块对角，每个再也裂不开的不可约块正好对应一个亚层。而 $SO(3)$ 的不可约块大小有条铁律——只能是奇数 $2\ell+1$ 。块里每个轨道带一个整数标签 $m$ （磁量子数， $m=-\ell,\dots,\ell$ ，对应”绕轴转的快慢”），数一数正好 $2\ell+1$ 个：

2\ell+1:\quad \ell=0\to1\ (s),\quad \ell=1\to3\ (p),\quad \ell=2\to5\ (d),\quad \ell=3\to7\ (f).

这就是一个亚层里的轨道数—— $s$ 一个、 $p$ 三个、 $d$ 五个、 $f$ 七个。它们的形状正是上一集那组发光的云（数学上是球面调和函数 $Y_\ell^m$ ）。尺第一次量，得到的整数串是 $1,3,5,7$ 。

例（ $p$ 亚层）： $\ell=1$ 给 $2\ell+1=3$ 个轨道，磁量子数 $m=-1,0,+1$ ——对应 $p_z$ （ $m{=}0$ ）与 $p_x,p_y$ （ $m{=}\pm1$ 的实组合）三个朝向。这正是上一节 $R_z(90°)$ 把它们彼此转来转去的那个 $3$ 维块。

为什么 $SO(3)$ 的块

只能

是奇数维 $2\ell+1$ ？要从角动量代数 + $SU(2)$ 双覆盖严格证出来，完整推导见后面

附录二

。

三、第二次用尺：一个轨道几个电子 = $SU(2)$ 的旋量表示（自旋 ½）

一个轨道最多站 2 个电子，一个自旋朝上、一个朝下。这个”2”，是同一把尺第二次量出来的——只不过这次量的群，是 $SO(3)$ 的双覆盖 $SU(2)$ 。

还记得 §2 里那句话： $A_1=SU(2)$ 双重覆盖 $SO(3)$ 。两者几乎处处一样，却差一点点： $SO(3)$ 的表示块只能是奇数维（上一节那串 $1,3,5,7$ ），而它的双覆盖 $SU(2)$ 还多出 $SO(3)$ 拿不到的那整批半整数表示（维数 $2,4,6,\dots$ ）；其中最小的非平凡一个，就是 2 维的”旋量”。这 2 维，正对应电子自旋的”上、下”两个状态：自旋 ½ 不是别的，就是 $SU(2)$ 的旋量表示。 两个状态，加上泡利不相容（两个电子不能处在完全相同的状态），一个轨道就恰好坐满 2 个。

例（氦， $Z=2$ ）：氦的两个电子都进 $1s$ 这一个轨道——一个自旋 $\uparrow=\binom{1}{0}$ 、一个 $\downarrow=\binom{0}{1}$ ，正是 $SU(2)$ 旋量的两个基态；泡利不相容禁掉第三个，于是 $1s$ 到此为止、氦的第一层就满了。

那电子凭什么落在 $SU(2)$ 这半整数的旋量表示、而不是 $SO(3)$ 那些整数表示里？答案来自相对论。狄拉克 1928 年要给电子写一个既符合相对论、又只含一阶导数的方程；这两个要求一摆上，电子的波函数就必须有 4 个分量，其中描述转动的那一块，算出来恰好就是这个 $SU(2)$ 的旋量——自旋 ½。一个干净、且实验可测的标志：把电子在空间里整整转一圈 $2\pi$ ，它不回到原样，而是变号成 $-\psi$ ；要再转一圈、共 $720^\circ$ 才真正复原。“转两圈才复原”，正是旋量表示的签名——也正是 $SU(2)$ 比 $SO(3)$ 多出的那”一点点”的真身。

图11

图 11　保罗·狄拉克（1902–1984）。他 1928 年的方程要求电子波函数有 4 个分量，其中描述转动的那块，恰好就是 SU(2) 的旋量——自旋 ½。© Nobel Foundation, 1933，公有领域。

$SU(2)$ 的旋量为何是 2 维、半整数，又如何与 $SO(3)$ 的整数表示接上，见

附录二

；狄拉克方程导出自旋 ½ 的完整推导见

附录三

；“自旋 ½ ⟹ 费米子 ⟹ 泡利不相容”的证明见

附录四

。

四、算总账： $2,6,10,14$ → $2,8,18,32$

尺量了两次，把两个整数乘起来，就是一个亚层的电子容量：

\underbrace{(2\ell+1)}_{\text{亚层里的轨道数}}\times\underbrace{2}_{\text{每个轨道的电子数}}=\begin{cases}2 & s\\ 6 & p\\ 10 & d\\ 14 & f\end{cases}

2, 6, 10, 14——这就是周期表里 $s/p/d/f$ 四个区的宽度。再把一个电子层（主层数 $n$ ）里的各亚层加起来，就是这一层能装的电子总数：

图12

图 12　同一把尺量两次：每个亚层的轨道数 (2ℓ+1) × 每个轨道 2 个电子 = 2、6、10、14——正是周期表 s/p/d/f 四区的宽度。

\text{第 }n\text{ 层}=2n^2:\quad \text{K}(n{=}1)=2,\quad \text{L}(n{=}2)=8,\quad \text{M}(n{=}3)=18,\quad \text{N}(n{=}4)=32.

（一个小提醒：周期表里的”一行”和”一个电子层”并不完全重合——电子是按能量高低填的， $4s$ 会抢在 $3d$ 前头，所以表上每行的长度是 $2,8,8,18,18,32,32$ 。这是填充顺序的细节，不改变每层 $2n^2$ 的总容量；完整填充次序见甲版附录。）

一句话收口：化学课背了多年的电子排布，根子就落在同一把尺量出的两个整数上—— $SO(3)$ 给的 $2\ell+1$ （管一个亚层几个轨道），和它的双覆盖 $SU(2)$ 给的 $2$ （管一个轨道几个电子）。一件工具，量了两次。

例（碳， $Z=6$ ）：碳的电子排布是 $1s^2\,2s^2\,2p^2$ —— $2p$ 亚层本来能装 $(2\ell+1)\times2=3\times2=6$ 个（就是 $2,6,10,14$ 里那个「 $6$ 」），碳只填了 $2$ 个。碳的 $4$ 个价电子（ $2s^2\,2p^2$ ）再通过 $sp^3$ 杂化搭成四条等价的键，撑起了整个有机化学。

五、同一把尺，一直伸到基本粒子

到这里，尺已经量出了整张元素周期表。但它的量程远不止于此——同一把”群 → 表示 → 维数”再伸一次，量到的就是物质深处那几种基本力的载体。

前两次，尺量的是”群怎么作用在电子状态上”（表示的块有多大）；这一次换个用法，量”群自己有多大”——也就是 §2 那个独立旋钮数（群自身的维数）。而电磁、弱、强这三种力，每一种都配着一个对称群，那个群有几个旋钮，这种力就有几个载体粒子：

U(1)\to 1\ \text{光子},\qquad SU(2)\to 3\ \text{弱玻色子},\qquad SU(3)\to 8\ \text{胶子}.

（ $SU(n)$ 的维数 $=n^2-1$ ：强核力的对称群 $SU(3)$ 有 $3^2-1=8$ 个旋钮，对应的胶子，恰好 8 种。至于自然界第四种力——引力——它不在这套框架里：引力子自旋为 $2$ 、不来自任何 $SU(n)$ 的维数，标准模型的规范群只有 $SU(3)\times SU(2)\times U(1)$ 这三块。）

（具体点名：弱力的 $3$ 个载体就是 $W^+,W^-,Z^0$ ，电磁的 $1$ 个就是光子——个数都直接对上各自群的维数 $3$ 与 $1$ 。）

这就是这条物理线真正的主线：同一把尺，一头量出了元素周期表，一头量出了基本粒子的种类。 Lie 那门”连续对称”的数学，从来不是抽象的玩具——大自然定下化学与物质规则，用的正是这同一套语言。

下一步，我们离开物理，回到一个更深的数学问题：这些连续对称的”原子”，怎么走回有限的世界？

§4 · 回到数学线的追问：怎么回到「有限」？

前三节我们一路往无穷里走：李群是连续的，转一个圆有无穷多个转法，旋转一个球有无穷多个姿态。可这一系列追的”对称原子”——有限单群——是有限的。Ronan 给这一章起的名字就是一句反问：“a way back to finiteness”——怎么从无穷的李群，走回有限的原子？

这一节就是那条回去的路。它分三步：先把”无穷”的数轴折回有限（时钟算术，本集唯一讲透到底的硬货——只借上一集 §4 的 Bézout 一条，Euclid 引理与”有限域”性质都由它就地推出）；再把李群的造法搬到这套有限算术上（Dickson）；最后用一条定理框住这么造出来的原子长什么形状（Burnside）——而那个形状，正好把我们带回 EP3 的 $A_5$ 。

一、把无穷折回有限：时钟算术

你其实天天在用一套”有限的算术”——看钟。现在 10 点，过 5 个小时是几点？不是 15 点，是 3 点：钟面只有 12 个数，到了 12 就归零重来。把这件事写成算式： $10+5=15$ ，但 $15$ 和 $3$ 在钟面上是同一个点（差了一整圈 12）。我们记成

15 \equiv 3 \pmod{12},

读作” $15$ 与 $3$ 模 $12$ 同余”——相差 12 的倍数的数，在钟面上算同一个。于是钟面上只剩 12 个数 $\{0,1,2,\dots,11\}$ ，这套”加到 12 就绕回去”的算术叫模 12 算术，记 $\mathbb{Z}/12$ 。

加、减、乘都照做、绕回去取余就行。 例： $5+9=14\equiv 2$ ； $5\times 4 = 20 \equiv 8$ 。这是个有限的数系——只有 12 个数，却加减乘都自洽。无穷的整数线，被”绕圈”折成了有限的一圈。

图13

图 13　时钟算术：10 点过 5 小时是 3 点，因为 15 ≡ 3 (mod 12)。无穷的整数线，被绕圈折成有限的一圈。

但除法会出事——零因子

加减乘都顺，唯独除法在 $\mathbb{Z}/12$ 里会翻车。看一个怪现象：

3 \times 4 = 12 \equiv 0 \pmod{12}.

两个都不是 0 的数，乘起来等于 0。这种数叫零因子。在普通整数里这绝不会发生（ $3\times4=12\ne0$ ）；可钟面上 $12$ 就是 $0$ ，于是 $3$ 和 $4$ 联手把对方”乘没了”。

零因子一出现，除法就废了。" $a\div b$ "本该是”解 $b\times x = a$ “。可在 $\mathbb{Z}/12$ 里问” $1\div 3=$ ？“——要解 $3x\equiv 1$ ： $3$ 乘任何数都是 $3$ 的倍数 $\{0,3,6,9\}$ ，永远凑不出 $1$ 。 $3$ 没有倒数，除以 $3$ 无解。 钟面这套算术，是个”缺了除法”的残缺数系。

选素数，残缺就补全了

换一个钟面——7 小时的钟， $\mathbb{Z}/7=\{0,1,2,3,4,5,6\}$ 。再找零因子试试：把所有非零的两两相乘、取模 7，你会发现怎么乘都凑不出 0。为什么？因为 $7$ 是素数：若 $a\times b\equiv 0\pmod 7$ ，就是 $7\mid ab$ ，而素数满足 Euclid 引理—— $7\mid ab\Rightarrow 7\mid a$ 或 $7\mid b$ 。这条引理不用当”铁律”背，就地能推（只借上一集 §4 的 Bézout 一条）：设 $7\nmid a$ ，则 $\gcd(7,a)=1$ （ $7$ 是素数、因子只有 $1$ 和 $7$ ，而 $7\nmid a$ 排掉了 $7$ ）；由 Bézout 有整数 $u,v$ 使 $ua+7v=1$ ，两边乘 $b$ 得 $uab+7vb=b$ ——左边两项都被 $7$ 整除（ $7\mid ab$ 已知、 $7\mid 7vb$ 显然），所以 $7\mid b$ 。于是 $a\times b\equiv 0$ 时 $a,b$ 必有一个本就 $\equiv0$ ——没有零因子。

没有零因子，除法就活了。看 $\mathbb{Z}/7$ 里：

3\times 4 = 12 \equiv 5,\qquad\text{所以}\qquad 5 \div 3 = 4.

（" $5\div3$ "就是解 $3x\equiv5$ ；上式正说 $x=4$ 。）逐个验： $3\times1{=}3,\ 3\times2{=}6,\ 3\times3{=}2,\ 3\times4{=}5,\ 3\times5{=}1,\ 3\times6{=}4$ —— $3$ 乘 $1\dots6$ 恰好把 $1\dots6$ 各打中一次，所以你想要的任何结果都有唯一的 $x$ ，除法总能做。特别地 $3\times5\equiv1$ ，所以 $3$ 的倒数是 $5$ 。

结论（讲透）。 对 $\mathbb{Z}/n$ ： - $n$ 合数（ $n=a\cdot b$ ， $1<a,b<n$ ）：则 $a,b$ 非零却 $a\cdot b\equiv0$ ——有零因子，除法残缺。 - $n$ 素数 $p$ ：无零因子，且每个非零元都有倒数——加减乘除全通。

后一半”每个非零元有倒数”也能就地证： $a\in\{1,\dots,p-1\}$ 与 $p$ 互素，由 Bézout 有整数 $u,v$ 使 $ua+vp=1$ ，模 $p$ 即 $ua\equiv1$ ， $u$ 就是 $a$ 的倒数。（Bézout 是上一集 §4 已用过的标准事实。）

一个加减乘除都通、且只有有限个元素的数系，数学上叫一个有限域，记 $\mathbb{F}_p$ 。我们刚刚证明了： $\mathbb{Z}/p$ 是域 $\iff p$ 是素数。 素数，正是让”绕圈算术”补全成一套完整数系的那把钥匙。

Galois 线③（主线第三次出现）。

这套有限域不是别人、正是

伽罗瓦

发明的——他在 1830 年前后造出了 $\mathbb{F}_p$ 乃至 $\mathbb{F}_{p^n}$ （至今”有限域”又叫

Galois 域

、记 $\mathrm{GF}(p^n)$ ）。而且伽罗瓦没有止步于算术：在他 1832 年的临终信里，他还研究过一批群——用今天的话说，正是 $\mathrm{PSL}(2,p)$ （" $A_1$ "型李群在有限域上的版本），也是史上最早的一批非交换单群之一。真正把整族李群

系统地

搬上有限域、批量造出有限李型群的，是下面要讲的

Dickson

；但伽罗瓦那批群，事后看正落在同一条线的起点上。这条 Galois→Lie→有限的线，到这里第三次、也是最后一次浮出水面。

二、Dickson：把李群搬到有限域上

有了有限域 $\mathbb{F}_p$ ，回到有限的路就通了。

李群（§2 的 A/B/C/D 四大族）活在实数或复数上——所以是连续、无穷的：矩阵的元素可以取任意实数。Dickson 1901 的洞见简单而有力：把同一套造法里的”实数”全换成”有限域 $\mathbb{F}_q$ 的数”。 矩阵还是那种矩阵、群还是那样定义，只是元素从无穷的实数换成有限域里的有限个数——于是整个群一下子变成有限的。

具体长什么样？ 拿最简单的 $A_1$ 型—— $2\times2$ 矩阵那一族。在实数上，矩阵元素可取任意实数，有无穷多个矩阵。换到 $\mathbb{F}_5$ （5 小时的钟）上，每个元素只能取 $\{0,1,2,3,4\}$ ，比如

\begin{pmatrix} 2 & 1\\ 3 & 2\end{pmatrix},\qquad \det = 2\cdot2-1\cdot3 = 1 \pmod 5,

加、乘、求行列式全按上一节的时钟算术做（这是 $\mathrm{SL}(2,5)$ 的一个元素，行列式 $\equiv1$ ）。元素只有 5 个数能填、矩阵就只有有限多个——挑出行列式 $\equiv1$ 的、再按规矩约掉中心，得到的有限群正是 $\mathrm{PSL}(2,5)$ （ $60$ 个， $=A_5$ ）。无穷的连续转盘，被”换上有限数系”这一招，收成了一颗有限的对称原子。

形象点说：同一套”造李群”的配方，把里面的实数全换成有限域 $\mathbb{F}_q$ 里的数，无穷的连续群就一下子收成了有限的一节。一个李型 $\times$ 一个素数（幂） $=$ 一族有限单群（这些有限版仍是单群——这是 Dickson/Chevalley 构造里证明的核心结论，除几个 $q$ 极小的例外都成立；属构造细节，本集像对 Burnside 那样取用、不展开）；素数有无穷多个，于是这架机器批量吐出一大堆有限的对称原子——有限李型单群。

回扣 EP3 的两颗原子。

最简单的 $A_1$ 型搬到 $\mathbb{F}_p$ 上，得到的就是伽罗瓦那族 $\mathrm{PSL}(2,p)$ ： - $\mathrm{PSL}(2,5)$ 恰好就是

$A_5$

（ $60$ 个元素）——EP3 那颗”拆不动的原子”，原来也是李机器的产物； - $\mathrm{PSL}(2,7)$ 有

$168$

个元素——EP3 尾声”周期表”里、李型 $\mathrm{PSL}(2,q)$ 那列打头的 $168$ ，正是它。同一颗原子，EP3 从”偶置换”那条路撞见，这一集从”连续对称收拢到有限”这条路又遇见——两条来路，同一颗原子。

（最小的有限域 $\mathbb{F}_2=\{0,1\}$ 那套”开关算术”，正是计算机和纠错码的底层；再往高维走，会埋下后面 Leech 格、怪兽群那些”超高维对称”的伏笔——这里只点一句，留给 EP6–8。）

三、Burnside：原子的形状被框住了

Dickson 给了我们一大堆有限原子。它们有没有共同的”长相”？1904 年，Burnside 给出一条惊人的限制：

Burnside 定理（ $p^a q^b$ 定理，1904）。

阶

只被一个或两个不同素数整除

的有限群（即 $|G|=p^a q^b$ 形），一定是

可解群

。

把它反过来（取逆否）就是我们要的形状律：一个非交换单群（拆不动、又不可解的”真原子”），它的阶必定被至少 3 个不同的素数整除。

——一颗真正的对称原子，至少要”三种素数味道”才搭得起来。两种以内，它必然可解、必然能被拆开，当不成原子。

当场验算（回扣 EP3）。 EP3 里我们死磕的最小两颗非交换单群，恰好卡在这条下界上：

60 = 2^2\cdot 3\cdot 5\quad(\text{三种素数 } 2,3,5)\ =\ A_5,

168 = 2^3\cdot 3\cdot 7\quad(\text{三种素数 } 2,3,7)\ =\ \mathrm{PSL}(2,7).

两个都正好三种素数——一个也不少（Burnside 不允许更少），也没多余。EP3 那张”小于 2000 的非交换单群周期表” $\{60,168,360,504,660,1092\}$ ，每一个拿去分解，素数种类都 $\ge 3$ ，无一例外——Burnside 这条形状律，把整张表都框在里面。

图14

图 14　回扣 EP3 那颗 A₅：60 = 2²·3·5，正好三种素数，踩在 Burnside 的下界上。（二十面体的旋转对称群就是 A₅。）

完整证明见文末

附录五

。

Burnside $p^aq^b$ 定理从特征标论的通用工具箱（正交关系 + 代数整数）一路证全（中心特征标整性 → 引理 A → 引理 B → 主定理 → 逆否得” $\ge3$ 素数”，借工具箱、不外引结论本身）。正文这里先用结论：它框出的形状（ $\ge 3$ 素数、 $60$ 与 $168$ 正好踩线），看得见、算得清。

把三步连起来：时钟算术把无穷的数轴折成有限域 $\mathbb{F}_p$ （素数是钥匙，伽罗瓦发明）；Dickson 把李群搬上这套有限算术，批量造出有限李型原子（ $A_1/\mathbb{F}_p=\mathrm{PSL}(2,p)$ ，含 $A_5$ 与 $168$ ）；Burnside 又框住了每颗原子共同的形状（阶含 $\ge3$ 个不同素数）。连续的对称，绕了一整圈，回到了有限的原子——而且回到了 EP3 那颗 $A_5$ 。

尾声 · 找全了吗？

这一集走了四步：Sophus Lie 接过伽罗瓦的问题，把对称从离散推向连续；连续对称有它自己的一张”周期表”——四条无限延伸的家族，加上角落里五个不讲道理的例外；这套连续对称并不是空中楼阁，它亲手定下了真实元素周期表每一块的宽度、也数清了电磁、弱、强三种力各有几个载体；最后，把它搬回有限，我们得到了一大堆有限的对称原子，Burnside 还框住了它们共同的形状。

可一个问题悬在那里：这一大堆从李机器里掉出来的原子，是全部吗？ 还是说，在所有规整的家族之外，还藏着哪颗原子——谁的家族都不属于，一个不在任何周期表里、孤独的怪东西？

图15

图 15　找全了吗？——也许在所有规整的家族之外，还藏着一个谁的周期表都不属于、孤独的怪东西。（伏笔 → EP5）

连续对称这条线，到这里告一段落。但”把对称的原子找全”这件事，才刚要开始变得艰难。下一集，我们走进那场打了三十年的仗——有限单群分类：人类如何用上万页的证明，去列清所有的对称原子，以及在那张清单的尽头，等着的究竟是什么。

（→ EP5：三十年战争 · 有限单群分类。）

附录一 · 表示论基础：完全可约、特征标、Schur 正交

主体里我们反复用到两件”看上去理所当然”的事：其一，一个表示总能”选对坐标后让所有矩阵同时分块对角化”；其二，可以用一个数（特征标 $\chi$ ——就是群元对应矩阵对角线之和 $\operatorname{tr}\rho(g)$ ，§二正式给出）来辨认表示、判断不可约。本附录把这两件事从头证清楚。除非特别说明， $V$ 都是有限维复向量空间， $\rho\colon G\to GL(V)$ 是一个表示——即给每个群元 $g$ 配一个可逆矩阵 $\rho(g)$ （ $GL(V)$ = $V$ 上可逆线性变换组成的群）、且保持乘法 $\rho(gh)=\rho(g)\rho(h)$ （这就是「群同态」）。

一、完全可约性：把任意表示拆成不可约直和

定理（Maschke / 紧群版本）.

设 $\rho\colon G\to GL(V)$ 为有限维复表示，且满足以下任一条件： -

（有限群）

$G$ 是有限群；或 -

（紧群）

$G$ 是紧 Lie 群（例如本系列用到的 $SO(3)$ 、 $SU(2)$ ）， $\rho$ 连续。那么 $V$ 可以写成不可约子表示的直和
$V \;=\; V_1\oplus V_2\oplus\cdots\oplus V_k,$
其中每个 $V_i$ 是 $G$ -不变（ $\rho(g)V_i\subseteq V_i,\ \forall g$ ）且不可约的。

（先把定理里的名词点清楚： $SO(3)$ = 三维空间全体旋转，即行列式为 $1$ 的 $3\times3$ 正交矩阵； $SU(2)$ = 行列式为 $1$ 的 $2\times2$ 酉矩阵；李群 = 元素能连续变化、又是光滑流形的群，紧指其参数空间有界闭合（如转角绕一圈回到原处）；一个表示不可约，指除 $0$ 与自身外、再找不出一个对所有 $\rho(g)$ 都不变的子空间——即拆不出更小的子表示。）

证明分四步。核心技巧是取平均：把任意一个内积”对称化”成 $G$ -不变内积。

(a) 构造 $G$ -不变内积。 先在 $V$ 上任取一个 Hermitian 内积 $\langle\cdot,\cdot\rangle$ （取一组基，用标准内积即可）。定义新内积：

\langle v,w\rangle_G \;=\; \begin{cases} \dfrac{1}{\lvert G\rvert}\displaystyle\sum_{g\in G}\langle \rho(g)v,\ \rho(g)w\rangle, & G\ \text{有限},\\[2mm] \displaystyle\int_{G}\langle \rho(g)v,\ \rho(g)w\rangle\,\mathrm{d}g, & G\ \text{紧，}\mathrm{d}g\ \text{为归一化 Haar 测度}\ (\textstyle\int_G\mathrm{d}g=1). \end{cases}

（这里的 Haar 测度 就是紧群上唯一平移不变的「均匀」测度——把有限群的 $\tfrac{1}{\lvert G\rvert}\sum_g$ 推广到连续群，归一化使总测度为 $1$ 。）

它仍是 Hermitian 内积：它是一族 Hermitian 内积的（加权）平均，故半双线性（一槽线性、另一槽共轭线性）/共轭对称性逐项保持；正定性也成立——

\langle v,v\rangle_G=\frac{1}{\lvert G\rvert}\sum_{g}\langle\rho(g)v,\rho(g)v\rangle\ge 0,

且其中 $g=e$ 一项就是 $\langle v,v\rangle\ge 0$ ，等于 $0$ 当且仅当 $v=0$ ；紧群情形被积函数连续、非负，在 $g=e$ 处取正值 $\langle v,v\rangle>0$ ，而归一化 Haar 测度对每个非空开集赋正测度（满支撑），故连续非负、某点取正的函数积分必 $>0$ 。所以 $\langle\cdot,\cdot\rangle_G$ 正定。

关键是 $G$ -不变性：对任意 $h\in G$ ，

\langle \rho(h)v,\rho(h)w\rangle_G =\frac{1}{\lvert G\rvert}\sum_{g}\langle \rho(g)\rho(h)v,\rho(g)\rho(h)w\rangle =\frac{1}{\lvert G\rvert}\sum_{g}\langle \rho(gh)v,\rho(gh)w\rangle.

当 $g$ 跑遍 $G$ 时 $gh$ 也跑遍 $G$ （右乘是双射），故求和重新编号后等于 $\langle v,w\rangle_G$ 。紧群情形对应用 Haar 测度的右平移不变性 $\int_G f(gh)\,\mathrm{d}g=\int_G f(g)\,\mathrm{d}g$ （紧群是幺模群，左、右 Haar 测度一致，故右平移不变性成立）。于是

\boxed{\ \langle \rho(h)v,\rho(h)w\rangle_G=\langle v,w\rangle_G\quad(\forall h\in G).\ }

(b) 每个 $\rho(g)$ 在 $\langle\cdot,\cdot\rangle_G$ 下是酉的。 这正是 (a) 末尾的等式： $\rho(g)$ 保持内积 $\langle\cdot,\cdot\rangle_G$ ，按定义即为酉算子，故 $\rho(g)^{*}=\rho(g)^{-1}=\rho(g^{-1})$ （伴随相对新内积取）。

(c) 不变子空间的正交补仍不变。 设 $W\subseteq V$ 是 $G$ -不变子空间，取正交补 $W^{\perp}$ （相对 $\langle\cdot,\cdot\rangle_G$ ）。任取 $u\in W^{\perp},\ g\in G$ ，要证 $\rho(g)u\in W^{\perp}$ ，即对一切 $w\in W$ 有 $\langle \rho(g)u,w\rangle_G=0$ 。由 (b) 的酉性，

\langle \rho(g)u,\ w\rangle_G=\langle u,\ \rho(g)^{*}w\rangle_G=\langle u,\ \rho(g^{-1})w\rangle_G.

因为 $W$ 不变且 $g^{-1}\in G$ ，所以 $\rho(g^{-1})w\in W$ ；又 $u\perp W$ ，故上式 $=0$ 。于是 $\rho(g)u\in W^{\perp}$ ， $W^{\perp}$ 不变。从而（有限维下正交补存在且补满）

V=W\oplus W^{\perp},\qquad W,\,W^{\perp}\ \text{都是子表示}.

(d) 对维数归纳。 若 $V$ 不可约，命题已成立（ $V$ 自身就是其不可约分解）。否则存在真非零不变子空间 $W$ ，由 (c) 得 $V=W\oplus W^{\perp}$ ，两块维数都严格小于 $\dim V$ 。对维数归纳，各自再分解为不可约直和，拼起来即得 $V$ 的不可约直和分解。 $\blacksquare$

为什么”选对坐标后矩阵同时分块对角化”成立。 取分解 $V=V_1\oplus\cdots\oplus V_k$ ，在每个 $V_i$ 中取一组 $\langle\cdot,\cdot\rangle_G$ -标准正交基，拼成 $V$ 的一组标准正交基。在这组基下，因为每个 $V_i$ 对所有 $g$ 同时不变，矩阵 $\rho(g)$ 对每个 $g$ 都是分块对角的：

\rho(g)=\begin{pmatrix}\rho_1(g)&&\\&\ddots&\\&&\rho_k(g)\end{pmatrix},

而且这个分块结构与 $g$ 无关（同一组坐标对所有群元都奏效，因为分解本身与 $g$ 无关）。这就是主体所说”选对坐标后矩阵同时对角分块”的严格依据。本系列主要用到紧群版本（ $SO(3)$ 、 $SU(2)$ ）；有限群版本（Maschke，要点是 $\tfrac{1}{\lvert G\rvert}$ 这个除法在复数域上总合法）则是 §三正交关系与附录五（Burnside） 的基础。（对照 Dummit–Foote、Fulton–Harris、Hall《Lie Groups, Lie Algebras, and Representations》。）

例（一个真的拆开： $SO(2)$ 平面旋转在 $\mathbb C$ 上裂成两条）. 平面旋转群 $SO(2)$ 的 2 维表示

R(\theta)=\begin{pmatrix}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{pmatrix}

在实数域上拆不开——平面里没有一条被所有旋转保持的直线（旋转把每条线都转走），所以它在 $\mathbb R$ 上不可约。但定理讲的是复表示。把同一个 $R(\theta)$ 放到 $\mathbb C^2$ 上，它立刻有了本征向量：

v_\pm=\begin{pmatrix}1\\\mp i\end{pmatrix},\qquad R(\theta)\,v_\pm=e^{\pm i\theta}\,v_\pm

（代入直接验： $R(\theta)\left(\begin{smallmatrix}1\\-i\end{smallmatrix}\right)=\left(\begin{smallmatrix}\cos\theta+i\sin\theta\\\sin\theta-i\cos\theta\end{smallmatrix}\right)=e^{i\theta}\left(\begin{smallmatrix}1\\-i\end{smallmatrix}\right)$ ）。于是在基 $\{v_+,v_-\}$ 下

R(\theta)\ \cong\ \begin{pmatrix}e^{i\theta}&0\\0&e^{-i\theta}\end{pmatrix},\qquad \mathbb C^2=\underbrace{\mathbb C v_+}_{\chi=e^{i\theta}}\ \oplus\ \underbrace{\mathbb C v_-}_{\chi=e^{-i\theta}}

——两条一维不可约表示的直和，正是完全可约性定理在一个最简单的非平凡例子上的样子（ $SO(2)$ 是紧李群，落在定理的紧群版）：复化之后旋转矩阵被对角化、整块裂成两条独立的一维子表示。（顺带 $\chi(\theta)=e^{i\theta}+e^{-i\theta}=2\cos\theta=\operatorname{tr}R(\theta)$ ，迹与基无关——又印证 §二。）

二、迹与特征标 $\chi_\rho$

对方阵 $A=(A_{ij})$ ，定义迹

\operatorname{tr}(A)=\sum_i A_{ii}.

引理（迹的循环性）. $\operatorname{tr}(AB)=\operatorname{tr}(BA)$ 。

证：直接展开，

\operatorname{tr}(AB)=\sum_i (AB)_{ii}=\sum_i\sum_j A_{ij}B_{ji} =\sum_j\sum_i B_{ji}A_{ij}=\sum_j (BA)_{jj}=\operatorname{tr}(BA).\qquad\blacksquare

推论（基无关 / 共轭不变）. 若 $A'=P^{-1}AP$ ，则

\operatorname{tr}(A')=\operatorname{tr}\big(P^{-1}(AP)\big)=\operatorname{tr}\big((AP)P^{-1}\big)=\operatorname{tr}(A).

所以迹只依赖于线性算子本身，不依赖所选基。

由此可定义表示 $\rho$ 的特征标

\chi_\rho(g)=\operatorname{tr}\rho(g),

它是良定义的（与基无关）。它有几条立刻可用的性质：

类函数（在共轭类上为常数）. 对任意 $h,g$ ， $\chi_\rho(hgh^{-1})=\operatorname{tr}\big(\rho(h)\rho(g)\rho(h)^{-1}\big)=\operatorname{tr}\rho(g)=\chi_\rho(g).$ 故 $\chi_\rho$ 在每个共轭类上取常值。（ $g$ 的共轭类 = 所有形如 $hgh^{-1}$ （ $h\in G$ ）的元素组成的一族，「同一种操作、只是换个视角」的群元归为一类——比如「转 $\theta$ 角」不分绕哪根轴，是同一类。）
单位元给出维数. $\chi_\rho(e)=\operatorname{tr}(I_{\dim V})=\dim V=\dim\rho$ 。
直和的特征标是相加的. 若 $\rho=\rho_1\oplus\rho_2$ ，在分块对角形下 $\rho(g)=\mathrm{diag}\big(\rho_1(g),\rho_2(g)\big)$ ，故 $\chi_{\rho_1\oplus\rho_2}(g)=\chi_{\rho_1}(g)+\chi_{\rho_2}(g).$

这三条配合 §一的完全可约性，就把”用一个数辨认表示”变成可计算的事：任何表示的特征标是其不可约成分特征标之和。

举个具体的： $SO(3)$ 的 3 维表示。 把上面这些抽象性质，放进 §2.四那个「 $SO(3)$ 作用在三个 $p$ 轨道」的 3 维表示里看个明白。绕 $z$ 轴转 $\theta$ ，在 $(x,y,z)$ 基下：

R_z(\theta)=\begin{pmatrix}\cos\theta & -\sin\theta & 0\\ \sin\theta & \cos\theta & 0\\ 0 & 0 & 1\end{pmatrix},\qquad \chi(\theta)=\operatorname{tr}R_z(\theta)=\cos\theta+\cos\theta+1=2\cos\theta+1.

三条性质当场看得见：

基无关：换到球谐基 $|m\rangle\ (m=-1,0,1)$ （ $|m\rangle$ 是物理常用的记号，就是一个列向量/态向量， $m$ 是贴在上面的标签；这组球面调和函数 $Y_\ell^m$ 见附录二），同一个旋转变成对角阵 $\operatorname{diag}\!\big(e^{-i\theta},\,1,\,e^{i\theta}\big)$ ——矩阵长得完全不同，迹却仍是 $e^{-i\theta}+1+e^{i\theta}=2\cos\theta+1$ 。迹不随基变。
类函数：绕 $x$ 轴、绕 $y$ 轴转同一个角 $\theta$ ，矩阵各不相同，却都「转了 $\theta$ 」（同一个共轭类），迹也都等于 $2\cos\theta+1$ 。所以 $\chi$ 只认转角、不认转轴。
单位元给维数： $\theta=0$ 时 $R_z(0)=I_3$ ， $\chi(0)=\operatorname{tr}I_3=3=\dim$ 。

这恰好就是 $SO(3)$ 那个 $2\ell+1$ 维不可约表示的特征标通式 $\chi_\ell(\theta)=\sum_{m=-\ell}^{\ell}e^{im\theta}$ 在 $\ell=1$ 时的样子。

三、Schur 引理与第一正交关系

Schur 引理.

设 $(\rho,V)$ 、 $(\sigma,W)$ 为不可约表示， $T\colon V\to W$ 为

交结算子

（ $G$ -等变线性映射），即 $T\rho(g)=\sigma(g)T$ 对所有 $g$ 成立。则：

(a)

要么 $T=0$ ，要么 $T$ 是同构；

(b)

若 $V=W$ 且 $\sigma=\rho$ （同一个不可约表示，标量域为代数闭的 $\mathbb{C}$ ），则存在 $\lambda\in\mathbb{C}$ 使 $T=\lambda\,\mathrm{Id}$ 。

证 (a). $\ker T$ 是 $V$ 的不变子空间：若 $v\in\ker T$ ，则 $T\rho(g)v=\sigma(g)Tv=0$ ，故 $\rho(g)v\in\ker T$ 。由 $V$ 不可约， $\ker T=0$ 或 $V$ 。同理 $\operatorname{im}T$ 是 $W$ 的不变子空间： $\sigma(g)(Tv)=T(\rho(g)v)\in\operatorname{im}T$ ，由 $W$ 不可约， $\operatorname{im}T=0$ 或 $W$ 。若 $T\neq0$ ，则 $\ker T\neq V\Rightarrow\ker T=0$ （单射）， $\operatorname{im}T\neq0\Rightarrow\operatorname{im}T=W$ （满射），故 $T$ 同构。

证 (b). 在 $\mathbb{C}$ 上 $T$ 必有特征值 $\lambda$ （特征多项式有根）。算子 $T-\lambda\,\mathrm{Id}$ 仍是交结算子（ $\mathrm{Id}$ 与一切可换， $T$ 是交结的），且 $\ker(T-\lambda\,\mathrm{Id})\neq0$ （含特征向量）。由 (a)， $T-\lambda\,\mathrm{Id}$ 要么是同构、要么是 $0$ ；它非单射，故必为 $0$ ，即 $T=\lambda\,\mathrm{Id}$ 。 $\blacksquare$

例（Schur 引理，在 $SU(2)$ 旋量上）. 取 2 维旋量表示（旋量 = $SU(2)$ 特有、 $SO(3)$ 接不住的那种表示态，转一整圈 $2\pi$ 会变号 $|\psi\rangle\to-|\psi\rangle$ ；详见附录二 §四），把两部分亲手验出来。

(b) 与整个群对易的只能是数乘. 设 $T=\begin{pmatrix}a&b\\c&d\end{pmatrix}$ 和每个旋转都对易。先要它和绕 $z$ 轴的 $R_z=\operatorname{diag}\!\big(e^{-i\theta/2},e^{i\theta/2}\big)$ 对易（对一切 $\theta$ ）： $TR_z=R_zT$ 比较两边，逼出 $b=c=0$ ， $T$ 只能对角。再要它和绕 $x$ 轴的 $R_x=\begin{pmatrix}\cos\frac{\theta}{2}&-i\sin\frac{\theta}{2}\\-i\sin\frac{\theta}{2}&\cos\frac{\theta}{2}\end{pmatrix}$ 对易，逼出 $a=d$ 。于是 $T=a\,\mathrm{Id}=\lambda\,\mathrm{Id}$ ——和整个 $SU(2)$ 对易的，只有数乘。这也等于又证了一遍旋量不可约（不可约 $\iff$ 交结代数只剩数乘）。

(a) 不同的不可约之间只有零. 旋量（2 维）与平凡表示（1 维，每个 $g\mapsto 1$ ）之间，交结算子是个行向量 $T=(p,q)$ ，要满足 $T R_z=1\cdot T$ 对一切 $\theta$ ：代入 $R_z$ 得 $\big(p\,e^{-i\theta/2},\ q\,e^{i\theta/2}\big)=(p,q)$ ，只能 $p=q=0$ 。两个不同构的不可约之间，唯一的交结算子是 $0$ ——正是 (a)。

平均化构造交结算子. 设 $(\rho_i,V_i)$ 、 $(\rho_j,V_j)$ 为不可约表示，维数 $n_i,n_j$ 。对任意线性映射 $\varphi\colon V_j\to V_i$ ，定义

T=\frac{1}{\lvert G\rvert}\sum_{g\in G}\rho_i(g)\,\varphi\,\rho_j(g)^{-1}.

它是交结算子：对任意 $h$ ，

\rho_i(h)\,T\,\rho_j(h)^{-1} =\frac{1}{\lvert G\rvert}\sum_g \rho_i(hg)\,\varphi\,\rho_j(hg)^{-1}=T,

即 $\rho_i(h)T=T\rho_j(h)$ 。于是由 Schur：

若 $i\neq j$ （不同构的不可约），则 $T=0$ ；
若 $i=j$ ，则 $T=\lambda\,\mathrm{Id}$ ，且取迹定 $\lambda$ ：

\operatorname{tr}T=\frac{1}{\lvert G\rvert}\sum_g\operatorname{tr}\big(\rho_i(g)\varphi\rho_i(g)^{-1}\big)=\frac{1}{\lvert G\rvert}\sum_g\operatorname{tr}\varphi=\operatorname{tr}\varphi, \qquad\lambda=\frac{\operatorname{tr}\varphi}{n_i}.

矩阵系数正交（Schur 正交关系）. 取 $\varphi=E_{bd}$ （在 $(b,d)$ 位置为 $1$ 、其余为 $0$ 的矩阵单位），写出 $T$ 的 $(a,c)$ 元：

(T)_{ac}=\frac{1}{\lvert G\rvert}\sum_g \rho_i(g)_{ab}\,\big(\rho_j(g)^{-1}\big)_{dc}.

代入上面两种情形的结论（ $i=j$ 时 $T=\tfrac{\operatorname{tr}E_{bd}}{n_i}\mathrm{Id}=\tfrac{\delta_{bd}}{n_i}\mathrm{Id}$ ）得

\frac{1}{\lvert G\rvert}\sum_g \rho_i(g)_{ab}\,\big(\rho_j(g)^{-1}\big)_{dc} =\frac{1}{n_i}\,\delta_{ij}\,\delta_{ac}\,\delta_{bd}.

由 §一可把每个不可约表示取成酉表示（用 $\langle\cdot,\cdot\rangle_G$ 标准正交基），于是被代换的第二因子 $\big(\rho_j(g)^{-1}\big)_{dc}=\big(\rho_j(g)^{*}\big)_{dc}=\overline{\rho_j(g)_{cd}}$ ，得到对称形式

\boxed{\ \frac{1}{\lvert G\rvert}\sum_{g}\rho_i(g)_{ab}\,\overline{\rho_j(g)_{cd}} =\frac{1}{n_i}\,\delta_{ij}\,\delta_{ac}\,\delta_{bd}.\ }

第一正交关系（不可约特征标正交）. 在类函数空间上定义内积

\langle\alpha,\beta\rangle=\frac{1}{\lvert G\rvert}\sum_{g\in G}\alpha(g)\,\overline{\beta(g)}.

利用 $\chi_i(g)=\sum_a\rho_i(g)_{aa}$ 、 $\chi_j(g)=\sum_c\rho_j(g)_{cc}$ 与上框：

\langle\chi_i,\chi_j\rangle =\frac{1}{\lvert G\rvert}\sum_g\Big(\sum_a\rho_i(g)_{aa}\Big)\overline{\Big(\sum_c\rho_j(g)_{cc}\Big)} =\sum_a\sum_c\underbrace{\frac{1}{\lvert G\rvert}\sum_g\rho_i(g)_{aa}\,\overline{\rho_j(g)_{cc}}}_{=\ \frac{1}{n_i}\delta_{ij}\delta_{ac}\delta_{ac}} =\frac{\delta_{ij}}{n_i}\sum_a\sum_c\delta_{ac}.

而 $\sum_a\sum_c\delta_{ac}=\sum_a 1=n_i$ ，故

\boxed{\ \langle\chi_i,\chi_j\rangle=\frac{1}{\lvert G\rvert}\sum_{g}\chi_i(g)\,\overline{\chi_j(g)}=\delta_{ij}.\ }

即：不同不可约表示的特征标相互正交，每个又是单位长度。于是不可约特征标构成类函数空间的一组标准正交向量，这就把”判断两个不可约表示是否同构""把一般表示分解成不可约成分并数出重数”全部化为内积计算（重数 $m_i=\langle\chi_\rho,\chi_i\rangle$ ）。

例（在 $S_3$ 上当场把正交关系验出来）. 取最小的非交换群 $S_3$ （ $|S_3|=6$ ，三个符号的置换）。它有 3 个共轭类—— $\{e\}$ 、三个对换 $\{(12),(13),(23)\}$ 、两个三循环 $\{(123),(132)\}$ ，大小各 $1,3,2$ ；恰好 3 个不可约表示：平凡 $\chi_1$ 、符号 $\chi_{\mathrm{sgn}}$ 、2 维标准表示 $\chi_{\mathrm{std}}$ （与附录五同名）。特征标表（行 = 不可约，列 = 共轭类）：

特征标	$\{e\}$ （1 个）	对换（3 个）	三循环（2 个）
$\chi_1$ （平凡）	$1$	$1$	$1$
$\chi_{\mathrm{sgn}}$ （符号）	$1$	$-1$	$1$
$\chi_{\mathrm{std}}$ （标准 2 维）	$2$	$0$	$-1$

用 $\langle\chi_i,\chi_j\rangle=\dfrac1{|G|}\sum_{\text{类}}|\text{类}|\,\chi_i\,\overline{\chi_j}$ （特征标全实，共轭可略）当场算：

每个单位长（ $\langle\chi,\chi\rangle=1$ 即不可约的判据）： $\langle\chi_{\mathrm{std}},\chi_{\mathrm{std}}\rangle=\tfrac16\big(1\cdot2^2+3\cdot0^2+2\cdot(-1)^2\big)=\tfrac16(4+0+2)=1,\quad \langle\chi_1,\chi_1\rangle=\langle\chi_{\mathrm{sgn}},\chi_{\mathrm{sgn}}\rangle=\tfrac16(1+3+2)=1.$
两两正交： $\langle\chi_1,\chi_{\mathrm{sgn}}\rangle=\tfrac16(1-3+2)=0,\quad \langle\chi_1,\chi_{\mathrm{std}}\rangle=\tfrac16(2+0-2)=0,\quad \langle\chi_{\mathrm{sgn}},\chi_{\mathrm{std}}\rangle=\tfrac16(2+0-2)=0.$

三个特征标确实构成标准正交组 $\langle\chi_i,\chi_j\rangle=\delta_{ij}$ ——这就是第一正交关系，看得见摸得着。顺带演示它的用处：把正则表示（正则表示 = 让群左乘作用在自身上、以群元为基得到的 $|G|$ 维表示，其特征标在单位元 $e$ 处 $=|G|$ 、别处 $=0$ ，故这里 $\chi_{\mathrm{reg}}=(6,0,0)$ ）按它们展开，重数 $m_i=\langle\chi_{\mathrm{reg}},\chi_i\rangle$ 给出 $m_1=1,\ m_{\mathrm{sgn}}=1,\ m_{\mathrm{std}}=2$ ，正好 $6=1^2+1^2+2^2$ （每个不可约出现 $\dim$ 次）——「数重数 = 算内积」当场兑现。

紧群版本与对附录的依赖. 对紧群（ $SO(3)$ 、 $SU(2)$ ）只需把 $\dfrac{1}{\lvert G\rvert}\sum_g$ 换成归一化 Haar 积分 $\displaystyle\int_G\cdots\,\mathrm{d}g$ ：Schur 引理对其有限维连续不可约表示同样成立，正交关系成为

\int_G \chi_i(g)\,\overline{\chi_j(g)}\,\mathrm{d}g=\delta_{ij}

（Peter–Weyl 定理给出完备性）。这条紧群正交关系是分解任意 $SO(3)$ 表示、数出重数的工具（附录二 §五确认每个 $\mathcal{H}_\ell$ 不可约）；而 $2\ell+1$ 维不可约块本身的存在与穷尽，则由附录二 的 $\mathfrak{su}(2)$ 升降阶梯 + $SU(2)\!\to\!SO(3)$ 双覆盖（双覆盖 = $SU(2)$ 每两个元素 $\pm g$ 恰好映到 $SO(3)$ 的同一个旋转， $2$ 比 $1$ ；详见附录二 §四）给出，不靠正交性。至于附录五（Burnside $p^a q^b$ 定理） 用的是有限群版本——它的证明正是建立在上面这条第一正交关系（及由此发展出的列正交关系与代数整数论证）之上。（对照 Fulton–Harris、Hall。）

附录二 · $SO(3)$ 的不可约表示：球面调和与 $2\ell+1$ （奇数维）

先说清我们为什么盯着这一批函数看。 正文 §3.二讲过：一个亚层里能容纳几个轨道，由 $SO(3)$ 旋转对称作用在电子状态上的”表示块”决定，而每个轨道的”形状”——化学课上的 $s,p,d,f$ ——正是一组叫球面调和 $Y_\ell^m$ 的函数。所以这批函数不是凭空冒出来的特殊函数：它们就是原子里电子能待的那些形状的实际波函数，是 $SO(3)$ 旋转对称作用在电子状态上的具体载体。

带着这个来意，本附录的走法是：先把这批函数显式摆出来（ $Y_\ell^m$ 表 + $s,p,d,f$ 形状），再从角动量代数的升降阶梯推出它们为什么恰好成组、每组大小只能是奇数 $2\ell+1$ 、且只有整数 $j$ 的那一半组落到 $SO(3)$ 。约定球坐标 $\theta\in[0,\pi]$ 为极角、 $\varphi\in[0,2\pi)$ 为方位角；归一化取单位球面 $L^2$ 标准正交、相位用物理学标准的 Condon–Shortley $(-1)^m$ 约定，使得 $\int_{S^2} Y_\ell^m\,\overline{Y_{\ell'}^{m'}}\,\mathrm{d}\Omega=\delta_{\ell\ell'}\delta_{mm'}$ （ $\mathrm{d}\Omega=\sin\theta\,\mathrm{d}\theta\,\mathrm{d}\varphi$ ）。取 $\hbar=1$ （只数维数）。

一、球面调和 $Y_\ell^m$ ：显式表

$\ell$	$m$	$Y_\ell^m(\theta,\varphi)$
$0$ (s)	$0$	$\displaystyle \tfrac12\sqrt{\tfrac{1}{\pi}}$
$1$ (p)	$0$	$\displaystyle \tfrac12\sqrt{\tfrac{3}{\pi}}\,\cos\theta$
	$\pm1$	$\displaystyle \mp\,\tfrac12\sqrt{\tfrac{3}{2\pi}}\,\sin\theta\,e^{\pm i\varphi}$
$2$ (d)	$0$	$\displaystyle \tfrac14\sqrt{\tfrac{5}{\pi}}\,(3\cos^2\theta-1)$
	$\pm1$	$\displaystyle \mp\,\tfrac12\sqrt{\tfrac{15}{2\pi}}\,\sin\theta\cos\theta\,e^{\pm i\varphi}$
	$\pm2$	$\displaystyle \tfrac14\sqrt{\tfrac{15}{2\pi}}\,\sin^2\theta\,e^{\pm 2i\varphi}$
$3$ (f)	$0$	$\displaystyle \tfrac14\sqrt{\tfrac{7}{\pi}}\,(5\cos^3\theta-3\cos\theta)$
	$\pm1$	$\displaystyle \mp\,\tfrac18\sqrt{\tfrac{21}{\pi}}\,\sin\theta\,(5\cos^2\theta-1)\,e^{\pm i\varphi}$
	$\pm2$	$\displaystyle \tfrac14\sqrt{\tfrac{105}{2\pi}}\,\sin^2\theta\cos\theta\,e^{\pm 2i\varphi}$
	$\pm3$	$\displaystyle \mp\,\tfrac18\sqrt{\tfrac{35}{\pi}}\,\sin^3\theta\,e^{\pm 3i\varphi}$

（表里每行 $m=+1,+3$ 取负号、 $m=-1,-3$ 取正号的" $\mp/\pm$ "，是下面一般式中 Condon–Shortley 相位 $(-1)^m$ 的体现。）每行 $m$ 的取值范围正是 $m=-\ell,\dots,\ell$ ，共 $2\ell+1$ 个： $\ell=0,1,2,3$ 分别给出 $1,3,5,7$ 个函数。

一般闭式与勒让德函数. 上表不是逐项凑出来的——它由一条通式、代入勒让德函数生成。

球面调和的一般闭式（ $m\ge 0$ ）：

Y_\ell^m(\theta,\varphi)=(-1)^m\sqrt{\frac{2\ell+1}{4\pi}\,\frac{(\ell-m)!}{(\ell+m)!}}\;P_\ell^m(\cos\theta)\;e^{im\varphi}.

负 $m$ 由共轭给出（这保证了取实组合时正负 $m$ 配得上对）：

Y_\ell^{-m}=(-1)^m\,\overline{Y_\ell^{m}}\qquad(m>0).

勒让德多项式 $P_\ell(x)$ （Rodrigues 公式——对 $(x^2-1)^\ell$ 求 $\ell$ 阶导再归一）：

P_\ell(x)=\frac{1}{2^\ell\,\ell!}\,\frac{d^\ell}{dx^\ell}\big(x^2-1\big)^{\ell}, \qquad P_0=1,\ \ P_1=x,\ \ P_2=\tfrac12(3x^2-1),\ \ P_3=\tfrac12(5x^3-3x).

连带勒让德函数 $P_\ell^m(x)$ （ $0\le m\le\ell$ ）：在 $P_\ell$ 上求 $m$ 阶导、再配一个 $(1-x^2)^{m/2}$ ：

P_\ell^m(x)=\big(1-x^2\big)^{m/2}\,\frac{d^m}{dx^m}\,P_\ell(x),\qquad P_\ell^0=P_\ell .

约定（别把相位算两遍）.

这里的 $P_\ell^m$

不带

Condon–Shortley 的 $(-1)^m$ 相位——相位已经放进上面的 $Y_\ell^m$ 里了。 $(-1)^m$ 在 $P$ 和 $Y$ 两侧各放一次就会

双重计数

；本系列统一把它放在 $Y$ 这一侧（与上表一致）。

表就是代进去生成的. 取 $x=\cos\theta$ （于是 $\sqrt{1-x^2}=\sin\theta$ ，因 $\theta\in[0,\pi]$ ）：

$\ell=1,\ m=0$ ： $P_1(\cos\theta)=\cos\theta\ \Rightarrow\ Y_1^0=\sqrt{\tfrac{3}{4\pi}}\,\cos\theta=\tfrac12\sqrt{\tfrac{3}{\pi}}\,\cos\theta.$
$\ell=2,\ m=0$ ： $P_2(\cos\theta)=\tfrac12(3\cos^2\theta-1)\ \Rightarrow\ Y_2^0=\sqrt{\tfrac{5}{4\pi}}\cdot\tfrac12(3\cos^2\theta-1)=\tfrac14\sqrt{\tfrac{5}{\pi}}\,(3\cos^2\theta-1).$
$\ell=2,\ m=1$ ： $P_2^1(\cos\theta)=(1-\cos^2\theta)^{1/2}\cdot 3\cos\theta=3\sin\theta\cos\theta$ ，于是 $Y_2^1=(-1)^1\sqrt{\tfrac{5}{4\pi}\tfrac{1!}{3!}}\cdot 3\sin\theta\cos\theta\,e^{i\varphi} =-\tfrac12\sqrt{\tfrac{15}{2\pi}}\,\sin\theta\cos\theta\,e^{i\varphi},$ 其中 $\sqrt{\tfrac{5}{4\pi}\cdot\tfrac16}\cdot 3=\sqrt{\tfrac{45}{24\pi}}=\sqrt{\tfrac{15}{8\pi}}=\tfrac12\sqrt{\tfrac{15}{2\pi}}$ 。

上表 $\ell=0\sim3$ 的每一项都这么由 $P_\ell^m$ 代 $x=\cos\theta$ 生成，与表中数值逐项吻合。（对照 Sakurai《Modern Quantum Mechanics》附录、Hall。）

二、实组合与轨道形状： $s, p, d, f$

复球谐 $Y_\ell^m$ 是 $J_z$ 的本征函数（带 $e^{im\varphi}$ ）。要看化学里熟悉的”实轨道”形状，取实线性组合（ $m>0$ 取余弦型、 $m<0$ 取正弦型）：

Y_{\ell,m}^{\cos}=\frac{1}{\sqrt2}\big(Y_\ell^{-m}+(-1)^m Y_\ell^{m}\big),\qquad Y_{\ell,m}^{\sin}=\frac{i}{\sqrt2}\big(Y_\ell^{-m}-(-1)^m Y_\ell^{m}\big),\qquad Y_{\ell,0}=Y_\ell^0 .

（由 $\overline{Y_\ell^{m}}=(-1)^m Y_\ell^{-m}$ 直接验证这两组合均为实函数。）

$\ell=0$ （s 轨道， $2\ell+1=1$ ）. 只有 $Y_0^0=$ 常数，与 $\theta,\varphi$ 无关 $\Rightarrow$ 一个球。
$\ell=1$ （p 轨道， $2\ell+1=3$ ）. 三个函数化成实形式后正比于 $x/r,\ y/r,\ z/r$ ： $p_z\propto Y_1^0\propto\cos\theta\propto \tfrac{z}{r},\quad p_x\propto\tfrac{1}{\sqrt2}(Y_1^{-1}-Y_1^{1})\propto\sin\theta\cos\varphi\propto\tfrac{x}{r},\quad p_y\propto\tfrac{i}{\sqrt2}(Y_1^{-1}+Y_1^{1})\propto\sin\theta\sin\varphi\propto\tfrac{y}{r}.$ 即沿 $x,y,z$ 三轴的三个哑铃。
$\ell=2$ （d 轨道， $2\ell+1=5$ ）. 五个实组合分别正比于 $d_{z^2}\propto 3z^2-r^2,\quad d_{xz}\propto xz,\quad d_{yz}\propto yz,\quad d_{x^2-y^2}\propto x^2-y^2,\quad d_{xy}\propto xy,$ 即四个四瓣花瓣形（ $d_{xy},d_{xz},d_{yz},d_{x^2-y^2}$ ）加一个 $d_{z^2}$ （沿 $z$ 的双瓣套一圈 $xy$ 平面环）。共 $5$ 个。
$\ell=3$ （f 轨道， $2\ell+1=7$ ）. 同理给出 $7$ 个更复杂的瓣状轨道。

于是化学元素周期表里 s/p/d/f 亚层各容纳 $1,3,5,7$ 个轨道，正是 $SO(3)$ 各不可约表示的维数 $2\ell+1$ （ $\ell=0,1,2,3$ ）——空间旋转对称性直接决定了亚层的简并度。（对照 Sakurai、Hall。）

三、角动量代数的升降阶梯：每个不可约块维数 $=2j+1$

直接盯着 $SO(3)$ 这个连续群不好下手（它有无穷多元素）。但一个连续群的表示，完全由它的无穷小生成元和它们的对易关系控制——也就是它的李代数。（“对易关系”说的是两个操作交换次序差多少：记 $[A,B]:=AB-BA$ ，它量的是”先 $A$ 后 $B$ “与”先 $B$ 后 $A$ “之间的差；等于 $0$ 就表示谁先谁后都一样。转动恰恰不对易——先绕 $x$ 转、再绕 $y$ 转，和反过来，结果并不相同——这点差别正是下面这条关系式的内容。） $SO(3)$ 的生成元就是三个角动量算符 $J_x,J_y,J_z$ （绕三根轴的无穷小旋转），它们的对易关系是

[J_i,\,J_j]=i\,\epsilon_{ijk}J_k \qquad(\text{即 }[J_x,J_y]=iJ_z\text{ 等三条循环}).\tag{1}

（ $\epsilon_{ijk}$ = 全反对称符号： $(123)$ 及其循环取 $+1$ 、交换任两个脚标变号、有重复脚标取 $0$ ——它把三条对易关系打包成了一行。）这个代数记作 $\mathfrak{so}(3)$ ；它和 $\mathfrak{su}(2)$ 同构（同一套对易关系）——这一点在后面 §四是要害：正因为两个代数是同一套， $SU(2)$ 和 $SO(3)$ 才共用同一批表示，§四才能借 $SU(2)$ 来挑： $SU(2)$ 把所有 $j$ 的表示都收下， $SO(3)$ 只要整数- $j$ 那一半（奇数维）。一个”操作块”（不可约表示）就是一组同时载着 $J_x,J_y,J_z$ 作用、又再也拆不出更小不变子空间的态。我们要问：这样的块，能有多大？

升降算符。 不用 $J_x,J_y$ ，改用

J_\pm := J_x\pm iJ_y,\qquad [J_z,J_\pm]=\pm J_\pm,\qquad [J_+,J_-]=2J_z. \tag{2}

（(2) 由 (1) 直接算出；对照 Sakurai eq. 3.157–3.158。）第一条 $[J_z,J_\pm]=\pm J_\pm$ 是关键：” $J_\pm$ 把 $J_z$ 的本征值抬高/降低 $1$ “——若 $J_z|m\rangle=m|m\rangle$ ，则

J_z\,(J_\pm|m\rangle)=(J_\pm J_z\pm J_\pm)|m\rangle=(m\pm1)\,(J_\pm|m\rangle).\tag{3}

所以 $J_\pm|m\rangle$ 要么是 $0$ ，要么是本征值 $m\pm1$ 的新态。 $J_\pm$ 就是沿 $J_z$ 本征值这架”梯子”上下爬的算符。

它们当然能写成矩阵。 在一个 $2j+1$ 维的块上， $J_z,J_\pm$ 就是 $(2j+1)\times(2j+1)$ 的具体矩阵。最小的 $j=\tfrac12$ （ $2$ 维）最干净——记上态 $|{+}\tfrac12\rangle=\binom{1}{0}$ 、下态 $|{-}\tfrac12\rangle=\binom{0}{1}$ ：

J_z=\tfrac12\begin{pmatrix}1&0\\ 0&-1\end{pmatrix},\qquad J_+=\begin{pmatrix}0&1\\ 0&0\end{pmatrix},\qquad J_-=\begin{pmatrix}0&0\\ 1&0\end{pmatrix}.

一眼可验上面那套抽象关系： $J_+$ 把下态抬成上态、再抬就归零（ $J_+^2=0$ ，正是”梯子顶端” $J_+|{+}\tfrac12\rangle=0$ ）； $J_-$ 反过来；而 $[J_+,J_-]=\begin{pmatrix}1&0\\0&-1\end{pmatrix}=2J_z$ ，跟 (2) 对上。顺带把泡利矩阵也写全（它们正是 $j=\tfrac12$ 这块的三个生成元 $J_i=\tfrac12\sigma_i$ ）：

\sigma_1=\begin{pmatrix}0&1\\ 1&0\end{pmatrix},\qquad \sigma_2=\begin{pmatrix}0&-i\\ i&0\end{pmatrix},\qquad \sigma_3=\begin{pmatrix}1&0\\ 0&-1\end{pmatrix};

于是 $J_z=\tfrac12\sigma_3$ 、 $J_\pm=J_x\pm iJ_y=\tfrac12(\sigma_1\pm i\sigma_2)$ 正好给出上面那两个升降矩阵——和 §3-四规范力、以及前面小课里出现的 $\sigma$ 是同一批东西。（更高的 $j$ 同理，只是矩阵更大；正交归一基下每一格由标准式 $\sqrt{j(j+1)-m(m\pm1)}$ 给出——注意这跟 (7) 里未归一 $u_k$ 基的系数 $k(2j{-}k{+}1)$ 不同，两者只在 $j=\tfrac12$ 重合。）

代数分类：每个有限维不可约块的维数恰是 $2j+1$ 。

设 $V$ 是一个有限维不可约表示。 $J_z$ 在 $\mathbb{C}$ 上至少有一个本征向量，设其本征值为某个数。反复用 $J_+$ 往上爬（(3)），得到一串本征值 $m,m+1,m+2,\dots$ ，两两不同。可 $V$ 维数有限、 $J_z$ 只能有有限个本征值——这串不可能无限涨下去，必然撞到 $0$ ：

\exists\ |\,j\rangle\neq0:\quad J_+|\,j\rangle=0,\qquad J_z|\,j\rangle=j\,|\,j\rangle.\tag{4}

把这个被 $J_+$ 湮灭的顶端叫最高权态，顶端本征值记作 $j$ （对照 Sakurai eq. 3.169 的 $b_{\max}$ ）。现在从顶端用 $J_-$ 往下生成：

u_k:=J_-^{\,k}|\,j\rangle\quad(k=0,1,2,\dots),\qquad J_z u_k=(j-k)\,u_k.\tag{5}

本征值 $j,j-1,j-2,\dots$ 又两两不同，又因有限维必须终止：存在 $n\ge0$ 使

u_n\neq0,\qquad u_{n+1}=J_-^{\,n+1}|\,j\rangle=0.\tag{6}

关键一算：对 $u_k$ 反复用 $J_+$ ，由 $J_+J_-=J_-J_++[J_+,J_-]=J_-J_++2J_z$ 加 (4) 归纳可得

J_+\,u_k=k\,(2j-k+1)\,u_{k-1}.\tag{7}

例（升降系数， $j=1$ 当场算）. 取 $j=1$ （三个态 $u_0,u_1,u_2$ ， $J_z$ 本征值 $1,0,-1$ ）。式 (7) $J_+u_k=k(2j-k+1)u_{k-1}$ 给：

J_+u_1=1\cdot(2{\cdot}1-1+1)\,u_0=2\,u_0,\qquad J_+u_2=2\cdot(2{\cdot}1-2+1)\,u_1=2\,u_1.

系数都是 $2$ （不是 $1$ ）——这说明 (7) 是未归一化的递推系数；要换成物理书里 $J_+|j,m\rangle=\sqrt{j(j+1)-m(m+1)}\,|j,m{+}1\rangle$ 那种形式（ $j{=}1,m{=}0{\to}1$ 给 $\sqrt2$ ，与 $2$ 不同），把 $u_k$ 各除以自身模长即可。

（归纳： $J_+u_k=J_+J_-u_{k-1}=J_-J_+u_{k-1}+2J_zu_{k-1}=[(k{-}1)(2j{-}k{+}2)+2(j{-}k{+}1)]u_{k-1}=k(2j{-}k{+}1)u_{k-1}$ 。）现在把 $J_+$ 作用在 (6) 的零向量 $u_{n+1}$ 上：

0=J_+u_{n+1}=(n+1)(2j-n)\,u_n.\tag{8}

$u_n\neq0$ 、 $n+1\neq0$ ，所以必有 $2j-n=0$ ，即

\boxed{\,j=\tfrac{n}{2},\quad n=0,1,2,\dots\ \Longrightarrow\ j\in\{0,\tfrac12,1,\tfrac32,2,\dots\}\,}\tag{9}

这串态 $u_0,\dots,u_n$ 本征值从 $j$ 一路到 $j-n=-j$ ，共 $n+1=2j+1$ 个，互不相同故线性无关；它们张成的子空间在 $J_z,J_\pm$ （从而整个代数）下封闭。 $V$ 不可约 $\Rightarrow$ 这个子空间就是 $V$ 。于是

\dim V=2j+1,\qquad J_z\text{ 本征值}=j,j-1,\dots,-j\ (\text{即 }m=-j,\dots,j).\tag{10}

顺带：在整个块上 $J^2:=J_x^2+J_y^2+J_z^2=j(j+1)\,\mathbb{1}$ （这个 $J^2$ 就是与所有 $J_i$ 都对易的不变量、叫 Casimir；它在整块上取单一本征值，正是”一个再也拆不开的块”的标志；符号核验 = 我们另用符号计算逐例核验，属内部校验流程、非数学术语——这里已逐个 $j$ 验过）。

完备性（“且这就是全部”）。 反过来，对每个 $j\in\{0,\tfrac12,1,\dots\}$ 用 (5)(7) 的系数恰好造得出一个 $2j+1$ 维表示，且任意两个同维的不可约表示同构、任意有限维不可约表示都同构于其中之一——这就是 Hall Thm 4.32 严格证明的内容（Sakurai 只构造、不证完备）。

小结（§三）：代数 $\mathfrak{su}(2)\cong\mathfrak{so}(3)$ 的有限维不可约块，维数恰好遍历 $2j+1$ ， $j=0,\tfrac12,1,\tfrac32,\dots$ ——也就是维数 $1,2,3,4,5,\dots$ 全都有。注意：奇维偶维都出现了。光靠代数，还选不出”只有奇维”。

四、双覆盖：只有整数 $j$ （奇数维 $2\ell+1$ ）落到 $SO(3)$

$\mathfrak{so}(3)\cong\mathfrak{su}(2)$ 是同一个代数，可它们对应两个不同的群： $SU(2)$ 与 $SO(3)$ 。两者的关系是一个 2 比 1 的双重覆盖

SU(2)\ \xrightarrow{\ 2:1\ }\ SO(3),\qquad \ker=\{+\mathbb{1},-\mathbb{1}\},\qquad SO(3)=SU(2)/\{\pm\mathbb{1}\}.\tag{11}

（ $\pm\mathbb{1}$ 这两个 $SU(2)$ 元素映到同一个旋转——恒等旋转。）一个代数表示总能积分成 $SU(2)$ 的表示——因为 $SU(2)$ 单连通（单连通 = 空间里任何闭合回路都能连续收缩成一点，「没有洞」；正是它保证李代数的每个表示能唯一地”积分”回群表示）：由李群–李代数对应（单连通群的特权，见 Hall §5.7）， $\mathfrak{su}(2)$ 的每个表示都唯一地”积分”成 $SU(2)$ 的群表示（ $SO(3)$ 非单连通，没有这个保证，这正是要绕道 $SU(2)$ 的原因）。这个 $SU(2)$ 表示再能落成 $SO(3)$ 的表示，当且仅当它在覆盖核 $\{\pm\mathbb1\}$ 上平凡，即

\pi_j(-\mathbb1)=\mathbb1.\tag{12}

算 $\pi_j(-\mathbb1)$ 。 $-\mathbb1\in SU(2)$ 正是”转 $2\pi$ “那个元素（绕任意轴转一整圈：在 $SO(3)$ 里是恒等，在 $SU(2)$ 里是 $-\mathbb1$ ）。绕 $z$ 轴转 $2\pi$ 在 spin- $j$ 块上就是 $e^{-2\pi i J_z}$ ，作用在 $|m\rangle$ 上给 $e^{-2\pi i m}$ 。由 (10)， $m$ 取 $j,j-1,\dots,-j$ ，每个 $m$ 都与 $j$ 相差整数，故 $e^{-2\pi i m}=e^{-2\pi i j}=(-1)^{2j}$ 对所有 $m$ 一致：

\boxed{\,\pi_j(-\mathbb1)=e^{-2\pi i J_z}=(-1)^{2j}\,\mathbb1\,}\tag{13}

（符号核验已对 $j=0,\tfrac12,1,\tfrac32,2$ 逐个验证。）代入 (12)：

\pi_j\ \text{落到}\ SO(3)\iff(-1)^{2j}=1\iff 2j\ \text{偶}\iff j\ \text{整数}\iff \dim=2j+1\ \textbf{奇}.\tag{14}

于是分两类，干净利落： - $j$ 整数（ $j=\ell=0,1,2,\dots$ ，维数 $2\ell+1=1,3,5,7,\dots$ 奇）：落到 $SO(3)$ ，是真正的旋转表示——这就是 §3 那些球对称下的”操作块”，对应球面调和 $Y_\ell^m$ 、轨道 $s,p,d,f$ 。 - $j$ 半整数（维数 $2,4,6,\dots$ 偶）： $\pi_j(-\mathbb1)=-\mathbb1\neq\mathbb1$ ，落不到 $SO(3)$ ，是 $SU(2)$ 专属的旋量表示（转 $2\pi$ 把态变成它的相反数 $-|\psi\rangle$ ——这就是著名的自旋 ½ 符号，实验可测）。最小的 $j=\tfrac12$ （维数 $2$ ）正是电子自旋。

例（奇偶选择，从指数读出来）. 把 $\pi_j(-\mathbb1)=e^{-2\pi i J_z}$ 在 $|m\rangle$ 上的值 $e^{-2\pi i m}$ 逐 $m$ 代： - $j=\tfrac12$ ： $m=\pm\tfrac12$ ， $e^{-2\pi i(\pm1/2)}=e^{\mp i\pi}=-1$ $\Rightarrow$ $\pi_{1/2}(-\mathbb1)=-\mathbb1\ne\mathbb1$ ，落不到 $SO(3)$ （自旋 ½ 旋量， $SU(2)$ 专属）； - $j=1$ ： $m=-1,0,1$ ， $e^{-2\pi i m}=1$ （ $m$ 整数） $\Rightarrow$ $\pi_1(-\mathbb1)=\mathbb1$ ，落到 $SO(3)$ （3 维 $p$ 块）。

半整数 $j$ 给 $-1$ 、整数 $j$ 给 $+1$ ——奇偶分类直接从指数 $e^{-2\pi im}$ 上读出来。（已符号核验。）

这就证完了 §3 用而未证的那句： $SO(3)$ 的不可约操作块恰好是全体奇数维 $2\ell+1$ （ $\ell=0,1,2,\dots$ ），再无别的——§三给”块的维数只能是 $2j+1$ 且这是全部”，§四在其中挑出整数 $j$ = 奇维。 $\blacksquare$

五、换一条路：从调和多项式直接数出 $\dim\mathcal H_\ell=2\ell+1$

把球面上的 $Y_\ell^m$ 与三维空间里的齐次调和多项式对应起来，维数立刻浮现。

调和齐次多项式空间. 设

\mathcal{H}_\ell=\{\,p(x,y,z)\ \text{为 }\ell\ \text{次齐次多项式},\ \Delta p=0\,\}, \qquad \Delta=\partial_x^2+\partial_y^2+\partial_z^2.

三元 $\ell$ 次齐次多项式空间 $P_\ell$ 的维数为 $\binom{\ell+2}{2}=\tfrac{(\ell+1)(\ell+2)}{2}$ （单项式 $x^ay^bz^c$ 、 $a+b+c=\ell$ 的个数，隔板法）。Laplace 算子 $\Delta$ 把 $\ell$ 次齐次映到 $\ell-2$ 次齐次，且这个映射 $\Delta\colon P_\ell\to P_{\ell-2}$ 是满射——这是关键且非平凡的一步，证如下：乘 $r^2=x^2+y^2+z^2$ 给出单射 $r^2\!\cdot(-)\colon P_{\ell-2}\hookrightarrow P_\ell$ ；在 Fischer（apolar）内积 $\langle p,q\rangle=\big(p(\partial)\,\overline{q}\big)\big|_0$ 下，“乘 $r^2$ “的伴随恰是 $\Delta$ （相差正常数），而单射的伴随必满射，故 $\Delta$ 满。（等价地：经典分解 $P_\ell=\mathcal{H}_\ell\oplus r^2P_{\ell-2}$ ，见 Stein–Weiss 或 Axler–Bourdon–Ramey《Harmonic Function Theory》Ch.5。）由满射与秩–零度定理，

\dim\mathcal{H}_\ell=\dim P_\ell-\dim P_{\ell-2} =\frac{(\ell+1)(\ell+2)}{2}-\frac{(\ell-1)\ell}{2} =\frac{(\ell^2+3\ell+2)-(\ell^2-\ell)}{2}=\frac{4\ell+2}{2}=2\ell+1.

（ $\ell=0,1$ 时目标 $P_{\ell-2}=0$ ， $\Delta$ 平凡满、 $\mathcal{H}_\ell=P_\ell$ ，给出 $\dim=1,3$ ；实质内容在 $\ell\ge2$ 。）

例（ $\ell=2$ 当场数出 $5$ ）. 三元二次齐次多项式 $P_2$ 有 6 个单项式基 $x^2,y^2,z^2,xy,xz,yz$ ，故 $\dim P_2=\binom{4}{2}=6$ 。Laplace 算子 $\Delta=\partial_x^2+\partial_y^2+\partial_z^2$ 把它们打到常数空间 $P_0$ （ $\dim=1$ ）：

\Delta x^2=\Delta y^2=\Delta z^2=2,\qquad \Delta(xy)=\Delta(xz)=\Delta(yz)=0,

像空间就是常数（ $\dim 1$ ）。于是调和的（ $\Delta p=0$ ）那一块 $\dim\mathcal H_2=6-1=5$ ，一组基正是

xy,\quad xz,\quad yz,\quad x^2-y^2,\quad 3z^2-r^2\quad(r^2=x^2+y^2+z^2),

（验： $\Delta(x^2-y^2)=2-2=0$ ； $\Delta(3z^2-r^2)=\Delta(2z^2-x^2-y^2)=4-2-2=0$ ，都调和）——恰好 5 个，正是 $\ell=2$ 的五个 $d$ 轨道 $d_{xy},d_{xz},d_{yz},d_{x^2-y^2},d_{z^2}$ （与附录二 §二的实组合一一对上）。 $2\ell+1=5$ 在这里是数出来的。

$SO(3)$ 在其上的作用. $SO(3)$ 通过 $(R\cdot p)(\mathbf{x})=p(R^{-1}\mathbf{x})$ 作用在多项式上。旋转是线性变换，保持次数；又因为 $\Delta$ 旋转不变（ $R$ 正交， $\Delta(p\circ R^{-1})=(\Delta p)\circ R^{-1}$ ），所以保持调和性。故 $\mathcal{H}_\ell$ 是 $SO(3)$ 的一个 $2\ell+1$ 维表示。

与球面调和的对应. 把齐次多项式限制到单位球面 $S^2$ 。限制映射 $\mathcal{H}_\ell\to C(S^2)$ 是单射：齐次多项式由其在球面上的值完全决定（ $p(\mathbf{x})=\lvert\mathbf{x}\rvert^{\ell}\,p(\mathbf{x}/\lvert\mathbf{x}\rvert)$ ）。其像恰是 $\ell$ 次球面调和张成的空间，故

\mathcal{H}_\ell\;\cong\;\operatorname{span}\{\,Y_\ell^{m}\ :\ m=-\ell,\dots,\ell\,\}, \qquad \dim=2\ell+1.

不可约性（接本附录 §三的升降阶梯）. $Y_\ell^m$ 是角动量算符的共同本征函数。这里的角动量算符 $J_z,J_\pm$ 即本附录 §三中作用在整数- $j=\ell$ 块上的同一套生成元（物理书在轨道角动量语境常记作 $L$ ， $J=L$ ）：

J^2 Y_\ell^m=\ell(\ell+1)Y_\ell^m,\quad J_z Y_\ell^m=m\,Y_\ell^m,\quad J_\pm Y_\ell^m\;\propto\;Y_\ell^{m\pm1}\quad(J_+Y_\ell^{\ell}=0,\ J_-Y_\ell^{-\ell}=0).

任何 $SO(3)$ -不变子空间 $W\subseteq\mathcal{H}_\ell$ 在李代数生成元 $J_z,J_\pm$ 下保持。由于 $J_z$ 的本征值 $m=-\ell,\dots,\ell$ 两两不同，可先用 $J_z$ 的多项式把 $W$ 中任一非零向量投影到某个单一本征函数 $Y_\ell^{m_0}$ ；再反复用 $J_\pm$ 即走遍全部 $Y_\ell^{-\ell},\dots,Y_\ell^{\ell}$ 。故不存在真非零不变子空间， $\mathcal{H}_\ell$ 不可约。这与本附录 §三里” $\mathfrak{so}(3)$ 升降阶梯只有一条、长度 $2\ell+1$ “是同一件事。

结论： $2\ell+1$ 就是 $SO(3)$ 这一不可约表示的维数， $m=-\ell,\dots,\ell$ 给它的一组标准正交基贴上标签。

六、最小三例（把抽象落地）

$j=0$ （维数 $1$ ）：平凡表示， $J_x=J_y=J_z=0$ 。转什么都不变的标量—— $s$ 轨道（球对称）。
$j=\tfrac12$ （维数 $2$ ）： $J_i=\tfrac12\sigma_i$ （Pauli 矩阵）。 $\pi(-\mathbb1)=-\mathbb1$ ，落不到 $SO(3)$ —— $SU(2)$ 专属的旋量 = 电子自旋。它就是 §3 那个”每个轨道 ×2”的 $2$ 的来历，也是 §2” $SU(2)$ 双覆盖 $SO(3)$ “埋的线在这里兑现。
$j=1$ （维数 $3$ ）： $\pi(-\mathbb1)=+\mathbb1$ ，落到 $SO(3)$ ——这是 $SO(3)$ 在标量之外第一个真旋转块，就是普通三维空间里”转一个矢量”那套（ $2\cdot1+1=3$ ），对应 $p$ 轨道。

七、回到 §3： $2,6,10,14$ 站在地基上

§3 正文数出的子壳层容量

2(2\ell+1)=2,6,10,14\quad(\ell=0,1,2,3=s,p,d,f)

现在两个因子都有了严格出处：奇数维 $2\ell+1$ = $SO(3)$ 的整数- $j$ 不可约块 [本附录 §三+§四]；因子 $2$ = $SU(2)$ 的 $j=\tfrac12$ 旋量（电子自旋，§3 的泡利不相容那条）。“能装 $10$ 个电子的 $d$ 轨道存在，因为 $SO(3)$ 有个 $5$ 维操作块”——这个 $5=2\cdot2+1$ ，正是 (14) 选出的、 $\ell=2$ 的那个整数- $j$ 奇维块。

附录三 · 从 Dirac 方程推出电子的自旋 ½

§3-三把”电子是自旋 ½”当结论用。这里证电子

物理上为什么

实现它——相对论 + 一阶波动方程

导出

一个 4 分量旋量场、其转动生成元恰是 $\tfrac12\Sigma$ （对照 Peskin《An Introduction to QFT》§3.2 eq 3.22/3.23/3.25/3.27；证在文内自足）。和

附录二

的接口：那边（附录二）证”自旋 ½ 作为表示存在”（ $j{=}\tfrac12$ 旋量、落不到 $SO(3)$ ）；本附录证”电子恰好就是它”——§5 转 $2\pi\to-1$ 正对上附录二的 (13)，两块地基合龙。

取自然单位 $\hbar=c=1$ ，度规 $g^{\mu\nu}=\mathrm{diag}(+,-,-,-)$ 。

1. 相对论 + 一阶：Dirac 方程的形状

非相对论的薛定谔方程对时间是一阶、对空间二阶——时空地位不平等，不满足相对论。最直接的相对论方程是 Klein–Gordon：

(\partial^\mu\partial_\mu+m^2)\,\phi=0,\tag{1}

（记号约定：指标 $\mu$ 跑遍时空四个分量 $0,1,2,3$ ； $\partial_\mu$ 是对第 $\mu$ 个坐标的偏导；同一项里上下重复的指标默认求和（Einstein 约定），如 $\partial^\mu\partial_\mu=\partial_t^2-\nabla^2$ ；上、下指标之间用度规 $g^{\mu\nu}=\mathrm{diag}(+,-,-,-)$ 互换。）它来自相对论能动量关系 $E^2=\mathbf p^2+m^2$ 。但它对时间是二阶的，历史上带来过”概率密度不正定”的麻烦。Dirac 的想法：找一个对时间（从而对所有 $\partial_\mu$ ）都是一阶的相对论方程。一阶、且各分量线性、又要 Lorentz 协变（Lorentz 变换 = 狭义相对论里不同惯性系之间的时空坐标变换，含空间转动与速度推促；协变即方程在这些变换下形式不变），最一般的写法是引进一组常数矩阵 $\gamma^\mu$ ：

(i\gamma^\mu\partial_\mu-m)\,\psi=0.\tag{2}

这里 $\psi$ 暂时还不知道有几个分量、 $\gamma^\mu$ 还不知道是几阶矩阵——下面由自洽性导出来。

2. 自洽性导出 Clifford 代数

相对论的硬约束没变： $\psi$ 的每一个分量仍必须满足能动量关系，即满足 Klein–Gordon (1)。怎么从 (2) 导出 (1)？拿算符 $(i\gamma^\nu\partial_\nu+m)$ 从左乘 (2)：

(i\gamma^\nu\partial_\nu+m)(i\gamma^\mu\partial_\mu-m)\psi=-\big(\gamma^\nu\gamma^\mu\partial_\nu\partial_\mu+m^2\big)\psi=0.\tag{3}

$\partial_\nu\partial_\mu$ 对 $\mu,\nu$ 对称，所以只有 $\gamma^\nu\gamma^\mu$ 的对称部分起作用： $\gamma^\nu\gamma^\mu\partial_\nu\partial_\mu=\tfrac12\{\gamma^\mu,\gamma^\nu\}\partial_\mu\partial_\nu$ 。要让 (3) 正好回到 Klein–Gordon (1)（即 $\partial^\mu\partial_\mu+m^2=g^{\mu\nu}\partial_\mu\partial_\nu+m^2$ ），就必须

\boxed{\ \{\gamma^\mu,\gamma^\nu\}=\gamma^\mu\gamma^\nu+\gamma^\nu\gamma^\mu=2g^{\mu\nu}\,\mathbb1\ }\tag{4}

这就是 Clifford 代数（Peskin eq. 3.22）。它不是假设、是”一阶 + 相对论”两条要求导出来的： $\gamma^\mu$ 必须两两反对易，且 $(\gamma^0)^2=+\mathbb1$ 、 $(\gamma^i)^2=-\mathbb1$ 。

3. 最小的解是 4×4：所以 $\psi$ 有 4 个分量

满足 (4) 的 $\gamma^\mu$ 至少要多大？要四个矩阵两两反对易、且一个平方 $+1$ 、三个平方 $-1$ 。 $1\times1$ （普通数）显然不行（数都对易）。 $2\times2$ 也不够： $2\times2$ 里互相反对易的矩阵最多只有三个（正是 Pauli 矩阵 $\sigma^1,\sigma^2,\sigma^3$ ），凑不出四个。能容纳四个的最小矩阵是 $4\times4$ 。一组标准选择是 Weyl（手征）基（Peskin eq. 3.25， $2\times2$ 分块）：

\gamma^0=\begin{pmatrix}0&\mathbb1\\\mathbb1&0\end{pmatrix},\qquad \gamma^i=\begin{pmatrix}0&\sigma^i\\-\sigma^i&0\end{pmatrix}.\tag{5}

（代进 (4) 一验便知成立——符号核验已对 16 个 $\{\gamma^\mu,\gamma^\nu\}$ 全验过。）于是 (2) 里的 $\psi$ 必须是4 个分量的对象——它不是标量、也不是普通矢量，是一种新东西，叫 Dirac 旋量。“为什么是 4”到此有了答案： $4$ 是 Clifford 代数在 $3{+}1$ 维的最小忠实维数（忠实 = 不同的元素配到不同的矩阵，即表示是单射、不把信息压扁）。

例（亲手验 Clifford 代数）. 拿 (5) 的 Weyl 基抽几对， $2\times2$ 分块直接验 $\{\gamma^\mu,\gamma^\nu\}=2g^{\mu\nu}\mathbb1$ （要用 $(\sigma^i)^2=\mathbb1$ 、 $\sigma^i\sigma^j+\sigma^j\sigma^i=2\delta^{ij}$ ）：

$\{\gamma^0,\gamma^0\}$ ： $(\gamma^0)^2=\left(\begin{smallmatrix}0&\mathbb1\\\mathbb1&0\end{smallmatrix}\right)^2=\left(\begin{smallmatrix}\mathbb1&0\\0&\mathbb1\end{smallmatrix}\right)=\mathbb1_4$ ，故 $\{\gamma^0,\gamma^0\}=2\mathbb1_4=2g^{00}\mathbb1$ （ $g^{00}{=}{+}1$ ）✓
$\{\gamma^1,\gamma^1\}$ ： $(\gamma^1)^2=\left(\begin{smallmatrix}0&\sigma^1\\-\sigma^1&0\end{smallmatrix}\right)^2=\left(\begin{smallmatrix}-(\sigma^1)^2&0\\0&-(\sigma^1)^2\end{smallmatrix}\right)=-\mathbb1_4$ ，故 $=-2\mathbb1_4=2g^{11}\mathbb1$ （ $g^{11}{=}{-}1$ ）✓
$\{\gamma^0,\gamma^1\}$ （时空混合）： $\gamma^0\gamma^1=\left(\begin{smallmatrix}-\sigma^1&0\\0&\sigma^1\end{smallmatrix}\right)$ 、 $\gamma^1\gamma^0=\left(\begin{smallmatrix}\sigma^1&0\\0&-\sigma^1\end{smallmatrix}\right)$ ，相加 $=0=2g^{01}\mathbb1$ （ $g^{01}{=}0$ ）✓
$\{\gamma^1,\gamma^2\}$ （空间混合）：分块各得 $-(\sigma^1\sigma^2+\sigma^2\sigma^1)=-\{\sigma^1,\sigma^2\}=0$ （Pauli 反对易），故 $=0=2g^{12}\mathbb1$ ✓

四类（时—时、空—空、时—空、空—空）全中。十六个 $\{\gamma^\mu,\gamma^\nu\}$ 逐个都这么算（已符号核验全 $16$ 个）；可见 (5) 那组 $\gamma$ 确实满足 (4) 的 Clifford 代数——“一阶 + 相对论”两条要求，硬把 $\gamma$ 逼成这副反对易的样子。

4. 转动生成元 = $\tfrac12\Sigma$ ：自旋 ½ 掉出来了

$\psi$ 这 4 个分量在 Lorentz 变换（含转动）下怎么变？由 $\gamma^\mu$ 唯一地定出一组生成元（Peskin eq. 3.23）：

S^{\mu\nu}=\frac{i}{4}\,[\gamma^\mu,\gamma^\nu],\qquad \psi\to \exp\!\Big({-}\tfrac{i}{2}\omega_{\mu\nu}S^{\mu\nu}\Big)\psi.\tag{6}

（式中 $\omega_{\mu\nu}$ 是反对称的变换参数： $6$ 个独立分量正好是 $3$ 个转动角 + $3$ 个 boost，类比 $\exp(-i\theta J)$ 里的角度 $\theta$ 。）我们只关心空间转动那几个，即 $S^{ij}$ （ $i,j\in\{1,2,3\}$ ）。直接代 (5) 算（符号核验逐个验过）：

\boxed{\ S^{ij}=\tfrac12\,\epsilon^{ijk}\,\Sigma^k,\qquad \Sigma^k=\begin{pmatrix}\sigma^k&0\\0&\sigma^k\end{pmatrix}\ }\tag{7}

例（自旋 ½ 真的掉出来：算 $S^{12}$ ）. 拿 Weyl 基 (5) 直接算空间转动生成元 $S^{12}=\tfrac{i}{4}[\gamma^1,\gamma^2]$ 。其中 $\gamma^1\gamma^2=\mathrm{diag}(-\sigma^1\sigma^2,-\sigma^1\sigma^2)$ （即上文验 Clifford 反对易时出现的那个分块）与 $\sigma^1\sigma^2=i\sigma^3$ （故 $\gamma^2\gamma^1=\mathrm{diag}(i\sigma^3,i\sigma^3)$ ），得

[\gamma^1,\gamma^2]=\mathrm{diag}(-2i\sigma^3,\,-2i\sigma^3),\qquad S^{12}=\tfrac{i}{4}\,(-2i)\,\mathrm{diag}(\sigma^3,\sigma^3)=\tfrac12\begin{pmatrix}\sigma^3&0\\0&\sigma^3\end{pmatrix}=\tfrac12\Sigma^3.

即绕 $z$ 轴转动生成元 $S_z=S^{12}=\tfrac12\Sigma^3=\tfrac12\,\mathrm{diag}(1,-1,1,-1)$ ，本征值 $\pm\tfrac12$ （各两重）——自旋 ½ 当场算出来，每份正是附录二的 $j=\tfrac12$ （Pauli $\sigma^3$ ）。（已符号核验。）

（Peskin eq. 3.27。）也就是说，绕第 $k$ 轴的转动生成元正是 $\tfrac12\Sigma^k$ 。把它认作角动量，自旋算符就是

S_k=\tfrac12\Sigma^k.\tag{8}

三件事一起钉死它是”自旋 ½”： - 它们满足角动量代数： $[S_1,S_2]=iS_3$ （及循环）——所以 $S_k$ 确实是一组角动量（一个 $\mathfrak{su}(2)$ 表示），不是随便起的名。 - Casimir： $S^2=S_1^2+S_2^2+S_3^2=\tfrac34\,\mathbb1=\tfrac12\big(\tfrac12+1\big)\mathbb1$ ——对应自旋量子数 $s=\tfrac12$ 。 - $S_z$ 本征值： $S_z=\tfrac12\Sigma^3=\tfrac12\,\mathrm{diag}(1,-1,1,-1)$ ，本征值 $\pm\tfrac12$ （各两重）。 $\pm\tfrac12$ 就是两个自旋态（朝上 / 朝下）；每个本征值的两重来自 4 分量旋量在转动下分成的左右手征两份 $\psi_L,\psi_R$ （每份各是一个 $j{=}\tfrac12$ ，见 §5）。（手征 $L/R$ 与”粒子 / 反粒子”是两回事——后者来自场量子化时的正、负频解，见 Peskin §3.3 起，本附录不展开。）

这就证完了”电子是自旋 ½”：只要电子是一个满足相对论、一阶波动方程的场，它就必然是 4 分量 Dirac 旋量，其转动生成元 $=\tfrac12\Sigma$ ，即自旋 $\tfrac12$ 。自旋不是外加的假设——它是相对论 + 量子力学的强制产物。 $\blacksquare$

5. 与附录二接上：Dirac 旋量就是附录二那个 $j=\tfrac12$ 的物理实现

在纯转动下，(7) 的 $S^{ij}=\tfrac12\epsilon^{ijk}\Sigma^k$ 是分块对角的——4 分量旋量分裂成两份各 2 分量，每一份在转动下都按 $S_k=\tfrac12\sigma^k$ 变换，正是附录二里那个 $j=\tfrac12$ 的 $SU(2)$ 表示。检验最干净的标志——转一整圈 $2\pi$ ：

\exp\!\big(-i\,2\pi\,S_z\big)=\exp\!\big(-i\pi\Sigma^3\big)=-\,\mathbb1\quad\Longrightarrow\quad \psi\to-\psi.\tag{9}

转 $2\pi$ 把旋量变成它的相反数——这正是附录二的 (13) 式 $\pi_j(-\mathbb1)=(-1)^{2j}$ 在 $j=\tfrac12$ 时给的 $-1$ （也正是 §2 ” $SU(2)$ 双覆盖 $SO(3)$ “那条线）。两块地基在这里合龙：附录二从对称性证”自旋 ½ 这种表示存在、且转 $2\pi$ 变号”，本附录从相对论证”电子这个场恰好就是它”。

6. 回到 §3-三

电子作为相对论自旋-½ 粒子，有且仅有两个自旋态 $S_z=\pm\tfrac12$ ——这就是 §3-三 “每个空间轨道 ×2” 那个因子 $2$ 的来历（地基 = 本附录）。§3 子壳层容量 $2(2\ell+1)=2,6,10,14$ 的两个因子至此都落了地：奇数维 $2\ell+1$ 来自附录二（ $SO(3)$ 的整数- $j$ 表示），因子 $2$ 来自本附录（电子自旋 ½ = $SU(2)$ 的 $j{=}\tfrac12$ ）。

接下一块（附录四）

：本附录证了电子

是

自旋 ½，但”自旋 ½ ⟹ 必是费米子 ⟹ 泡利不相容（两电子不能占同一态、故每轨道至多坐满）“是

另一条定理

——

自旋统计定理

，其完整推导见

附录四

（电子版全证 + 普适诚实外引）。

附录四 · 从自旋 ½ 推出费米子与泡利不相容

§3-三把”电子是自旋 ½ 的

费米子

、服从

泡利不相容

“当结论用。附录三已证”电子

是

自旋 ½”，本附录补上”

自旋 ½ ⟹ 费米子 ⟹ 泡利

”。

两层深度

：

电子版（全证）

——spin-½ 的 Dirac 场量子化

只能用反对易子

（对照 Peskin §3.5）；

普适版（诚实外引）

——任意半整数自旋 ⟹ 费米子（自旋统计定理，完整证明属公理化 QFT，引 Streater–Wightman / Duck–Sudarshan，同 Burnside / 阿廷 / Kummer 边界）。

取 $\hbar=c=1$ 。

1. 把电子场量子化

附录三给了 Dirac 场 $\psi$ （4 分量、自旋 ½）。把它当量子场，按动量模式展开（Peskin eq. 3.87，示意）：

\psi(x)\sim\int\!\frac{d^3p}{(2\pi)^3}\frac1{\sqrt{2E_{\mathbf p}}}\sum_{s}\Big(a_{\mathbf p}^s\,u^s(p)\,e^{-ip\cdot x}+b_{\mathbf p}^{s\dagger}\,v^s(p)\,e^{+ip\cdot x}\Big),\tag{1}

$a^\dagger$ 造粒子（电子）、 $b^\dagger$ 造反粒子（正电子）， $E_{\mathbf p}=\sqrt{\mathbf p^2+m^2}>0$ 。问题只剩一个： $a,b$ 该满足对易关系（玻色式）还是反对易关系（费米式）？这不是随便选——下面看到，只有一种选法自洽。

2. 用对易子：能量没有下界（真空塌掉）

把 $\psi$ 代进哈密顿量（哈密顿量 $H$ = 系统的总能量算符，其本征值就是能量；下面说它”有/无下界”，即能量是否会无限往下掉、有没有最低能态（真空）），得到（Peskin eq. 3.90 的结构）

H=\int\!\frac{d^3p}{(2\pi)^3}\,E_{\mathbf p}\sum_s\Big(a_{\mathbf p}^{s\dagger}a_{\mathbf p}^s\;-\;b_{\mathbf p}^s\,b_{\mathbf p}^{s\dagger}\Big).\tag{2}

注意反粒子那项前面是个减号。现在试玻色式对易子 $[b,b^\dagger]=1$ ，即 $b\,b^\dagger=b^\dagger b+1$ ，代入：

H=\int E_{\mathbf p}\big(a^\dagger a-b^\dagger b\big)-(\text{常数}).\tag{3}

$b^\dagger b$ 是反粒子数，可以取 $0,1,2,\dots$ 无上界；它前面是减号——每多塞一个 $b$ 反粒子，能量就降 $E_{\mathbf p}$ ，可以一直降到 $-\infty$ 。哈密顿量没有下界，没有最低能态（真空），整个理论不自洽。玻色式量子化对 spin-½ 场，行不通。

3. 改用反对易子：能量有下界（费米子）

换费米式反对易子 $\{b,b^\dagger\}=1$ ，即 $b\,b^\dagger=1-b^\dagger b$ ，代入 (2)：

H=\int E_{\mathbf p}\big(a^\dagger a+b^\dagger b\big)-(\text{常数}).\tag{4}

减号被反对易子的 $b b^\dagger=1-b^\dagger b$ 翻成了加号。现在 $a^\dagger a,b^\dagger b\ge0$ ， $H$ 在常数之上有下界、正定，存在稳定真空。自洽。 结论：自旋 ½ 的 Dirac 场，只能用反对易子量子化——它必须是费米子。 这就是自旋统计定理的电子版：spin-½ $\Rightarrow$ 反对易 $\Rightarrow$ 费米子。（同 (3)/(4) 的能量符号，符号核验用单模算过：反对易给 $-E\,a a^\dagger=E\,N-E$ 有下界，对易给 $-E(N{+}1)$ 无下界。）

例（单模算出能量翻号）. 取单个反粒子模式 $b$ ，哈密顿量里它的贡献是 $-E\,b\,b^\dagger$ （(2) 反粒子项的那个减号）， $E>0$ ： - 玻色式 $[b,b^\dagger]=1$ （ $bb^\dagger=b^\dagger b+1=N_b+1$ ）：贡献 $=-E(N_b+1)$ ， $N_b=0,1,2,\dots$ 无上界 $\Rightarrow$ 能量 $-E,-2E,-3E,\dots$ 一路降到 $-\infty$ ，无下界（真空塌掉）。 - 费米式 $\{b,b^\dagger\}=1$ （ $bb^\dagger=1-b^\dagger b=1-N_b$ ）：贡献 $=-E(1-N_b)=E\,N_b-E$ ， $N_b\in\{0,1\}$ $\Rightarrow$ 能量 $\{-E,\,0\}$ ，有下界——减号被反对易的 $bb^\dagger=1-N_b$ 翻成了加号。

同一个减号，对易给 $-\infty$ 、反对易给有界——这就是 spin-½ 场只能反对易的算术内核。（已符号核验。）

4. 反对易 ⟹ 泡利不相容

费米子的反对易子在同一模式上给出最锋利的一条。取 (4) 量子化里 $\{a_{\mathbf p}^\dagger,a_{\mathbf p}^\dagger\}=0$ ，也就是

\boxed{\ (a_{\mathbf p}^\dagger)^2=0\ }\tag{5}

“造一个动量 $\mathbf p$ 、自旋 $s$ 的电子”作用两次 $=0$ ——同一个量子态里，塞不进第二个电子。等价地，每个模式的占据数算符 $N=a^\dagger a$ 的本征值只有 $0$ 或 $1$ （符号核验验过）：一个态要么空着、要么坐一个电子，没有第三种。这正是泡利不相容原理。

例（单模费米子的 $2\times2$ 实现 + 双电子 Slater 行列式）.

(i) 一个模式只容得下 $0$ 或 $1$ . 单个模式的 Fock 空间就两个态 $\{|0\rangle,|1\rangle\}$ ，取 $|0\rangle=\left(\begin{smallmatrix}1\\0\end{smallmatrix}\right),|1\rangle=\left(\begin{smallmatrix}0\\1\end{smallmatrix}\right)$ ，在这组基下

a=\begin{pmatrix}0&1\\0&0\end{pmatrix},\qquad a^\dagger=\begin{pmatrix}0&0\\1&0\end{pmatrix}.

直接验三条： $\{a,a^\dagger\}=aa^\dagger+a^\dagger a=\left(\begin{smallmatrix}1&0\\0&0\end{smallmatrix}\right)+\left(\begin{smallmatrix}0&0\\0&1\end{smallmatrix}\right)=\mathbb1$ ✓； $(a^\dagger)^2=0$ ✓；占据数 $N=a^\dagger a=\operatorname{diag}(0,1)$ ——本征值只有 $0,1$ ，态要么空着、要么坐一个电子，没有第三种。

(ii) 两个电子的反对称 = Slater 行列式. 两个电子分处单粒子态 $\phi,\chi$ ，全同费米子的总波函数必须反对称（交换两电子变号），正好写成 Slater 行列式：

\Psi(1,2)=\frac1{\sqrt2}\begin{vmatrix}\phi(1)&\chi(1)\\\phi(2)&\chi(2)\end{vmatrix}=\frac1{\sqrt2}\big(\phi(1)\chi(2)-\phi(2)\chi(1)\big),\qquad \Psi(2,1)=-\Psi(1,2).

关键：若两电子想占同一个态 $\phi=\chi$ ，行列式两列相同 $\Rightarrow\ \Psi=\frac1{\sqrt2}(\phi(1)\phi(2)-\phi(2)\phi(1))=0$ ——波函数恒为零，这个态根本不存在。这是泡利不相容的波函数版，与 (i) 的 $(a^\dagger)^2=0$ 是同一件事的两种说法。

对比玻色子 $[a,a^\dagger]=1$ ： $N=a^\dagger a$ 本征值 $0,1,2,\dots$ 无上界——一个态能挤进任意多个玻色子（光子可以无限叠，激光就是这么来的）。费米子的”每态至多一个”和玻色子的”每态无限多”，分水岭正是反对易 vs 对易，而那又由自旋的半整数 / 整数决定。

5. 普适版（诚实外引）

上面是电子（spin-½ Dirac 场）的全证。把它推广到任意自旋，就是

自旋统计定理。

在满足相对论不变性、微观因果性（类空间隔的场对易/反对易）、能量正定的量子场论里：

整数自旋的场必须对易（玻色子），半整数自旋的场必须反对易（费米子）。

它的完整严格证明要动用公理化 QFT 的整套机器——Wightman 公理、Wightman 函数的解析延拓、PCT 定理——是一整门研究生课程，本附录不展开。按本系列既定的诚实边界，精确陈述 + 注明出处：Streater–Wightman, PCT, Spin and Statistics, and All That；通俗而严谨的专著 Duck–Sudarshan, Pauli and the Spin-Statistics Theorem。（这与 §3 对 Burnside、§4/§5 对阿廷、Kummer 的处理同档：取用结论、给出处、不在正文重证。）

6. §3-三收口

三块地基合起来，§3-三那句”电子是自旋 ½ 的费米子、服从泡利不相容”对电子完全落地： - 附录二： $SO(3)$ 的操作块只能是奇数维 $2\ell+1$ （球面调和 $s,p,d,f$ ）。 - 附录三：相对论 + 一阶方程（Dirac）导出电子是自旋 ½（ $SU(2)$ 的 $j{=}\tfrac12$ ）——每个空间轨道带 $2$ 个自旋态。 - 附录四（本篇）：自旋 ½ ⟹ 反对易 ⟹ 费米子 ⟹ 每个量子态至多一个电子（泡利）。

于是一个 $\ell$ 子壳层有 $2\ell+1$ 个空间轨道、每个轨道 $2$ 个自旋态，共 $2(2\ell+1)$ 个互不相同的单电子态；泡利说每态至多一个电子，所以这层坐满正好

2(2\ell+1)=2,6,10,14\qquad(s,p,d,f).

§3 那张元素周期表的宽度，到此三块地基全部夯实——从连续旋转群 $SO(3)$ 的表示论，到相对论电子的自旋，到自旋统计的泡利，一条不留缺口。 $\blacksquare$

附录五 · Burnside $p^aq^b$ 定理：非交换单群的阶至少含 3 个素数

§4 用了一条形状律：

非交换单群的阶必被至少 3 个不同素数整除

（故 EP3 那两颗最小原子 $60(A_5)$ 、 $168(\mathrm{PSL}(2,7))$ 正好踩下界），当时当

诚实外引

。这里把它

证全

——它等价于

Burnside $p^aq^b$ 定理

（阶只被 1 或 2 个素数整除的群必可解）。

深度（甲，全证）

：和附录二借 Bézout 同性质——

借特征标论的通用工具箱

（正交关系 + 代数整数，引 D&F §15.3/§18.3、Isaacs Ch2–3）、但

把 Burnside 本身证全

（逐式对照 D&F §19.2）。

（以下为纯群论地基——附录二/B/C 是物理，本附录是数学。先点清本附录反复出现的群论名词：单群 = 除 $\{1\}$ 与自身外没有任何正规子群的群（“拆不动”）；正规子群 $N$ = 满足 $gNg^{-1}=N$ 的子群，等价于某个群同态的核；可解群 = 存在一条正规列、逐级商群都是交换群的群（直观即”能层层拆成交换块”）。）

0. 借来的工具箱（引用，不在此重证）

下面几条是特征标论一章的标准结果，本附录取用（如同附录二取用 Bézout）： 1. 正交关系：行 $\sum_{g}\chi_i(g)\overline{\chi_j(g)}=|G|\delta_{ij}$ ；列（第二正交关系）：对 $g,h$ ， $\sum_i\chi_i(g)\overline{\chi_i(h)}=|C_G(g)|$ 若 $g\sim h$ 、否则 $0$ 。（ $C_G(g)$ = 与 $g$ 可交换的全部群元组成的子群，叫 $g$ 的中心化子；其指数 $[G:C_G(g)]$ ——一般子群指数 $[G:H]:=|G|/|H|$ ，即 $H$ 的陪集个数——恰是 $g$ 所在共轭类的大小。） 2. 度数整除群阶： $n_i=\chi_i(1)$ 整除 $|G|$ 。 3. 代数整数：是某首一整系数多项式的根。性质——单位根是代数整数；代数整数成环； $\mathbb{Q}$ 中的代数整数 $=\mathbb{Z}$ ；Kronecker 定理——一个代数整数若其全部 Galois 共轭（ $\alpha$ 的 Galois 共轭 = 与 $\alpha$ 同一个极小多项式（首一整系数）的其它根）的绝对值都 $\le 1$ ，则它要么是 $0$ 、要么是单位根。 4. 特征标值是代数整数： $\chi(g)$ 是 $\chi(1)$ 个单位根之和（表示矩阵 $\varphi(g)$ 有限阶、可对角化、特征值是单位根），故 $|\chi(g)|\le\chi(1)$ ，且 $\chi(g)$ 是代数整数。

1. 中心特征标 $\omega_i(K)$ 是代数整数（D&F Prop 4）

对类 $K_j$ ，取类和 $\hat K_j=\sum_{g\in K_j}g$ 。它与所有 $\varphi_i(x)$ 交换（共轭只是置换 $K_j$ ），由 Schur 引理 $\varphi_i(\hat K_j)=\omega_i(K_j)\,\mathbb1$ 是纯量，取迹得

\omega_i(K_j)=\frac{|K_j|\,\chi_i(g)}{\chi_i(1)}\qquad(g\in K_j).\tag{1}

两个类和相乘 $\hat K_i\hat K_j=\sum_s a_{ijs}\hat K_s$ ，结构常数 $a_{ijs}\in\mathbb{Z}_{\ge0}$ （数”有多少对元素乘起来落在 $K_s$ ”）。代入纯量关系得 $\omega_i(K_a)\omega_i(K_b)=\sum_s a_{abs}\omega_i(K_s)$ ——这说明 $\{\omega_i(K_j)\}$ 张成的子环是有限生成 $\mathbb{Z}$ -模，故每个 $\omega_i(K_j)$ 是代数整数。 $\square$

2. 引理 A：互素类上， $\chi(g)=0$ 或 $g$ 走纯量

引理 A.

设 $\chi\in\mathrm{Irr}(G)$ 、 $n=\chi(1)$ ，类 $K$ 满足 $\gcd(|K|,n)=1$ ， $g\in K$ 。则

要么 $\chi(g)=0$ ，要么 $|\chi(g)|=n$ （即 $\varphi(g)$ 是纯量矩阵）

。

证. 由 (1)， $\omega:=\dfrac{|K|\chi(g)}{n}$ 是代数整数（§1）； $\chi(g)$ 也是代数整数（§0.4）。 $\gcd(|K|,n)=1$ ，Bézout 取整数 $a,b$ 使 $a|K|+bn=1$ ，于是

\frac{\chi(g)}{n}=a\cdot\frac{|K|\chi(g)}{n}+b\,\chi(g)=a\,\omega+b\,\chi(g)

是两个代数整数的整系数组合，仍是代数整数。记 $\alpha=\chi(g)/n$ 。 $\chi(g)$ 是 $n$ 个单位根之和，故 $|\alpha|\le 1$ ；它的每个 Galois 共轭同样形如” $n$ 个单位根之和 $/n$ “，也 $\le 1$ 。由 Kronecker， $\alpha=0$ 或 $\alpha$ 是单位根。前者 $\chi(g)=0$ ；后者 $|\chi(g)|=n$ ，即 $\varphi(g)$ 的 $n$ 个单位根特征值全相等， $\varphi(g)=\alpha\,\mathbb1$ 是纯量。 $\blacksquare$

例（在 $S_3$ 上看中心特征标的整性）. 取 $S_3$ 的 2 维标准表示 $\chi_{\mathrm{std}}$ （值 $\chi_{\mathrm{std}}(e)=2$ 、对换 $=0$ 、三循环 $=-1$ ，即附录一 §三那张 $S_3$ 特征标表）。中心特征标 $\omega(K)=\dfrac{|K|\,\chi(g)}{\chi(e)}$ （ $g\in K$ ）在两个非平凡类上：

\omega(\text{对换类})=\frac{3\cdot0}{2}=0,\qquad \omega(\text{三循环类})=\frac{2\cdot(-1)}{2}=-1.

两个都是整数（从而是代数整数）——正是 §1「 $\omega_i(K)$ 是代数整数」的样子。对比：直接拿 $\chi(g)/\dim=\chi/2$ 看三循环类得 $-\tfrac12$ ，不是整数。所以 Burnside 论证里能保证整性、压上去用的量，是带类大小因子 $|K|$ 的 $\omega(K)$ ，不是裸的 $\chi/n$ ——这一步差别正是整个证明的支点。

（符号核验： $S_3$ 的二维标准表示 $\chi_{\mathrm{std}}$ 、对换类大小 $3$ 、 $\gcd(3,2)=1$ → $\chi_{\mathrm{std}}(\text{对换})=0$ ；而三循环类大小 $2$ 、 $\gcd(2,2)=2$ 非互素， $\chi_{\mathrm{std}}/2=-1/2$ 不是代数整数——可见互素是引理 A 的关键。）

3. 引理 B：存在素数幂大小的非平凡类 ⟹ 不是非交换单群（D&F Lemma 7）

引理 B.

若 $G$ 有一个

非单位

共轭类 $K$ 、 $|K|=p^k$ （ $p$ 素数、 $k\ge1$ ），则 $G$ 有真正规子群（ $\ne1,G$ ），

故不是非交换单群

。

证. 取 $g\in K$ （ $g\ne e$ ）。第二正交关系比较列 $g$ 与列 $e$ （ $g\not\sim e$ ）： $\sum_i n_i\,\chi_i(g)=0$ 。平凡特征标贡献 $1$ ，故

1+\sum_{\chi_i\ \text{非平凡}} n_i\,\chi_i(g)=0\ \Longrightarrow\ \sum_{\text{非平凡}} n_i\,\chi_i(g)=-1.\tag{2}

反设：每个非平凡不可约 $\chi_i$ 都满足” $p\mid n_i$ 或 $\chi_i(g)=0$ “。那么 (2) 左边每个非零项都有 $p\mid n_i$ ，即 $\sum=p\cdot(\text{代数整数})$ ，于是 $-1/p$ 是代数整数；但 $-1/p\in\mathbb{Q}\setminus\mathbb{Z}$ ，与” $\mathbb{Q}$ 中代数整数 $=\mathbb{Z}$ “矛盾。

所以存在一个非平凡 $\chi=\chi_i$ ， $\chi(g)\ne0$ 且 $p\nmid n=\chi(1)$ 。此时 $\gcd(|K|=p^k,\,n)=1$ ，由引理 A 且 $\chi(g)\ne0$ ，得 $\varphi(g)$ 是纯量。于是： - 若 $\varphi$ 忠实（ $\ker\varphi=1$ ）： $\varphi(g)$ 纯量 ⟹ $g$ 与 $G$ 中一切交换 ⟹ $g\in Z(G)$ ⟹ 类 $\{g\}$ 大小为 $1$ ，与 $|K|=p^k>1$ 矛盾。 - 故 $\varphi$ 不忠实： $\ker\varphi$ 是正规子群， $\ne1$ （不忠实）、 $\ne G$ （ $\chi$ 非平凡）。

无论哪样， $G$ 都有真正规子群，不是非交换单群。 $\blacksquare$

（符号核验： $S_3(6{=}2\!\cdot\!3)$ 有大小 $2,3$ 的素数幂类 → 不可单（ $A_3$ 正规）； $A_4(12{=}2^2\!\cdot\!3)$ 有大小 $3,4$ 的素数幂类 → 不可单（ $V_4$ 正规）； $A_5(60{=}2^2\!\cdot\!3\!\cdot\!5)$ 非平凡类大小 $15,20,12,12$ 没有一个是素数幂 → 引理 B 管不到它， $A_5$ 得以为单群——而这串大小正是 EP3 的 $1{+}15{+}20{+}12{+}12{=}60$ 。）

4. 主定理： $|G|=p^aq^b\Rightarrow G$ 可解

Burnside $p^aq^b$ 定理.

阶只被一个或两个不同素数整除的有限群可解。

证（对 $|G|$ 归纳）. $|G|=1$ 或素数幂时：素数幂阶群是幂零的（幂零群 = 比”可解”更强的一类群，所有素数幂阶（ $p$ -）群都幂零、而幂零必可解；此处只用这一条蕴含），幂零 ⟹ 可解，成立。设 $|G|=p^aq^b$ （ $a,b\ge1$ ，否则是素数幂已完）。取 Sylow $p$ -子群 $P\ne1$ （Sylow $p$ -子群 = 阶恰为 $p^a$ （ $p$ 在 $|G|$ 中的最高幂次）的子群，把” $p$ 那一部分”塞到最满的子群）； $p$ -群中心非平凡，取 $g\in Z(P)$ 、 $g\ne e$ 。则 $P\subseteq C_G(g)$ ，故类大小

|K_g|=[G:C_G(g)]\ \big|\ [G:P]=q^b,

是 $q$ 的幂。两种情形： - $|K_g|=1$ ：则 $g\in Z(G)$ ， $Z(G)\ne1$ 是真正规子群（ $G$ 非交换时 $Z(G)\ne G$ ； $G$ 交换则直接可解）。 - $|K_g|=q^k>1$ ：由引理 B， $G$ 有真正规子群 $N$ 。

无论哪样， $G$ 有真正规子群 $1\ne N\ne G$ 。 $|N|$ 与 $|G/N|$ （ $G/N$ = 把正规子群 $N$ 整体当作单位元后得到的商群，阶 $=|G|/|N|$ ）都整除 $p^aq^b$ （仍是 $\le2$ 个素数），由归纳假设都可解；“子群与商可解 ⟹ 群可解”（§5 用过的小事实），故 $G$ 可解。 $\blacksquare$

例（主定理正向： $A_4$ 可解）. 主定理说 $|G|=p^aq^b$ （至多两个素数） $\Rightarrow G$ 可解。拿 $A_4$ （ $|A_4|=12=2^2\cdot3$ ，两个素数）：定理预言它可解，而且确有一条正规列，逐级商都交换：

A_4\ \triangleright\ V_4\ \triangleright\ C_2\ \triangleright\ 1,\qquad A_4/V_4\cong C_3,\ \ V_4/C_2\cong C_2,\ \ C_2/1\cong C_2,

其中 $V_4=\{e,(12)(34),(13)(24),(14)(23)\}$ 是 Klein 四元群、正规于 $A_4$ 。三个商 $C_3,C_2,C_2$ 全交换 $\Rightarrow A_4$ 可解——正是 $12=2^2\cdot3$ 只含两个素数时主定理保证的。（对照 §4 那些非交换单群阶 $60,168,\dots$ 都含 $\ge3$ 个素数：单且非交换 $\Rightarrow$ 不可解 $\Rightarrow$ 由主定理逆否，阶不能是 $p^aq^b$ 。两个方向在此合上。）

5. 收口：回到 §4 的” $\ge3$ 素数”

取逆否：一个非交换单群（不可解、又拆不动）不可能是 $p^aq^b$ 形，即它的阶必被至少 $3$ 个不同素数整除。于是 EP3 那两颗最小非交换单群正好坐在下界上：

60=2^2\cdot3\cdot5\ (A_5),\qquad 168=2^3\cdot3\cdot7\ (\mathrm{PSL}(2,7)),

都恰好 $3$ 个素数，一个不少。EP3 那张” $<2000$ 的非交换单群周期表” $\{60,168,360,504,660,1092\}$ 每个素数种类都 $\ge3$ ——Burnside 这条形状律，至此从工具箱证全。

6. 边界更新

附录五之后，§4 的 Burnside 从”诚实外引”升级为”全证”（仅借特征标论的通用工具箱，不外引结论本身）。整个 §3/§4/§5 剩下的诚实外引，就只有三条纯域论的了：阿廷定理、Kummer 反向[Lagrange 预解式]、根式扩张的正规闭包仍根式。四块物理/数学地基（附录二旋转群表示 · B Dirac 自旋½ · C 自旋统计泡利 · D Burnside）至此全部夯实。 $\blacksquare$

参考来源

Ronan《Symmetry and the Monster》Ch5–7（叙事骨架）
数学：Dummit–Foote《Abstract Algebra》3rd ed.（§3.2 陪集/拉格朗日 · §7–9 环与域 · §14.3 有限域 · §19.2 Burnside p^aq^b）；Carter《Visual Group Theory》（SO(3)/表示直觉）
Lie 传记：MacTutor https://mathshistory.st-andrews.ac.uk/Biographies/Lie/ · Helgason “Sophus Lie, the mathematician”(MIT OCW 18.755) · Stubhaug 传记评介 https://plus.maths.org/content/mathematician-sophus-lie
间谍/普法战争：Quanta 2025-12 https://www.quantamagazine.org/what-are-lie-groups-20251203/ · Franco-Prussian War https://en.wikipedia.org/wiki/Franco-Prussian_War

图像来源

史料 · 全公有领域：索菲斯·李 · 伽罗瓦（15 岁像）· 李 1888《变换群理论》· 李 1893 序言 · J. C. Dahl《Winter at the Sognefjord》（1827）· 氢原子轨道密度云（PoorLeno, 2008）。
接棒五人肖像：Felix Klein（PD-1923）· Wilhelm Killing（摄于 1870，Atelier Aug. R. Rosenberg，Kunstbibliothek SMB）· Élie Cartan（PD-US）· Leonard Dickson（MacTutor 数学史档案）· William Burnside（Copyrighted free use）。
动图：SO(2) 旋转 · Killing–Cartan 周期表 · E₈ 墙 · 电子层 2·6·10·14 · 时钟算术 —— 均为本片原创动画（Manim）。
人物：Klein https://www.britannica.com/biography/Felix-Klein · Killing https://mathshistory.st-andrews.ac.uk/Biographies/Killing/ · Cartan https://mathshistory.st-andrews.ac.uk/Biographies/Cartan/ · Dickson https://en.wikipedia.org/wiki/Leonard_Eugene_Dickson · Burnside https://en.wikipedia.org/wiki/Burnside%27s_theorem
引语：Dieudonné 1974（Stubhaug 传记 p.375-377 + Ronan 尾注双载）· Brahmagupta（Colebrooke 1817 djvu）· Picard 实为 Lie→Picard（Fritsche 1992 https://www.heldermann-verlag.de/jlt/jlt02/FRITPL.PDF）