外尔 · 对称的语言

对称这个词，人人会用；数学要把它变成算术。先立定义：一个图形的对称操作，是这样一种动作——做完之后，图形和原来一模一样，分不出做过没做。正方形一共有八条：转四分之一圈，没变；转半圈、转四分之三圈，没变；沿四条中线对折、沿两条对角线对折，都没变。一共八条：四条旋转，四条翻转。

八条操作可以互相搭配。先转四分之一圈、再沿竖线对折，与先对折、再转四分之一圈，结果都是某个翻转——但不是同一条。把「先做 A 再做 B」记作 B·A，逐对试下来，八条操作的搭配关系可以列成一张八行八列的表：任何两条搭配，结果仍是八条之一；随便哪条都有「撤销」；先做谁后做谁有讲究。这张表，数学上叫群——具体地，正方形的对称群，八个元素。

数一数更小的例子。正三角形：三条旋转（转三分之一圈、三分之二圈、不转）加三条翻转，共六条。正六边形：六条旋转加六条翻转，共十二条。正 n 边形一律 2n 条。而圆是极限情形：转任意角度都不变，对称操作有无穷多条——所以圆「最对称」，也最难算。图形的对称程度，从此是一个可以报数的量。

这一步看似只是清点。真正的转折在下一页：八条操作不必画图，可以变成八个矩阵——图形一退场，剩下的全是代数。到那时，「对称」就不再是眼睛的事，而是一门谁都可以埋头计算的学问。

把动作变成数字，需要一个舞台。舞台就是平面上的点：每个点有一对坐标，动作（转、翻）就是坐标的变换。以正方形中心为原点，转四分之一圈，把点 (1, 0) 转到 (0, 1)，把 (0, 1) 转到 (−1, 0)——这个动作对每个点做的事，可以用一张两行两列的小表格一字不差地记下来：第一列 (0, 1)，第二列 (−1, 0)。动作变成矩阵。

矩阵有个好处：可以乘。先转再翻，等于两个矩阵相乘；乘出来的积，恰好是「先转再翻」那个复合动作对应的矩阵。八条操作变出八个矩阵，动作的搭配表原封不动地保存在矩阵乘法里。这就是「表示」：给抽象的群找一批矩阵，让乘法表不走样。同一群可以有多种表示，如同同一个故事可以换几种讲法。

试一条最小的表示。给八条操作各配一个数：旋转配 1，翻转配 −1。「先翻再转」积的符号＝(−1)×1＝−1，对应「先翻再转仍是翻转」——符号账与动作账完全对得上。这条一行一列的小表示虽小，用处极大：它把「翻」这个性质从八条操作里单独拎了出来。大表示与小表示的关系，正是表示论要清理的家务。

到这一步，画图的本分已经交割完毕。图只在开头的坐标里出现过一次，此后全是表格与乘法。对称从眼睛的判断变成纸面的运算——正方形如此，原子如此，晶格也如此。这门翻译术的通行版，是他在二十年代亲手定稿的；那是第二幕之后的事。

矩阵太占地方，还需要更小的行李。把一个矩阵压成一个数：取它的迹——主对角线上数字之和。八条操作各有一个迹，排成一列，这一列数叫这个表示的特征标。特征标丢失了矩阵的许多细节，却把最要紧的骨架留下了：转四分之一圈与转四分之三圈的迹相同，因为它俩在群里的地位对称。

特征标有一个奇妙的性质：把两个表示的矩阵先相加再取迹，等于两个特征标逐位相加。于是一个大表示可以拆成几个小表示之和，它的特征标也拆成几段小特征标之和——拆法唯一。这就像把一个整数唯一地分解成素数乘积：表示论也有自己的「素表示」，而特征标就是验算分解的那张试纸。群有多大，指纹就有多长。

数一数正方形。D₄ 恰有五条互不相同的「素表示」：四条一行的（不转配一、翻转配负一，另有两种符号组合），一条两行两列的。五条特征标排成一张五列小表——这张表是 D₄ 的指纹：任何一张新表，只要和它对得上，就是同一个群换了衣裳。晶体学里 230 种空间群的分类、化学里分子光谱的挑拣，干的都是「对指纹」这件事。

指纹为什么可信，有一条漂亮的定理压着：不同的素特征标，彼此「垂直」——把它们逐位相乘再对全群求平均，不同的两类结果精确地是零。一句「平均下来是零」，把「不同」这个词变成了可验算的判据。这条正交关系是表示论的地基，本册后面验算光谱选律时还要回到它。

