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

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

作者的话

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

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

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

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

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

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，父亲是路德宗牧师。他从小是个运动健将——体操尤其好，也是挪威早期徒步的先行者：寻常日子走三四十公里不当回事，状态好的日子能走七八十公里，传说有一次为了取一本落下的书，走了个上百公里的来回。

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

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

引子里那场间谍风波之后，他回到挪威，很快完成博士论文，挪威议会专门为他设了教席。他承接着伽罗瓦的方向往下做，也活得够久——能亲自推广自己的方法、带学生，这一点和早逝的伽罗瓦不同。他用多维几何来处理微分方程（把方程的参数当坐标——坐标几何这套是笛卡尔在 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₅）。

§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)$。这就是本章的核心：一个连续群，落到纸面上，就是一族矩阵——所谓"李群"，绝大多数时候说的就是"由矩阵组成的连续群"。下面那张分类表，分的正是这些矩阵群。

二、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 决定了化学元素周期表的结构。同一种数学，在两个层面各写下了一张表。

三、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$；除了每族开头一两个最小的，这些群全是上一节说的那种"拆不动"的原子。）

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

"转复空间 / 转实空间 / 转相空间"这三句，确切含义就是这三行矩阵条件——这才是它们"都是某种旋转"的实底。举每族最小的一个，把矩阵真写出来： $$\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).$$

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

这套规则你大概背过。这一节要补的，是它背后的道理——而且自始至终只用一件工具：上一节那把尺，群 → 表示 → 维数。下面会三次拿出它：第一次量出"一个亚层有几个轨道"，第二次量出"一个轨道几个电子"，最后一次，让同一把尺一路伸到基本粒子。$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)$ 多出的那"一点点"的真身。

$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$）里的各亚层加起来，就是这一层能装的电子总数：

$$\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 个数，却加减乘都自洽。无穷的整数线，被"绕圈"折成了有限的一圈。

但除法会出事——零因子

加减乘都顺，唯独除法在 $\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 这条形状律，把整张表都框在里面。

完整证明见文末附录五。 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 还框住了它们共同的形状。

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

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

（→ 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}}$（与附录五同名）。特征标表（行 = 不可约，列 = 共轭类）：

用 $\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$：显式表

（表里每行 $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）。
• 保罗·狄拉克：© Nobel Foundation, 1933（公有领域）。
• 动图：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）