リー微分
である。一般の微分形式 ω に対しても、同様にそのリー微分は "X" の変分を考慮にいれた縮約