Lie derivative
如果 "k" = 0，故 "K" ∈ Ω0("M", T"M") 是一个向量场，得到了李导数的通常同伦公式：