本記事では、タイトルにある閉集合がもとの空間の閉集合であることについて書きます。
背景以下を読んでいたところ、なかなか理解できない箇所がありました。
【Mathpedia】Hausdorff空間が局所コンパクトであることの同値な条件
それは次の箇所です。
次に、
はコンパクト空間 の閉集合なので命題 9.9 によりコンパクトであるが、 はHausdorff空間なので、定理 11.11により は の閉集合となる。
上記では以下のような性質を使っていると推察されますが、「どっちがどっちだったかな」と今でも混乱します・・・。
加えて相対位相への理解不足も相まって、「うーん」と長いこと唸っていました😅
まずコンパクトの定義ですが、 【Mathpedia】定義 9.2 (コンパクト性) を参考にさせていただきます。
(1)
(2)
証明 2 は冒頭の引用箇所を参考にさせていただきました(参考といってもほぼそのままですが・・・)。