第9回 コンパクト空間
Xの部分集合からなる集合族
を満たすとき、
Aが任意の開被覆
となるとき、Aはコンパクト集合といい、Aはコンパクトであるという。
X自身がコンパクトであるとき、
例1 位相空間の有限部分集合は常にコンパクトであり、離散空間がコンパクトであるのは有限集合の時に限る。
例えば、Nを自然数全体の集合とし、Nの離散空間
とすると、
となるので、
例2 有限個のコンパクト集合の和集合はコンパクトである。
【証明】
よって、有限個のコンパクト集合の話集合はコンパクトである。
(証明終)
を集合Aの直径という。集合Aの直径が有限なとき、集合Aは有界であるという。
例3 距離空間上のコンパクト集合は有界である。
【証明】
Aの1点xをとり、
とおくと、これはAの開被覆である。
また、Aはコンパクトなので、
となる自然数nが存在する。
したがって、Aは有界である。
(証明終)
定理1 ハイネ・ボレルの定理
Rの任意の有界閉区間[a,b]はコンパクトである。
【証明】
このとき、
の少なくとも一方は
の少なくとも一方は
このような操作を繰り返すことによって、閉区間の列
を定めることができる。
よって、カントールの区間縮小の原理によって、すべての開区間
さて、
となる。
よって、この閉区間
したがって、閉区間[a,b]の任意の開被覆は有限な開被覆をもつことになり、閉区間[a,b]はコンパクト。
(証明終)
定理2 コンパクト空間の閉集合はコンパクトである。
【証明】
Xはコンパクトなので、
とXを覆うことができる。
このとき、
よって、コンパクト空間の閉集合はコンパクトである。
(証明終)
定理3 fを位相空間
【証明】
はAの開被覆となる。
とすることができる。
ゆえに、
よって、f(A)はコンパクトである。
(証明終)