先用一个比方把「规范」立起来。记账时把「元」换成「角」，账面数字全部翻十倍，可财产一分没变——账有账面与实值两层，实值不跟账面走。他说：物理定律也该如此。每一处的「尺子刻度」是账面，各处可以各自换账面；凡能被这种换账面抹平的差别，就不是实在的差别。这条要求，他称作规范不变性。

数学上场。用 φ 记一处场的值。换账面，就是把每一点的 φ 乘一个随位置而异的因子：φ 变成 e^iθ(x)·φ，其中 θ(x) 是各点各选的角度。麻烦在于：含「变化率」的项在换账面后会多出一条 θ 的导数项，账对不上。补救的办法是他给出的：在账里预先加进一项补偿——每一处附一个「联络」，换账面时联络跟着换，多出的那条恰好抵消。账面随便换，账分毫不差。

这一手在几何里有现成的亲戚。曲面上没有全局的「正北」：把一个箭头沿回路搬一圈，回来可能转了一个角度——角度取决于路径。要比较两处的箭头，必须约定沿途怎么搬；约定变了，描述跟着变，箭头还是箭头。他把这套「沿途约定」的数学整个搬进了物理：电磁势就是那个「沿途约定」，场强才是实在。

1929 年，抽屉开箱。量子力学里波函数可以整体乘一个相位而不改观测——相位正是那个「可随便换的账面」。他把 1918 年的机制原封搬来：把相位因子 e^iθ(x) 定为规范变换，补偿项定为电磁势。十一年前指出的漏洞，恰好是十一年来物理自己补上的那块地板。原来的尺子错了，语法是对的。

把 1918 年与 1929 年两版摆在一起，看「错」错在哪里。1918 版的换账面因子是 e 的 λ(x) 次幂——λ 是实数，换的是「长度刻度」：各处的米尺可以各自伸缩。1929 版的因子是 e 的 iθ(x) 次幂——θ 是角度，换的是「相位」：各处的钟面可以各自拨，但钟摆的快慢不动。前者动尺子，后者拨钟面；一套语法，两枚齿轮。语法在 1918 年就对了，齿轮换对了才咬合。

错的版本也值得留，理由如下。尺子版的数学结构——「每点各选参数，再用联络补偿」——一字不改地传给了相位版。抽屉里存下的不是结论，是句法。十年间他没有为这条原理再写一行辩解，只是把它安放在讲义与书里，任人路过。这样的「存而不弃」，在急功的年月里是罕见的耐性。

相位版一落地，立刻显出牙口。量子力学里，「场是联络」不再是类比：电子从一个点走到另一个点，波函数沿途积累相位，积累多少由路径决定——两 条路径的相位差，恰好是那条老几何里的「回路角」。粒子干涉的条纹，就是路径角的账目。1918 年那个被驳回的补偿项，1929 年成了电磁场本身。

再往后看一步，为本册第五幕埋线。再看一步：相位之外，别的「内部状态」也可以规范。把一列复数换成更高维的一组数，同样的句法立起新的联络——二十五年后，两位年轻人沿这条缝把理论推广出去，成了今天描写核力的语言。缝是他在 1929 年留下的；针，别人拿走。

有限群好办：验算特征标正交时，对全群求平均就是加起来除以总数。可圆盘的对称操作有无穷多条——转任意角度都是一条，加法加不完。1920 年代他给出关键一招：对紧群（转角的全体）定义一种「不变平均」：把每条操作的地位配平，转一下盘子，平均值不动。有了这杆秤，有限群的一切簿记——正交关系、拆分唯一——原封搬到无穷群。

这杆秤怎么用，验一个最小的例子。取圆盘上的一根指针，对全体转角取平均：转多少度，平均都是同一数——指针的平均长度缩成零（复数的情形）。换成「指针的平方长度」，转来转去都是一，平均值就是一。两组数一对照，「能不变的东西才留得下来」从口号变成了计算：平方长度不变，正是一次二次的差别。量子力学里守恒量的挑选，走的正是这条路。

有了秤，三大成果排队落地。其一：紧群的每个表示都拆成素表示，拆法唯一——正方形那套账本对圆盘照样成立。其二：素表示的维数与全体特征标满足一套正交账，转角积分替掉有限求和。其三：李群（连续群）的表示可以「微分」到无穷小一侧去算——无穷的问题缩小成局部的代数。三件事合起来，表示论从手艺变成了产业。

产业开张的第一批订货来自物理。原子光谱里那几条神秘的选律——有的跃迁发生、有的永不发生——用「哪些态在旋转下怎么变」一算，全部现形。第二幕的末页讲这笔账怎么算。

