3
大学数学基礎解説
文献あり

ハウスドルフ空間におけるコンパクト部分空間の閉集合について

168
0

初めに

この記事の内容

本記事では、タイトルにある閉集合がもとの空間の閉集合であることについて書きます。

背景

以下を読んでいたところ、なかなか理解できない箇所がありました。

【Mathpedia】Hausdorff空間が局所コンパクトであることの同値な条件

それは次の箇所です。

次に、ClKV はコンパクト空間 K の閉集合なので命題 9.9 によりコンパクトであるが、X はHausdorff空間なので、定理 11.11により ClKVX の閉集合となる。

上記では以下のような性質を使っていると推察されますが、「どっちがどっちだったかな」と今でも混乱します・・・。

  • ハウスドルフ空間のコンパクト部分集合は閉集合
  • コンパクト空間の閉集合はコンパクト

加えて相対位相への理解不足も相まって、「うーん」と長いこと唸っていました😅

本題

まずコンパクトの定義ですが、 【Mathpedia】定義 9.2 (コンパクト性) を参考にさせていただきます。

X を位相空間、YX の部分空間とする。
(1) Xコンパクトであるとは、X の任意の開被覆に対して、その有限な部分被覆が存在することをいう。
(2) YX のコンパクト部分集合である、または、X においてコンパクトであるとは、YX の部分空間としてコンパクトであることをいう。

X をハウスドルフ空間、KX のコンパクト部分集合、AK の閉集合とする。このとき、AX の閉集合である。

証明1

AK の閉集合であるから、A=FK となるような X の閉集合 F が存在する。X はハウスドルフ空間であるから、KX の閉集合である。よって AX の閉集合である。

証明2

A は コンパクト空間 K の閉集合であるから、AK においてコンパクトである。よって AX においてコンパクトである。X はハウスドルフ空間であるから AX の閉集合である。

証明 2 は冒頭の引用箇所を参考にさせていただきました(参考といってもほぼそのままですが・・・)。

参考文献

投稿日:2023217
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

pha
25
5219
初めまして!ファ♪です☺️ よろしくお願いします🤲🐹

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中