リー微分
リー微分には、高次ランクの項がさらに加えられる。例えば、タイプ のテンソルは、