阶可微张量场（我们可以把它当作余切丛formula_9的光滑截面formula_51和切丛formula_52的截面formula_53的线性映射formula_54），使得对于任何函数formula_55有而且如果进一步有一个可微向量场（也就是切丛的一个光滑截面）formula_57，则线性映射独立于联络∇；只要它是无挠率的，事实上，这个映射是一个张量。这个张量称为formula_59关于formula_57的李导数。换句话说，如果你有一个张量场formula_59和一个由向量场formu