多様体M上に1次の微分形式があるとする。 これとM上のベクトル場との内部積として つまり 微分形式が一般のk次のときも同様に 例として となるはず。内部積の話は続く。。

リー微分を調べた。Wikipedia参照 関数のリー微分 関数のリー微分は以下で定義する。 これを成分で計算すると 外に出して、 あとは内積を計算して こうとも書ける。 ベクトルのリー微分 ベクトルのリー微分は以下で定義する。 ]括弧はリー括弧で これを成分…