位相空間における収束（随時更新）

位相空間,Tychonoffの定理,コンパクト性

お断り

以下で使用している用語等に適切でないものが含まれる可能性があります．お気づきの点があればご指摘をいただけると幸いです．
写像$f\colon X\rightarrow Y$と$X$の部分集合族$\A$に対して，$Y$の部分集合族$\{A\in\pow(Y)\mid f^{-1}(A)\in\A\}$を$f(\A)$とかきます．
位相空間$X$の開集合系を$\O_X$，$x\in X$の開近傍系を$\O_X(x)$などとかきます．

収束点

$X$を位相空間とする．$x\in X$が$X$上の有限交叉族$\A$の収束点であるとは，$\O_X(x)\subset\A$が成り立つことをいう．

$X$を位相空間とする．$x\in X$が$X$上の有限交叉族$\A$の収積点であるとは，$\O_X(x)\cup\A$が$X$上の有限交叉族であることをいう．

$X$を位相空間とする．$x\in X$と$X$上のフィルター基$\B$に対して，以下は同値である．
(1) $x$は$\B$の収積点である．
(2) 任意の$V\in\O_X(x)$と$A\in\B$に対して，$V\cap A\neq\varnothing$である．
(3) $x\in\bigcap_{A\in\B}\Cl_X(A)$が成り立つ．

連続写像

位相空間の間の写像$f\colon X\rightarrow Y$と$x\in X$に対して，以下は同値である．
(1) $f$は$x$で連続である．
(2) 任意の$X$上の有限交叉族$\A$に対して，$x$が$\A$の収束点であれば$f(x)$は$f(\A)$の収束点である．

(1)⇒(2) $X$上の有限交叉族$\A$を任意にとり，$x$が$\A$の収束点であると仮定する．任意の$V\in\O_Y(f(x))$に対して$f$の$x$における連続性より$f^{-1}(V)\in\O_X(x)\subset\A$すなわち$V\in f(\A)$が成り立つから，$f(x)$は$f(\A)$の収束点である．

(2)⇒(1) $x$は$\O_X(x)$の収束点であるから，仮定より$f(x)$は$f(\O_X(x))$の収束点である．任意の$V\in\O_Y(f(x))\subset f(\O_X(x))$に対して$f^{-1}(V)\in\O_X(x)$が成り立つから，$f$は$x$で連続である．

$\{f_\lambda\colon X\rightarrow Y_\lambda\}_{\lambda\in\Lambda}$を連続写像の族とする．$\O_X$が$\{f_\lambda\}_{\lambda\in\Lambda}$によって誘導される位相であるとき，$x\in X$と$X$上のフィルター$\F$に対して以下は同値である．
(1) $x$は$\F$の収束点である．
(2) 任意の$\lambda\in\Lambda$に対して，$f_\lambda(x)$は$f_\lambda(\F)$の収束点である．

(1)⇒(2) 命題2より従う．

(2)⇒(1) $V\in\O_X(x)$を任意にとり，$x\in\bigcap_{0\le i< n}{f_{\lambda_i}}^{-1}(A_i)\subset V$なる族$\{(\lambda_i,A_i)\in\Lambda\times\O_{X_{\lambda_i}}(f_{\lambda_i}(x))\}_{0\le i< n}$をとる．任意の$i$に対して$A_i\in\O_{X_{\lambda_i}}(f_{\lambda_i}(x))\subset f_\lambda(\F)$より${f_{\lambda_i}}^{-1}(A_i)\in\F$が成り立つから，$V\in\F$が成り立つ．

連続な単射$f\colon X\rightarrow Y$に対して，以下は同値である．
(1) 任意の$X$上の有限交叉族$\A$と$f(\A)$の収束点$y$に対して，$y\in f(X)$が成り立つ．
(2) $f(X)$は$Y$の閉集合である．

