a_5 或者 formula_6。
性质.由反对称性所以 formula_8。因为李导数与缩并可以交换，故：这便得出两个向量李括号的内乘公式：内乘与微分形式的外导数以及李导数的关系由嘉当恒等式给出：这个等式在辛几何中非常重要：参见矩映射。