ヤコビの恒等式
n次の正方行列
$ A, B
に対して
交換子積
を次のように定義する:
$ [A, B]=AB-BA
ヤコビの恒等式はこの交換子積を用いて次のように表される
$ [[A, B],C]+[[B,C],A]+[[C,A],B]=O