Lie derivative
李导数有一些属性。令formula_24为流形"M"上的函数组成的代数。则