3

大学数学基礎解説

文献あり

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

位相空間論

168

0

初めに

この記事の内容

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

背景

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

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

それは次の箇所です。

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

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

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

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

本題

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

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

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

証明1

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

証明2

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

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

参考文献

[1]

Mathpedia 定理 15.3 (Hausdorff空間が局所コンパクトであることの同値な条件), Mathpedia 位相空間論15：局所コンパクト空間, 閲覧日 2023年2月18日, https://math.jp/wiki/%E4%BD%8D%E7%9B%B8%E7%A9%BA%E9%96%93%E8%AB%9615%EF%BC%9A%E5%B1%80%E6%89%80%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E7%A9%BA%E9%96%93#.E5.AE.9A.E7.90.86_15.3_.28Hausdorff.E7.A9.BA.E9.96.93.E3.81.8C.E5.B1.80.E6.89.80.E3.82.B3.E3.83.B3.E3.83.91.E3.82.AF.E3.83.88.E3.81.A7.E3.81.82.E3.82.8B.E3.81.93.E3.81.A8.E3.81.AE.E5.90.8C.E5.80.A4.E3.81.AA.E6.9D.A1.E4.BB.B6.29

[2]

Mathpedia 定義 9.2 (コンパクト性), Mathpedia 位相空間論9：コンパクト性, 閲覧日 2023年2月18日, https://math.jp/wiki/%E4%BD%8D%E7%9B%B8%E7%A9%BA%E9%96%93%E8%AB%969%EF%BC%9A%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7#.E5.AE.9A.E7.BE.A9_9.2_.28.E3.82.B3.E3.83.B3.E3.83.91.E3.82.AF.E3.83.88.E6.80.A7.29

投稿日：2023年2月17日

OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

バッチを贈って投稿者を応援しよう

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

投稿者

25

5219

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

コメント

他の人のコメント

コメントはありません。

読み込み中

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

初めに
本題
参考文献