Lie derivative
微分はいくつかの等価な方法で定義することができる。簡単のため、本節ではまずスカラー関数とベクトル場に作用するリー微分から定義する。リー微分は後述するように一般のテンソル空間への作用として定義されるものである。