Noether's theorem
解析力学によれば、ネーターの定理により空間並進の無限小変換に対する作用積分の不変性に対応する保存量として運動量が導かれる。