诺特定理

一个直觉：一位连讲师资格都被拒发的女数学家，找到了守恒律的总根源#

为什么能量会守恒？十九世纪的物理课只会告诉你"它就是守恒"，像一条记下来的实验铁律。1918 年，哥廷根的 艾米·诺特（Emmy Noether，1882—1935）在《哥廷根消息》（Göttinger Nachrichten）上发表《不变变分问题》（Invariante Variationsprobleme），给出了一个深得多的回答：能量守恒，是因为物理定律不随时间改变；动量守恒，是因为定律不随位置改变；角动量守恒，是因为空间没有偏爱的方向。每一条守恒律背后，都藏着一种对称性——这就是后来被单称为「诺特定理」的那条对应，其实只是她那篇论文里的第一条。

讽刺的是，给出这两条定理的人，当时连在哥廷根正式开课的资格都拿不到，只因为她是女性。希尔伯特为她争辩，后来外尔记下过一句「大学不是澡堂」的反问——确切措辞见下文历史背景，开篇不宜写成铁证。她为此在希尔伯特名下挂名讲了四年课，到 1919 年才取得讲师资格。

那篇论文其实写下了两条定理，不是一条口号。第一条处理整体的、有限个参数的连续对称，推出守恒律，也就是今天教科书里的「诺特定理」；第二条处理依赖任意函数的局域对称——后来所说的规范对称、坐标重参数化都属这一类——给出的不是又一条守恒量，而是场方程之间必须成立的恒等关系。把一篇论文压成「对称性等于守恒」，第二条就被悄悄抹掉了。

定理陈述#

诺特定理（Noether's Theorem）建立了对称性与守恒律之间的深刻联系。更精确地说，下面这条是 1918 年论文的第一定理：整体的连续对称对应守恒律。设物理系统的拉格朗日量 $L(q, \dot{q}, t)$ 在某个连续变换下不变，则存在一个对应的守恒量；若 $L$ 在无穷小变换 $q \to q + \varepsilon\delta q$ 下不变（$\delta L = 0$），则

$$Q = \frac{\partial L}{\partial \dot{q}} \cdot \delta q$$

是一个守恒量，即 $\frac{dQ}{dt} = 0$。这是第一定理的常用写法，只管有限个参数的整体连续对称。同一篇论文的第二定理说：若对称变换依赖于任意函数（局域对称、规范对称），拉格朗日表达式之间会出现恒等关系，而不是多出一条独立守恒量——广义相对论里的比安基恒等式、规范场论里的约束，走的是第二条路。

经典对应关系正是第一定理在时空对称上的实例：时间平移不变给出能量守恒，空间平移不变给出动量守恒。旋转与规范对称同样落在这张表里，但规范一项已经踩在第一、第二定理的交界上。论文还写了逆命题：看见一条守恒律，就可以往回找连续对称，同一条构造允许双向走。

直觉理解#

诺特定理的第一条说的是：每一种整体连续对称性都对应一条守恒律。为什么能量守恒？因为物理定律不随时间改变——今天的物理定律和明天的一样。如果物理定律每天都在变，时间平移不再是对称，能量就不守恒了。

为什么动量守恒？因为物理定律不随空间位置改变——这里的物理定律和那里的一样。如果物理定律在不同地方不同，空间平移不再是对称，动量就不守恒了。时间平移对能量、空间平移对动量，是同一条定理在两个生成元上的两次代入，不是两份需要分开背诵的经验定律。

为什么角动量守恒？因为物理定律不随方向改变——空间是各向同性的。这里对称的是定律，不是物体的形状：一颗形状不规则的小行星在太空里翻滚，角动量照样守恒，因为它服从的力学并不偏爱某个方向。诺特定理将看似无关的两个概念——对称性（几何性质）和守恒律（物理性质）——统一为同一枚硬币的两面：先认出连续对称，守恒量就不再是实验清单上的偶然条目。

证明思路#

经典力学版本#

