ポアソン括弧(ぽあそんかっこ、Poisson Bracket)とは、ハミルトン形式の解析力学における重要概念の一つ。formula_1、formula_2を正準共役量とするとき、相空間上の可微分な実数値関数f(p,q)、g(p,q)に対し、f,gのポアソン括弧とは、関数の事である。formula_4が(q,p)の関数である事を明記してformula_5とも書く。またベクトル表記を用れば、とも書き表せる。相空間上の二回微分可能な任意の実数値関数f、g、hに対し、ポアソン括弧は以下の性質を満たす：また、正準変数 p, q に対して以下が成り立つ。ここでformula_12はクロネッカーのデルタ。ポアソン括弧は運動の保存量を見つける為に役立つ。実際"H"を時間不変なハミルトニアンとし、(q(t),p(t))を"H"に関する正準方程式の解とし、fを（時刻に依存しない）可微分な任意の関数とすれば、であるので、{f,H}が0ならf(q(t),p(t))は時刻tによらず不変である。（上で(1)は正準方程式から従う。）またf、gを{f,H}、{g,H}が恒等的に0になる関数とすれば、よって{f,g}(q(t),p(t))も時刻tによらず不変である。（上で(2)ヤコビの恒等式、(3)は歪対称性と仮定から従う。）f, gが運動の保存量である事が分かれば、物体はf = const, g = constを満たす相空間の部分集合上で運動する事が分かる。特に保存量が 2n-1 個見つかれば、物体が運動する場所が1次元空間に限定されるので、物体の軌道が完全に決定できる。多くの系において正準方程式を実際に解いて運動を決定するのは非常に困難である為、ポアソン括弧を使って保存量を見つけて運動の範囲を特定するのはハミルトン力学において重要な手法となる。ポアソン括弧の前述した定義は正準座標 (q,p) に依存しているが、シンプレクティック形式 ω を使えば座標に依存しない定義を以下のようにして得られる。（よって特に、ポアソン括弧をシンプレクティック多様体上で定義できる。）関数 f に対し、formula_18をを満たす接ベクトルとするとき、ポアソン括弧 {f,g} はにより定義される。ここで d は外微分である。なお(4)を満たす formula_18 の存在は、シンプレクティック形式が非退化である事と外積代数の一般論から従う。この定義によるポアソン括弧が前述の定義によるそれと一致する事は、シンプレクティック形式をダルブー座標で直接書き表して見る事で簡単に証明できる。また外積代数の一般論から、ポアソン括弧は以下のようにも書き表す事ができる事が示せる：ポアソン括弧とリー括弧は以下の関係を満たす："h" を二回微分可能な任意の関数とするとき、(5)より同様によってヤコビの恒等式と(5)より、"h" の任意性よりformula_28が証明された。

出典:wikipedia