ヤコビ恒等式
二項演算に対して考えられる性質の一つ
数学におけるヤコビ恒等式(ヤコビこうとうしき、英語: Jacobi identity)とは、二項演算に対して考えられる性質の一つ。名前はドイツの数学者カール・グスタフ・ヤコブ・ヤコビに由来する。ヤコビは1862年の微分方程式に関する論文の中でポアソン括弧に対するヤコビ恒等式を導いた[1][2]。
定義
編集集合 に二項演算 と可換かつ単位元 を持つ二項演算 が定義され、この について、
が成立するとき、 はヤコビ恒等式を満たすという。
式の解釈
編集が によって加法群の構造を持つとしよう。このときヤコビ恒等式は
という形で書くことができる。左辺を x に対する b * c の随伴作用と解釈すると、右辺はそれを b の作用と c の作用で逐次的に行って実現するものと解釈することができる。
例
編集- 三次元ベクトルにおける外積
三次元のベクトル空間における外積(クロス積)はヤコビ恒等式を満たす。
- リー環
リー環における積演算である括弧積はヤコビ恒等式を満たす。
括弧積を随伴作用と考えれば、環上の微分におけるライプニッツ則として捉えることができる。すなわち、
と表せば、上述のヤコビ恒等式は
であり、ライプニッツ則として解釈できる。
- ポアソン括弧
- 交換関係
脚注
編集出典
編集参考文献
編集論文
編集- Jacobi, C. G. J. (1862). “Nova methodus, aequationes differentiales partiales primi ordinis inter numerum variabilium quemcunque propositas integrandi”. Jl. für die reine u. angew. Math. 60: 1-181 .
- Hawkins, Thomas (1991). “Jacobi and the Birth of Lie's Theory of Groups”. Arch. Hist. Exact Sci. 42: 187-278. doi:10.1007/BF00375135.