# 可算性・点列・可算コンパクト性：点列で何がどこまで言えるか > 点列空間と Fréchet–Urysohn 空間、可算コンパクト・点列コンパクト・擬コンパクトの関係、Cantor–Bendixson の定理、連続体濃度個以下の可分空間の積の可分性（Hewitt–Marczewski–Pondiczery）を証明する。 > https://rikai.mugen-giken.com/mathematics/topology/countability-and-sequences ## 0. この記事の要点 解析学では「点列を取って、収束する部分列を取り出す」という議論をよく使います。ところが一般の空間では、点列だけでは空間の形を捉えきれないことがあります。この記事では、点列で足りる空間はどこまで広いのか、「コンパクト」を点列や可算個の開集合の言葉で言い換えるとどうなるのかを調べます。読み終えると、これらの性質の間の含意と、逆が成り立たない代表例を説明できるようになります。以下の箇条書きは全体の見取り図なので、初めて見る用語があっても、各節で定義するので先に進んで構いません。 - 点列だけで位相が決まる空間を整理します。**第一可算 $\Rightarrow$ Fréchet–Urysohn $\Rightarrow$ 点列空間** の含意があり、点列空間では点列連続な写像は連続です。点列空間とは、ちょうど距離空間の商空間のことです。 - コンパクト性には 3 つの顔があります。**可算コンパクト**（可算開被覆が有限部分被覆をもつ）、**点列コンパクト**（任意の点列が収束する[部分列](/mathematics/real-analysis/completeness-and-cauchy#def-subsequence)をもつ）、**コンパクト**。可算コンパクト性は、無限集合が $\omega$ 集積点（どの近傍にも、その集合の点を無限個含む点）をもつ、任意の点列が集積点をもつ、と同値です。 - これらの含意は、第一可算性、Lindelöf 性、T1 かつ正規であること（Tietze の拡張定理）を仮定すると逆向きも成り立ちます。逆向きが一般には成り立たない例として、$\{0,1\}^{[0,1]}$ は**コンパクトだが点列コンパクトでない**ことを示します。 - **Cantor–Bendixson の定理**：[第二可算](/mathematics/topology/products-quotients-tychonoff#def-countability)空間は、完全集合（孤立点をもたない閉集合。その最大のものが完全核）と可算集合に分解します。 - **Hewitt–Marczewski–Pondiczery の定理**：[連続体濃度](/mathematics/foundations/cardinality-and-infinity#def-continuum)以下個の[可分](/mathematics/topology/products-quotients-tychonoff#def-countability)空間の積は可分です。非可算個の積が第一可算でないのに可分である、という対比が見えます。 ## 1. 動機：解析学の点列論法が使える範囲 解析学では、「点列を取って部分列を取り出し、収束を調べる」議論が連続関数の最大値定理から Arzelà–Ascoli の定理まで繰り返し現れます。位相空間でこの論法が通るかどうかは、空間に依存します。[積位相・商位相と Tychonoff の定理](/mathematics/topology/products-quotients-tychonoff)で見たように、非可算個の積では点列で閉包を捉えられず、[ネットとフィルター](/mathematics/topology/nets-and-filters)が必要でした。 この記事の問いは、次の 2 つです。 1. 点列だけで位相の情報が汲み尽くせる空間は、どのくらい広いか。閉包・連続性を点列で調べられる空間のクラスを、第一可算空間より広く取れるか。 2. コンパクト性は、点列の言葉（点列コンパクト）や可算性の言葉（可算コンパクト）とどう関わるか。距離空間では 3 つが同値でしたが、一般の位相空間ではどこまで同値か。 答えは、点列空間という自然なクラスと、可算コンパクト性の同値条件、そしてそれらが一般には異なることを示す反例です。最後に、可算性に関わる 2 つの定理（Cantor–Bendixson と Hewitt–Marczewski–Pondiczery）を証明します。 ## 2. 点列空間と点列連続 $X$ を位相空間とする。 1. 部分集合 $A \subseteq X$ が**点列閉**であるとは、$A$ の点列 $(x_n)$ が $x \in X$ に収束するならば $x \in A$ となることをいう。 2. $X$ が**点列空間**であるとは、$X$ のすべての点列閉集合が閉集合であることをいう。 3. $X$ が **Fréchet–Urysohn 空間**であるとは、任意の $A \subseteq X$ と $x \in \overline{A}$ に対し、$A$ の点列で $x$ に収束するものが存在することをいう。 4. 写像 $f : X \to Y$ が**点列連続**であるとは、$X$ の点列 $x_n \to x$ ならば $f(x_n) \to f(x)$ となることをいう。 閉集合は点列閉です（点列 $x_n \in A$ が $x$ に収束するなら、$x$ の任意の近傍が $A$ と交わるので、 の 4 により $x \in \overline{A}$）。点列空間とは、その逆が成り立つ空間です。連続写像は点列連続です（点列はネットなので の 2）。 1. 第一可算空間は Fréchet–Urysohn 空間である。 2. Fréchet–Urysohn 空間は点列空間である。 3. $X$ が点列空間ならば、任意の位相空間 $Y$ への点列連続写像 $f : X \to Y$ は連続である。 1. の 1 そのものである。 2. $A$ を点列閉とし、$x \in \overline{A}$ とする。Fréchet–Urysohn 性により $A$ の点列 $x_n \to x$ がとれ、$A$ が点列閉なので $x \in A$。よって $\overline{A} \subseteq A$ で $A$ は閉。 3. $C \subseteq Y$ を閉集合とする。$f^{-1}(C)$ が点列閉であることを示す。$x_n \in f^{-1}(C)$、$x_n \to x$ とすると、点列連続性から $f(x_n) \to f(x)$ で、$f(x_n) \in C$。閉集合は点列閉なので $f(x) \in C$、すなわち $x \in f^{-1}(C)$。$X$ は点列空間だから $f^{-1}(C)$ は閉である。閉集合の逆像がすべて閉なので $f$ は連続（ の (ii)）。 次の定理は、点列空間を「何でできている空間か」で特徴づけます。証明の（1 $\Rightarrow$ 2）では、$X$ の収束点列それぞれに「$1, 1/2, 1/3, \ldots$ と極限 $0$ を並べた列」のコピーを 1 つずつ用意し、それらを互いに離れた状態で並べた距離空間を作ります。各コピーを、点列の項とその極限へ写すのが商写像です。点列で閉集合かどうかが判定できるという仮定が、この写像が商写像であることを保証します。 位相空間 $X$ について、次は同値である。 1. $X$ は点列空間である。 2. ある距離空間 $(M, d)$ と商写像 $q : M \to X$（）が存在する。 （2 $\Rightarrow$ 1）$C \subseteq X$ を点列閉とする。$q^{-1}(C)$ が $M$ で閉であることを示す。$m \in \overline{q^{-1}(C)}$ とすると、距離空間 $M$ は第一可算（$B(m, 1/n)$ が近傍基）なので、 の 1 により $q^{-1}(C)$ の点列 $m_n \to m$ がある。$q$ は連続なので $q(m_n) \to q(m)$ で、$q(m_n) \in C$。$C$ が点列閉なので $q(m) \in C$、すなわち $m \in q^{-1}(C)$。よって $q^{-1}(C)$ は閉集合で、商位相の定義から $C$ は閉である。 （1 $\Rightarrow$ 2）$K := \{0\} \cup \{ 1/n : n \ge 1 \} \subseteq \mathbb{R}$ とし、 $$ \Sigma := \{ ((x_n)_{n \ge 1}, x) : x_n \in X,\ x \in X,\ x_n \to x \} $$ を $X$ の収束点列（と極限の組）全体とする。$M := \Sigma \times K$ に $$ d\bigl((\sigma, s), (\sigma', s')\bigr) := \begin{cases} \min(1, |s - s'|) & (\sigma = \sigma')\\ 1 & (\sigma \ne \sigma') \end{cases} $$ を入れる。これは距離である（三角不等式は、3 点が同じ $\sigma$ に属する場合は $\min(1, \cdot)$ が $\mathbb{R}$ の距離を保つこと、そうでなければ左辺が $1$ 以下の項に対して右辺に $1$ が現れることから従う）。$r < 1$ のとき、開球 $B((\sigma, s), r)$ は同じ $\sigma$ に属する点 $(\sigma, s')$、$|s - s'| < r$ だけからなる。 $q : M \to X$ を、$\sigma = ((x_n), x)$ に対し $q(\sigma, 1/n) := x_n$、$q(\sigma, 0) := x$ で定める。$x \in X$ の定値点列からの $\sigma$ により、$q$ は全射である。 $q$ は連続である：$U \subseteq X$ が開で $q(\sigma, s) \in U$ とする。$s = 1/n$ なら、$r := \min(1/2, 1/(n(n+1)))$ に対し球 $B((\sigma, 1/n), r)$ は $(\sigma, 1/n)$ ただ 1 点。$s = 0$ なら、$x_n \to x \in U$ より $N$ があり $n \ge N$ で $x_n \in U$ なので、$r := 1/N$ に対し $B((\sigma, 0), r) \subseteq q^{-1}(U)$。よって $q^{-1}(U)$ は開である。 $q$ が商写像であること（$q^{-1}(V)$ が開ならば $V$ が開）を示す。$C := X \setminus V$ とおくと $q^{-1}(C) = M \setminus q^{-1}(V)$ は閉である。$C$ が点列閉であることを示す：$x_n \in C$、$x_n \to x$ とする。$\sigma := ((x_n), x) \in \Sigma$ について、$(\sigma, 1/n) \in q^{-1}(C)$ かつ $d((\sigma, 1/n), (\sigma, 0)) = 1/n \to 0$ なので、閉集合 $q^{-1}(C)$ は極限 $(\sigma, 0)$ を含む。すなわち $x = q(\sigma, 0) \in C$。$X$ は点列空間なので $C$ は閉、$V$ は開である。 次の例では、商写像 $q$ について「飽和」した集合（$q$ で同じ点に送られる点を、含むなら全部含んでいる集合）が出てきます。飽和した開集合の像は、商空間の開集合になります。 $\mathbb{R}$ の整数全体 $\mathbb{Z}$ を 1 点に同一視した商空間 $Y := \mathbb{R}/\mathbb{Z}$（$q : \mathbb{R} \to Y$ を商写像、$y^* := q(\mathbb{Z})$）は、距離空間の商なので により点列空間です。しかし $y^*$ で第一可算ではありません。$V_1 \supseteq V_2 \supseteq \cdots$ が $y^*$ の近傍基だとします。$q^{-1}(V_n)$ は $n$ を含む開集合なので、$0 < \delta_n \le 1/2$ で $(n - \delta_n, n + \delta_n) \subseteq q^{-1}(V_n)$ となるものがとれます。$t_n := n + \delta_n/2$ とおくと、$\{t_n : n \ge 1\}$ は $\mathbb{R}$ で閉（離散で上に有界でない）で、$\mathbb{Z}$ と交わりません。$W := \mathbb{R} \setminus \{t_n\}$ は $\mathbb{Z}$ を含む開集合で、$\mathbb{Z}$ を含むから飽和（$q^{-1}(q(W)) = W$）、したがって $q(W)$ は $y^*$ の開近傍です。ところが $q(t_n) \in V_n$ かつ $q(t_n) \notin q(W)$ なので、どの $V_n$ も $q(W)$ に含まれません。これは近傍基であることに反します。 ## 3. 可算コンパクト・点列コンパクト・擬コンパクト この節では、「コンパクト」の条件を弱めた性質を 3 つ扱います。可算コンパクトは開被覆を可算なものに限った版、点列コンパクトは点列の言葉での版、擬コンパクトは「連続関数が必ず有界」という解析学の最大値定理に近い版です。 $X$ を位相空間とする。 1. $X$ が**可算コンパクト**であるとは、可算な開被覆が有限部分被覆をもつことをいう。 2. $X$ が**点列コンパクト**であるとは、任意の点列が $X$ の点に収束する部分列をもつことをいう。 3. $X$ が**擬コンパクト**であるとは、任意の連続関数 $f : X \to \mathbb{R}$ が有界であることをいう。 4. $A \subseteq X$ とする。点 $x \in X$ が $A$ の **$\omega$ 集積点**であるとは、$x$ の任意の近傍が $A$ の点を無限個含むことをいう。 5. 点列 $(x_n)$ の点 $x$ が**集積点**であるとは、$x$ の任意の近傍 $U$ と任意の $N$ に対し $x_n \in U$ なる $n \ge N$ があることをいう（ で $\Lambda = \mathbb{N}$ とした場合）。 コンパクトなら可算コンパクトです（可算開被覆もコンパクト性により有限部分被覆をもつ）。可算コンパクト性の同値条件を、次の定理で与えます。 位相空間 $X$ について、次の 4 条件は同値である。 - (a) $X$ は可算コンパクトである。 - (b) $X$ の任意の無限部分集合は $X$ に $\omega$ 集積点をもつ。 - (c) $X$ の任意の点列は $X$ に集積点をもつ。 - (d) 空でない閉集合の減少列 $F_1 \supseteq F_2 \supseteq \cdots$ の共通部分は空でない。 (a) $\Rightarrow$ (d)：$F_n$ を空でない閉集合の減少列で $\bigcap_n F_n = \emptyset$ とする。$\{X \setminus F_n\}$ は可算開被覆で、有限部分被覆をもつ。$N$ を最大の添字とすれば $X = X \setminus F_N$ で $F_N = \emptyset$、矛盾。 (d) $\Rightarrow$ (a)：可算開被覆 $\{U_n\}_{n \ge 1}$ が有限部分被覆をもたないとする。$F_n := X \setminus (U_1 \cup \cdots \cup U_n)$ は空でない閉集合の減少列で、$\bigcap_n F_n = X \setminus \bigcup_n U_n = \emptyset$、矛盾。 (d) $\Rightarrow$ (c)：点列 $(x_n)$ に対し $F_n := \overline{\{x_k : k \ge n\}}$ は空でない閉集合の減少列である。$x \in \bigcap_n F_n$ をとる。$x$ の近傍 $U$ と $N$ について $x \in F_N$ なので $U$ は $\{x_k : k \ge N\}$ と交わり、$x_k \in U$ なる $k \ge N$ がある。よって $x$ は集積点。 (c) $\Rightarrow$ (b)：$A$ を無限集合とし、互いに異なる点列 $a_1, a_2, \ldots \in A$ をとる。(c) により集積点 $x$ がある。$x$ の近傍 $U$ について、各 $N$ に対し $a_n \in U$ なる $n \ge N$ があるので、$\{n : a_n \in U\}$ は無限集合。$a_n$ は互いに異なるので $U$ は $A$ の点を無限個含む。 (b) $\Rightarrow$ (a)：可算開被覆 $\{U_n\}_{n \ge 1}$ が有限部分被覆をもたないとし、各 $n$ に対し $x_n \in X \setminus (U_1 \cup \cdots \cup U_n)$ をとる。$A := \{x_n : n \ge 1\}$ とする。$A$ が有限なら、ある点 $p$ が無限個の $n$ について $p = x_n$ である。$p \in U_m$ なる $m$ をとると、$n \ge m$ で $x_n \notin U_m$ なので $p \ne x_n$ となり矛盾する。したがって $A$ は無限で、(b) により $\omega$ 集積点 $x$ がある。$x \in U_m$ なる $m$ をとると、$U_m$ は $A$ の点を無限個含む。ところが $n \ge m$ で $x_n \notin U_m$ なので、$U_m \cap A \subseteq \{x_1, \ldots, x_{m-1}\}$ は有限で矛盾。 (c) は、点列コンパクト性（収束する部分列の存在）を「集積点の存在」に弱めたものです。次の命題は、3 つの概念の間の含意関係を整理します。 $X$ を位相空間とする。 1. $X$ がコンパクトならば可算コンパクトである。 2. $X$ が点列コンパクトならば可算コンパクトである。 3. $X$ が第一可算で可算コンパクトならば、点列コンパクトである。 4. $X$ が Lindelöf で可算コンパクトならば、コンパクトである。 5. $X$ が可算コンパクトならば、擬コンパクトである。 6. 距離空間 $X$ については、コンパクト・可算コンパクト・点列コンパクトは同値である。 1. 可算開被覆も開被覆なので、コンパクト性から有限部分被覆をもつ。 2. 点列 $(x_n)$ は収束部分列 $x_{n_k} \to x$ をもち、$x$ は点列の集積点である（$x$ の近傍 $U$ と $N$ に対し、$x_{n_k} \in U$ となる $k$ が十分大きくとれ、$n_k \ge N$ にできる）。したがって の (c) が成り立ち、可算コンパクト。 3. $(x_n)$ を点列とする。 の (c) により集積点 $x$ がある。$x$ の可算な近傍基 $V_1, V_2, \ldots$ に対し $W_k := V_1 \cap \cdots \cap V_k$ も近傍基で、$W_1 \supseteq W_2 \supseteq \cdots$。$n_1 < n_2 < \cdots$ を $x_{n_k} \in W_k$ となるように帰納的に選ぶ（集積点の定義から、$W_k$ は $n_{k-1}$ より後の項を含む）。任意の近傍 $U$ はある $W_K \subseteq U$ を含むので、$k \ge K$ で $x_{n_k} \in W_k \subseteq W_K \subseteq U$。よって $x_{n_k} \to x$。 4. 任意の開被覆は Lindelöf 性により可算部分被覆をもち、それは可算コンパクト性により有限部分被覆をもつ。 5. $f : X \to \mathbb{R}$ を連続とする。$U_n := \{ x : |f(x)| < n \}$ は開で可算開被覆をなす。有限部分被覆 $U_{n_1}, \ldots, U_{n_m}$ があれば $|f| < \max n_k$ で有界。 6. 距離空間は第一可算（$B(x, 1/n)$ が近傍基）なので、3 により可算コンパクトなら点列コンパクトで、 によりコンパクト。残りの向きは 1 と 2。
コンパクト 点列コンパクト 可算コンパクト 擬コンパクト Lindelöf 第一可算 T4
擬コンパクトから可算コンパクトへの逆は、一般には成り立ちません（下の命題では T1 かつ正規であることを仮定します）。Tietze の拡張定理がその橋渡しをします。 $X$ を T1 かつ正規な空間（T4 空間）とする。$X$ が擬コンパクトであるための必要十分条件は、可算コンパクトであることである。 可算コンパクトならば擬コンパクトであることは の 5。逆に、$X$ が擬コンパクトで可算コンパクトでないと仮定する。 の (b) が成り立たないので、$\omega$ 集積点をもたない無限集合 $A$ がある。互いに異なる点 $a_1, a_2, \ldots \in A$ をとり、$D := \{a_n : n \ge 1\}$ とする。$D$ も $\omega$ 集積点をもたない（$D \subseteq A$ なので）。したがって各 $x \in X$ は、$D$ と有限個の点でしか交わらない開近傍 $U_x$ をもつ。 任意の $B \subseteq D$ が閉であることを示す。$x \notin B$ とする。$S := B \cap U_x$ は有限集合で、$X$ は T1 なので各 1 点集合は閉（）、したがって $S$ は閉である。$O := U_x \setminus S$ は開で、$x \in O$ かつ $O \cap B = \emptyset$。よって $x \notin \overline{B}$ で、$B$ は閉。とくに $D$ は閉で、$D$ の任意の部分集合が閉なので、部分空間 $D$ は離散空間である。 $g : D \to \mathbb{R}$ を $g(a_n) := n$ で定めると、$D$ は離散なので $g$ は連続である。$X$ は正規で $D$ は閉だから、 の 2 により連続関数 $F : X \to \mathbb{R}$ で $F|_D = g$ となるものがある。$F(a_n) = n$ なので $F$ は有界でなく、$X$ が擬コンパクトであることに反する。 最後に、可算コンパクト性などの含意が一般に逆向きに成り立たない代表例として、次を示します。コンパクト性と点列コンパクト性が比較できないことの一方向です。 証明の方針は次のとおりです。$X$ の点は「$I$ の各点に 0 か 1 を割り当てたもの」です。そこで、自然数 $n$ ごとに「$n$ を含む部分集合 $S$ には 1、含まない $S$ には 0 を割り当てる」点 $x^{(n)}$ を作ります（$\mathcal{P}(\mathbb{N})$ の元 $S$ を、単射で $I$ の点とみなします）。どんな部分列を取っても、$\mathbb{N}$ の部分集合 $S$ をうまく選べば、その成分では 0 と 1 が交互に現れて収束しません。 $I$ を、$\mathcal{P}(\mathbb{N})$ から $I$ への単射が存在する集合とする（たとえば $I = \mathbb{R}$。$\mathcal{P}(\mathbb{N})$ と $\mathbb{R}$ は同じ濃度、。また $t \mapsto 1/2 + \arctan(t)/\pi$ は $\mathbb{R}$ から $[0, 1]$ への単射なので $I = [0, 1]$ も該当する）。このとき、各成分が離散位相の $\{0, 1\}$ である積空間 $X := \{0, 1\}^I$ はコンパクトであるが、点列コンパクトでない。とくに $\{0, 1\}^{[0,1]}$ は、コンパクトだが点列コンパクトでない。 $\{0, 1\}$ は有限なのでコンパクトで、 により $X$ はコンパクトである。 $j : \mathcal{P}(\mathbb{N}) \to I$ を単射とし、$I$ の点 $t$ に対し、$t = j(S)$ なる $S \in \mathcal{P}(\mathbb{N})$ があればその $S$（一意）を $S_t$、なければ $S_t := \emptyset$ とおく。点列 $x^{(n)} \in X$ を $$ x^{(n)}_t := \begin{cases} 1 & (n \in S_t) \\ 0 & (n \notin S_t)\end{cases} $$ で定める。部分列 $x^{(n_1)}, x^{(n_2)}, \ldots$（$n_1 < n_2 < \cdots$）が $X$ のある点に収束すると仮定する。$S := \{ n_k : k\text{ は偶数} \} \subseteq \mathbb{N}$ とおき、$t := j(S) \in I$ をとる。すると $S_t = S$ なので、$x^{(n_k)}_t = 1$ は $k$ が偶数のとき、$0$ は $k$ が奇数のとき（$n_k \in S$ となるのは $k$ が偶数のときのみ、$n_k$ が互いに異なるため）。第 $t$ 成分への射影は連続（）なので、収束する点列の像 $x^{(n_k)}_t$ は離散空間 $\{0, 1\}$ で収束し、最終的に定数でなければならない（離散空間で $\{y\}$ は開）。ところが $x^{(n_k)}_t$ は $0$ と $1$ を交互にくり返すので、矛盾する。よって収束する部分列はなく、$X$ は点列コンパクトでない。 この空間はコンパクトなので可算コンパクトですが、点列コンパクトではありません。したがって の 3 で第一可算性の仮定は落とせません。実際、$\mathcal{P}(\mathbb{N})$ は非可算（）で、$I$ はそこからの単射をもつので非可算であり、$X$ は第一可算ではありません（）。 ## 4. 完全集合と Cantor–Bendixson の定理 次に、空間の中の「孤立点のない部分」を調べます。解析学では $[a, b]$ の閉集合を、孤立点をくり返し取り除いて調べる議論があります。位相空間では次のように定式化されます。なお、定義に出る「導集合」は、$A$ の、その点自身以外の点でいくらでも近くまで近似される点（集積点）の集まりのことです。 $X$ を位相空間、$A \subseteq X$ とする。 1. $A$ の**導集合**を $A' := \{ x \in X : x \in \overline{A \setminus \{x\}} \}$ と定める。高階の導集合を $A^{(0)} := A$、$A^{(k+1)} := (A^{(k)})'$ で定める。 2. $A \subseteq A'$ であるとき、$A$ は**自己稠密**（孤立点をもたない）という。自己稠密な閉集合を**完全集合**という。 3. $X$ の自己稠密な部分集合全体の合併 $P(X)$ を $X$ の**完全核**という。 $a \in A$ が $A$ で孤立している（ある開集合 $U$ で $U \cap A = \{a\}$）ことは $a \notin A'$ と同値なので、自己稠密とは $A$ の点がすべて $A$ の中で孤立していないことです。また、一般に $\overline{A} = A \cup A'$ です（$x \in \overline{A} \setminus A$ なら $\overline{A \setminus \{x\}} = \overline{A} \ni x$ で $x \in A'$、逆向きは $A' \subseteq \overline{A}$ から）。したがって $A$ が閉であることは $A' \subseteq A$ と同値で、$A$ が完全であることは $A = A'$ と同値です。 定理のねらいは、第二可算空間では「孤立点を取り除ききれない部分（完全核）」を除いた残りが高々可算個しかない、という点にあります。証明の 2 では、可算開基のうち高々可算なものをすべて集めた $U$ を考えます。$U$ に入らない点の集まり $X \setminus U$ が孤立点をもたないことを示すと、それは完全核に含まれるので、残りは $U$ の中に収まります。 $X$ を第二可算な位相空間とし、$P := P(X)$ をその完全核とする。 1. $P$ は完全集合であり、$X$ の自己稠密な部分集合（とくに完全集合）はすべて $P$ に含まれる。 2. $X \setminus P$ は高々可算である。したがって $X$ は完全集合 $P$ と高々可算な集合 $X \setminus P$ の非交和である。 1. $P$ はその定義から、すべての自己稠密集合を含む。$P$ が自己稠密であること：$a \in P$ とすると、$a \in A$ なる自己稠密集合 $A$ があり、$a \in \overline{A \setminus \{a\}} \subseteq \overline{P \setminus \{a\}}$。$P$ が閉であること：$Q := \overline{P} = P \cup P'$ とおく。$q \in Q$ について、$q \in P$ なら $q \in \overline{P \setminus \{q\}} \subseteq \overline{Q \setminus \{q\}}$。$q \in P' \setminus P$ でも $q \in \overline{P \setminus \{q\}} \subseteq \overline{Q \setminus \{q\}}$。よって $Q$ は自己稠密で、$P$ の定義により $Q \subseteq P$。ゆえに $P = Q$ は閉であり、完全集合である。 2. $\{B_n\}_{n \ge 1}$ を可算開基とし、$U := \bigcup \{ B_n : B_n\text{ は高々可算} \}$ とおく。これは高々可算集合の高々可算個の合併なので高々可算である（）。$X \setminus U$ が自己稠密であることを示す。$x \in X \setminus U$ が $X \setminus U$ で孤立しているとすると、開集合 $W$ で $W \cap (X \setminus U) = \{x\}$ なるものがある。開基の元 $B_n$ を $x \in B_n \subseteq W$ にとると、$B_n \subseteq U \cup \{x\}$ は高々可算である。したがって $B_n$ は $U$ の定義に現れる元なので $B_n \subseteq U$、$x \in U$ となり矛盾する。よって $X \setminus U$ は自己稠密で、1 により $X \setminus U \subseteq P$。したがって $X \setminus P \subseteq U$ は高々可算である。 この定理から、第二可算な非可算空間は、必ず空でない完全集合を含みます（$P = \emptyset$ なら $X = X \setminus P$ は高々可算）。 1. $A := \{ 1/m + 1/n : m, n \ge 1 \} \subseteq \mathbb{R}$ とします。$m$ を固定して $n \to \infty$ とすると $1/m + 1/n \to 1/m$ なので $1/m \in A'$、また $m, n \to \infty$ で $0 \in A'$ です。これら以外の点は $A$ の点の近傍で $A$ の点が有限個しかない、あるいは $A$ から離れているので、$A' = \{ 1/m : m \ge 1 \} \cup \{0\}$ です。同様に $A'' = \{0\}$、$A''' = \emptyset$ となり、導集合を 3 回とると空になります。 2. $\mathbb{R}$（または $\mathbb{Q}$）はそれ自身が自己稠密で閉なので完全集合で、完全核は全体、$X \setminus P = \emptyset$ です。離散空間 $\mathbb{N}$ は自己稠密な部分集合をもたないので $P = \emptyset$、$X \setminus P = \mathbb{N}$ は可算です。 3. $\{0, 1\}^{\mathbb{N}}$（各成分は離散）は完全集合です。点 $x$ の基本開近傍 $\{ y : y_i = x_i\ (i \le m) \}$（）は、第 $m + 1$ 成分だけ変えた別の点を含むので、$x$ は孤立点ではありません。空間全体は閉なので完全集合です。 ## 5. Hewitt–Marczewski–Pondiczery の定理 非可算個の積が第一可算でないこと（）に対し、可分性は連続体濃度個まで保たれます。可分性は「可算個のデータで稠密に近似できる」という性質ですが、点列論法より弱い条件ですから、巨大な積でも保たれうるのです。 証明の考え方は次のとおりです。積空間の基本開集合は、有限個の座標だけを制限します。そこで、制限される有限個の座標 $i_1, \ldots, i_m$ を、$e$ で実数に移して互いに交わらない有理端点の区間で区別し、区間ごとに各空間の可算稠密集合から点を選ぶ、という指定の仕方を考えます。この指定は可算個しかなく、どの基本開集合にも入るものが見つかります。 $I$ を集合で、$I$ から $\mathbb{R}$ への単射が存在する（濃度が連続体濃度以下）ものとし、$\{X_i\}_{i \in I}$ を可分な位相空間の族とする。このとき積空間 $\prod_{i \in I} X_i$ は可分である。 ある $X_i$ が空なら積も空で可分なので、すべての $X_i$ は空でないとする。各 $i$ に、可算稠密集合の元を重複を許して並べた写像 $g_i : \mathbb{N} \to X_i$（$\mathbb{N} = \{1, 2, \ldots\}$、像が $X_i$ で稠密）を 1 つずつ選ぶ。また単射 $e : I \to \mathbb{R}$ を 1 つ選ぶ。 $\mathcal{E}$ を、有理数端点をもつ開区間全体とする（$\mathbb{Q} \times \mathbb{Q}$ から作れるので可算、）。$\mathcal{E} \times \mathbb{N}$ は可算で、その元の有限列全体（長さ $0$ も含める）は、各長さごとに可算集合の有限個の直積で可算、その可算和（）として可算である。この有限列のうち、$\mathcal{E}$ 成分の区間が互いに交わらないもの $\sigma = ((J_1, n_1), \ldots, (J_m, n_m))$ の全体を $\Sigma$ とすると、$\Sigma$ は可算である。各 $\sigma \in \Sigma$ に対し $x^\sigma \in \prod_i X_i$ を $$ x^\sigma_i := \begin{cases} g_i(n_k) & (e(i) \in J_k\text{ のとき。区間が互いに交わらないので }k\text{ は一意}) \\ g_i(1) & (e(i)\text{ がどの }J_k\text{ にも属さないとき}) \end{cases} $$ で定め、$D := \{ x^\sigma : \sigma \in \Sigma \}$ とおく。$D$ は可算である。 $D$ が稠密であること。空でない基本開集合（）$W = \prod_i U_i$ をとる。$U_i = X_i$ でない $i$ は、相異なる $i_1, \ldots, i_m$ のみとしてよい（$m = 0$ なら $W = \prod X_i$ に $D$ の元が入る）。$e$ が単射なので実数 $r_k := e(i_k)$ は相異なる。$\delta := \min_{k \ne l} |r_k - r_l| / 3$（$m = 1$ なら $\delta := 1$）とし、有理数 $p_k, q_k$ を $r_k - \delta < p_k < r_k < q_k < r_k + \delta$ となるようにとり、$J_k := (p_k, q_k)$ とおく。$|r_k - r_l| \ge 3\delta$ なので、$J_1, \ldots, J_m$ は互いに交わらない。各 $k$ について、$U_{i_k}$ は空でない開集合で、$g_{i_k}$ の像は稠密だから、$g_{i_k}(n_k) \in U_{i_k}$ なる $n_k$ がある。$\sigma := ((J_1, n_1), \ldots, (J_m, n_m)) \in \Sigma$ とすると、$e(i_k) = r_k \in J_k$ で、他の $J_l$ には属さないので $x^\sigma_{i_k} = g_{i_k}(n_k) \in U_{i_k}$。他の座標では $U_i = X_i$ なので、$x^\sigma \in W$。よって $D$ は空でない開集合すべてと交わり、稠密である。 $\{0, 1\}^{\mathbb{R}}$（各成分は離散位相）は、$\{0, 1\}$ が有限で可分、$I = \mathbb{R}$ が $\mathbb{R}$ への単射をもつので、 により可分です。一方、$\mathbb{R}$ は非可算（）なので、 により第一可算ではありません。可算個の空間の積では第二可算性が保たれました（）が、非可算個になると第二可算性・第一可算性は壊れ、可分性だけが連続体濃度まで残る、という対比になります。同様に $\mathbb{R}^{\mathbb{R}}$（点ごと収束の位相）も可分です。 ## 6. 演習 点列空間の閉部分空間は点列空間であることを示せ。 $X$ を点列空間、$A \subseteq X$ を閉集合とする。$C \subseteq A$ が $A$ の部分空間として点列閉とする。$C$ の点列 $x_n \to x$（$x \in X$）をとる。$A$ は閉なので点列閉であり、$x \in A$。$x_n \to x$ は部分空間 $A$ でも成り立つ（$A$ における $x$ の近傍は $X$ における近傍と $A$ の共通部分である）ので、$C$ が $A$ で点列閉であることにより $x \in C$。よって $C$ は $X$ で点列閉であり、$X$ が点列空間なので $X$ で閉、したがって $A$ でも閉（$C = C \cap A$）。 可算コンパクト空間の閉部分空間は可算コンパクトであることを示せ。 $X$ を可算コンパクト、$F \subseteq X$ を閉集合とし、$F$ の可算開被覆 $\{V_n\}$ をとる。各 $V_n = F \cap U_n$（$U_n$ は $X$ の開集合）と書く。$\{U_n\} \cup \{X \setminus F\}$ は $X$ の可算開被覆なので有限部分被覆をもつ。$X \setminus F$ は $F$ を覆わないので、$F \subseteq U_{n_1} \cup \cdots \cup U_{n_m}$ となる有限個がある。$F = V_{n_1} \cup \cdots \cup V_{n_m}$。 $A := \{ 1/m + 1/(mn) : m, n \ge 1 \} \cup \{ 1/m : m \ge 1 \} \cup \{0\} \subseteq \mathbb{R}$ について、$A'$、$A''$、$A'''$ を求めよ。ただし $A'$ は $A$ の導集合、$A''$ は $A'$ の導集合、…である。 $m$ を固定すると、$n \to \infty$ で $1/m + 1/(mn) \to 1/m$ で、これらは $1/m$ と異なるので $1/m$ の近傍に $A$ の他の点が無限個ある。したがって $1/m \in A'$。$m \to \infty$ で $1/m \to 0$ なので $0 \in A'$。それ以外の点 $x$ は $A'$ に属さない：$x < 0$ または $x > 2$ なら近傍が $A$ と交わらない。$0 < x \le 2$ で $x \ne 1/m$ なら、$0$ から離れた近傍には、関わる $m$ が有限個しかなく、各 $m$ について点列 $1/m + 1/(mn)$ は $1/m$ にしか集積しないので、$x$ のある近傍に入る $A$ の点は有限個で、$x \in A'$ とはなりえない。$A' = \{ 1/m : m \ge 1 \} \cup \{0\}$。ここで各 $1/m$ は $A'$ の孤立点で、$0$ は $1/m \to 0$ の極限なので $A'' = \{0\}$。さらに $\{0\}$ は 1 点集合なので $A''' = \emptyset$。 第二可算で非可算な位相空間 $X$ は、空でない完全集合を含むことを示し、完全集合として含まれない例（可算空間の例）を 1 つ挙げよ。 $X$ が非可算なら の 2 により $X \setminus P$ は高々可算なので $P \ne \emptyset$、1 により $P$ は完全集合である。可算空間の例として $\mathbb{N}$（離散）は、自己稠密な部分集合をもたず空でない完全集合を含まない（ の 2）。 ## 参考文献 - R. Engelking, *General Topology*, Heldermann, 1989 — Chapter 1（点列空間・Fréchet–Urysohn 空間）、Chapter 3（可算コンパクト性）、Chapter 4（点列コンパクト性）、Chapter 2（積の可分性）。 - S. P. Franklin, "Spaces in which sequences suffice", *Fundamenta Mathematicae* 57 (1965), 107–115. 点列空間の導入と、距離空間の商としての特徴づけ。 - J. R. Munkres, *Topology*, 2nd ed., Prentice Hall, 2000 — Chapter 3 §28（極限点コンパクト性・点列コンパクト性）。 - S. Willard, *General Topology*, Addison-Wesley, 1970 — 可算コンパクト性・点列コンパクト性を扱う節、Cantor–Bendixson の定理。 - E. Hewitt, "A remark on density characters", *Bulletin of the American Mathematical Society* 52 (1946), 641–643.