大学数学基礎解説

コンパクト集合と閉集合の共通部分はコンパクト

位相空間論,コンパクト集合,閉集合

4020

はじめに

こんにちは。MakkyoExistsです。Mathlogで記事を書くのも少し慣れてきました。こういった寄稿が数学科の学生にとって助けになる可能性があると思うとモチベーションが湧きますね。

今回は位相空間論の定理について解説したいと思います。主張は以下の通りです。

$X$を位相空間とする。$S$を$X$のコンパクト集合、$F$を$X$の閉集合としたとき、$S \cap F$もまたコンパクト集合となる。

位相空間論の授業では中盤くらいに習う定理でしょうか？研究室で本を読むようになるとこういう定理はたくさん使いそうですね。

僕は普段の研究でこういった事実を頻繁に使っているわけではないのですが、最近読んでいる参考文献にこういった議論をしている箇所があったので位相空間論を復習したいと思い、この題材を選びました。ではさっそく中身に入っていきたいと思います。
（毎回前置きが長いのかな笑まぁ良いや…笑）

定義（前提知識）

証明に入る前に、位相空間論の基礎知識をこの章でまとめておこうと思います。既に知っていらっしゃる方も多いと思うのでそういうときは読み飛ばして頂いて大丈夫です。まずは大前提となる位相空間の定義とは何かというところから軽く述べてみたいと思います。

位相空間、開集合系

$X$を集合とし、$\mathcal{O}$を$X$の部分集合から成る族とする（$\mathcal{O}$は必ずしも$X$の部分集合を「全て」取ってきているわけではない。）
$\mathcal{O}$が次の３条件をみたすとき、$X$に位相(topology)が与えられたといい、$\mathcal{O}$に属する$X$の部分集合を$X$の開集合(open set)、$\mathcal{O}$を開集合系(open set system)という。

$X$, $\emptyset$ $\in \mathcal{O}$
$U_1, U_2, \dots U_n \in \mathcal{O}$ならば, $\displaystyle\bigcap_{i=1}^{n}{U_i} \in \mathcal{O}$となる。(つまり$\mathcal{O}$は有限回共通部分をとる操作で閉じている。)
$\mathcal{O}$に属する部分集合からなる族$\{ U_{\lambda} \}_{\lambda \in \Lambda}$に対し、$\displaystyle\bigcup_{\lambda \in \Lambda}{U_i} \in \mathcal{O}$となる。(つまり$\mathcal{O}$は合併部分をとる操作で閉じている。)

位相が与えられた集合を位相空間(topology space)という。

これを初学者が見るとなんのこっちゃとなりますよね笑僕も学部生の頃はそうでした。この記事のメインは冒頭の定理を示すのが目的なので定義について深入りはしませんが、また機会があったら位相空間の基礎みたいなノートも書こうと思います。（ていうか世にはもう分かりやすくまとめられているものがたくさん存在していると思いますけどね…笑）

では次に、閉集合の定義です。冒頭で紹介した定理にも「閉集合」という単語がありますし、ここはおさえておかなければなりませんね。

閉集合

$X$を位相空間、$\mathcal{O}$を$X$の開集合系とする。
$X$の部分集合$F$について、$F$の補集合$F^c$が$\mathcal{O}$に属するとき、$F$を閉集合(closed set)という。

つまり、$F$の補集合が開集合になるとき、$F$を閉集合というわけですね。そして$X$の閉集合全体を$\mathcal{F}$とすると以下の性質が成り立ちます。

$X$, $\emptyset$ $\in \mathcal{F}$
$F_1, F_2, \dots F_n \in \mathcal{F}$ならば, $\displaystyle\bigcup_{i=1}^{n}{F_i} \in \mathcal{F}$となる。
$\mathcal{F}$に属する部分集合からなる族$\{ F_{\lambda} \}_{\lambda \in \Lambda}$に対し、$\displaystyle\bigcap_{\lambda \in \Lambda}{F_i} \in \mathcal{F}$となる。

これは開集合の３条件から導かれます。閉集合の大切な性質です。

以上であげた閉集合の３条件は「性質」と解説したが、$X$に閉集合の３条件をみたす部分集合族$\mathcal{F}$を与える（つまり「定義」する）ことでも$X$上に位相を導入できる。本筋とはズレるのでここでは割愛。

最後にコンパクト集合の定義をします。

開被覆

$X$を位相空間、$S$を$X$の部分集合とする。$X$の開集合族$\{ U_{\lambda} \}_{\lambda \in \Lambda}$が
$$ S \subset \displaystyle\bigcup_{\lambda \in \Lambda}{U_i} $$
をみたすとき$\{ U_{\lambda} \}_{\lambda \in \Lambda}$を$S$の開被覆(open covering)という。

コンパクト集合

$X$を位相空間、$S$を$X$の部分集合とする。ここで、$S$の「任意の」開被覆$\{ U_{\lambda} \}_{\lambda \in \Lambda}$に対し、
$$ S \subset \displaystyle\bigcup_{i = 1}^{n}{U_i} $$
となる$U_{\lambda_1}, U_{\lambda_2}, \dots ,U_{\lambda_n}$ ($\lambda_1, \lambda_2, \dots, \lambda_n \in \Lambda$)がとれるとき、$S$をコンパクト集合(compact subset)という。

コンパクト集合のニュアンス的には「任意の開被覆は有限部分開被覆をもつ」といった感じですね。

文献によっては上のコンパクトの定義を準コンパクト(quasi-compact)としているものもある。

定理の証明

では、いよいよ冒頭の定理を証明したいと思います。

再掲

$X$を位相空間とする。$S$を$X$のコンパクト集合、$F$を$X$の閉集合としたとき、$S \cap F$もまたコンパクト集合となる。

閉集合の性質をうまく使ってコンパクト性を定義に従って示すというだけなのですが、初学者には良い演習問題だとと思います。コンパクトであることを示さなければいけないので、まず$S \cap F$の開被覆を任意にとってくる必要がありますね。あとは$S \cap F$が実は有限個の開集合で覆えていることを言えば証明終了です。

では、示していきましょう。

$\{ U_{\lambda} \}_{\lambda \in \Lambda}$を$S \cap F$の開被覆とする。つまり
$$ S \cap F \subset \displaystyle \bigcup_{\lambda \in \Lambda}U_{\lambda} $$
という状況である。このとき$F$の補集合を$F^c$とすると
$$ S = (S \cap F) \cup (S \cap F^c) \subset F^c \cup \displaystyle \bigcup_{\lambda \in \Lambda}U_{\lambda} $$
となる。また$F$は閉集合なので$F^c$は開集合となり$\{ U_{\lambda} \}_{\lambda \in \Lambda} \cup \{ F^c \}$は$S$の開被覆となる。
今$S$はコンパクト集合なので
$$ S \subset F^c \cup \displaystyle \bigcup_{i = 1}^{n}U_{\lambda_i} $$
となる有限個の開集合$U_{\lambda_1}, U_{\lambda_2}, \dots, U_{\lambda_n}$, $F^c$がとれる。これは
$$ S \cap F \subset \displaystyle \bigcup_{i = 1}^{n}U_{\lambda_i} $$
という意味なので、元々取ってきた任意の開被覆$\{ U_{\lambda} \}_{\lambda \in \Lambda}$から$S \cap F$を覆える有限個の開集合をとれたことになり、$S \cap F$がコンパクトであることが言えた。