固有写像と完全写像に関する反例

この記事は，ナンブキトラのブログ記事(参考文献XND1)をMathlog用に書き直したものである．
この記事では完全写像と固有写像の差異を示す反例を紹介する．

本文

まず最初に今回の主役となる固有写像と完全写像を定義する．

次の事実がある．証明は省略するが，少々高級な位相の本には書いてあると思う．
Mathlogで言うとMathlog1の定理16からも導かれるとおもう．

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

反例の構成

実数全体の集合$\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\notin 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}}_{\mathrm{\infty }})$とする．もちろんこの空間のコンパクト空間全体は有限集合全体と一致する

写像$f:(\mathbb{R},{\mathcal{T}}_{\mathrm{\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}}_{\mathrm{\infty }})$の閉集合だが，$(\mathbb{R},\mathcal{E})$の閉集合ではないことから，写像$f$が閉写像でない事がわかる．
以上のことから 命題１ の逆が成り立たないことがわかる．

注釈

完全写像と閉写像については，少々高級なジェネトポの本には載っていると思う．インターネットでこれらの概念を知る場合には例えば日本語だとこの記事の元ネタのXND1や電波通信の記事XND2，そしてMathlogの記事Mathlog1などを参照のこと．