Lie derivative
はこの性質の反映である。言い換えると、別の座標に関する 1 つの座標のリー微分は である。