Lie derivative
我们用在1-形式formula_22上的李导数的定义来结束本节：