2012-01-26 local flow 幾何 リー群M上の左不変ベクトル場をXとする.,Xの生成するlocal flowを とする.このときL_gとlocal flow は可換,つまりが成立する. 感覚的には明らかな気がするんだけどわからなかったので調べた. (単位元の近傍のlocal flowに対応させる)がgの近傍のlocal flowになってることを示す.で となるから,結局gの近傍のlocal flow は となる.これよりとなり を得る.