ハミルトン力学
formula_4 をシンプレクティック多様体とする。formula_2 上の滑らかな関数の族 formula_131 で formula_132 をとる。このとき、formula_2 に随伴するハミルトン力学系