Lie derivative
独立于联络∇；只要它是无挠率的，事实上，这个映射是一个张量。这个张量称为formula_59关于formula_57的李导数。