MarriageTheoremのこと

_ さっきとある事情で久々に「コンパクト空間からハウスドルフ空間への連続写像は閉写像」という定理を使った。この定理は個人的にかなり好きな方の部類に入る定理で、私は普段は数学に美しさというものをあまり求めないのだけれども、この定理とその証明には「論理の流れの美しさ」と「機能美」がともに満ちているように感じられる。数学の箱庭のようなイメージである。