>>640
>(d/dt)exp(tA) を考えるのに、 A∈GL(2;R) (||A||＜2) という条件は不要だな。
>もっとも行列を持ち出すこと自体、トンチンカンだがな。
おいおい、微分幾何の話をするにあたり不要なのは、||A||＜2 なる条件だぞ。
実数体R上の2次の一般線型群 GL(2;R) は、リー群で可微分多様体として扱える。
GL(2;R) の正方行列を考え、正方行列の指数関数と、GL(2;R) に対応するリー環 gl(2;R) の
正方行列の対数関数(一般には多価関数になる)を対応させながら調べつつ、gl(2;R) のことを調べたりすることで
可微分多様体 GL(2;R) のことが分かったりする。リー群論は微分幾何の範疇だろ。