(1)⇒(2) $y\in\Cl(f(X))$を任意にとり，$X$上の有限交叉族$\A$を$\A\coloneqq\{f^{-1}(V)\mid V\in\O_Y(y)\}$により定める．任意の$V\in\O_Y(y)$に対して$f^{-1}(V)\in\A$より$V\in f(\A)$が成り立つから，$y$は$f(\A)$の収束点であり$y\in f(X)$が成り立つ．

(2)⇒(1) $X$上の有限交叉族$\A$と$f(\A)$の収束点$y$を任意にとる．任意の$V\in\O_Y(y)$に対して$V\in f(\A)$より$f^{-1}(V)\in\A$であるから，$V\cap f(X)=f(f^{-1}(V))\neq\varnothing$であり$y\in\Cl(f(X))=f(X)$が成り立つ．

コンパクト性

位相空間$X$が準コンパクトであるとは，任意の$X$上の超フィルター$\U$に対して$\U$の収束点が存在することをいう．

以下は同値である．
(1) $X$は準コンパクトである．
(2) 任意の$X$上の有限交叉族$\A$に対して，$\A$の収積点が存在する．
(3) 任意の$X$上の有限交叉族$\A$に対して，$\bigcap_{A\in\A}\Cl_X(A)\neq\varnothing$である．
(4) $X$の任意の開被覆$\C$に対して，$\C$の有限部分集合であって$X$を被覆するものが存在する．

(1)⇒(2) $X$上の有限交叉族$\A$を任意にとり，$\A\subset\U$なる$X$上の超フィルター$\U$と$\U$の収束点$x$をとる．$\O_X(x)\cup\A\subset\U$より，$\O_X(x)\cup\A$は$X$上の有限交叉族である．

(2)⇒(1) $X$上の超フィルター$\U$と$\U$の収積点$x$を任意にとる．$\O_X(x)\cup\U\supset\U$は$X$上の有限交叉族であるから，$\U$の極大性より$\O_X(x)\subset\O_X(x)\cup\U=\U$が成り立つ．よって，$X$は準コンパクトである．

(2)⇒(3) $X$上の有限交叉族$\A$を任意にとり，$\A$の収積点$x$と$\O_X(x)\cup\A\subset\B$なる$X$上のフィルター基$\B$をとる．$x$は$\B$の収積点であるから，補題1より$x\in\bigcap_{A\in\B}\Cl_X(A)\subset\bigcap_{A\in\A}\Cl_X(A)$が成り立つ．

(3)⇒(2) $X$上の有限交叉族$\A$を任意にとり，$\A\subset\B$なる$X$上のフィルター基$\B$と$x\in\bigcap_{A\in\B}\Cl_X(A)$をとる．補題1より$x$は$\B$の収積点であるから，$\A$の収積点でもある．

(3)⇔(4) 明らか．

位相空間$X$がHausdorffであるとは，任意の$X$上の超フィルター$\U$に対して$\U$の収束点が一意的であることをいう．

以下は同値である．
(1) $X$はHausdorffである．
(2) 任意の$x_0,x_1\in X$に対して，$\O_X(x_0)\cup\O_X(x_1)$が$X$上の有限交叉族であれば$x_0=x_1$が成り立つ．
(3) 任意の相異なる$x_0,x_1\in X$に対して，ある$V_0\in\O_X(x_0)$と$V_1\in\O_X(x_1)$が存在して$V_0\cap V_1=\varnothing$である．
(4) $\Delta X$は$X\times X$の閉集合である．

$\iota$を包含写像$\Delta X\rightarrow X\times X$，$\pi_0,\pi_1$を標準射影$X\times X\rightarrow X$，$\varphi$を$\pi_0\circ\iota$の逆写像$X\rightarrow\Delta X$とする．

(1)⇒(2) $x_0,x_1\in X$を任意にとる．$\O_X(x_0)\cup\O_X(x_1)$が$X$上の有限交叉族であると仮定し，$\O_X(x_0)\cup\O_X(x_1)\subset\U$なる$X$上の超フィルター$\U$をとる．$x_0,x_1$は$\U$の収束点であるから，$x_0=x_1$が成り立つ．

