前回の図を元にちょっとした計算をしてみます。 よって、 は、任意ｂ点のファイバー上で一定値の微分可能な写像と分かる。これを座標変換関数と呼びます。 それで、なんでこんなのを定義したかというと多様体MとLie群Gに対して座標近傍{Uα}を与えたとき上記…

先日は家畜と現代人の呆れた一面について書きましたがもう少し家畜について考えて見ましょう。 そもそも家畜なんて居なかったわけで、それがいわゆる家畜になったのは原始人（古代人）が根気良く改良を加えて作ってきた訳です。 さて、馬は元々は人が乗れな…