コンパクト空間・点列コンパクト空間の意味

更新 2025/11/14

コンパクト・点列コンパクトの意味と性質を整理しました。

コンパクトとは

コンパクトとは，ざっくり言うと「開集合で全体を覆うと，実は有限個で十分」となるような空間・集合のことです。コンパクトの定義

なんとなく「コンパクト」っぽい気はしますね。

正確な定義は下記です：

コンパクトの定義

位相空間 $X$ が以下を満たすとき $X$ はコンパクトまたはコンパクト空間であるという：

$X$ の任意の開被覆に対して有限部分被覆が存在する。

ただし，

位相空間とは，開集合系が与えられた集合です。例えば実数全体の集合と開区間をすべて集めたものをイメージしてください。
開被覆とは，全体を覆う開集合たちのことです。つまり，開集合 $U_{\lambda}$ の集合 $\{U_{\lambda}\mid\lambda\in\Lambda\}$ で $\displaystyle\bigcup_{\lambda\in\Lambda}U_{\lambda}\supseteq X$ を満たすもののことです。
開被覆の部分集合で「要素数が有限」で「開被覆」になるものを有限部分被覆と言います。
もともとの $\Lambda$ は無限集合かもしれないが，そのうちの有限個をうまく選べば $X$ を覆える，というのがコンパクトの意味です。

位相空間 $X$ の部分集合 $A$ に対しても同様に「コンパクト」が定義されます：

コンパクト集合の定義

位相空間 $X$ の部分集合 $A$ について，

$A$ の任意の開被覆に対して有限部分被覆が存在する

とき， $A$ はコンパクト，またはコンパクト集合であるという。

コンパクトに関する例

定義は抽象的でわかりにくいので簡単な例を見てみましょう。この節ではユークリッド空間 $\mathbb{R}$ を考えます。また， $a,b$ は実数とします。

コンパクトな例

閉区間 $[a,b]$ はコンパクト

コンパクトであることの証明はやや大変です。→閉区間のコンパクト性についての補足(外部PDF))

コンパクトでない例

開区間 $(a,b)$ はコンパクトでない
$\mathbb{R}$ はコンパクトでない

コンパクトでないことの証明は「有限部分被覆を持たない開被覆」を構成するだけです。

2の証明

$n=1,2,...$ に対して $U_n=\left(a,b-\dfrac{1}{n}\right)$ という開区間を考える。 $\bigcup U_n=(a,b)$ よりこれは開被覆。しかし，この有限部分集合は開被覆にならない。

3の証明も同様に $U_n=(-n,n)$ を考えればわかります。

コンパクトと有界閉集合

コンパクトと有界閉の関係

実は，ユークリッド空間においては「コンパクト」と「有界閉」は同じです。

ハイネ・ボレルの定理

ユークリッド空間 $\mathbb{R}^n$ とその部分集合 $A\subseteq\mathbb{R}^n$ において

$A$ がコンパクト集合 $\iff$ $A$ が有界閉集合

また，上記の $\Rightarrow$ は一般の距離空間で成立します。

定理1

任意の距離空間 $X$ とその部分集合 $A\subseteq X$ において

$A$ がコンパクト集合 $\Rightarrow$ $A$ が有界閉集合

例

ハイネ・ボレルの定理からいくつかコンパクト空間である例やコンパクト空間ではない例を得ることができます。

コンパクトな例

$n$ 次元球面 $S^n = \{ (x_1, \cdots , x_{n+1}) \mid {x_1}^2 + \cdots + {x_{n+1}}^2 = 1 \}$ は有界閉集合であるため，コンパクト集合である。

コンパクトではない例

$M_n (\mathbb{R})$ により $n \times n$ 行列全体の集合を表す。これは $\mathbb{R}^{n^2}$ と見なせる。

集合 $\mathrm{SL}_2 (\mathbb{R}) = \{ X \in M_n (\mathbb{R}) \mid \det X = 1 \}$ は閉集合になる。