证明建立在 变分法 上：作用量取极值，运动方程才出现。设拉格朗日量 $L(q, \dot{q}, t)$ 在变换 $q \to q + \varepsilon\delta q$ 下不变，最小作用量原理 $\delta S = 0$（其中 $S = \int L\,dt$）把无穷小变分写成下面的积分。

$$\delta S = \int \left(\frac{\partial L}{\partial q}\delta q + \frac{\partial L}{\partial \dot{q}}\delta\dot{q}\right)dt = 0$$

欧拉-拉格朗日方程 $\frac{d}{dt}\frac{\partial L}{\partial \dot{q}} = \frac{\partial L}{\partial q}$ 把被积函数收成一个全导数，变分不再含坐标的独立增量。化简之后，作用量的变分只剩下端点项。

$$\delta S = \int \frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}}\delta q\right)dt = 0$$

因此全导数的积分只能是端点差，沿真实运动有 $\frac{d}{dt}\left(\frac{\partial L}{\partial \dot{q}}\delta q\right) = 0$，即 $Q = \frac{\partial L}{\partial \dot{q}}\delta q$ 是守恒量。对称变换一旦是连续的，这个边界项就被迫不随时间改变，守恒量从变分里长出来。

场论版本#

把质点换成场，时间导数换成时空导数，逻辑并不另起炉灶。在经典场论中，拉格朗日密度 $\mathcal{L}(\phi, \partial_\mu\phi)$ 在变换 $\phi \to \phi + \varepsilon\delta\phi$ 下保持不变。对应的守恒流写成下面这一条。

$$j^\mu = \frac{\partial \mathcal{L}}{\partial(\partial_\mu\phi)}\delta\phi$$

它满足 $\partial_\mu j^\mu = 0$（连续性方程），对应的守恒荷为 $Q = \int j^0 d^3x$。流的散度为零，说的是荷只能流入或流出体积，不能在内部凭空产生。

历史背景#

艾米·诺特（Emmy Noether，1882—1935）是德国数学家，被誉为"抽象代数之母"。她 1882 年生于埃尔朗根，1935 年在美国布林莫尔去世。1915 年 希尔伯特 与克莱因请她到哥廷根，要处理广义相对论里能量是否还能写成一条普通守恒律的难题；三年后她交出的不是一句口号，而是两条定理——第一条给整体对称，第二条给局域对称。

1918 年 7 月 26 日，克莱因把她的《不变变分问题》（Invariante Variationsprobleme）提交哥廷根科学协会，论文题献给克莱因获博士学位五十周年，随后刊于《哥廷根消息》（Göttinger Nachrichten）数学物理类第 235–257 页。她本人已于 7 月 23 日向哥廷根数学学会报告过同一结果。文中明确写下两条定理及其逆命题：第一条对应有限参数连续群下的守恒律，第二条对应依赖任意函数的对称所强制的恒等关系；希尔伯特关心的广义相对论能量疑难，更多落在第二条上，后世口耳相传的「对称性等于守恒律」说的却几乎全是第一条。

诺特在哥廷根大学工作时，因性别歧视无法获得正式教职。爱因斯坦和希尔伯特为她的任命据理力争，但未能成功。希尔伯特曾据理力争："我不明白候选人的性别为什么成为反对她的理由——我们这儿毕竟是大学，不是澡堂。"（这句广为流传的话确切措辞已不可考，外尔1935年在布林莫尔的悼词记下的德文版本是"先生们，评议会毕竟不是澡堂"。）

诺特的贡献远不止第一定理。她开创了环论和理想理论的抽象方法，发展了"诺特环""诺特模"等概念。1933 年纳粹上台后，她因犹太身份被解除哥廷根教职，同年离开德国，前往宾夕法尼亚州的女子学院布林莫尔（Bryn Mawr College）任教约一年半，并到普林斯顿高等研究院作访问讲演；学生与代数方法随之转到美国。1935 年她因手术并发症在布林莫尔去世，享年五十三岁——规范对称性决定基本力的那套用法，要到她身后才完全展开。

应用#

