ブルバキ多様体の証明の LaTeX 化は止めにしました. 理由は, 量が多すぎて, 私の生きているうちには終わらないからです. その代わり, ブルバキ多様体の定式化の一般化については, 私の既存の紙のノートに付け足していきます. いずれスキャナーで読み込んで, …

今回の数学エッセーは, ある掲示板で見た次の問題に回答を与えます: 『f: R → R を周期 1 の連続関数とする時, f は一様連続であることを証明せよ.』 証明. f = gh : R → R/Z → R と分解できる. ここに, h: R → R/Z は商位相群への標準準同型, g: R/Z →R は…