Lie derivative
李导数的定义可以从函数的微分开始。这样，给定一个函数formula_2和一个"M"上的向量场"X" , "f"在点formula_3的李导数定义为