# 普遍ネット・超フィルターとコンパクト性：Alexander の準基定理と完全写像 > 普遍ネットと超フィルターの関係、コンパクト性の普遍ネットによる特徴づけ、Tychonoff の定理の別証、Alexander の準基定理、Kelley の定理、完全写像と固有写像、Vietoris 超空間のコンパクト性を証明する。 > https://rikai.mugen-giken.com/mathematics/topology/universal-nets-and-compactness ## 0. この記事の要点 有界な実数列からは、収束する部分列を取り出せます。この記事では、これと同じ働きを一般の空間でする「点の並び」として、どんな集合についても最終的にその中か外のどちらかに落ち着くもの（普遍ネット）を調べます。読み終えると、「コンパクトである」ことをこの並びの言葉で言い換えられ、その言い換えから「コンパクトな空間をいくつ掛け合わせてもコンパクト」という Tychonoff の定理を短く示せるようになります。 - **普遍ネット**とは、どんな集合に対しても「最終的にその集合に入る」か「最終的にその補集合に入る」かのどちらかが成り立つネットです。尾のフィルターが[超フィルター](/mathematics/topology/products-quotients-tychonoff#def-filter)であることと同値で、任意のネットは普遍[部分ネット](/mathematics/topology/nets-and-filters#def-subnet)をもちます（超フィルターの補題、すなわち Zorn の補題の使用箇所）。 - **コンパクト性は、すべての普遍ネットが収束すること**と同値です。ここから Tychonoff の定理の短い別証が得られます。 - **Alexander の準基定理**：準基の元による開被覆だけを調べればコンパクト性が判定できます。これも Zorn の補題で示し、Tychonoff の定理の第三の証明と、**Vietoris 超空間**のコンパクト性（コンパクト空間の閉集合全体がコンパクトな超空間をなす）を導きます。 - **Kelley の定理**：Tychonoff の定理から選択公理が従います。選択公理を使うのは、Tychonoff の定理の証明の本質的な部分だということです。 - **完全写像・固有写像**は、「ファイバーがコンパクトで[閉写像](/mathematics/topology/continuous-maps#def-open-closed-map)」「コンパクト集合の逆像がコンパクト」という写像の性質です。局所コンパクトハウスドルフ空間の間では 2 つは同値で、[一点コンパクト化](/mathematics/topology/local-compactness#def-alexandroff)への延長が連続であることとも同値になります。 ## 1. 動機：超フィルターの議論を、ネットの言葉で書き直す [ネットとフィルターによる収束](/mathematics/topology/nets-and-filters)で、ネットとフィルターの対応を確かめました。積位相の記事ではコンパクト性を[超フィルター](/mathematics/topology/products-quotients-tychonoff#def-filter)で特徴づけ、Tychonoff の定理を「超フィルターの像は超フィルター」という事実だけで証明しました。同じ内容をネットの言葉で述べるのが**普遍ネット**です。「すべての普遍ネットが収束する」というコンパクト性の特徴づけは、点列でコンパクト性を扱う議論（収束する部分列の取り出し）を、そのまま一般の空間に持っていくための言語になります。たとえば関数解析の Banach–Alaoglu の定理（単位球の弱 * コンパクト性）は、単位球を積空間の閉部分集合として見る議論で Tychonoff の定理に帰着します。 もう 1 つの流れは、コンパクト性の証明で使う **Zorn の補題の別の使い道**です。超フィルターの補題は、フィルター全体の集合に Zorn の補題を使いました。Alexander の準基定理は、開被覆全体の集合に Zorn の補題を使い、「準基の元だけを見ればよい」という大幅な簡略化を与えます。その使い道の重さを測るために、**Kelley の定理**（Tychonoff の定理から選択公理が従う）も示します。 最後に、コンパクト性と写像の関係として**完全写像**を扱います。連続でコンパクト集合の逆像がコンパクトな写像（固有写像）は、代数幾何の固有射や Lie 群の作用の固有性の位相的な原型です。 ## 2. 普遍ネットと超フィルター $X$ を集合、$(x_\lambda)_{\lambda \in \Lambda}$ を $X$ のネットとする。任意の部分集合 $A \subseteq X$ に対し、「ある $\lambda_0$ があって $\lambda \ge \lambda_0$ なら $x_\lambda \in A$」と「ある $\lambda_0$ があって $\lambda \ge \lambda_0$ なら $x_\lambda \in X \setminus A$」の少なくとも一方が成り立つとき、このネットを**普遍ネット**（超ネット）という。 「最終的に $A$ に入る」ことは、$A$ が尾のフィルター $\mathcal{T}(\boldsymbol{x})$（）に属することです。したがって普遍性は、尾のフィルターが超フィルターの条件を満たすことを言っています。 $X$ の集合としてのネット $\boldsymbol{x} = (x_\lambda)_{\lambda \in \Lambda}$ について、次が成り立つ。 1. $\boldsymbol{x}$ が普遍ネットであることと、尾のフィルター $\mathcal{T}(\boldsymbol{x})$ が超フィルターであることは同値である。 2. $\boldsymbol{x}$ が普遍ネットで $f : X \to Y$ が写像ならば、ネット $f(\boldsymbol{x}) = (f(x_\lambda))_{\lambda \in \Lambda}$ も普遍ネットである。 3. $\mathcal{U}$ が超フィルターならば、付随するネット $\boldsymbol{n}(\mathcal{U})$（）は普遍ネットである。 1. $\mathcal{T}(\boldsymbol{x})$ はフィルターで、$\boldsymbol{x}$ が普遍であることは、すべての $A \subseteq X$ について $A \in \mathcal{T}(\boldsymbol{x})$ または $X \setminus A \in \mathcal{T}(\boldsymbol{x})$ が成り立つことにほかならない。これは により、$\mathcal{T}(\boldsymbol{x})$ が超フィルターであることと同値。 2. $B \subseteq Y$ とする。$A := f^{-1}(B)$ に普遍性を適用すると、最終的に $x_\lambda \in f^{-1}(B)$ すなわち $f(x_\lambda) \in B$ であるか、最終的に $x_\lambda \in X \setminus f^{-1}(B) = f^{-1}(Y \setminus B)$ すなわち $f(x_\lambda) \in Y \setminus B$ である。 3. $\mathcal{T}(\boldsymbol{n}(\mathcal{U})) = \mathcal{U}$（ の 2）が超フィルターなので、1 により普遍である。 次の定理は、任意のネットが普遍な部分ネットをもつことを言います。これが「普遍ネットによる議論」の出発点で、超フィルターの補題に対応します。 位相空間（あるいは集合）の任意のネット $\boldsymbol{x} = (x_\lambda)$ は、普遍ネットである部分ネットをもつ。 証明の方針は、尾のフィルターを超フィルターにまで広げ（ここで超フィルターの補題を使います）、その超フィルターに対応するネットを部分ネットとして取り出す、というものです。 $\mathcal{T}(\boldsymbol{x})$ はフィルターなので、超フィルターの補題（。ここで選択公理が使われる）により、超フィルター $\mathcal{U} \supseteq \mathcal{T}(\boldsymbol{x})$ がある。 の 3 により、$\boldsymbol{x}$ の部分ネット $\boldsymbol{y}$ で $\mathcal{T}(\boldsymbol{y}) = \mathcal{U}$ なるものがある。 の 1 により、$\boldsymbol{y}$ は普遍ネットである。 ## 3. コンパクト性と Tychonoff の定理の別証 位相空間 $X$ がコンパクトであるための必要十分条件は、$X$ のすべての普遍ネットが（$X$ のある点に）収束することである。 （$\Rightarrow$）$X$ をコンパクト、$\boldsymbol{x}$ を普遍ネットとする。 の 1 により $\mathcal{T}(\boldsymbol{x})$ は超フィルターで、 によりある点 $x$ に収束する。 の 1 により $\boldsymbol{x} \to x$ である。 （$\Leftarrow$）任意のネット $\boldsymbol{x}$ をとる。 により普遍部分ネット $\boldsymbol{y}$ があり、仮定により $\boldsymbol{y}$ はある点 $x$ に収束する。 により $x$ は $\boldsymbol{x}$ の集積点である。すべてのネットが集積点をもつので、 により $X$ はコンパクトである。 この特徴づけを使うと、Tychonoff の定理が次のように読めます。 $\{X_i\}_{i \in I}$ をコンパクト空間の族とすると、積空間 $X = \prod_{i \in I} X_i$ はコンパクトである。 の（$\Leftarrow$）により、$X$ の任意の普遍ネット $\boldsymbol{x} = (x_\lambda)$ が収束することを示せばよい。各 $i$ について、射影の像 $\pi_i(\boldsymbol{x}) = (\pi_i(x_\lambda))$ は $X_i$ の普遍ネットである（ の 2）。$X_i$ はコンパクトなので、 の（$\Rightarrow$）により収束先 $y_i \in X_i$ がある。各 $i$ について 1 つずつ $y_i$ を選ぶ（選択公理、。$X_i$ がハウスドルフなら一意で選択は不要）。$y := (y_i)_{i \in I}$ とおくと、すべての $i$ で $\pi_i(x_\lambda) \to y_i$ なので、 により $\boldsymbol{x} \to y$ である。 選択公理の使用箇所は 2 つで、超フィルターの補題（普遍部分ネットの存在）と、極限 $y_i$ を $I$ 個同時に選ぶ段階です。次の節で見る Alexander の準基定理は、超フィルターを経由しない別の道で Tychonoff の定理に至ります。 ## 4. Alexander の準基定理 コンパクト性を示すには、すべての開被覆を調べなければならないように見えます。準基があれば、準基の元からなる被覆だけで足ります。 $X$ を位相空間、$\mathcal{S}$ を $X$ の準基（。$X$ の位相は $\tau(\mathcal{S})$）とする。$\mathcal{S}$ の元だけからなる $X$ の被覆がつねに有限部分被覆をもつならば、$X$ はコンパクトである。 証明の方針は背理法です。有限部分被覆をもたない開被覆のうち、Zorn の補題で極大なもの $\mathcal{C}$ を取ります。極大なので、$\mathcal{C}$ に入っていない開集合 $W$ を 1 つ加えると有限部分被覆をもつようになります（証明中の (P)）。この性質を使うと、$\mathcal{C}$ の中の準基の元だけで $X$ が覆えることが言えて、仮定と食い違います。 $X$ がコンパクトでないと仮定して矛盾を導く。$\mathfrak{P}$ を、有限部分被覆をもたない $X$ の開被覆全体の集合とし、包含で半順序づける。$X$ がコンパクトでないので $\mathfrak{P} \ne \emptyset$。空でない鎖 $\mathfrak{Q} \subseteq \mathfrak{P}$ に対し、合併 $\bigcup \mathfrak{Q}$ は開被覆である。有限個の元 $C_1, \ldots, C_n \in \bigcup \mathfrak{Q}$ が $X$ を覆うとすると、各 $C_k$ はある $\mathcal{C}_k \in \mathfrak{Q}$ に属し、鎖なので最大のもの $\mathcal{C}_{k_0}$ がすべてを含む。すると $\mathcal{C}_{k_0}$ が有限部分被覆をもち矛盾する（$n = 0$ なら $X = \emptyset$ でコンパクトなので不可）。したがって $\bigcup \mathfrak{Q} \in \mathfrak{P}$ は鎖 $\mathfrak{Q}$ の上界である。Zorn の補題（）により、$\mathfrak{P}$ に極大元 $\mathcal{C}$ がある。 **(P)** 開集合 $W \notin \mathcal{C}$ に対し、$C_1, \ldots, C_n \in \mathcal{C}$（$n \ge 0$）で $W \cup C_1 \cup \cdots \cup C_n = X$ となるものがある。実際、$\mathcal{C} \cup \{W\}$ は $\mathcal{C}$ を真に含む開被覆なので、$\mathcal{C}$ の極大性により $\mathfrak{P}$ に属さず、有限部分被覆をもつ。$\mathcal{C}$ 自身は有限部分被覆をもたないので、その有限部分被覆は $W$ を含む。 **主張：$\mathcal{C} \cap \mathcal{S}$ は $X$ を覆う。** $x \in X$ とし、$x \in C \in \mathcal{C}$ をとる。$C$ は開なので、$\mathcal{S}$ の元の有限共通部分 $B = S_1 \cap \cdots \cap S_m$（$m \ge 0$、$m = 0$ なら $B = X$）で $x \in B \subseteq C$ なるものがある（ の 1）。ある $S_k \in \mathcal{C}$ があれば、$x \in B \subseteq S_k$ で $x$ は $\mathcal{C} \cap \mathcal{S}$ に覆われる。どの $S_k$ も $\mathcal{C}$ に属さないとすると、各 $S_k$ は開集合なので (P) により、$\mathcal{C}$ の元の有限合併 $D_k$ で $S_k \cup D_k = X$ となるものがある。このとき $$ X = \bigcap_{k=1}^m (S_k \cup D_k) \subseteq \Bigl(\bigcap_{k} S_k\Bigr) \cup \bigcup_{k} D_k = B \cup \bigcup_k D_k \subseteq C \cup \bigcup_k D_k $$ （$m = 0$ なら $X = B \subseteq C$）。これは $\mathcal{C}$ の有限個の元による $X$ の被覆で、$\mathcal{C} \in \mathfrak{P}$ に反する。 以上から、$\mathcal{S}$ の元だけからなる被覆 $\mathcal{C} \cap \mathcal{S}$ が得られ、仮定によりそれは有限部分被覆をもつ。これは $\mathcal{C}$ の有限部分被覆なので、$\mathcal{C} \in \mathfrak{P}$ に反する。 $X = \prod_{i \in I} X_i$（各 $X_i$ はコンパクト）の準基は $\mathcal{S} = \{ \pi_i^{-1}(U) : i \in I,\ U \subseteq X_i\text{ は開}\}$ です。 により、$\mathcal{S}$ の元だけの被覆 $\mathcal{W}$ が有限部分被覆をもつことを示せばよく、次の議論でそれが示せます。各 $i$ について $\mathcal{W}_i := \{ U : \pi_i^{-1}(U) \in \mathcal{W} \}$ とおきます。ある $i$ で $\mathcal{W}_i$ が $X_i$ を覆えば、$X_i$ のコンパクト性から有限個 $U_1, \ldots, U_n \in \mathcal{W}_i$ で $X_i$ が覆われ、$\pi_i^{-1}(U_k) \in \mathcal{W}$ が $X$ を覆います。どの $i$ でも $\mathcal{W}_i$ が $X_i$ を覆わないなら、各 $i$ で $x_i \in X_i \setminus \bigcup \mathcal{W}_i$ を選べて（選択公理）、$x = (x_i)$ は $\mathcal{W}$ のどの元にも入らず、被覆であることに反します。この証明では超フィルターを使わず、Zorn の補題は Alexander の準基定理の内部でだけ使われます。 ## 5. Kelley の定理：Tychonoff の定理は選択公理を含む 「コンパクト空間の任意の族の積空間はコンパクトである」（ の主張）が成り立つならば、空でない集合の任意の族 $\{A_i\}_{i \in I}$ について直積 $\prod_{i \in I} A_i$ は空でない（選択公理 の主張）。この導出は、選択公理を使わずに行える。 証明の方針は次のとおりです。各 $A_i$ に点 $\infty$ を 1 つ加えてコンパクト空間 $X_i$ にし、積空間 $X$ のコンパクト性を仮定します。$A_i$ に値をとる点の集合 $F_i$ は閉集合で、有限交叉性をもつので、全体の共通部分の点が直積の元になります。$\infty$ の取り方が少し技巧的に見えますが、これは「どの $A_i$ の元でもない元」を選択公理なしで具体的に作るための工夫です。 $\{A_i\}_{i \in I}$ を空でない集合の族とする。$\infty$ を、どの $A_i$ の元でもない 1 つの元とする（たとえば $\infty := \{ a \in \bigcup_i A_i : a \notin a \}$ とおけば、$\infty \in \bigcup_i A_i$ なら $\infty \in \infty \iff \infty \notin \infty$ となって矛盾するので、$\infty \notin \bigcup_i A_i$）。$X_i := A_i \cup \{\infty\}$ に、開集合を $\emptyset$、$\{\infty\}$、$X_i$ とする位相（これらが位相をなすことは、合併・共通部分がすべてこの 3 つに戻ることから明らか）を入れる。 各 $X_i$ はコンパクトである。開被覆は $A_i$ の点 $a$（$A_i \ne \emptyset$）を含む元をもつが、それは $X_i$ しかないので、$\{X_i\}$ が有限部分被覆になる。仮定により積空間 $X := \prod_i X_i$ はコンパクトである。 $F_i := \pi_i^{-1}(A_i) = \{ x \in X : x_i \in A_i \}$ とおく。$X_i \setminus A_i = \{\infty\}$ は開集合なので $A_i$ は閉集合で、$\pi_i$ は連続なので $F_i$ は閉集合である。族 $\{F_i\}_{i \in I}$ は[有限交叉性](/mathematics/topology/compactness#def-fip)をもつ：$I$ の有限部分集合 $S$ に対し、各 $i \in S$ から $a_i \in A_i$ を 1 つずつ選び（有限個の選択なので選択公理は不要）、$i \in S$ なら $x_i := a_i$、$i \notin S$ なら $x_i := \infty$ とおけば、$x \in \bigcap_{i \in S} F_i$。$X$ のコンパクト性と により $\bigcap_{i \in I} F_i \ne \emptyset$ で、その元 $x$ は全 $i$ で $x_i \in A_i$、すなわち $x \in \prod_i A_i$。 「Tychonoff の定理の主張」はこのサイトでは選択公理（Zorn の補題）から証明された定理（）で、選択公理を仮定した集合論の中では、上の定理は両者が同値であると読めます。この定理が言うのは、選択公理を仮定しない枠組みでも、Tychonoff の定理の主張から選択公理が導かれるということです。ここで使った空間 $X_i$ はハウスドルフではありません。ハウスドルフ空間の族に限った Tychonoff の定理は、選択公理よりやや弱い原理と同値であることが知られています（文献は参考文献を参照）。 ## 6. 完全写像と固有写像 $f : X \to Y$ を位相空間の間の連続写像とする。 1. $f$ が**完全写像**であるとは、$f$ が閉写像（）で、すべての $y \in Y$ についてファイバー $f^{-1}(y)$ が $X$ のコンパクト部分集合であることをいう。 2. $f$ が**固有写像**であるとは、$Y$ の任意のコンパクト部分集合 $K$ について $f^{-1}(K)$ が $X$ のコンパクト部分集合であることをいう。 直観としては、完全写像は「ファイバーがコンパクトで、閉集合が無限遠へ飛び去って像の点を取りこぼさない」写像です。反例は射影 $\mathbb{R}^2 \to \mathbb{R}$ で、双曲線 $xy = 1$（閉集合）は無限遠に飛び去るので、像は $0$ を取りこぼします。
xy = 1 像 = ℝ ∖ {0}
次の定理は、2 つの概念の関係と、基本的な性質を述べます。 1. 完全写像は固有写像である。 2. 完全写像の合成は完全写像である。完全写像 $f : X \to Y$ の閉部分集合 $F \subseteq X$ への制限 $f|_F : F \to Y$ は完全写像である。$Y$ がコンパクトで $f : X \to Y$ が完全写像ならば、$X$ はコンパクトである。 3. $X, Y$ が局所コンパクトハウスドルフ空間（[LCH 空間](/mathematics/topology/local-compactness#def-lc)）、$f : X \to Y$ が連続写像のとき、次の 3 条件は同値である。(i) $f$ は完全写像。(ii) $f$ は固有写像。(iii) $f^{+} : X^{*} \to Y^{*}$（$f^{+}|_X = f$、$f^{+}(\infty) = \infty$）が一点コンパクト化（）の間の連続写像になる。 1 と 2 は定義から直接たどる議論で、3 が主役です。3 の (iii) との同値では、一点コンパクト化 $X^{*}$ で無限遠点 $\infty$ を含む開集合が、$X$ のコンパクト集合 $C$ による $X^{*} \setminus C$ の形になること（証明中に述べています）を使います。 1. $f : X \to Y$ を完全写像、$K \subseteq Y$ をコンパクトとし、$f^{-1}(K)$ を $X$ の開集合の族 $\mathcal{U}$ で覆う（部分集合のコンパクト性は、$X$ の開集合による被覆で検査できる。）。各 $y \in K$ について、ファイバー $f^{-1}(y)$ はコンパクトなので、有限個の $U_1, \ldots, U_n \in \mathcal{U}$ で覆われる。$V_y := U_1 \cup \cdots \cup U_n$ は開で $f^{-1}(y) \subseteq V_y$。$f$ は閉写像なので $W_y := Y \setminus f(X \setminus V_y)$ は開で、$y \in W_y$（$f^{-1}(y) \subseteq V_y$ だから $y \notin f(X \setminus V_y)$）、かつ $f^{-1}(W_y) \subseteq V_y$ である。$K$ は $\{W_y\}_{y \in K}$ で覆われ、コンパクトなので $K \subseteq W_{y_1} \cup \cdots \cup W_{y_r}$。したがって $f^{-1}(K) \subseteq V_{y_1} \cup \cdots \cup V_{y_r}$ で、各 $V_{y_k}$ は $\mathcal{U}$ の有限個の元の合併だから、$f^{-1}(K)$ は $\mathcal{U}$ の有限個の元で覆われる。 2. $f : X \to Y$、$g : Y \to Z$ を完全写像とする。$g \circ f$ は連続な閉写像（閉集合を $f$ で送って閉、$g$ で送って閉）である。ファイバー $(g \circ f)^{-1}(z) = f^{-1}(g^{-1}(z))$ について、$g^{-1}(z)$ はコンパクトで、1 により $f$ は固有なので、これはコンパクトである。制限：$f|_F$ は連続で、$F$ の閉集合は $X$ の閉集合でもあるので $f|_F$ は閉写像。ファイバー $(f|_F)^{-1}(y) = f^{-1}(y) \cap F$ はコンパクト集合 $f^{-1}(y)$ の閉部分集合なので、コンパクトである（ を $f^{-1}(y)$ に適用）。最後に、$Y$ がコンパクトなら、1 により $X = f^{-1}(Y)$ はコンパクトである。 3. （i $\Rightarrow$ ii）は 1。（ii $\Rightarrow$ i）$f$ を固有写像とする。ファイバー $f^{-1}(y) = f^{-1}(\{y\})$ は 1 点集合がコンパクトなのでコンパクト。$F \subseteq X$ を閉集合とし、$f(F)$ が閉であることを示す。$y \in \overline{f(F)}$ とする。$Y$ は局所コンパクトなので、$y$ はコンパクトな近傍 $N$ をもつ。$f^{-1}(N)$ はコンパクトで、$F \cap f^{-1}(N)$ はその閉部分集合なのでコンパクト（）、その連続像 $f(F \cap f^{-1}(N)) = f(F) \cap N$ もコンパクトである（）。$Y$ はハウスドルフなので、コンパクト集合 $f(F) \cap N$ は閉である（ により、その外の各点は、この集合と交わらない開集合をもつ）。$y$ の任意の近傍 $W$ に対し、$W \cap N$ も $y$ の近傍で、$y \in \overline{f(F)}$ から $f(F)$ と交わる。したがって $W$ は $f(F) \cap N$ と交わり、$y \in \overline{f(F) \cap N} = f(F) \cap N$。よって $y \in f(F)$ で $f(F)$ は閉である。 （ii $\Rightarrow$ iii）$f^{+}$ の連続性を、$Y^{*}$ の開集合の逆像で確かめる。$V \subseteq Y$ が開なら $(f^{+})^{-1}(V) = f^{-1}(V)$ は $X$ の開集合で $X^{*}$ でも開。$K \subseteq Y$ がコンパクトなら $(f^{+})^{-1}(Y^{*} \setminus K) = X^{*} \setminus f^{-1}(K)$ で、$f$ が固有なので $f^{-1}(K)$ はコンパクトであり、これは $X^{*}$ の開集合である。（iii $\Rightarrow$ ii）$K \subseteq Y$ がコンパクトなら $Y^{*} \setminus K$ は $\infty$ を含む開集合で、その逆像 $X^{*} \setminus f^{-1}(K)$ は $X^{*}$ の開集合で $\infty$ を含む。$\infty$ を含む $X^{*}$ の開集合は、$X$ のコンパクト集合 $C$ による $X^{*} \setminus C$ の形（$X$ の開集合は $\infty$ を含まない）なので $f^{-1}(K) = C$ はコンパクトである。 $p$ を定数でない実係数多項式とし、$p : \mathbb{R} \to \mathbb{R}$ を考えます。$|x| \to \infty$ のとき $|p(x)| \to \infty$ なので、有界閉区間 $K$ に対し $p^{-1}(K)$ は有界で（$p$ の連続性により）閉です。Heine–Borel の定理（）により $p^{-1}(K)$ はコンパクトで、$p$ は固有写像です。したがって の 3 により完全写像でもあり、閉写像です（たとえば $p(x) = x^2$ は閉写像）。定数関数 $p = c$ は $p^{-1}(\{c\}) = \mathbb{R}$ がコンパクトでないので固有ではありません。これは代数幾何で多項式写像 $\mathbb{A}^1 \to \mathbb{A}^1$ が固有射になることの位相的な類似です。 ## 7. Vietoris 超空間 $X$ を位相空間とし、$\mathcal{C}(X)$ を $X$ の空でない閉部分集合全体の集合とする。$U \subseteq X$ が開集合のとき、 $$ U^{+} := \{ F \in \mathcal{C}(X) : F \subseteq U \},\qquad U^{-} := \{ F \in \mathcal{C}(X) : F \cap U \ne \emptyset \} $$ とおく。$\{U^{+}\}_{U}$ と $\{U^{-}\}_{U}$（$U$ は $X$ の開集合全体を動く）を合わせた族を準基とする位相（）を $\mathcal{C}(X)$ の **Vietoris 位相**といい、$\mathcal{C}(X)$ をこの位相で見たものを**超空間**という。 $X$ がコンパクトハウスドルフなら、閉集合とコンパクト集合は一致するので（ と ）、$\mathcal{C}(X)$ は空でないコンパクト部分集合全体です。この記事では、位相としての性質だけを扱います。 $X$ がコンパクトならば、$\mathcal{C}(X)$ は Vietoris 位相でコンパクトである。 記号の意味は次のとおりです。$U^{+}$ は「$U$ の中にすっぽり入る閉集合」全体、$U^{-}$ は「$U$ と交わる閉集合」全体です。証明は Alexander の準基定理を使い、準基の元 $U^{-}$ と $V^{+}$ だけからなる被覆を調べます。場合分けの意図は、$U^{-}$ たちが $\mathcal{C}(X)$ をすべて覆っているか、取りこぼす閉集合 $F_0$ があるかを分けることです。取りこぼしがあれば、その $F_0$ はどれかの $V^{+}$ に入っているはずなので、そこから有限個の選び方が決まります。 準基 $\mathcal{S} = \{U^{+}\} \cup \{U^{-}\}$ の元だけからなる $\mathcal{C}(X)$ の被覆が有限部分被覆をもつことを示せば、 により十分である。被覆を $\{U_a^{-}\}_{a \in A} \cup \{V_b^{+}\}_{b \in B}$ とする。$F_0 := X \setminus \bigcup_a U_a$ は閉集合である。 *場合 1：$F_0 = \emptyset$。* $\{U_a\}$ は $X$ の開被覆なので、$X$ のコンパクト性から有限個 $U_{a_1}, \ldots, U_{a_k}$ が $X$ を覆う。任意の $F \in \mathcal{C}(X)$ は点 $x$ を含み、$x \in U_{a_i}$ となる $i$ があるので $F \in U_{a_i}^{-}$。有限個の $U_{a_1}^{-}, \ldots, U_{a_k}^{-}$ が $\mathcal{C}(X)$ を覆う。 *場合 2：$F_0 \ne \emptyset$。* $F_0 \in \mathcal{C}(X)$ で、任意の $a$ について $F_0 \cap U_a = \emptyset$ なので $F_0 \notin U_a^{-}$。したがってある $b_0$ で $F_0 \in V_{b_0}^{+}$、すなわち $F_0 \subseteq V_{b_0}$。このとき $\{U_a\}_{a \in A} \cup \{V_{b_0}\}$ は $X$ の開被覆なので、コンパクト性により有限部分被覆 $U_{a_1}, \ldots, U_{a_k}, V_{b_0}$ がある（$V_{b_0}$ を含めて考えてよい）。$\{U_{a_i}^{-}\}_{i \le k} \cup \{V_{b_0}^{+}\}$ が $\mathcal{C}(X)$ を覆う：$F \in \mathcal{C}(X)$ について、$F \subseteq V_{b_0}$ なら $F \in V_{b_0}^{+}$。そうでなければ $x \in F \setminus V_{b_0}$ があり、$x \in U_{a_i}$ なる $i$ があるので $F \in U_{a_i}^{-}$。 いずれの場合も有限部分被覆が得られた。 $X$ が T1 空間のとき、1 点集合が閉なので空でない有限部分集合はすべて $\mathcal{C}(X)$ の元で、それら全体は $\mathcal{C}(X)$ で稠密です。$F \in \mathcal{C}(X)$ の基本近傍は、$V^{+} \cap U_1^{-} \cap \cdots \cap U_n^{-}$ の形のものを含みます（$V^{+} \cap V'^{+} = (V \cap V')^{+}$ により、$+$ 型は 1 つにまとまります）。$F \subseteq V$ かつ $F \cap U_k \ne \emptyset$（$k \le n$）なので、各 $k$ から点 $x_k \in F \cap U_k$ をとると、有限集合 $\{x_1, \ldots, x_n\} \subseteq F \subseteq V$ はこの近傍に入ります（$n = 0$ なら $F$ の 1 点をとる）。たとえば $\mathcal{C}([0, 1])$ はコンパクト（）で、$[0, 1]$ の有限部分集合全体が稠密になります。 ## 8. 例：主超フィルターから作る普遍ネット 任意の集合 $X$ の点 $x_0$ に対し、定ネット $(x_0)_{\lambda \in \Lambda}$ は普遍です。どんな $A \subseteq X$ についても、$x_0 \in A$ なら常に $A$ に入り、$x_0 \notin A$ なら常に $X \setminus A$ に入るからです。この尾のフィルターは主超フィルター $\{ A : x_0 \in A \}$ です。付随するネット（）は、有向集合 $\{(a, F) : x_0 \in F,\ a \in F\}$ 上のネットで、 の 3 により普遍です。定ネットではありませんが、$x_0$ に収束します（$x_0$ の任意の近傍 $U$ は $x_0$ を含むので主超フィルターに属するため）。 一方、$\mathbb{N}$ の補有限集合全体（Fréchet フィルター）を含む超フィルター $\mathcal{U}$ は、超フィルターの補題（）で存在し、主超フィルターではありません（どの $\{n\}$ も補有限でなく、かつ $\mathcal{U}$ は $\mathbb{N} \setminus \{n\}$ を含むので、$\{n\} \notin \mathcal{U}$）。この $\mathcal{U}$ の付随ネットは、$\mathbb{N}$ の有界な実数列 $(a_n)$ に合成すると $[-M, M]$ の普遍ネットになり、 により収束します。その極限が、超フィルターに関する数列の極限（）です。 ## 9. 演習 $\mathbb{R}$ の普遍ネット $(x_\lambda)$ が有界ならば、$\mathbb{R}$ のある点に収束することを示せ。 $|x_\lambda| \le M$ とすると、$(x_\lambda)$ は $[-M, M]$ のネットとみなせ、これは $[-M, M]$ の普遍ネットである（普遍性の定義は集合 $A \subseteq [-M, M]$ について同じ条件）。$[-M, M]$ はコンパクトなので（）、 により $[-M, M]$ のある点に収束し、$\mathbb{R}$ でも収束する。 位相空間 $X$ の閉部分集合 $F$ に対し、包含写像 $\iota : F \to X$ が完全写像であることを示せ。 $\iota$ は連続である。閉写像：$F$ の閉集合は $X$ の閉集合でもある。ファイバー $\iota^{-1}(x)$ は $x \in F$ なら 1 点、$x \notin F$ なら空集合で、いずれもコンパクト。 射影 $\pi_1 : \mathbb{R}^2 \to \mathbb{R}$ は閉写像でなく、完全写像でも固有写像でもないことを示せ。 $C := \{(x, y) : xy = 1\}$ は閉集合だが、$\pi_1(C) = \mathbb{R} \setminus \{0\}$ は閉でない。よって閉写像でなく、したがって完全写像でない。固有写像でもない：コンパクト集合 $K = \{0\}$ の逆像は $\{0\} \times \mathbb{R}$ で、コンパクトでない（有界でない。）。$\mathbb{R}^2$ と $\mathbb{R}$ は LCH 空間なので、 の 3 により、完全でないことと固有でないことは同値であり、上の 2 つの結論は整合している。 ## 参考文献 - J. L. Kelley, *General Topology*, Van Nostrand, 1955 — Chapter 5（Tychonoff の定理、Alexander の準基定理、普遍ネット）。 - J. L. Kelley, "The Tychonoff product theorem implies the axiom of choice", *Fundamenta Mathematicae* 37 (1950), 75–76. - J. W. Alexander, "Ordered sets, complexes and the problem of compactification", *Proceedings of the National Academy of Sciences* 25 (1939), 296–298. 準基定理の出典。 - R. Engelking, *General Topology*, Heldermann, 1989 — Chapter 3（コンパクト空間、完全写像）、Chapter 3 の超空間に関する節。 - T. Jech, *The Axiom of Choice*, North-Holland, 1973 — Tychonoff の定理と選択公理の関係、ハウスドルフ空間の場合の取り扱い。