## 2. 準備前提とする内容は [位相空間の定義と基本概念](/mathematics/topology/topological-spaces) と [連続写像と同相写像](/mathematics/topology/continuous-maps) です。記号を確認しておきます。 - 位相空間を $(X, \mathcal{O})$ と書きます（）。$\mathcal{O}$ は開集合の全体で、$\emptyset, X \in \mathcal{O}$、任意個の合併と**有限個**の交わりについて閉じます。$X \setminus F$ が開のとき $F$ を閉集合と呼びます。 - 部分集合 $A \subset X$ には相対位相 $\mathcal{O}_A = \{\, U \cap A \mid U \in \mathcal{O} \,\}$ を入れ、$A$ を部分空間とみなします。 - 写像 $f \colon X \to Y$ が連続であるとは、$Y$ の任意の開集合 $V$ に対し $f^{-1}(V)$ が $X$ の開集合であることをいいます（）。 - $\mathbb{N} = \{1, 2, 3, \ldots\}$ とします。$\mathbb{R}^n$ にはユークリッド距離 $|x - y| = \bigl(\sum_i (x_i - y_i)^2\bigr)^{1/2}$ から定まる位相を入れ、開球を $B(x, r) = \{\, y \mid |y - x| < r \,\}$ と書きます。 - 実数の完備性は上限公理の形で使います。すなわち「空でなく上に有界な $\mathbb{R}$ の部分集合には上限が存在する」を認めます（[実数の完備性とコーシー列](/mathematics/real-analysis/completeness-and-cauchy)、とくにを参照してください）。アルキメデスの原理（任意の実数 $c$ に対し $n > c$ なる $n \in \mathbb{N}$ が存在する。）も上限公理から従う事実として使います。分離公理のうち、この記事で使うのはハウスドルフ性だけです。位相空間 $X$ が**ハウスドルフ空間**であるとは、相異なる任意の 2 点 $x \ne y$ に対して、開集合 $U, V$ が存在して $$ x \in U,\quad y \in V,\quad U \cap V = \emptyset $$ を満たすことをいいます。距離空間 $(X, d)$ はハウスドルフです。実際、$x \ne y$ なら $r = d(x, y)/2 > 0$ とおくと $B(x, r) \cap B(y, r) = \emptyset$ です。もし $z$ が両方に属せば三角不等式から $d(x,y) \le d(x,z) + d(z,y) < r + r = d(x,y)$ となって矛盾するからです。したがって $\mathbb{R}^n$ もハウスドルフです。分離公理の体系については [分離公理と距離づけ可能性](/mathematics/topology/separation-axioms)、とくにを参照してください。 ## 3. コンパクト性の定義 ### 3.1. 被覆と部分被覆 $X$ を位相空間、$A \subset X$ とします。$X$ の部分集合の族 $\mathcal{U} = \{U_\lambda\}_{\lambda \in \Lambda}$ が $$ A \subset \bigcup_{\lambda \in \Lambda} U_\lambda $$ を満たすとき、$\mathcal{U}$ を $A$ の**被覆**といいます。さらにすべての $U_\lambda$ が $X$ の開集合であるとき、$\mathcal{U}$ を $A$ の**開被覆**といいます。添字集合の部分集合 $\Lambda' \subset \Lambda$ に対し $\{U_\lambda\}_{\lambda \in \Lambda'}$ が再び $A$ の被覆になっているとき、これを**部分被覆**といい、$\Lambda'$ が有限集合のとき**有限部分被覆**といいます。位相空間 $X$ が**コンパクト**であるとは、$X$ 自身の任意の開被覆が有限部分被覆をもつことをいいます。すなわち、$X$ の開集合の族 $\{U_\lambda\}_{\lambda \in \Lambda}$ が $X = \bigcup_{\lambda \in \Lambda} U_\lambda$ を満たすならば、有限個の添字 $\lambda_1, \ldots, \lambda_m \in \Lambda$ が存在して $$ X = U_{\lambda_1} \cup U_{\lambda_2} \cup \cdots \cup U_{\lambda_m} $$ となることをいいます。量化子を誤読しないでください。「**ある**都合のよい開被覆が有限部分被覆をもつ」ではなく「**すべての**開被覆が有限部分被覆をもつ」です。$X$ 自身 1 個からなる被覆はいつでも有限被覆なので、前者ならどんな空間もコンパクトになってしまいます。逆にコンパクトでないことを示すには、有限部分被覆をもたない開被覆を**一つ**構成すれば十分です。部分集合のコンパクト性は、相対位相を入れた部分空間としてのコンパクト性を意味します。しかし毎回相対位相に戻るのは面倒なので、周囲の空間の開集合で判定できることを確かめておきます。以後ほぼすべての証明で使う補題です。 $X$ を位相空間、$A \subset X$ に相対位相を入れる。このとき次は同値である。 1. $A$ は位相空間としてコンパクトである。 2. $X$ の開集合からなる $A$ の任意の被覆 $\{U_\lambda\}_{\lambda \in \Lambda}$（すなわち $A \subset \bigcup_\lambda U_\lambda$）に対し、有限個の添字 $\lambda_1, \ldots, \lambda_m$ が存在して $A \subset U_{\lambda_1} \cup \cdots \cup U_{\lambda_m}$ となる。（1 ⇒ 2）$\{U_\lambda\}$ を $X$ の開集合による $A$ の被覆とします。$V_\lambda := U_\lambda \cap A$ は相対位相の定義から $A$ の開集合であり、$A \subset \bigcup_\lambda U_\lambda$ より $$ \bigcup_\lambda V_\lambda = \Bigl(\bigcup_\lambda U_\lambda\Bigr) \cap A = A $$ ですから、$\{V_\lambda\}$ は $A$ の（部分空間としての）開被覆です。仮定 1 より有限部分被覆 $A = V_{\lambda_1} \cup \cdots \cup V_{\lambda_m}$ がとれます。$V_{\lambda_i} \subset U_{\lambda_i}$ なので $A \subset U_{\lambda_1} \cup \cdots \cup U_{\lambda_m}$ が従います。（2 ⇒ 1）$\{V_\lambda\}_{\lambda \in \Lambda}$ を $A$ の開被覆とします。相対位相の定義より、各 $\lambda$ に対して $X$ の開集合 $U_\lambda$ で $V_\lambda = U_\lambda \cap A$ となるものが存在します（各 $\lambda$ ごとに一つ選びます）。すると $$ A = \bigcup_\lambda V_\lambda = \bigcup_\lambda (U_\lambda \cap A) \subset \bigcup_\lambda U_\lambda $$ なので、仮定 2 が適用でき、$A \subset U_{\lambda_1} \cup \cdots \cup U_{\lambda_m}$ なる有限個がとれます。両辺と $A$ の交わりをとると $$ A = A \cap \bigl(U_{\lambda_1} \cup \cdots \cup U_{\lambda_m}\bigr) = V_{\lambda_1} \cup \cdots \cup V_{\lambda_m} $$ となり、有限部分被覆が得られました。は「コンパクト性は部分空間の内在的な性質である」ことも意味します。$A \subset B \subset X$ のとき、$A$ が $B$ の部分空間としてコンパクトであることと $X$ の部分空間としてコンパクトであることは、どちらも条件 1 と同値なので一致します。この事実は後で $\mathbb{Q}$ の中の集合を $\mathbb{R}$ の中で考えるときに使います。 ### 3.2. 最初の例と反例 **(a) $\mathbb{R}$ はコンパクトではありません。** 開被覆として $U_n = (-n, n)$（$n \in \mathbb{N}$）をとります。任意の $x \in \mathbb{R}$ に対しアルキメデスの原理から $n > |x|$ なる $n$ があるので $x \in U_n$ となり、$\{U_n\}$ は $\mathbb{R}$ の開被覆です。ところが有限個 $U_{n_1}, \ldots, U_{n_k}$ を選ぶと、$N = \max_i n_i$ として $U_{n_1} \cup \cdots \cup U_{n_k} = U_N = (-N, N)$ であり、$N \notin (-N,N)$ ですからこれは $\mathbb{R}$ を覆いません。 **(b) 半開区間 $(0, 1]$ はコンパクトではありません。** $U_n = (1/n, 2)$（$n \in \mathbb{N}$）とおきます。各 $U_n$ は $\mathbb{R}$ の開集合です。$x \in (0,1]$ とすると $x > 0$ なのでアルキメデスの原理から $1/n < x$ なる $n$ があり、$x \le 1 < 2$ とあわせて $x \in U_n$ です。よって $\{U_n\}$ は $(0,1]$ の開被覆です。有限個 $U_{n_1}, \ldots, U_{n_k}$ を選ぶと、$n \le m$ のとき $U_n \subset U_m$ なので、$N = \max_i n_i$ として合併は $U_N = (1/N, 2)$ です。しかし $1/(N+1) \in (0,1]$ は $1/(N+1) \le 1/N$ より $U_N$ に属しません。したがって有限部分被覆は存在せず、により $(0,1]$ はコンパクトではありません。 **(c) 有限集合はつねにコンパクトです。** $X = \{x_1, \ldots, x_k\}$ の開被覆 $\{U_\lambda\}$ が与えられたら、各 $i$ について $x_i \in U_{\lambda_i}$ となる $\lambda_i$ を一つ選べば $X = U_{\lambda_1} \cup \cdots \cup U_{\lambda_k}$ です。

