固有写像と完全写像の反例

ナンブキトラ電波通信

HTML変換日：2026年7月26日

定義 1 (固有写像).

連続写像 $f:X\to Y$ が固有、または固有写像であるとは $Y$ の任意のコンパクト集合 $K$ について $f^{-1}(K)$ が $X$ のコンパクト集合となること。

定義 2.

連続関数 $f:X\to Y$ が次の条件を充たすとき $f$ を完全写像と呼ぶ¹¹1完全写像に全射性を仮定する流儀もある。

任意の $y\in Y$ について $f^{-1}(y)$ は $X$ のコンパクト集合かつ $f$ は閉写像

次の事実がある。

事実 3.

完全写像 $f:X\to Y$ は固有写像

この事実の逆が成り立たない例をこの文章では紹介する。

実数 $\mathbb{R}$ 上に $x\in\mathbb{R}\setminus\{0\}$ の近傍として $\{x\}$ を与え、 $0\in\mathbb{R}$ については $0$ を含む補可算な集合つまり $x\in B$ でかつ $\mathbb{R}\setminus B$ が高々可算となるような集合を全体を基本近傍系として与えると、きちんと位相を生成する。この位相空間を

(\mathbb{R},\mathcal{E})

と書くことにする。

$(\mathbb{R},\mathcal{E})$ のコンパクト集合を同定しよう。つまりこの空間のコンパクト集合 $K$ は必ず有限集合になることを示そう。そんなに難しくはない。

コンパクト集合 $K$ が無限集合であるとしよう。すると $0\not\in K$ の時は $\{\{x\}\}_{x\in K}$ という開被覆を考えれば矛盾が導かれる。 $0\in K$ の時は $0$ の近傍 $B$ と $K$ 内の可算集合 $\{x_{n}\}_{n\in\mathbb{N}}$ を適当に選んで

K\setminus B=\{x_{n}\}_{n\in\mathbb{N}}

とできるので結局矛盾する。よって $(\mathbb{R},\mathcal{E})$ のコンパクト集合 $K$ は有限集合でなければならない。また、有限集合は必ずコンパクトなので $(\mathbb{R},\mathcal{E})$ のコンパクト集合全体は有限集合全体に一致する。

そして $\mathbb{R}$ に離散位相を定義した位相を $(\mathbb{R},\mathcal{T}_{\infty})$ とする。もちろんこの空間のコンパクト空間全体は有限集合全体と一致する。

写像 $f:(\mathbb{R},\mathcal{T}_{\infty})\to(\mathbb{R},\mathcal{E})$ を

f(x)=x

として定義する。このときこの写像は定義域が離散空間であるから明らかに連続である。この写像が固有であるが完全でないことを示そう。

まず $(\mathbb{R},\mathcal{E})$ のコンパクト集合 $K$ は有限集合なので $f^{-1}(K)$ も有限集合であり、 $f$ が固有であることがわかる。

次に $f$ が完全でないことを示そう。そのために $f$ が閉写像でない事を示すのである。 $A=\mathbb{R}\setminus\{0\}$ は $(\mathbb{R},\mathcal{T}_{\infty})$ の閉集合だが、 $(\mathbb{R},\mathcal{E})$ の閉集合ではないことから $f$ が閉写像でない事は明らかである。

注意.

$(\mathbb{R},\mathcal{E})$ の $0$ の近傍の定め方から、 $(\mathbb{R},\mathcal{E})$ の非可算集合は必ず $0$ を触点に持つ。わざわざ $\mathbb{R}$ に位相を入れたが、非加算集合なら別に $\mathbb{R}$ でなくとも $\mathcal{E}$ は定義できる。

$\mathcal{E}$ の位相の定め方は離散空間の１点コンパクト化の無限遠点の近傍を補可算にした構成である。