Lie derivative
例として、formula_14 を満すような外微分（リー微分）を持つ 2-形式の場 formula_15 がある。この場合には、