ある掲示板で、下記のような質問を見つけました： 『（微分多様体は）実多様体としてならば、必ず次元の大きな射影空間に埋め込めるの？』 その通りです。 実射影空間 PR^n は、S^n の -x と x をそれぞれ同一視して得られる、 実 C^ω 級多様体です。 S^n の…

今、ブルバキの位相 vol.1 の内容を検証しています。 検証の目的は、ZF - {正則性公理} の範囲で、どれだけ定式化が可能かを見るためです。 すでに、第1章は終わりましたので、第2章の一様空間論に入ります。