任意の実数 $t$ について $X_t = \begin{pmatrix} t & 0\\ 0 & t^{-1} \end{pmatrix}$ は $X_t \in \mathrm{SL}_2 (\mathbb{R})$ である。 $t$ をいくらでも大きく取れるため， $\mathrm{SL}_2 (\mathbb{R})$ は有界ではなく， $\mathrm{SL}_2 (\mathbb{R})$ がコンパクトではないことが分かる。

同様に $\mathrm{SL}_n (\mathbb{R})$ がコンパクトではないことが分かる。

コンパクト空間の性質

「コンパクト」を考えるメリットとして，コンパクト空間の性質を紹介します。

有界閉区間の拡張

定理2

コンパクト集合上の連続関数は，最大値・最小値を持つ
コンパクト集合上の連続関数は一様連続

ちなみに，この定理はユークリッド空間 $\mathbb{R}$ で成立する2つの性質：

有界閉区間上の連続関数は，最大値・最小値を持つ
→最大値・最小値の定理
有界閉区間上の連続関数は一様連続
→関数の連続性と一様連続性

を一般の位相空間に拡張したものです。「コンパクト」という概念のおかげで定理を簡潔に表せます。

コンパクト空間の像

定理3

$f : X \to Y$ を連続写像とする。

$A \subset X$ を $X$ のコンパクト集合とするとき， $f(A)$ は $Y$ のコンパクト集合になる。

証明

$f(A) \subset \bigcup_{i \in I} U_i$ を開被覆とする。

$f$ は連続写像であるため，このとき開被覆 $A \subset \bigcup_{i \in I} f^{-1} (U_i)$ を得るが， $A$ はコンパクトであるため， $i_1 , i_2 , \cdots , i_n \in I$ が存在して $A \subset \bigcup_{i=1}^n f^{-1} (U_i)$ である。

こうして $\begin{aligned} f(A) &\subset \bigcup_{i=1}^n f (f^{-1} (U_i))\\ &= \bigcup_{i=1}^n U_i \end{aligned}$ という有限開被覆が取れた。

点列コンパクトの定義

コンパクトに似た概念として点列コンパクトというものがあります。

点列コンパクトの定義

位相空間の部分集合 $A$ が以下を満たすとき $A$ は点列コンパクトであるという：

$A$ の任意の点列が収束部分列を持つ。

つまり， $a_1,a_2,a_3,...$ （各 $a_i$ は $A$ の要素）という点列が与えられたら，うまい部分列

$a_{i_1},a_{i_2,},a_{i_3},...$

（ただし $i_1 < i_2 < i_3 < \cdots$ ）を取ってこれて $\displaystyle\lim_{n\to\infty}a_{i_n}=a$ （ただし $a\in A$ ）とできる，という意味です。

点列コンパクトとコンパクト

点列コンパクトとコンパクトは別物に見えますが，実は距離空間では同じです。

定理4

任意の距離空間 $X$ とその部分集合 $A\subseteq X$ において

$A$ が点列コンパクト集合 $\iff$ $A$ がコンパクト集合

さらに，ユークリッド空間では以下が成立します。

点列コンパクト性定理

ユークリッド空間 $\mathbb{R}^n$ とその部分集合 $A\subseteq\mathbb{R}^n$ において

$A$ が点列コンパクト集合 $\iff$ $A$ が有界閉集合

これは定理3とハイネ・ボレルの定理からわかります。
また，ボルツァーノ＝ワイエルシュトラスの定理とも呼ばれます。→ボルツァーノ＝ワイエルシュトラスの定理（リンク先の主張とは少し異なる形式ですが同値です）

以上をまとめると図のようになります。コンパクトと点列コンパクトの関係

コンパクトについて大事なことをコンパクトにまとめてみました。

この記事の監修者

マスオ

東京大学大学院情報理工学系研究科修了／2014年にWebサイト『高校数学の美しい物語』を立ち上げ／著書累計 50,000部突破／「わかりやすいこと」と「ごまかさないこと」の両立を意識している。 →著者情報・書籍一覧を見る