Lie derivative
リー微分は、微分形式に対しても定義することができる。この文脈でのリー微分は外微分と近い関係にあり、リー微分と外微分はともに異なる方法で一つの同じ微分概念を捉える試みであると考えられる。この違いは反微分 (antiderivation) あるいは同じことだが内部積 (interior product) の概念を導入することで埋めることができ、いくつかの恒等式の組としてこれらの関係を抽出することができる。