ハイゼンベルク描像
一方２番目の条件はformula_630の左辺はハイゼンベルク描像で見たときのの時間発展であるので、この条件は対称性formula_626を定義する無限小生成元が運動の不変量である事を意味している。