Lie derivative
内乘与微分形式的外导数以及李导数的关系由嘉当恒等式给出：