ブルバキ数学原論、位相線型空間の補足ノートを公開しました。 まだ途中ですが、順次更新していきます。

今日の時点では, [ブルバキ位相線型空間] 第2章, §5 まで終了. 第 1 巻の p.79 の命題 6 の証明は, H が E から R へのアフィン写像のグラフであることの証明が, 修正が必要となります. [岩波位相幾何学 I] 実シューベルト多様体による実グラスマン多様体の …

今回の数学エッセーでは, 前回の正則性公理のパラドックスに引き続き, 自然数のパラドックスを紹介します. 形式的体系として, ZFC を考えます. ZFC の言語を L とし, L に現れない定記号 b を L に追加した言語を L_b とします. そこで, ZFC の公理シェーマ…

今回の数学エッセーでは, 正則性公理にまつわる, ある種のパラドックスを紹介します. T を形式的体系 ZF もしくは ZFC とします.T の無矛盾性は仮定します. T の言語を L とし, L に現れない定記号 f (0 変数関数記号) を L に付け足した言語を L_1 とします…

ここ一週間の勉強. [1] 岩波位相幾何学 I: シューベルト多様体による, 実グラスマン多様体の CW 分割. [2] ブルバキ代数フランス語版: 交換子.