花纹不能随意对称。在一张纸（一个面）上，答案是否。给平铺的花纹立一条规矩：它必须同时允许平移——把整幅图案平移一格，图案重合。平移与旋转不能和平相处到任意程度：先有平移阵，旋转就被夹住了。数一数：绕一点转 360 度的 n 分之一，n 只能取一、二、三、四、六——五不许有，七以上也不许有。

五被排挤，验一下便知。取两个相邻的平移格子 A、B，设有一根五重旋转轴在 A。以 B 为心转五分之一圈，把 A 搬到新点 A′——A′ 也是格点。可 A′ 比 A 更靠近 B（五分之一圈的弦短于原来的边），用同样的手法再来一轮，点与点越挤越近、无穷无尽却不重合——这与「格子有限步平移能回到原处」矛盾。四重与六重各自算一次弦长，恰好不出事。一根不许存在的轴，就这么被初等几何挤死了。

把规矩数到底：允许的旋转配上翻转，平面上有十七种铺法（十七种「壁纸群」）；立体的晶体，加上三个方向的平移，得到二百三十种空间群——晶体学家一八九一年就数清了，用的正是第一幕的指纹法。他早年把这二百三十种重推了一遍，当作表示论的练手题：分类不是展览，是计算。

五重禁区后来被撬开一条缝，那是身后四十年的事（p.37 先埋一笔）。但请看清这条禁区的出身：它不是谁规定的，是「平移」与「旋转」两条对称互相排座次的结果。对称管对称——这是本册一以贯之的方法。

第一幕的指纹表能做乘法。把两个表示的矩阵并排写成大矩阵（块对角地拼起来），特征标就逐点相加；把两个矩阵真的相乘（每个元素与每个元素相乘再求和），特征标就逐点相乘——这条「逐点相乘」造出的新特征标，对应的新表示叫张量积。指纹对指纹，出来一张更大的指纹。

张量积的用处，拆开看最清楚。大表示往往不是素表示：乘出来的特征标，用第一幕的「垂直」试纸一验，就知道它等于哪几个素表示之和、各占几份。物理里的双原子分子、化学里的耦合角动量，干的都是这道手续：两个系统各自有指纹，合起来的系统用张量积，再用试纸拆开。一条「逐点相乘」，撑起半门分子光谱学。

验一个最小的乘法。取翻转符号（一维，值 −1）乘它自己：逐点相乘得 (−1)×(−1)＝1——得到平凡特征标。取「转四分之一圈」的二维表示乘符号账：矩阵整体乘 −1，迹反号，还是那个二维表示（乘一维符号不改变「素」的身份）。两条小账对完，张量积的脾气初见：一维乘一维出一维，一维乘二维出二维，二维乘二维出四维——而四维要拆，拆法用试纸定。

他给这套乘法配了一条总账：一个群的所有素特征标，正好也是该群「类函数」空间的一组正交基——指纹不但验算别人，自己还张成一个空间。于是「求一个群的所有表示」变成「求一组正交基」：几何问题，线性代数收尾。这是《经典群》一书的总纲。

1951 年春，他在普林斯顿做了四次公开讲演，听众不用预备任何数学。讲演次年起印成小书，一共四章：双边对称、平移对称（钟摆与乐音）、旋转对称（极地与星辰）、装饰对称（古代纹样）。每章一个类型，每种类型先给寻常日子的例子，再给数学的骨架——第一幕的三步（群、表示、特征标）全部藏在例子底下，不露行话。

第四章讲铺满墙面的花纹，是全书的收梢。他从两河流域与阿拉伯的旧墙讲起：工匠不懂群论，几百年里做出来的铺法，数学家后来一数，恰好十七种，一种不多，一种不少——第二页那道「五重不许」的禁令，是这十七种背后的共同守则。数学在这里显出它最奇怪的脾气：规矩没通知工匠，工匠却从不越界。

小书里另有一处常被引用的对照。他问：双边对称的脸、平铺的墙、原子的壳，同一种数学，为什么自然处处用它。他给的回答很克制：不是自然爱美，是对称是「稳定」的代名词——会变的对称留不下痕迹，留得下的都是不变的。这句话把第一幕的「先选美」与物理的「选择定则」接在了一起：留得下来的，是签了名的。

这本小书与那册最厚的书，是同一个人的两端。一端给同行，把三大群的表示一次讲尽；一端给所有人，把一生的口味摊开成四章。两本书隔着十三年，用的是同一副骨架。下一页给暗线记账。

