Lie derivative
で定義される。ここに、formula_11 はベクトル場 "X" に沿ったリー微分を表す。さらに、次の等式が成り立つ。