Poisson bracket
が成り立つ。ここで中括弧はポアソン括弧を表す。これをリウヴィル方程式と呼ぶ。