多様体のテキスト順調〜〜って、まだ頭だし全然楽なんだけど。 級の微分可能多様体を導入して座標変換なんか。今日のワンポイント"ウリゾーンの補題"のウリゾーンは、26歳の時に海で溺れて死んでしまったらしい。ウリゾーンはコンパクト性の概念の生みの親ら…