Note19(補習) Lie群と１助変数部分群(補習)

やはり、先日の解釈はどうもすっきりしないので行列（一般線形群）もリー群になっていたので具体的に計算してみる事にした。n×nの局所座標系で書けばベクトル場を次のように書けるはずです。


から、

でこれは行列表示では

で初期条件を単位行列と考えれば、確かにこの解は

になっている。

で、合ってるのかなぁー。