Lie derivative
然后定义向量场"Y"的李导数等于"X"和"Y"的李括号，也就是，