Hamiltonian mechanics
自由度 のハミルトン力学系において、 を正準変数とする。このとき、系に 個の独立な第一積分 が存在し、それらのポアソン括弧が可換