ウリゾーンへ馳せる思い

多様体のテキスト順調〜〜って、まだ頭だし全然楽なんだけど。 級の微分可能多様体を導入して座標変換なんか。

今日のワンポイント"ウリゾーンの補題"のウリゾーンは、26歳の時に海で溺れて死んでしまったらしい。ウリゾーンはコンパクト性の概念の生みの親らしい。もっと長く生きていたら、どんな発見をしただろう。（あるいは、数学の世界は若いうちしか活躍できないらしいからもう発見をしなかったかもしれないが）