Noether's theorem
つまり系のハミルトニアンが連続並進に対して不変であれば、系は運動量保存則を持ち、運動量演算子の期待値は一定となる。これはネーターの定理の一つの例である。