Lie derivative
外导数和李导数的关系可以总结为以下这些。对于一般函数"f"，李导数就是外导数和向量场的内积：