今日は調子が良いのでもう少し進んでみようかと思いましたが。リー群とかいうのが出てきます。予備知識というかそういうものがあるというレベルだったし、僅か２行だけの説明しかないので「ふーん、、」と思っていましたが奥が深そうです。これだけでも大変…

出かけたついでにレンタル屋に行ってみた。目に付いたのがこの古い作品。 なんとなく思い出した映画だ。いい映画なんだけど後半で台無し。 風間杜夫主演。 ある夏の日、主演の風間杜夫が亡き父（片岡鶴太郎）とそっくりの男と出会う。 気さくに会話が弾み不…

多様体Mから多様体M'への写像が微分可能というのは任意のM'上の微分可能関数ｆ’に対して関数 がM上の微分可能な関数となる場合を言います。 ｐの座標近傍Uとしてその局所座標系ｘ、p'の座標近傍をVとしてその局所座標系ｙとします。 なので が微分可能な関数…