2016-01-24 リー微分 微分幾何 リー微分を調べた。Wikipedia参照 関数のリー微分 関数のリー微分は以下で定義する。 これを成分で計算すると 外に出して、 あとは内積を計算して こうとも書ける。 ベクトルのリー微分 ベクトルのリー微分は以下で定義する。 ]括弧はリー括弧で これを成分で書くと まとめると 微分形式のリー微分 内部積を用いると 内部積の定義は次回。。