面formula_51和切丛formula_52的截面formula_53的线性映射formula_54），使得对于任何函数formula_55有而且如果进一步有一个可微向量场（也就是切丛的一个光滑截面）formula_57，则线性映射独立于联络∇；只要它是无挠率的，事实上，这个映射是一个张量。这个张量称为formula_59关于formula_57的李导数。换句话说，如果你有一个张量场formula_59和一个由向量场formula_62给出的微分同胚的无穷小生成元，则formula_63