其中formula_13对于所有"M"中的点"p"成立。这个一阶常微分方程的解的存在性由皮卡-林德洛夫定理给出（更一般的，这种曲线的存在性是弗罗贝尼乌斯定理给出）。然后可以定义李导数为第三个可能的定义可以通过先定义一对向量场的李括号给出。首先注意到切空间的基向量可以写为formula_15，所以一个向量场，用一组选定的基向量可以表示为定义李括号formula_17为然后定义向量场"Y"的李导数等于"X"和"Y"的李括号，也就是，根据上面任选的一个定义，其他的定义可被证明为其等价形式。例如，