ポアソン括弧
ここに右辺はハミルトニアン "f" と "g" を持つハミルトンベクトル場のリー括弧を表す。したがって（ポアソン括弧の証明より）、ポアソン括弧はヤコビ恒等式