コンパクト性は集合の「大きさ」ではなく位相の細かさで決まる、ということを次の例で確かめてください。無限集合 $X$ に**補有限位相**を入れます。すなわち $U \subset X$ が開であるとは、$U = \emptyset$ であるか、$X \setminus U$ が有限集合であることと定めます。これが位相であることは、有限集合の有限個の合併と任意個の交わりが有限であることから確かめられます。この空間では**任意の**部分集合 $A \subset X$ がコンパクトです。実際、$X$ の開集合による $A$ の被覆 $\{U_\lambda\}$ が与えられたとします。$A = \emptyset$ なら空の部分被覆でよいので $A \ne \emptyset$ とし、$U_{\lambda_0} \ne \emptyset$ となる添字を一つ選びます。すると $X \setminus U_{\lambda_0} = \{y_1, \ldots, y_k\}$ は有限集合です。$A$ の点のうち $U_{\lambda_0}$ に入らないものは $y_1, \ldots, y_k$ の中にしかないので、そのそれぞれについて $y_j$ を含む $U_{\lambda_j}$ を選べば $$ A \subset U_{\lambda_0} \cup U_{\lambda_1} \cup \cdots \cup U_{\lambda_k} $$ となり、有限部分被覆が得られました。 $X = \mathbb{R}$ に補有限位相を入れれば、通常の意味で「大きい」集合がすべてコンパクトになります。コンパクト性が集合の大きさではなく位相に依存することがはっきりします。なお、この空間はハウスドルフではありません。空でない開集合 $U, V$ が $U \cap V = \emptyset$ を満たすとすると $X = (X \setminus U) \cup (X \setminus V)$ となり、右辺は有限集合の合併なので $X$ が有限になってしまうからです。文献によっては、被覆条件だけを満たす空間を**準コンパクト**と呼び、それにハウスドルフ性を課したものを**コンパクト**と呼びます（ブルバキ流の用語法で、代数幾何でもこの区別を使います）。この記事では英語圏の標準に従い、被覆条件だけをコンパクト性と呼び、ハウスドルフ性が必要な主張ではそのつど仮定として明示します。 ## 4. コンパクト性の基本性質コンパクト性が部分集合に対してどう振る舞うかを調べます。まず「コンパクト空間の中で閉ならコンパクト」を示します。有界閉集合の言葉でいえば「有界性は全体から受け継ぐ、閉性は自前で用意する」という分担です。 $X$ をコンパクト空間、$F \subset X$ を閉集合とする。このとき $F$ は（相対位相に関して）コンパクトである。の条件 2 を確かめます。$\{U_\lambda\}_{\lambda \in \Lambda}$ を $X$ の開集合からなる $F$ の被覆とします。$F$ は閉なので $W := X \setminus F$ は開集合です。ここで族 $\{U_\lambda\}_{\lambda \in \Lambda} \cup \{W\}$ を考えると、これは $X$ の開被覆です。実際、$x \in X$ が $F$ に属せば仮定よりどれかの $U_\lambda$ に属し、$F$ に属さなければ $x \in W$ だからです。 $X$ がコンパクトなので有限部分被覆がとれます。それを $U_{\lambda_1}, \ldots, U_{\lambda_m}$（と、場合によっては $W$）とすると $$ X = U_{\lambda_1} \cup \cdots \cup U_{\lambda_m} \cup W . $$ $x \in F$ をとると $x \notin W$ ですから、$x$ はどれかの $U_{\lambda_i}$ に属します。よって $F \subset U_{\lambda_1} \cup \cdots \cup U_{\lambda_m}$ となり、より $F$ はコンパクトです。逆向き、すなわち「コンパクト部分集合は閉か」は一般には成り立ちません。の補有限位相では、有限でない真部分集合はコンパクトですが閉ではありません。ハウスドルフ性を仮定すると逆が成り立ちます。 $X$ をハウスドルフ空間、$K \subset X$ をコンパクト部分集合、$p \in X \setminus K$ とする。このとき $X$ の開集合 $U, V$ で $$ K \subset U, \qquad p \in V, \qquad U \cap V = \emptyset $$ を満たすものが存在する。とくに $K$ は $X$ の閉集合である。各点 $x \in K$ に対して $x \ne p$ ですから、ハウスドルフ性（）により開集合 $U_x \ni x$ と $V_x \ni p$ で $U_x \cap V_x = \emptyset$ となるものがとれます。族 $\{U_x\}_{x \in K}$ は $X$ の開集合による $K$ の被覆ですから、$K$ のコンパクト性とにより有限個の点 $x_1, \ldots, x_m \in K$ が存在して $$ K \subset U_{x_1} \cup \cdots \cup U_{x_m} =: U . $$ そこで $$ V := V_{x_1} \cap V_{x_2} \cap \cdots \cap V_{x_m} $$ とおきます。$V$ は**有限個**の開集合の交わりなので開集合であり、すべての $V_{x_i}$ が $p$ を含むので $p \in V$ です。 $U \cap V = \emptyset$ を示します。$y \in U$ とすると、ある $i$ について $y \in U_{x_i}$ です。$U_{x_i} \cap V_{x_i} = \emptyset$ なので $y \notin V_{x_i}$ であり、$V \subset V_{x_i}$ ですから $y \notin V$ です。よって $U$ と $V$ は交わりません。最後に $K$ が閉であることを示します。上で得た $V$ は $p$ を含む開集合で $V \cap U = \emptyset$、かつ $K \subset U$ ですから $V \subset X \setminus K$ です。$p \in X \setminus K$ は任意だったので、$X \setminus K$ の各点はこの集合に含まれる開近傍をもち、したがって $X \setminus K$ は開集合です。ゆえに $K$ は閉集合です。上の証明で「有限個の交わりだから開」という一歩が本質的です。無限個の開集合の交わりは開とは限りません。たとえば $\bigcap_{n \in \mathbb{N}} (-1/n, 1/n) = \{0\}$ は $\mathbb{R}$ の開集合ではありません。もし $K$ のコンパクト性がなければ $V$ を無限個の交わりとして作るほかなく、$p$ の開近傍が得られません。コンパクト性が「無限を有限に落とす道具」として働く典型例です。コンパクト性は開集合の言葉で定義されていますが、補集合をとって閉集合の言葉に翻訳すると、別の顔が見えてきます。集合 $X$ の部分集合の族 $\{F_\lambda\}_{\lambda \in \Lambda}$ が**有限交叉性**をもつとは、任意の有限個の添字 $\lambda_1, \ldots, \lambda_m \in \Lambda$ に対して $$ F_{\lambda_1} \cap F_{\lambda_2} \cap \cdots \cap F_{\lambda_m} \ne \emptyset $$ が成り立つことをいいます。位相空間 $X$ について次は同値である。 1. $X$ はコンパクトである。 2. 有限交叉性をもつ $X$ の閉集合の族 $\{F_\lambda\}_{\lambda \in \Lambda}$ に対し、つねに $\bigcap_{\lambda \in \Lambda} F_\lambda \ne \emptyset$ が成り立つ。 $U_\lambda := X \setminus F_\lambda$ とおくと、$F_\lambda$ が閉であることと $U_\lambda$ が開であることは同値です。ド・モルガンの法則（）より、任意の添字集合 $\Lambda' \subset \Lambda$ について $$ X \setminus \bigcap_{\lambda \in \Lambda'} F_\lambda = \bigcup_{\lambda \in \Lambda'} U_\lambda $$ が成り立ちます。したがって $$ \bigcap_{\lambda \in \Lambda'} F_\lambda = \emptyset \iff \bigcup_{\lambda \in \Lambda'} U_\lambda = X $$ です。この同値を $\Lambda' = \Lambda$ と有限な $\Lambda'$ の両方に使います。（1 ⇒ 2）対偶を示します。閉集合の族 $\{F_\lambda\}$ が $\bigcap_{\lambda \in \Lambda} F_\lambda = \emptyset$ を満たすとすると、上の同値より $\{U_\lambda\}$ は $X$ の開被覆です。$X$ はコンパクトなので有限部分被覆 $X = U_{\lambda_1} \cup \cdots \cup U_{\lambda_m}$ がとれ、再び上の同値（有限の場合）から $F_{\lambda_1} \cap \cdots \cap F_{\lambda_m} = \emptyset$ です。つまり $\{F_\lambda\}$ は有限交叉性をもちません。（2 ⇒ 1）こちらも対偶です。$\{U_\lambda\}$ を有限部分被覆をもたない $X$ の開被覆とし、$F_\lambda := X \setminus U_\lambda$ とおきます。各 $F_\lambda$ は閉集合です。任意の有限個の添字について $U_{\lambda_1} \cup \cdots \cup U_{\lambda_m} \ne X$ ですから、上の同値より $F_{\lambda_1} \cap \cdots \cap F_{\lambda_m} \ne \emptyset$、すなわち $\{F_\lambda\}$ は有限交叉性をもちます。一方 $\bigcup_\lambda U_\lambda = X$ より $\bigcap_\lambda F_\lambda = \emptyset$ ですから、条件 2 が破れています。の典型的な使い方は、減少する閉集合の列です。$X$ をコンパクト空間、$F_1 \supset F_2 \supset F_3 \supset \cdots$ を空でない閉集合の列とすると、有限個の交わりは $F_{n_1} \cap \cdots \cap F_{n_k} = F_{\max_i n_i} \ne \emptyset$ なので有限交叉性をもち、したがって $\bigcap_{n \in \mathbb{N}} F_n \ne \emptyset$ です。「各段階で空でないなら、極限でも空でない」という結論が無条件で得られるのがコンパクト性の効き目です。コンパクト性を落とすと壊れます。$X = \mathbb{R}$、$F_n = [n, \infty)$ は空でない閉集合の減少列ですが、$\bigcap_n F_n = \emptyset$ です（任意の $x$ に対しアルキメデスの原理から $n > x$ なる $n$ があり、$x \notin F_n$）。とは別の形で $\mathbb{R}$ の非コンパクト性が現れています。 ## 5. ハイネ・ボレルの定理ここまでは抽象論でした。$\mathbb{R}^n$ に戻って、動機の節で述べた「有界かつ閉」との関係を明らかにします。 ### 5.1. 閉直方体のコンパクト性出発点は一つの具体的な事実です。これがなければ、$\mathbb{R}^n$ にコンパクト集合が存在することすら分かりません。 $a_i \le b_i$（$i = 1, \ldots, n$）とし、 $$ B = [a_1, b_1] \times [a_2, b_2] \times \cdots \times [a_n, b_n] \subset \mathbb{R}^n $$ とおく。このとき $B$ はコンパクトである。 $\mathcal{U}$ を $\mathbb{R}^n$ の開集合からなる $B$ の被覆とし、これが有限部分被覆をもたないと仮定して矛盾を導きます（により、これで十分です）。$B$ の直径を $$ d := \operatorname{diam} B = \Bigl(\sum_{i=1}^n (b_i - a_i)^2\Bigr)^{1/2} $$ とおきます。$x, y \in B$ なら各座標について $|x_i - y_i| \le b_i - a_i$ ですから $|x - y| \le d$ です。 **二分の手続き。** $B_0 := B$ とします。$B_k$ が定まったとき、その各辺 $[\alpha_i, \beta_i]$ を中点 $(\alpha_i + \beta_i)/2$ で二つに切ると、$B_k$ は $2^n$ 個の閉直方体に分かれ、それらの合併は $B_k$ に一致します。もしこの $2^n$ 個すべてが $\mathcal{U}$ の有限個で覆えたなら、それらを全部あわせた有限個で $B_k$ が覆えてしまいます。したがって、$\mathcal{U}$ の有限個では覆えない小直方体が少なくとも一つ存在します。それを $B_{k+1}$ と定めます（複数あればどれか一つを選びます）。こうして閉直方体の減少列 $$ B_0 \supset B_1 \supset B_2 \supset \cdots, \qquad \operatorname{diam} B_k = \frac{d}{2^k} $$ で、どの $B_k$ も $\mathcal{U}$ の有限個では覆えないものが得られます。直径が半分になるのは、各辺の長さが半分になるからです。 **共通点の存在。** $B_k$ の第 $i$ 座標の辺を $[a_i^{(k)}, b_i^{(k)}]$ と書きます。$B_k$ が減少列なので、各 $i$ について数列 $(a_i^{(k)})_k$ は単調増加、$(b_i^{(k)})_k$ は単調減少で、つねに $a_i^{(k)} \le b_i^{(k)}$ です。集合 $S_i := \{ a_i^{(k)} \mid k \ge 0 \}$ は空でなく、$b_i^{(0)}$ を上界にもちます。実際、任意の $k$ について $a_i^{(k)} \le b_i^{(k)} \le b_i^{(0)}$ です。よって上限公理から $c_i := \sup S_i$ が存在します。この $c_i$ がすべての $k$ について $a_i^{(k)} \le c_i \le b_i^{(k)}$ を満たすことを確かめます。左側は $c_i$ が $S_i$ の上界であることから直ちに従います。右側は、$b_i^{(k)}$ が $S_i$ の上界であることを示せば $c_i$ が最小上界であることから従います。$m \ge k$ なら $a_i^{(m)} \le b_i^{(m)} \le b_i^{(k)}$（$b$ が減少列）、$m \le k$ なら $a_i^{(m)} \le a_i^{(k)} \le b_i^{(k)}$（$a$ が増加列）ですから、いずれの場合も $a_i^{(m)} \le b_i^{(k)}$ です。したがって $c := (c_1, \ldots, c_n)$ はすべての $B_k$ に属します。 **矛盾。** $c \in B_0 = B$ で $\mathcal{U}$ は $B$ の被覆ですから、ある $U \in \mathcal{U}$ が $c \in U$ を満たします。$U$ は開集合なので $\varepsilon > 0$ があって $B(c, \varepsilon) \subset U$ です。アルキメデスの原理から $2^k \ge k + 1 > d/\varepsilon$ となる $k$ がとれます（$2^k \ge k+1$ は帰納法で従います。$d = 0$ なら $B$ は 1 点なので初めから有限個で覆えており、仮定に反します）。このとき $\operatorname{diam} B_k = d/2^k < \varepsilon$ です。 $c \in B_k$ なので、$x \in B_k$ なら $|x - c| \le \operatorname{diam} B_k < \varepsilon$、すなわち $B_k \subset B(c, \varepsilon) \subset U$ です。つまり $B_k$ は $\mathcal{U}$ のたった一つの元 $U$ で覆えてしまい、「$B_k$ は有限個では覆えない」という構成に反します。この矛盾により、$\mathcal{U}$ は有限部分被覆をもちます。 ### 5.2. ハイネ・ボレルの定理 $A \subset \mathbb{R}^n$ とする。このとき次は同値である。 1. $A$ はコンパクトである。 2. $A$ は有界（ある $R > 0$ について $A \subset B(0, R)$）かつ $\mathbb{R}^n$ の閉集合である。（2 ⇒ 1）$A$ が有界なので $A \subset B(0, R)$ なる $R > 0$ があり、したがって $$ A \subset B := [-R, R] \times \cdots \times [-R, R] $$ です（$|x| < R$ なら各座標について $|x_i| \le |x| < R$ だからです）。より $B$ はコンパクトです。次に $A$ が $B$ の部分空間として閉であることを見ます。$A$ は $\mathbb{R}^n$ の閉集合なので $\mathbb{R}^n \setminus A$ は開であり、$B \setminus A = (\mathbb{R}^n \setminus A) \cap B$ は相対位相で開、すなわち $A$ は $B$ の閉部分集合です。したがってを空間 $B$ に適用して $A$ はコンパクトです。（1 ⇒ 2）まず閉であること。$\mathbb{R}^n$ は距離空間なのでハウスドルフです（の直後で確かめました）。よってより、コンパクト集合 $A$ は閉集合です。次に有界であること。$V_m := B(0, m)$（$m \in \mathbb{N}$）は開球なので開集合で、任意の $x \in \mathbb{R}^n$ に対しアルキメデスの原理から $m > |x|$ なる $m$ があるので $\mathbb{R}^n = \bigcup_{m} V_m$、とくに $\{V_m\}$ は $A$ の開被覆です。$A$ のコンパクト性とより有限個 $V_{m_1}, \ldots, V_{m_k}$ で $A$ が覆えます。$M = \max_i m_i$ とおくと $m \le M$ のとき $V_m \subset V_M$ ですから $A \subset V_M = B(0, M)$ となり、$A$ は有界です。

