Poisson bracket
ハミルトニアンが微少変換 formula_1について不変ならば、formula_17が成り立つ。ポアソン括弧の歪対称性より