位相空間におけるコンパクトとプレコンパクトとは?
定義 1
位相空間 $\left( X, \mathscr{T} \right)$ に対して $A \subset X$ としよう。
- $X$ の開集合から成る集合 $\mathscr{O} \subset \mathscr{T}$ が次を満たすとき、$\mathscr{O}$ を $A$ の オープンカバーopen covering と呼ぶ。 $$ A \subset \bigcup_{O \in \mathscr{O}} O $$
- $\mathscr{O} ' \subset \mathscr{O}$ である $\mathscr{O} ' $ を $\mathscr{O}$ の 部分カバーsubcover と呼ぶ。特に $\mathscr{O} ' $ の 基数 が自然数であるとき 有限部分カバーfinite subcover と呼ぶ。
- $X$ のすべての開カバーが有限部分カバーを持つとき、$X$ は コンパクト だと言う。つまり、すべての開カバー $\mathscr{O}$ に対して次を満たす有限集合 $\mathscr{O} ' = \left\{ O_{1} , \cdots , O_{n} \right\} \subset \mathscr{O}$ が存在するとき $X$ はコンパクトである。 $$ X = \bigcup_{i=1}^{n} O_{i} $$
- $A$ が $X$ の部分空間としてコンパクトであるとき、$A$ は コンパクト だと言う。
- $X$ を 位相空間 としよう。部分集合 $K \subset X$ の閉包 $\overline{K}$ がコンパクトであるとき、$K$ は プレコンパクト、または 相対的コンパクトrelatively compact だと言う。
説明
コンパクト
解析概論で コンパクト という条件がどれほど有用であったかを考えると、その一般化を追求することは当然と言えるだろう。一般化されることで、言葉が難しくなってしまったが、本質的な部分は変わっていない。
実際にコンパクトはさまざまな理論で非常に重要に応用される。ある集合がコンパクトであるということは有限の部分に分けて考えることができるため、厳密さを要求される証明において良い条件となるに違いない。逆に言えば、ある定理を証明する際に登場する集合 $A$ が本当にコンパクトであることを示すことが鍵になる場合が非常に多い。
プレコンパクト
プレコンパクト は $K$ 自体がコンパクトではないかもしれないが、閉包を取ればコンパクトになるという点で「まだコンパクトではないが、間もなくコンパクトになり得る」という概念をよく説明している。距離空間では 完全有界空間 とも呼ばれ、もう一つの名称である 相対的コンパクト は閉鎖自体が相対的という表現に由来する。$K$ を $X$ の部分空間ではなく、全体空間とするならば $K$ は $K$ で閉じているので $K = \overline{K}$ であり、それにより $\overline{K}$ がコンパクトということは即ち $K$ が(相対的に)コンパクトということになる。
一方、数列の表示によってプレコンパクトを定義することもできる。その時の定義は次のようになる:
$K \subset X$ がプレコンパクトであるというのは $K$ で定義されたすべての数列 $\left\{ x_{n} \right\} \subset K$ に対して $x \in X$ に収束する部分列 $\left\{ x_{n '} \right\} \subset \left\{ x_{n} \right\}$ が存在することである。
数式で再度表現すると次のようになる:
$$ K : \text{precompact} \iff \forall \left\{ x_{n} \right\} \subset K, \exists \left\{ x_{n '} \right\} \subset \left\{ x_{n} \right\} : x_{n '} \to x \in X \text{ as } n \to \infty $$
特に条件で $x \in X$ ではなく $x \in K$ の場合 $K$ を 点列コンパクトsequentially compact であるという。
定理
- [1]: $A$ がコンパクトであることは $A$ のすべての開カバーが有限部分カバーを持つことと同値である。
- [2]: コンパクト集合 $K$ の部分集合 $F$ が閉集合であるならば $F$ はコンパクト集合である。
- [3]: $X$ がコンパクトであることは $X$ の閉集合たちだけを含むすべての集合族が有限交叉性を持つ場合、単純に交わっても空集合でないことと同値である。
証明
[1]
$\Gamma$ は インデックス集合 である。
$( \implies )$
$A \subset X$ がコンパクトで $\mathscr{U} := \left\{ U_{\alpha} : \alpha \in \Gamma \right\}$ が $A$ のオープンカバーであるとしよう。すると $U_{\alpha} \cap A$ は $X$ の部分空間 $A$ で開集合であり、$\mathscr{O} := \left\{ U_{\alpha} \cap A : U_{\alpha} \in \mathscr{U} \right\}$ は $A$ のオープンカバーになる。$A$ はコンパクトなので $\displaystyle A \subset \bigcup_{i=1}^{n} \left( U_{\alpha_{i}} \cap A \right)$ を満たす $\alpha_{1} , \cdots , \alpha_{n} \in \Gamma$ が存在する。すると $\left\{ U_{\alpha_{1}} , \cdots , U_{\alpha_{n}} \right\}$ は $\mathscr{U}$ の有限部分カバーとして存在することを確認できる。
$( \impliedby )$
$A$ で開集合から成る開カバー $\mathscr{O} := \left\{ O_{\alpha} : O_{\alpha} \text{ is open in } A, \alpha \in \Gamma \right\}$ を考えてみよう。$O_{\alpha}$ が $A$ で開集合なので、それぞれの $\alpha \in \Gamma$ に対して $U_{\alpha} \cap A = O_{\alpha}$ を満たす開集合 $U_{\alpha}$ が存在する。これらの集合 $\mathscr{U} := \left\{ U_{\alpha} : \alpha \in \Gamma \right\}$ は $A$ の開カバーだ。仮定としてすべての開カバーが有限部分カバー $\left\{ U_{\alpha_{1}} , \cdots , U_{\alpha_{n}} \right\}$ を持つので $\left\{ O_{\alpha_{1}} , \cdots , O_{\alpha_{n}} \right\}$ は $\mathscr{O}$ の有限部分カバーとなる。
■
[2]
$$ F \subset K \subset X $$ $F$ は $X$ で閉集合であり $F$ の開カバーを $\left\{ U_{\alpha} \right\}_{\alpha}$ 、$K$ はコンパクトであるとしよう。$F$ は閉集合なので $F^{c}$ は $X$ で開集合となり、したがって $\left\{ F^{c} \right\} \cup \left\{ U_{\alpha} \right\}_{\alpha}$ も $K$ の開カバーの一つになる。$K$ はコンパクトなので $F \subset K \subset \Phi$ を満たす $\left\{ F^{c} \right\} \cup \left\{ U_{\alpha} \right\}_{\alpha}$ の有限部分カバー $\Phi$ が存在する。
- もし $F^{c}\notin \Phi$ であれば $\Phi$ は $\left\{ U_{\alpha} \right\}_{\alpha}$ の有限部分カバーとなるので $F$ はコンパクトである。
- もし $F^{c}\in \Phi$ であれば $\Phi \setminus \left\{ F^{c} \right\}$ が $\left\{ U_{\alpha} \right\}_{\alpha}$ の有限部分カバーとなるので $F$ はコンパクトである。
可能な二つのケースのどちらでも $F$ がコンパクトなので $F$ はコンパクトである。
■
[3]
戦略:説明が非常に複雑なため、理解自体が鍵となる。$\mathscr{C}$ が有限交叉性を持っているからといって $\displaystyle \bigcap_{C \in \mathscr{C}} C \ne \emptyset$ が保証されるわけではなく、コンパクトという条件が必要である。一方でコンパクトの定義では開集合の 和集合 を考え、本文の定理では閉集合の交叉を考えていることに注目する必要がある。こうした考察をもとに有限交叉性がどのようにコンパクトと関係を持っているか感じ取って証明に入るべきである。
$\Gamma$ は インデックス集合 である。
有限交叉性: $X$ の部分集合から成る 集合族 $\mathscr{A} \subset \mathscr{P}(X)$ が有限交叉性(f.i.p, finite intersection property)を持つというのは $\mathscr{A}$ のすべての有限部分集合 $A \subset \mathscr{A}$ を 交叉 したときに空集合でないことである。数式にすると次のようになる。 $$ \forall A \subset \mathscr{A}, \bigcap_{a \in A} a \ne \emptyset $$
$( \implies )$
$X$ がコンパクトで $\mathscr{C} := \left\{ C_{\alpha} : C_{\alpha} \text{ is closed in } X, \alpha \in \Gamma \right\}$ が有限交叉性を持つとしよう。そして $\displaystyle \bigcap_{\alpha \in \Gamma} C_{\alpha} = \emptyset$ と仮定して $\mathscr{O} := \left\{ X \setminus C_{\alpha} : C_{\alpha} \in \mathscr{C} \right\}$ を考えよう。すると $$ \begin{align*} \bigcup_{\alpha \in \Gamma} ( X \setminus C_{\alpha}) =& X \setminus \bigcap_{\alpha \in \Gamma} C_{\alpha} \\ =& X \setminus \emptyset \\ =& X \end{align*} $$ よって $\mathscr{O}$ は $X$ の開カバーとなる。$X$ はコンパクトなので、$\mathscr{O}$ は有限部分カバー $\displaystyle \left\{ (X \setminus C_{\alpha_{1}}) , \cdots ,(X \setminus C_{\alpha_{n}}) \right\}$ を持つ。これは再び $$ X = \bigcup_{i=1}^{n} ( X \setminus C_{\alpha_{i}}) = X \setminus \bigcap_{i=1}^{n} C_{\alpha_{i}} $$ であるから、$\displaystyle \bigcap_{i=1}^{n} C_{\alpha_{i}} = \emptyset$ を意味する。これは $\mathscr{C}$ が有限交叉性を持つという仮定に矛盾する。したがって $\displaystyle \bigcap_{C \in \mathscr{C}} C \ne \emptyset$ でなければならない。
$( \impliedby )$
$X$ の開カバー $\mathscr{O} := \left\{ O_{\alpha} : O_{\alpha} \text{ is open in } A, \alpha \in \Gamma \right\}$ と $\mathscr{C} := \left\{ X \setminus O_{\alpha} : O_{\alpha} \in \mathscr{O} \right\}$ を考えてみよう。 $$ \begin{align*} \bigcap_{\alpha \in \Gamma} C_{\alpha} &= \bigcap_{\alpha \in \Gamma} ( X \setminus O_{\alpha}) \\ =& X \setminus \bigcup_{\alpha \in \Gamma} O_{\alpha} \\ =& X \setminus X \\ =& \emptyset \end{align*} $$ よって 対偶法 により $\mathscr{C}$ は有限交叉性を持たない。これは再び $\displaystyle \bigcap_{i=1}^{n} C_{\alpha_{i}} = \emptyset$ を満たす $C_{\alpha_{1}} , \cdots , C_{\alpha_{n}} \in \mathscr{C}$ が存在することを意味する。すると $$ \begin{align*} X \setminus \bigcup_{i=1}^{n} O_{i} =& X \setminus \bigcup_{i=1}^{n} (X \setminus C_{i}) \\ =& X \setminus \left( X \setminus \bigcap_{i=1}^{n} C_{i} \right) \\ =& \bigcap_{i=1}^{n} C_{i} \\ =& \emptyset \end{align*} $$ なので $\displaystyle X = \bigcup_{i=1}^{n} O_{i}$ である。つまり開カバー $\mathscr{O}$ に対して有限部分カバーが存在するのでコンパクトとなる。
■
参考
Munkres. (2000). Topology(2nd Edition): p164. ↩︎