B["A は十分大きな閉直方体 B に含まれる"] B --> C["閉直方体 B はコンパクト
二分法と実数の完備性"] A --> D["A は B の閉部分集合"] C --> E["コンパクト空間の閉部分集合はコンパクト"] D --> E E --> F["A はコンパクト"] F --> G["R^n はハウスドルフなので A は閉"] F --> H["半径 m の開球で覆い有限個をとると A は有界"]`} /> **(a) 単位球面 $S^{n-1} = \{\, x \in \mathbb{R}^n \mid |x| = 1 \,\}$ はコンパクトです。** ノルム $x \mapsto |x|$ は連続です。三角不等式から $\bigl||x| - |y|\bigr| \le |x - y|$ なので、$\varepsilon$ に対して $\delta = \varepsilon$ ととればよいからです。$\{1\}$ は $\mathbb{R}$ の閉集合ですから、その逆像である $S^{n-1}$ は閉集合です。また $S^{n-1} \subset B(0, 2)$ より有界です。よりコンパクトです。 **(b) 直交群 $O(n) = \{\, A \in \mathbb{R}^{n \times n} \mid A^{\mathsf{T}} A = I_n \,\}$ はコンパクトです。** $\mathbb{R}^{n \times n}$ を $\mathbb{R}^{n^2}$ と同一視します。写像 $\Phi(A) = A^{\mathsf{T}} A$ の各成分は $A$ の成分の多項式（$(\Phi(A))_{jk} = \sum_i a_{ij} a_{ik}$）なので連続であり、$\{I_n\}$ は 1 点集合ゆえ閉ですから $O(n) = \Phi^{-1}(\{I_n\})$ は閉集合です。有界性は具体的に計算できます。$A^{\mathsf{T}}A = I_n$ の $(j,j)$ 成分を比べると $\sum_{i=1}^n a_{ij}^2 = 1$ ですから、これを $j$ について足して $$ \sum_{i,j} a_{ij}^2 = \sum_{j=1}^n 1 = n . $$ つまり $O(n)$ のすべての元は原点からの距離が $\sqrt{n}$ の球面上にあり、有界です。よってよりコンパクトです。 **(c) 一般線型群 $GL_n(\mathbb{R}) = \{\, A \mid \det A \ne 0 \,\}$ はコンパクトではありません。** 閉集合でないことを見ます。$A_k := k^{-1} I_n$ は $\det A_k = k^{-n} \ne 0$ より $GL_n(\mathbb{R})$ に属し、原点（零行列）との距離が $\sqrt{n}/k \to 0$ なので零行列に収束しますが、零行列は $\det = 0$ より属しません。よって $GL_n(\mathbb{R})$ の触点でありながらそれに属さない点があり、閉ではありません。の対偶よりコンパクトではありません。有界でないこと（$k I_n$ の原点からの距離は $k\sqrt{n} \to \infty$）からも同じ結論が出ます。「コンパクト $\iff$ 有界かつ閉」は $\mathbb{R}^n$ に固有の現象で、一般の距離空間では成り立ちません。もっとも簡単な例は、無限集合 $X$ に離散距離（$x \ne y$ のとき $d(x,y) = 1$）を入れたものです。$X$ は直径 $1$ で有界かつ自分自身の中で閉ですが、$\{x\} = B(x, 1/2)$ より 1 点集合がすべて開なので、$\{\, \{x\} \mid x \in X \,\}$ は有限部分被覆をもたない開被覆です。解析でよく使う例としては、2 乗総和可能な数列の空間 $\ell^2$ の中の標準基底 $e_n = (0, \ldots, 0, 1, 0, \ldots)$（第 $n$ 成分だけ $1$）の全体 $E = \{\, e_n \mid n \in \mathbb{N} \,\}$ があります。$n \ne m$ のとき $\|e_n - e_m\| = \sqrt{2}$ です。$E$ は単位球面上にあるので有界であり、$\ell^2$ の閉集合でもあります。実際、$E$ の点からなる列が $\ell^2$ で収束するならコーシー列なので、番号がある段階から先で距離が $\sqrt{2}$ 未満、すなわち定数列となり、極限は $E$ に属するからです。しかし開球の族 $\{ B(e_n, 1) \}_{n \in \mathbb{N}}$ は $E$ の開被覆でありながら、$B(e_n, 1) \cap E = \{e_n\}$（他の点は距離 $\sqrt 2 > 1$）なので、有限個ではたかだか有限個の点しか覆えず、有限部分被覆をもちません。無限次元では「有界閉集合」はコンパクトになるには広すぎるのです。この事実は $L^p$ 空間の議論でも繰り返し現れます（[L^p空間と関数解析への導入](/mathematics/real-analysis/lp-spaces) を参照してください）。 ## 6. 連続像と最大値の原理コンパクト性がなぜ「強力な道具」なのかは、ここで明らかになります。鍵は、コンパクト性が連続写像で前へ運ばれることです。 $X, Y$ を位相空間、$f \colon X \to Y$ を連続写像とする。$X$ がコンパクトならば、像 $f(X)$ は $Y$ の部分空間としてコンパクトである。の条件 2 を確かめます。$\{V_\lambda\}_{\lambda \in \Lambda}$ を $Y$ の開集合からなる $f(X)$ の被覆とします。$f$ が連続なので各 $f^{-1}(V_\lambda)$ は $X$ の開集合です。これらが $X$ を覆うことを見ます。$x \in X$ をとると $f(x) \in f(X) \subset \bigcup_\lambda V_\lambda$ ですから、ある $\lambda$ で $f(x) \in V_\lambda$、すなわち $x \in f^{-1}(V_\lambda)$ です。よって $X = \bigcup_\lambda f^{-1}(V_\lambda)$ です。 $X$ のコンパクト性から有限個の添字 $\lambda_1, \ldots, \lambda_m$ で $$ X = f^{-1}(V_{\lambda_1}) \cup \cdots \cup f^{-1}(V_{\lambda_m}) $$ となります。したがって $y \in f(X)$ を $y = f(x)$ と書けば、$x$ はどれかの $f^{-1}(V_{\lambda_i})$ に属し、$y = f(x) \in V_{\lambda_i}$ です。ゆえに $f(X) \subset V_{\lambda_1} \cup \cdots \cup V_{\lambda_m}$ であり、$f(X)$ はコンパクトです。連続写像で保たれる位相的性質は多くありません。コンパクト性と [連結性](/mathematics/topology/connectedness) はその代表格で、二つを組み合わせると $\mathbb{R}$ 値連続関数の像が「有界閉区間」であることまで分かります。ここではコンパクト性だけから出る結論を見ます。 $X$ を空でないコンパクト位相空間、$f \colon X \to \mathbb{R}$ を連続関数とする。このとき $f$ は有界であり、しかも最大値と最小値を実際にとる。すなわち $x_{\max}, x_{\min} \in X$ が存在して、すべての $x \in X$ について $$ f(x_{\min}) \le f(x) \le f(x_{\max}) $$ が成り立つ。 $K := f(X) \subset \mathbb{R}$ とおきます。より $K$ はコンパクトです。$\mathbb{R} = \mathbb{R}^1$ にを適用すると、$K$ は有界な閉集合です。有界性から $f$ が有界関数であることが従います。 $X \ne \emptyset$ なので $K \ne \emptyset$ です。$K$ は空でなく上に有界ですから、上限公理より $s := \sup K$ が存在します。$s \in K$ を示します。任意の $\varepsilon > 0$ に対し、$s - \varepsilon$ は $K$ の上界ではない（$s$ が最小上界だから）ので、$y \in K$ で $s - \varepsilon < y \le s$ となるものがあります。よって $(s - \varepsilon, s + \varepsilon) \cap K \ne \emptyset$ が任意の $\varepsilon > 0$ について成り立ち、$s$ は $K$ の触点です。$K$ は閉集合なので触点をすべて含み、$s \in K$ です。$K = f(X)$ でしたから $s = f(x_{\max})$ なる $x_{\max} \in X$ が存在し、これが最大値を与えます。最小値については $-f$ に同じ議論を適用します。$-f$ は連続なので最大値 $-f(x_{\min})$ をとり、これは $f$ が $x_{\min}$ で最小値をとることを意味します。 $X = [a, b]$ ととれば（によりコンパクトです）、微分積分学でおなじみのワイエルシュトラスの定理（）が得られます。注目すべきは、証明のどこにも区間の形が現れていないことです。使ったのは「定義域がコンパクト」「$f$ が連続」の 2 点だけで、定義域は球面でも直交群でも構いません。 $q(x, y) = x^2 + xy + y^2$ を単位円周 $S^1 = \{\, (x,y) \mid x^2 + y^2 = 1 \,\}$ に制限します。$q$ は多項式なので連続、$S^1$ はによりコンパクトで空でないので、より最大値と最小値をとります。値を計算しましょう。$(x, y) = (\cos t, \sin t)$ とおくと $$ q = \cos^2 t + \cos t \sin t + \sin^2 t = 1 + \frac{1}{2}\sin 2t . $$ $\sin 2t$ の値域は $[-1, 1]$ ですから $q$ の値域は $[1/2,\ 3/2]$ です。$\sin 2t = 1$ すなわち $t = \pi/4$ のとき $(x,y) = (1/\sqrt{2},\, 1/\sqrt{2})$ で $$ q = \tfrac12 + \tfrac12 + \tfrac12 = \tfrac32 $$ が最大値、$\sin 2t = -1$ すなわち $t = 3\pi/4$ のとき $(x,y) = (-1/\sqrt{2},\, 1/\sqrt{2})$ で $$ q = \tfrac12 - \tfrac12 + \tfrac12 = \tfrac12 $$ が最小値です。これらはちょうど対称行列 $$ \begin{pmatrix} 1 & 1/2 \\ 1/2 & 1 \end{pmatrix} $$ の固有値 $3/2,\ 1/2$ に一致します。2 次形式の最大・最小が固有値になるという線型代数の事実は、「最大値が存在する」ことを先に保証しなければ議論が始まりません。その保証を与えているのが球面のコンパクト性です。 $\|\cdot\|$ を $\mathbb{R}^n$ 上の任意のノルム（$\|x\| = 0 \iff x = 0$、$\|cx\| = |c|\,\|x\|$、$\|x + y\| \le \|x\| + \|y\|$ を満たす関数）とします。このとき定数 $0 < m \le M$ が存在して、すべての $x$ について $$ m\,|x| \le \|x\| \le M\,|x| $$ が成り立ちます。ここで $|x|$ はユークリッドノルムです。したがって $\mathbb{R}^n$ 上のノルムはすべて同じ位相を定めます。証明はコンパクト性の典型的な使い方です。 **上からの評価。** $e_1, \ldots, e_n$ を標準基底とし、$x = \sum_i x_i e_i$ と書きます。三角不等式と斉次性から $$ \|x\| \le \sum_{i=1}^n |x_i| \, \|e_i\| \le \Bigl(\sum_i x_i^2\Bigr)^{1/2} \Bigl(\sum_i \|e_i\|^2\Bigr)^{1/2} = M |x|, \qquad M := \Bigl(\sum_i \|e_i\|^2\Bigr)^{1/2} $$ です。途中でコーシー・シュワルツの不等式を使いました。$M > 0$ は $e_1 \ne 0$ より従います。 **$\|\cdot\|$ の連続性。** ノルムの三角不等式から $\bigl| \|x\| - \|y\| \bigr| \le \|x - y\| \le M|x - y|$ です。よって $\|\cdot\| \colon (\mathbb{R}^n, |\cdot|) \to \mathbb{R}$ は連続（$\varepsilon$ に対し $\delta = \varepsilon/M$）です。 **下からの評価。** $S = \{\, x \mid |x| = 1 \,\}$ はコンパクトで空でない（）ので、より連続関数 $\|\cdot\|$ は $S$ 上で最小値 $m = \|x_0\|$（$x_0 \in S$）をとります。$x_0 \in S$ より $x_0 \ne 0$、ノルムの定義から $m = \|x_0\| > 0$ です。$x \ne 0$ に対して $x/|x| \in S$ ですから $\bigl\| x/|x| \bigr\| \ge m$ であり、斉次性 $\bigl\| x/|x| \bigr\| = \|x\| / |x|$ とあわせて $\|x\| \ge m |x|$ です。$x = 0$ のときは両辺 $0$ で成立します。ここで最小値の存在が決定的でした。もし下限 $\inf$ しか言えなければ、それが $0$ である可能性を排除できず、$m > 0$ が主張できません。無限次元ではまさにこれが起こり、ノルムの同値性は成り立ちません。最後に、コンパクト性とハウスドルフ性が組み合わさると、連続写像の逆写像の連続性が「ただで」手に入ることを見ます。同相写像を作るときの手間を大幅に減らしてくれる定理です。 $X$ をコンパクト空間、$Y$ をハウスドルフ空間、$f \colon X \to Y$ を連続な全単射とする。このとき $f$ は同相写像である。すなわち $f^{-1} \colon Y \to X$ も連続である。 $g := f^{-1} \colon Y \to X$ とおきます。$g$ が連続であることは、$X$ の任意の閉集合 $F$ について $g^{-1}(F)$ が $Y$ の閉集合であることと同値です（開集合の逆像が開であることと、閉集合の逆像が閉であることは補集合をとれば同値です）。$f$ が全単射なので $g^{-1}(F) = f(F)$ です。したがって「$F$ が $X$ の閉集合ならば $f(F)$ が $Y$ の閉集合である」を示せば十分です。 $F \subset X$ を閉集合とします。$X$ はコンパクトなので、より $F$ はコンパクトです。$f$ の $F$ への制限は連続ですから、より $f(F)$ はコンパクトです。$Y$ はハウスドルフなので、より $f(F)$ は $Y$ の閉集合です。の仮定はどれも落とせません。 $X = [0, 1)$、$Y = S^1$、$f(t) = (\cos 2\pi t, \sin 2\pi t)$ を考えます。$f$ は連続な全単射です（$t \in [0,1)$ と偏角が 1 対 1 に対応します）。しかし逆写像は連続ではありません。$Y$ 上で点 $(1, 0)$ に下から（角度 $2\pi$ 側から）近づく点列 $f(1 - 1/k)$ を考えると、その $f^{-1}$ の値 $1 - 1/k$ は $1$ に近づくのに、$f^{-1}((1,0)) = 0$ だからです。ここで壊れているのは $X = [0,1)$ のコンパクト性です。$[0,1)$ は有界ですが $\mathbb{R}$ の閉集合ではない（$1$ が触点なのに属さない）ので、よりコンパクトではありません。一方、$Y$ のハウスドルフ性を落とすこともできません。$X = \{a, b\}$ に離散位相を、$Y = \{a, b\}$ に密着位相（開集合は $\emptyset$ と全体だけ）を入れ、$f$ を恒等写像とします。$X$ は有限なのでコンパクト（の (c)）、$f$ は連続な全単射ですが、$\{a\}$ は $X$ で開なのに $Y$ で開ではないので $f^{-1}$ は連続ではありません。$Y$ は 2 点を分離できずハウスドルフではないことが原因です。 ## 7. 演習 $A = \{0\} \cup \{\, 1/n \mid n \in \mathbb{N} \,\} \subset \mathbb{R}$ がコンパクトであることを、次の 2 通りで示してください。（a）ハイネ・ボレルの定理を使う。（b）任意の開被覆から有限部分被覆を実際に取り出す。 **(a)** $A \subset [0, 1]$ なので有界です。閉であることを示すため、$\mathbb{R} \setminus A$ が開であることを確かめます。$x \notin A$ とします。 - $x < 0$ のとき $\varepsilon := |x|$、$x > 1$ のとき $\varepsilon := x - 1$ とすると、$(x - \varepsilon, x + \varepsilon)$ はそれぞれ $(-\infty, 0)$、$(1, \infty)$ に含まれます。$A \subset [0,1]$ なのでこれらは $A$ と交わりません。 - $0 < x \le 1$ かつ $x \notin A$ のとき、$n := \lfloor 1/x \rfloor$ とおくと $n \le 1/x < n+1$、すなわち $1/(n+1) < x \le 1/n$ です。$x \ne 1/n$（$x \notin A$）なので $1/(n+1) < x < 1/n$ です。$\varepsilon := \min\{x - 1/(n+1),\ 1/n - x\} > 0$ とすると $(x-\varepsilon, x+\varepsilon) \subset (1/(n+1), 1/n)$ です。この区間は $A$ と交わりません。$m \ge n+1$ なら $1/m \le 1/(n+1)$、$m \le n$ なら $1/m \ge 1/n$ であり、$0$ も含まれないからです。以上より $\mathbb{R}\setminus A$ は開、$A$ は閉です。より $A$ はコンパクトです。 **(b)** $\{U_\lambda\}$ を $\mathbb{R}$ の開集合からなる $A$ の被覆とします。$0 \in A$ なので $0 \in U_{\lambda_0}$ なる $\lambda_0$ があり、$U_{\lambda_0}$ は開なので $\varepsilon > 0$ で $(-\varepsilon, \varepsilon) \subset U_{\lambda_0}$ となるものがあります。アルキメデスの原理から $1/N < \varepsilon$ なる $N \in \mathbb{N}$ をとると、$n \ge N$ のとき $0 < 1/n \le 1/N < \varepsilon$ ですから $1/n \in U_{\lambda_0}$ です。残るのは $1, 1/2, \ldots, 1/(N-1)$ の有限個だけなので、各 $i = 1, \ldots, N-1$ について $1/i \in U_{\lambda_i}$ となる $\lambda_i$ を選べば $$ A \subset U_{\lambda_0} \cup U_{\lambda_1} \cup \cdots \cup U_{\lambda_{N-1}} $$ です。より $A$ はコンパクトです。（b）の議論は、集積点 $0$ が集合に入っていることが要であることを見せています。$0$ を除いた $\{1/n\}$ は同じ理由でコンパクトになりません。 $X$ を空でないコンパクト空間、$f \colon X \to \mathbb{R}$ を連続関数とし、すべての $x \in X$ について $f(x) > 0$ とします。このとき、ある定数 $c > 0$ が存在して、すべての $x \in X$ について $f(x) \ge c$ となることを、（a）最大値・最小値の定理を使う方法、（b）開被覆を直接使う方法、の 2 通りで示してください。また、$X$ のコンパクト性を落とすと結論が成り立たない例を挙げてください。 **(a)** より $f$ は最小値をとります。すなわち $x_{\min} \in X$ があってすべての $x$ で $f(x) \ge f(x_{\min})$ です。仮定より $c := f(x_{\min}) > 0$ であり、これが求めるものです。 **(b)** 各 $x \in X$ について $f(x) > 0$ ですから、区間 $\bigl(f(x)/2,\ \infty\bigr)$ は $\mathbb{R}$ の開集合で $f(x)$ を含みます。$f$ の連続性より $$ U_x := f^{-1}\bigl(\, (f(x)/2,\ \infty) \,\bigr) $$ は $X$ の開集合で、$f(x) > f(x)/2$ より $x \in U_x$ です。よって $\{U_x\}_{x \in X}$ は $X$ の開被覆です。コンパクト性から有限個の点 $x_1, \ldots, x_m$ で $X = U_{x_1} \cup \cdots \cup U_{x_m}$ となります。ここで $$ c := \min\Bigl\{ \frac{f(x_1)}{2}, \ldots, \frac{f(x_m)}{2} \Bigr\} $$ とおくと、これは**有限個**の正数の最小値なので $c > 0$ です。任意の $y \in X$ はある $U_{x_i}$ に属し、定義から $f(y) > f(x_i)/2 \ge c$ です。 **反例。** $X = (0, 1)$（コンパクトでない）、$f(x) = x$ とすると $f$ は連続で各点で正ですが、$f(1/n) = 1/n$ はいくらでも $0$ に近づくので、$f \ge c > 0$ となる $c$ は存在しません。(b) の証明でどこが壊れるかを見ると、有限部分被覆がとれないため無限個の $f(x)/2$ の $\min$ をとることになり、それが $0$ になってしまうのです。 $A = \{\, q \in \mathbb{Q} \mid 0 \le q \le 1 \,\}$ はコンパクトではないことを、有限部分被覆をもたない開被覆を具体的に構成して示してください。（$A$ を $\mathbb{Q}$ の部分空間とみても $\mathbb{R}$ の部分空間とみても結論は同じであることに注意してください。）の直後に述べたとおり、コンパクト性は部分空間としての内在的性質なので、$A \subset \mathbb{R}$ とみて $\mathbb{R}$ の開集合で被覆を作れば十分です。無理数 $\alpha = 1/\sqrt{2}$ をとります。$0 < \alpha < 1$ です。$n \in \mathbb{N}$ に対し $$ U_n := \Bigl(-\infty,\ \alpha - \frac{1}{n}\Bigr) \cup \Bigl(\alpha + \frac{1}{n},\ \infty\Bigr) $$ とおきます。これは開区間 2 つの合併なので $\mathbb{R}$ の開集合です。 **被覆であること。** $q \in A$ とすると $q$ は有理数、$\alpha$ は無理数なので $q \ne \alpha$、したがって $|q - \alpha| > 0$ です。アルキメデスの原理から $1/n < |q - \alpha|$ なる $n$ がとれ、このとき $q \in U_n$ です。よって $A \subset \bigcup_n U_n$ です。 **有限部分被覆がないこと。** $n \le m$ のとき $U_n \subset U_m$ ですから、有限個 $U_{n_1}, \ldots, U_{n_k}$ の合併は $N := \max_i n_i$ として $U_N$ に等しくなります。$\alpha < 1$ なので区間 $\bigl(\alpha,\ \min\{\alpha + 1/N,\ 1\}\bigr)$ は空でない開区間であり、有理数の稠密性からこの中に有理数 $q$ がとれます。すると $0 < q < 1$ より $q \in A$ で、かつ $\alpha < q < \alpha + 1/N$ より $|q - \alpha| < 1/N$ ですから $q \notin U_N$ です。よって $U_N$ は $A$ を覆いません。したがって $\{U_n\}$ は有限部分被覆をもたず、$A$ はコンパクトではありません。$A$ は $\mathbb{Q}$ の中では有界かつ閉であることに注意してください。が実数の完備性に依存していることが、この例から見て取れます。の証明で共通点 $c$ を作った箇所が、$\mathbb{Q}$ では機能しないのです。 $X$ をハウスドルフ空間、$K, L \subset X$ を交わらないコンパクト部分集合とします。このとき、開集合 $U, V$ が存在して $$ K \subset U, \qquad L \subset V, \qquad U \cap V = \emptyset $$ となることを示してください。 $p \in L$ を任意にとります。$K \cap L = \emptyset$ より $p \notin K$ ですから、が使えて、開集合 $U_p, V_p$ で $$ K \subset U_p, \qquad p \in V_p, \qquad U_p \cap V_p = \emptyset $$ となるものが存在します。ここでコンパクト集合と点を分離する形の主張を使ったことに注意してください。単に「$K$ が閉」という結論だけでは足りません。族 $\{V_p\}_{p \in L}$ は $X$ の開集合による $L$ の被覆です。$L$ はコンパクトなので、より有限個の点 $p_1, \ldots, p_m \in L$ が存在して $L \subset V_{p_1} \cup \cdots \cup V_{p_m}$ となります。そこで $$ V := V_{p_1} \cup \cdots \cup V_{p_m}, \qquad U := U_{p_1} \cap \cdots \cap U_{p_m} $$ とおきます。$V$ は開集合の合併なので開で、$L \subset V$ です。$U$ は**有限個**の開集合の交わりなので開であり、すべての $U_{p_i}$ が $K$ を含むので $K \subset U$ です。 $U \cap V = \emptyset$ を示します。$y \in U \cap V$ とすると、$y \in V$ よりある $i$ で $y \in V_{p_i}$ です。一方 $y \in U \subset U_{p_i}$ です。これは $U_{p_i} \cap V_{p_i} = \emptyset$ に反します。よって $U \cap V = \emptyset$ です。この結果は「コンパクトハウスドルフ空間は正規空間である」という定理（）の主要部分です。コンパクト空間では閉集合がコンパクト（）なので、交わらない 2 つの閉集合もこの演習で分離できます（[分離公理と距離づけ可能性](/mathematics/topology/separation-axioms)）。 ## 参考文献 - J. R. Munkres, *Topology*, 2nd ed., Prentice Hall, 2000 — Chapter 3, §26–§28（コンパクト空間、実数直線のコンパクト部分空間、極限点コンパクト性）。この記事の構成はおおむねこの本の流れに沿っています。 - W. Rudin, *Principles of Mathematical Analysis*, 3rd ed., McGraw-Hill, 1976 — Chapter 2（Basic Topology）。距離空間の枠組みでコンパクト集合とハイネ・ボレルの定理を扱っています。 - J. L. Kelley, *General Topology*, Van Nostrand, 1955（Springer GTM 27 として再刊）— Chapter 5, Compact Spaces。有限交叉性やネットによる特徴づけが詳しく書かれています。 - N. Bourbaki, *Topologie Générale*, Chapitres 1 à 4, Hermann — Chapitre I, §9（Espaces compacts et espaces localement compacts）。準コンパクト／コンパクトの用語法の出どころです。 - 松坂和夫『集合・位相入門』岩波書店、1968 — 位相空間のコンパクト性を扱う章。日本語で被覆による定義から丁寧に積み上げています。 - M. Raman-Sundström, "A Pedagogical History of Compactness", *American Mathematical Monthly* 122 (2015), 619–635. [arXiv:1006.4131](https://arxiv.org/abs/1006.4131) — 被覆コンパクト性と点列コンパクト性がどのように分岐し、用語が定着したかの歴史。 ## Appendix: 点列コンパクト性・全有界性・一様連続性 **点列コンパクト性との関係。** 位相空間 $X$ が**点列コンパクト**であるとは、$X$ の任意の点列が $X$ の点に収束する部分列をもつことをいいます。ボルツァーノ・ワイエルシュトラスの定理（）は、$\mathbb{R}^n$ の有界閉集合が点列コンパクトであるという主張です。距離空間では両者は同値ですが、一般の位相空間では**どちらの向きも成り立ちません**。積空間 $\{0,1\}^{\mathbb{R}}$ はチコノフの定理によりコンパクトですが点列コンパクトではなく、順序数の空間 $[0, \omega_1)$ は点列コンパクトですがコンパクトではありません（Munkres の §28 と関連する節）。この記事で被覆による定義を採用したのは、それが積について閉じているという決定的な利点があるからです。 **全有界性と完備性。** 距離空間 $(X, d)$ については、コンパクト性は「完備かつ全有界」と同値です。全有界とは、任意の $\varepsilon > 0$ に対し有限個の $\varepsilon$-球で $X$ が覆えることをいいます。の $\ell^2$ の例では、$E$ は完備ですが $\varepsilon = 1/2$ に対して有限個の球では覆えないので全有界ではありません。有界性と全有界性の差が、$\mathbb{R}^n$ と無限次元空間の違いを生んでいます（[実数の完備性とコーシー列](/mathematics/real-analysis/completeness-and-cauchy) を参照）。 **一様連続性（ハイネ・カントールの定理）。** コンパクト性の使い方の総仕上げとして、$K \subset \mathbb{R}^n$ をコンパクト、$f \colon K \to \mathbb{R}$ を連続とすると $f$ が一様連続であることを示します。$\varepsilon > 0$ を任意にとります。各点 $x \in K$ で $f$ は連続なので、$\delta_x > 0$ が存在して、$y \in K$ かつ $|y - x| < \delta_x$ ならば $|f(y) - f(x)| < \varepsilon/2$ となります。開球の族 $\{ B(x, \delta_x / 2) \}_{x \in K}$ は $K$ の開被覆ですから、により有限個の点 $x_1, \ldots, x_N$ で $$ K \subset B(x_1, \delta_{x_1}/2) \cup \cdots \cup B(x_N, \delta_{x_N}/2) $$ となります。ここで $$ \delta := \min\Bigl\{ \frac{\delta_{x_1}}{2}, \ldots, \frac{\delta_{x_N}}{2} \Bigr\} > 0 $$ とおきます。正であることは有限個の正数の最小値だからです。$y, z \in K$ が $|y - z| < \delta$ を満たすとすると、$z$ はどれかの $B(x_i, \delta_{x_i}/2)$ に属します。このとき $$ |y - x_i| \le |y - z| + |z - x_i| < \delta + \frac{\delta_{x_i}}{2} \le \frac{\delta_{x_i}}{2} + \frac{\delta_{x_i}}{2} = \delta_{x_i} $$ であり、$|z - x_i| < \delta_{x_i}/2 < \delta_{x_i}$ でもあるので、$\delta_{x_i}$ の取り方から $|f(y) - f(x_i)| < \varepsilon/2$ と $|f(z) - f(x_i)| < \varepsilon/2$ が同時に成り立ちます。したがって $$ |f(y) - f(z)| \le |f(y) - f(x_i)| + |f(x_i) - f(z)| < \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon $$ です。$\delta$ は $y, z$ に依存せず $\varepsilon$ だけで決まるので、$f$ は一様連続です。半径を $\delta_x/2$ と半分にして被覆を作ったのは、上の三角不等式の評価を通すための工夫です。この定理の解析的な意味は [連続関数と一様連続性](/mathematics/real-analysis/uniform-continuity) で扱います（）。証明の急所は $\delta$ を有限個の $\min$ でとった一点に尽きます。動機の節で述べた「局所的な情報を有限個に落として $\min$ をとる」という型が、そのままの形で現れています。コンパクト性を使う議論に出会ったら、まずこの型を探してください。