个理论的拉格朗日量或运动方程在某些变量的变化下的不变性。如果这些变量随时空变化，而拉格朗日量或运动方程仍旧不变，则称此性质为为「局域对称性」（），反之，若这些变量不随时空变化，则称此性质为「整体对称性」（）。物理学中最简单的对称性例子是牛顿运动方程的伽利略变换不变性和麦克斯韦方程的洛伦兹变换不变性和相位不变性。数学上，这些对称性由群论来表述。上述例子中的群分别对应着伽利略群，洛伦兹群和formula_1群。对称群为连续群和分立群的情形分别被称为「连续对称性」（)和「离散对称性」（）。德国数学家外尔（）是