Lie derivative
微分形式に作用するリー微分も重要な性質を持っている。α, β を "M" 上の微分形式とし、"X", "Y" を "M" 上のベクトル場とすると、