Lie derivative
加えてリー微分はリー括弧積の対応する性質も持っている。例えば、ベクトル場のリー括弧積の微分