(2)⇒(1) $X$上の超フィルター$\U$と$\U$の収束点$x_0,x_1$を任意にとる．$\O_X(x_0)\cup\O_X(x_1)\subset\U$より$\O_X(x_0)\cup\O_X(x_1)$は$X$上の有限交叉族であるから，$x_0=x_1$が成り立つ．よって，$X$はHausdorffである．

(2)⇔(3) 明らか．

(1)⇒(4) $\Delta X$上の有限交叉族$\A$と$\iota(\A)$の収束点$(x_0,x_1)$を任意にとり，$\A\subset\U$なる$\Delta X$上の超フィルター$\U$をとる．$\O_{X\times X}((x_0,x_1))\subset\iota(\A)\subset\iota(\U)$より$(x_0,x_1)$は$\iota(\U)$の収束点であるから，命題2より$x_0,x_1\in X$は$\pi_0(\iota(\U))=\pi_1(\iota(\U))$の収束点である．$X$のHausdorff性より$x_0=x_1$が成り立つから，$(x_0,x_1)\in\Delta X$が成り立つ．よって命題4より，$\Delta X$は$X\times X$の閉集合である．

(4)⇒(1) $X$上の超フィルター$\U$と$\U=\pi_0(\iota(\varphi(\U)))=\pi_1(\iota(\varphi(\U)))$の収束点$x_0,x_1$を任意にとる．命題3より，$(x_0,x_1)$は$\iota(\varphi(\U))$の収束点である．$\Delta X$が$X\times X$の閉集合であることと命題4より$(x_0,x_1)\in\Delta X$が成り立つから，$x_0=x_1$が成り立つ．よって，$X$はHausdorffである．

位相空間$X$がコンパクトであるとは，$X$が準コンパクトかつHausdorffであることをいう．

コンパクト性の遺伝

準コンパクト空間の族$\{X_\lambda\}_{\lambda\in\Lambda}$に対して，$\prod_{\lambda\in\Lambda}X_\lambda$は準コンパクトである．

$\pi_\lambda$を標準射影$\prod_{\lambda\in\Lambda}X_\lambda\rightarrow X_\lambda$とする．

$\prod_{\lambda\in\Lambda}X_\lambda$上の超フィルター$\U$を任意にとる．各$\lambda\in\Lambda$に対して，$X_\lambda$の準コンパクト性より$\pi_\lambda(\U)$の収束点$x_\lambda$をとれる．命題3より$(x_\lambda)_{\lambda\in\Lambda}$は$\U$の収束点であるから，$\prod_{\lambda\in\Lambda}X_\lambda$は準コンパクトである．

Hausdorff空間の族$\{X_\lambda\}_{\lambda\in\Lambda}$に対して，$\prod_{\lambda\in\Lambda}X_\lambda$はHausdorffである．

$\pi_\lambda$を標準射影$\prod_{\lambda\in\Lambda}X_\lambda\rightarrow X_\lambda$とする．

$\prod_{\lambda\in\Lambda}X_\lambda$上の超フィルター$\U$と$\U$の収束点$({x_0}_\lambda)_{\lambda\in\Lambda},({x_1}_\lambda)_{\lambda\in\Lambda}$を任意にとる．任意の$\lambda\in\Lambda$に対して，命題2より${x_0}_\lambda,{x_1}_\lambda$は$\pi_\lambda(\U)$の収束点であるから$X_\lambda$のHausdorff性より${x_0}_\lambda={x_1}_\lambda$が成り立つ．よって$({x_0}_\lambda)_{\lambda\in\Lambda}=({x_1}_\lambda)_{\lambda\in\Lambda}$が成り立つから，$\prod_{\lambda\in\Lambda}X_\lambda$はHausdorffである．