リー微分
が従う。外微分とリー微分の関係は以下のようにまとめられる。まず通常の関数 "f" に対しては、そのリー微分はベクトル場 "X" に関する外微分の縮約