Lie derivative
李导数有几种等价的定义。在本节，为简便起见，我们用标量场和向量场的李导数的定义开始。李导数也可定义在一般的张量上，如后面的章节所述。