数论有一桩老悬案。高斯当年研究两个整数的平方和能凑出哪些数：x²＋y² 何时等于给定的 n。为答此问，他造出一套「复的整数」来算——把整数的概念推广，使得分解唯一，答案便能用整除的语言讲清。此后一百年，数学家为各种「推广的整数」各立门户，门户之间的话互相听不懂：同样的定理，在每种门里证一遍。理论长成了反复装修的老宅。

他的做法是换地基，不是再装修。他换了一个更根本的问题：在这个新数系里，何谓「离整点远近」。他给出的答案是「赋值」：给每个新数配一把量远近的尺，尺满足几条极简的规矩；门派的全部差别，被压缩成「用哪把尺」。一套尺的清单开出来，所有门户一夜之间说同一种话——一九四零年的那册书，把百年的装修史改写成一份地基图纸。

地基的威力，验一件小事。「两个平方之和」的老问题：n 能写成 x²＋y²，当且仅当 n 的素因子里，除四余三的那些素数都出现偶数次。旧证在各门里各有说法；新地基上一条「素数在新数系里怎么分解」的判据就把所有门一并解决——判据本身只有两行。老定理没变，变的是「为什么」的长度。

这项工作在谱系里占一格。它是表示论的同宗：赋值的账本与特征标的账本，都是「把杂多的门压成一份清单」的手法。他自己在书序里说得更直白：这本书的动机不是数论，是「把一个理论的基础讲到不能再薄」。薄到不能再薄的东西，签名最持久。

实数那片海，十九世纪末出过一桩大事。康托尔证明：整数可以编号（一个挨一个数得完），实数永远编不完——海的「个头」高过任何一列编号。接着他追问：海与编号之间，有没有中间个头的集合。他猜没有，这就是连续统假设；猜了一辈子没证出来。假设悬了一百年：既没人证成，也没人推翻。

比悬案更吵的是「地基之争」。一派说：数学对象是造出来的——一个东西必须给出有限步的构造法才算存在（直觉主义）；另一派说：数学对象在那儿，定律允许它存在就存在（形式主义与柏拉图式的各版本）。两派吵到高峰时，一位荷兰领袖的讲演让半座大厅离席。他站哪一边，答案在下一页——本页先摆清赌注：赌的是「存在」两个字在数学里到底什么意思。

赌注看似玄，落到具体处就扎手。「每个数列都有极限点」这类命题，构造派只能证出「可计算的极限点」，整体派证出「极限点存在，尽管未必算得出」。物理只用得着可计算的那部分，所以吵不吵好像无碍实用——可数学的基础若塌半边，剩下半边的「真」字也跟着松。这一幕的暗线（p.31）会给出他处理这场争吵的方式：不是选边，是立碑。

悬案本身的结局，要等他身后。一九三八年，有人证明：假设与公理系统不冲突；一九六三年，又有人证明：假设的否定也不冲突——两百年悬案，终审结果是「公理裁不动它」。判决书送到时，他已去世八年。他生前关于此事只留下一句话（p.30），那句话的分量，要等 1963 年之后才显得出来。

先补一场化学的联手。1927—1928 年间，一位年轻的物理学家把群论搬进原子光谱：态按对称分类，跃迁按指纹配对，「允许」与「禁止」从此读表可得。他把同一套工具用更一般的语言重写了一遍，写进《群论与量子力学》。化学家起初抱怨「矩阵被群淹了」，十年后，分子光谱的教科书全按群论开章。理论物理与结构化学共用一副词典，就是从那几年开始的。

再回到那片海。他在这场地基之争里站的位置很特别：嘴上同情直觉主义——承认「存在」应当给得出构造；笔下却继续用整套古典工具做数学。有人以「自相矛盾」相问。他的回答记在一篇长文里：把「能构造的数学」与「被承认存在的数学」分成两层，各有各的法庭；下层管计算，上层管理论，两层都对各自的规矩负责。这座「两层楼」是他给争吵立的碑。

碑上刻的那句关键判词是：连续统假设这类命题，也许本来就游在公理够不着的水域——谁也别指望一锤定音。三十四年后（1963），判决书下来，正中这句。一句没有证明的判断，成了整个悬案的墓志铭：又一次，先选美——此处是先选「干净的问法」——真在身后追了上来。

第四幕收束前，把他的年表再对一次表。1940 数论成书，1940 前后连写两册连续统的哲学文集，1952 小书付印——三件事挤在七十岁前的最后十二年。一个满头白发的流亡者，同时给三个行当立地基：数论、逻辑、普及。这种「多田并耕」在后半生不是转型，是第一幕那句话的延长：把形状讲成算式，哪儿有含糊的形状，哪儿就是他的田。