诺特定理是理论物理学的基石，不是一份需要背诵的对应表。标准模型里，规范对称性 $SU(3) \times SU(2) \times U(1)$ 决定了强相互作用、弱相互作用和电磁相互作用的形式：先选定对称群，力的种类就被大幅收窄。电荷守恒对应整体 $U(1)$ 相位对称，走的是第一定理；把相位改成逐点任意函数，则必须引入规范场，那是第二定理约束下场方程能够自洽的代价。

能量守恒 来自时间平移对称，这是热力学第一定律在拉格朗日框架里的深层原因：今天的定律若与明天相同，能量就没有理由凭空增减。动量守恒来自空间平移对称，牛顿第三定律在封闭系统里的推广也落在这里——这里与那里若服从同一套定律，系统整体就不能无故获得净动量。旋转对称给出角动量守恒，开普勒第二定律所看到的面积速度，正是中心力场旋转对称的几何影子。

对称性也可以隐藏自己。希格斯机制里的自发对称性破缺，让规范玻色子获得质量，但拉格朗日量的对称并未从方程里消失，只是真空不再分享它。第一定理在破缺之后仍然管着剩余的连续对称；被吃掉的戈德斯通模，则是另一段故事。

与其他定理的关系#

诺特定理建立在拉格朗日力学的框架之上：没有作用量，就没有可对之做对称变换的积分。哈密顿力学里，守恒量对应于哈密顿量中的循环坐标——那个坐标不出现，共轭动量就守恒，这是第一定理的一维特例。连续对称性由李群描述，定理把李群的无穷小生成元与守恒量一一配上。

规范理论把第二定理推到前台：局域对称不是多给一条荷，而是强迫场方程满足恒等约束。时间反演这类离散对称并不在两条定理的连续假设之内。它的破缺与热力学第二定律有关，但不能被误写成「又一条诺特守恒律」。

对称性的数学描述#

诺特定理中的"对称性"由李群描述。常见的对称群包括：平移群 $\mathbb{R}^n$ 给出空间或时间的平移，旋转群 $SO(3)$ 给出三维空间的旋转，洛伦兹群 $SO(3,1)$ 给出狭义相对论的时空对称，规范群 $U(1)$、$SU(2)$、$SU(3)$ 给出标准模型中的内部对称。有限参数的那些落在第一定理，依赖任意函数的规范落在第二定理。

每个李群有对应的李代数——由无穷小生成元张成。诺特定理将每个生成元与一个守恒量对应：时间平移生成元对应能量，空间平移生成元对应动量，旋转生成元对应角动量，$U(1)$ 规范生成元对应电荷。条数由群的维数决定，不是实验清点出来的。

诺特定理的严格推导#

把第一定理写回坐标语言，守恒量的来源就不再只是一张对照表。设拉格朗日量 $L(q_i, \dot{q}_i, t)$ 在无穷小变换 $q_i \to q_i + \varepsilon \eta_i(q, t)$ 下不变，即 $\delta L = 0$，按坐标与速度展开如下。

$$\delta L = \sum_i \left(\frac{\partial L}{\partial q_i}\eta_i + \frac{\partial L}{\partial \dot{q}_i}\dot{\eta}_i\right) = 0$$

运动方程 $\frac{d}{dt}\frac{\partial L}{\partial \dot{q}_i} = \frac{\partial L}{\partial q_i}$ 把坐标变分换成动量的时间导数，交叉项于是成对抵消。剩下的只有一个对时间的全导数，守恒量就藏在这一步里。

$$\frac{d}{dt}\left(\sum_i \frac{\partial L}{\partial \dot{q}_i}\eta_i\right) = 0$$

因此守恒量为 $Q = \sum_i p_i \eta_i$，其中 $p_i = \partial L/\partial \dot{q}_i$ 是正则动量。时间平移取 $\eta_i = \dot{q}_i$，守恒量 $Q = \sum_i p_i \dot{q}_i - L = E$ 正是能量；空间平移让 $\eta_i$ 变成常数，守恒量退化为动量本身——两条教科书里的铁律，在这里是同一个公式的两次代入。

