一片六角雪花，转 60° 后你分不出它动过没有；一个圆，转任意角度都还是它自己。对称，不是「长得好看」，而是「你对它做了某个操作，却看不出区别」。
这里藏着一次视角的革命：数学家不再问「这东西长什么样」，而问「我能对它做哪些操作而不改变它」。答案——那一整套「不改变它的操作」——比外形更深刻地刻画了这个对象。圆和正方形的真正区别，不在边的数目，而在：圆能被无穷多个旋转保持不变，正方形只能被 8 个。对称性把「形状」翻译成了「动作的集合」。
若变换 $g$ 作用在对象上后对象保持不变（$g$ 让它「看不出变化」），就说该对象在 $g$ 下具有一个对称。所有这样的 $g$ 合在一起，构成一个 群——这正是下一张卡片的主角。物理学家 Hermann Weyl 一句话点破：「一个东西是对称的，如果你能对它做某件事，做完后它和原来一模一样。」
把注意力从「物体」移到「物体的对称群」，是 20 世纪数学与物理最深的一次转向。物理定律的对称尤其惊人：实验结果不因你在哪里做、朝哪个方向做、什么时候做而改变。这些「看不见的不变」，下文会揭示，正是守恒律的源头。
晶体学用 230 种「空间群」穷尽了所有晶体的对称，这是化学的分类基石。在 AI 里，卷积神经网络的平移等变性——图像里的猫平移后仍被识别为猫——本质就是把「平移对称」硬编码进网络结构。新兴的几何深度学习（Geometric Deep Learning）更进一步，直接把对称群当作设计神经网络的第一性原理：数据有什么对称，网络就该尊重什么对称。
盯着魔方的所有拧法，你会发现三条规律：任意两步可以接起来算一步（先转右面再转上面，合起来是某一步）；每一步都能撤销（逆时针拧回去）；还有一个「什么都不做」的动作。群，就是把这三条——可复合、可撤销、有恒等——从魔方、从旋转、从整数加法里抽出来，只留下这副「骨架」。
妙处在于：一旦抽掉「具体是什么」，只留「怎么组合」，你会发现表面毫不相干的东西共享同一副骨架——因而同一个证明，一次写成，处处通用。
群 $(G,\cdot)$ 是一个集合 $G$ 配一个「组合」运算 $\cdot$，满足四条：
封闭——两个元素组合还在 $G$ 里；结合律——$(a\cdot b)\cdot c=a\cdot(b\cdot c)$，加括号的方式不影响结果；单位元——存在 $e$ 使 $e\cdot a=a$（就是「什么都不做」）；逆元——每个 $a$ 都有 $a^{-1}$ 使 $a\cdot a^{-1}=e$（每步都能撤销）。四条，恰好就是「对称操作」必然满足的性质。
群论的美，是抽象的杠杆。整数加法、魔方群、分子的对称、基本粒子的分类——外表毫无关系，内里是同一个结构。19 世纪少年 Galois 正是用群，证明了「五次以上方程没有根式解」——不是没人聪明到解出来，而是它的对称群结构上就不允许。这是数学第一次用「结构」回答「不可能」。
粒子物理的标准模型，骨架就是一个对称群 $SU(3)\times SU(2)\times U(1)$——夸克、电子、光子如何相互作用，全由这个群决定。椭圆曲线上的点构成群，撑起了现代公钥密码（比特币的签名即用此）。纠错码、化学光谱、魔方最优解算法，背后都是群。凡是「对称」出现的地方，群就是它的数学语言。
光从空气射入水中会拐个弯——它走的是「用时最短」的路径（费马原理）。把这思想推到极致：自然界的一切运动都像在「最省」。 在所有想象得到的路径里，真实发生的那一条，让一个叫「作用量」的总账取到极值。
这和牛顿的世界观截然不同。牛顿说：此刻受这个力，于是下一刻这样动——因果一步步推。最小作用量却说：整条路径被「一次性」选出来，仿佛粒子出发前就比较了所有走法、挑了最优的那条。两种图景，同一套物理。
定义作用量 $S=\displaystyle\int_{t_1}^{t_2} L\,dt$，其中 Lagrangian $L=T-V$（动能减去势能）。真实路径满足驻定条件 $\delta S=0$：微微扰动路径，作用量在一阶不变（如同山顶或谷底，斜率为零）。由它可推出 Euler–Lagrange 方程
其中 $q$ 是位置、$\dot q$ 是速度。对最简单的 $L=\tfrac12 m\dot q^2-V(q)$，这个方程算出来正是牛顿第二定律 $m\ddot q=-\partial V/\partial q$。同一个物理，换了副面孔。
Lagrangian 形式有个牛顿没有的天赋：它不在乎你用什么坐标（直角、极坐标、任意曲线坐标都同一个方程）。正因为它是「坐标无关」的，它天然能和「对称性」对话——你问「哪个变换让 $S$ 不变」，它立刻能回答。这正是通往 Noether 的那扇门。
广义相对论中，行星沿测地线运动，就是作用量取极值；量子场论的费曼路径积分更激进——粒子「真的」同时尝试所有路径，各路径按作用量加权叠加。工程上的最优控制、机器人轨迹规划，用的是同一套变分思想：定义一个「代价」，求让它极小的路径。
为什么能量守恒？不是巧合，不是实验碰巧凑出来的规律。1918 年，Emmy Noether 证明了一件震撼的事：每一个连续对称，都精确对应一条守恒律。
物理定律不随时间改变——今天做的实验，明年重做结果一样——这条时间平移对称，正是能量守恒的根。定律不随位置改变 → 动量守恒。不随方向改变（空间各向同性）→ 角动量守恒。守恒律从此不再是一条条孤立的经验事实，而是时空对称投下的影子。
| 连续对称 | 守恒量 |
|---|---|
| 时间平移（何时做实验无关） | 能量 |
| 空间平移（在哪做实验无关） | 动量 |
| 旋转（朝哪个方向无关） | 角动量 |
| 相位对称（量子波函数的相位） | 电荷 |
若作用量 $S$ 在某个连续变换群下保持不变，则必存在一个守恒流 $j^\mu$，满足 $\partial_\mu j^\mu=0$——由它积出的「荷」不随时间变化，$\dfrac{dQ}{dt}=0$。关键词是「连续」：变换要能被一个连续参数（如角度、位移）平滑地调节，也就是构成一个李群。离散对称（如镜像）不在此定理管辖之内。
这是数学史上最深刻的定理之一。它把两样看似风马牛不相及的东西——几何上的「对称」和物理上的「守恒」——证明为同一枚硬币的两面。 守恒定律曾被当作独立的自然律，一条条从实验里总结；Noether 一举揭示它们全都发源于时空的对称结构。Feynman 说：「对物理学家而言，这简直令人瞠目。」
Noether 定理是现代物理的操作系统：物理学家先假设一个对称群，定理便自动交出对应的守恒量，反过来指导理论构造。把「相位对称」升级为局域（规范）对称，Noether 逻辑会「逼」出电磁力乃至整个标准模型的相互作用。在 AI 中，等变神经网络沿用同一思想：让网络内建物理对称，可守恒的自由度就无需从数据里苦学——这正是 AlphaFold、分子性质预测样本效率惊人的原因之一。