Lie derivative
这是流形的一个基本性质，关于两个向量场的李导数运算的交换子等价于关于某个向量场的李导数，即它们的李括号。泊松括号中平行的脚色显然是雅可比恒等式的一个变形：