数学界给贡献命名的方式很直接：谁的，冠谁的姓。清点以他命名的对象，能列出一长串：外尔群——反射对称生成的有限群，是研究一切对称分解的基本零件；外尔房——群表示论的正式宅邸；外尔特征标公式——算紧群全部特征标的一把总钥匙；外尔和、外尔模、外尔代数、外尔点……清单还没完。一个姓氏在教科书里出现之密，同代无几人。

挑两件验算。外尔群最小的一例：正方形那八条操作组成的群，正是八阶外尔群——第一幕的例子原来早有户籍。外尔特征标公式在最小的例子上：对三角形的六条操作算一遍，三条素特征标一个不差地冒出来——公式不省力，省的是「对每一个群重新发明一遍」的力气。家族之大，不是因为多产，是因为零件通用。

家族之外还有一门「外尔几何」。1918 年那版被驳回的尺子，数学家捡起来另立门户：允许距离逐点伸缩的几何，至今是微分几何的一个分支。物理上错了的版本，数学上自成一国——「错」与「废」在他这里从来是两个词。这一国的地图，正是当年被否决的那半页手稿。

清单能列多长不重要，重要的是清单的形状。以他命名的对象横跨：有限群、李群、微分几何、数论、数学物理——五个行当。一个签名能签在五种语法里，靠的不是每处都到场，是每处都用了同一副骨架：对称的账本。这就是本册的明线走到头时的样子。

标准模型的句法，一句话说尽：每一种基本力，对应一个「内部对称」的群；力场的方程，就是把这个群的规范句法照抄一遍。电磁力的群是圆（相位，一维）；弱力的群是更高维的一组内部状态；强力的群又换一组。三种力，三本账，记账的规矩同出一门——1929 年那套「各点各选账面，联络随行补偿」。

语法非它不可，有一条硬理由压着：量子理论有个老毛病——有些计算一上来就发散，算出无穷大。检验一个新理论能不能用，先看无穷大能不能被系统地「收账」（重整化）。逐个理论检查下来：按规范句法写的，账收得齐；不合句法的，账收不拢。句法从「美学偏好」变成了「入选资格」——这一步，是他身后二十多年补齐的。

再验一件本册亲手备下的事。第二幕埋的线（p.15 末）：两 条路径的相位差决定干涉条纹。1959 年起，实验果真在「没有力的区域」看到了条纹移动——路径角的账，用整条回路的「联络」结清。那是最干净的证明：场是联络，不是教条，是可测的事实。

到此，明线三样可以合账了。对称群表示给出词典（第一幕），规范理论给出句法（第二幕），连续统给出碑（第四幕）；第五幕的接力证明：词典与句法足以装下大半个物质世界。三样东西在他生前没有一件「完工」；他生前说过的那句自白，如今读起来像一份清醒的施工计划。

第三幕立过那条禁令：平移加旋转的晶体，五重轴不许存在——禁令的出身是两条对称互相排座次，铁得很。1982 年，一位实验者在急冷的合金里拍出了十重对称的衍射图：十个亮斑转一圈回来，图纹不变。五重轴出现在了「不许出现」的地方。论文先被拒稿，发表后又被讥为「看错了」；三十年后，这个发现拿了诺贝尔化学奖。

禁令没有破——它被读懂了。那条禁令的前提是「平移的重复必须严格周期」：图案平移一格就重合。新物质里，亮斑严格十重对称，平移却永远对不齐——斑点按一种「有规矩但不重复」的次序排列。数学家里早有人备好了这类结构的语言：不周期的铺法，照样可以有严格的旋转对称。禁令一字不改，破的是前提，立的是更细的分类。

这条裂缝在本册的账上记在「对称管对称」那一栏（p.21 末）：禁令与它的破例，用的是同一套方法——把「变完不变」列成群，再让群与群对质。1920 年代重推二百三十种空间群的那份练手题，六十年后成了给新物质上户口的模板。一本 1952 年的小书里写死的「五不许」，在读者手里反而成了寻找例外的路标。

顺手验一个数。十重对称的衍射图为什么特殊：若只是周期晶体，十重可以拆成五重＋镜像，仍被禁；新物质的意义恰在「不周期」，所以十重能整体成立。禁令的原文——「周期的晶体无五重轴」——至今无一例外；破例的全部属于非周期一族。一句 1952 年的断言，被精确到「前提」地步地验证了一遍：科学史上，被修正得这么「对」的结论不多。