Poisson bracket
が成り立つ。逆にポアソン括弧を不変に保つ変数変換は正準変換となる。ポアソン括弧の不変性が成り立つには、