离散对称性与守恒律#

诺特定理只处理连续对称性——离散对称性（如空间反射 $x \to -x$ 或时间反演 $t \to -t$）不直接产生守恒律。连续变换可以无穷小地挪动一截，离散变换只能整块翻转，第一定理的变分论证只用得上前一种。它们仍然重要，只是给出的是选择定则与量子数的乘法规则，不是一条随时间不变的连续荷。

宇称守恒（P）曾经被当成物理定律在空间反射下不变的证据，但在弱相互作用中被破坏（吴健雄实验，1957）。电荷共轭（C）把粒子换成反粒子；C 与 P 的联合对称在 $K^0$ 介子衰变中被发现部分破坏。CPT 定理则说：任何洛伦兹不变的局域量子场论中，C、P、T 三者联合必须守恒。这类破缺揭示的是宇宙的深层不对称——例如 CP 破缺可能是物质多于反物质的原因——但那不是第一定理失效，而是离散对称本来就不在它的假设里。

诺特定理在广义相对论中的微妙性#

在 广义相对论 中，诺特定理的应用变得微妙。弯曲时空中没有全局的时间平移对称性，因此第一定理不给出全局的能量守恒。守恒量变为协变守恒的应力-能量张量 $\nabla_\mu T^{\mu\nu} = 0$，这与平直时空中的 $\partial_\mu T^{\mu\nu} = 0$ 有本质区别。

这正是第二定理的地盘。广义协变是依赖任意坐标变换的局域对称，它强迫爱因斯坦方程满足比安基型恒等关系，而不是再交出一个处处适用的总能量。把「宇宙膨胀中光子红移、能量看似丢失」说成违反诺特定理，是把第一定理用到了它明确拒绝签字的地方。

跨域连接#

• 李群与李代数：守恒荷正是对称群无穷小生成元作用在场上的产物，群有几个独立生成元就有几条守恒律。推论是：守恒量的条数不是经验统计的结果，而是群维数的计数，多出来的守恒律必然对应尚未识别的对称。
• 对称与守恒的配对：时间平移给出能量，空间平移给出动量，转动给出角动量，相位不变给出电荷。推论是：这些配对不是一份需要背诵的清单，而是同一个构造在不同群上的实例；指认一个新的连续对称，就等于预言一个新的守恒荷。
• 膨胀中的能量：度规随时间变化时，时间平移不再是对称操作，定理也就不给出守恒的总能量。推论是：光子在传播中红移、能量看似"丢失"并不违反定理，恰恰是定理的预言——这是把定理用反了最常见的地方。
• 离散对称的边界：定理只对连续对称成立。宇称、时间反演这类离散对称不给出守恒流，只给出选择定则与量子数的乘法规则。推论是：这类对称的破缺表现为某些过程从被禁止变为被允许，而不是某个连续量不再守恒。
• 方法论的倒置：传统次序是先写下定律再发现守恒量，这条定理把次序反了过来——先假设该有什么对称，定律的可能形式就被大幅收窄。推论是：现代理论构造常常从对称性清单起步，这是一条可以事后检查的研究策略，而非形而上学信念。

参考文献#

1. Emmy Noether, "Invariante Variationsprobleme," Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse (1918), 235–257.
2. Yvette Kosmann-Schwarzbach, The Noether Theorems: Invariance and Conservation Laws in the Twentieth Century (Springer, 2011).
3. Hermann Weyl, "Emmy Noether," Scripta Mathematica 3 (1935), 201–220.
4. 李新洲, 《对称性与守恒律》, 科学出版社.

延伸阅读#

1. John Baez, "Noether's Theorem in a Nutshell" (online).
2. David Tong, Classical Dynamics, Cambridge Lecture Notes.

诺特 1918 年的《不变变分问题》写下两条定理。第一条：整体连续对称对应守恒律——时间平移给出能量，空间平移给出动量，旋转给出角动量。第二条处理局域对称带来的恒等关系，不能压成同一句口号。