今日の数学は, [1] ブルバキ多様体: 多様体構造の逆像. [2] ブルバキ位相線型空間: 凸錐と順序線型空間. [3] 公理的集合論: 集合族の合併と共通部分に関する分配法則.

久しぶりの数学エッセーです。 今回は、全不連結コンパクトハウスドルフ空間 X の任意の二点 x, y について, x の X における開かつ閉な近傍 V が存在して, ¬ y ∈ V となるかという問題を考えます. 答えは肯定的で, 文献 [1], p.177 の命題 6 によると, x の…