最近知った... というのは嘘だけれど、自分でちゃんと証明してみて、これ、以外と非自明だなぁ、とあらためて実感した。 いや、球じゃなくて、回転楕円体だよ、とかそういうことでなくね。 地球一周できたよ、じゃあ、地球は球だね、なんていうお気楽なモン…

先日Lie群の講義で、Lie群の単位元における接空間の成すLie代数と滑らかな左不変ベクトル場が1-1対応しているということがすぐにわからずに、質問してしまった。 何が非自明に感じたかというと、Lie群の単位元と、さらに上の左移動について、次で定めるベク…