直積に入れる位相について
はじめに
最近位相空間論を勉強していて気付いたことがあったので記録に残しておく。前提知識として、位相空間、開基、準開基、直積、直積位相の定義を必要とする。この記事では mathpedia 入門テキスト「位相空間論」 を参考にしている。直積位相は、任意の射影が連続となる最小の位相であり、各直積因子の開集合の、対応する射影の逆像全体からなる集合を準開基として生成される位相である。この定義における「開集合」の部分を、「準開基の元」に変えても同様な議論をして位相を定めることができ、しかもこの位相は直積位相に一致することを示す。添え字集合は空でないものとする。
準備
$(X, \mathcal{O}_{X} ),(Y,\mathcal{O}_{Y})$を位相空間、$\mathcal{S}$を$(Y,\mathcal{O}_{Y})$の準開基、$f:(X, \mathcal{O}_{X} )\to (Y,\mathcal{O}_{Y})$を写像とする。このとき次が成り立つ。
$f$は連続写像$\Longleftrightarrow$ $\forall S\in \mathcal{S}, f^{-1}(S)\in \mathcal{O}_{X}$
mathpedia 位相空間論5:連続写像 命題5.15にある。
$(X,\mathcal{O}),(X,\mathcal{O'})$を位相空間、$\mathcal{S}$を$(X,\mathcal{O})$の準開基とする。このとき
$\mathcal{S}\subset \mathcal{O'} \Longrightarrow \mathcal{O}\subset \mathcal{O'}$
mathpedia 位相空間論3:開基 注意3.17にある。
$\mathcal{S_i}$は位相空間$(X,\mathcal{O_i})$の準開基とする$(i=1,2)$。このとき
$\mathcal{S_1}\subset \mathcal{S_2} \Longrightarrow \mathcal{O_1}\subset \mathcal{O_2}$
$\mathcal{S_1}\subset \mathcal{S_2}\subset \mathcal{O_2}$と命題2より分かる。
主張
$(X_{\lambda},O_{\lambda})$を位相空間、$( \prod_{ \lambda \in \Lambda } X_{\lambda},\mathcal{O})$を直積位相、$\mathcal{S}_{\lambda}$を$(X_{\lambda},O_{\lambda})$の準開基、$\lambda\in \Lambda$に対し$p_{\lambda}:\prod_{ \mu \in \Lambda } X_{\mu}\to X_{\lambda}$とする。このとき$\mathcal{S'}=\lbrace p^{-1}_{\lambda}(S_{\lambda})|S_{\lambda}\in \mathcal{S}_{\lambda}\rbrace $は$\prod_{ \lambda \in \Lambda}X_{\lambda}$の準開基となり、$( \prod_{ \lambda \in \Lambda } X_{\lambda},\mathcal{O'})$を$\mathcal{S}$を準開基とする位相空間とすれば$\mathcal{O'}=\mathcal{O}$が成り立つ。
まず$\mathcal{S'}$が$\prod_{ \lambda \in \Lambda}X_{\lambda}$の準開基となることを示す。そのために任意に$x\in\prod_{ \lambda \in \Lambda}X_{\lambda}$をとる。$\Lambda \neq \varnothing $より$\lambda\in \Lambda$をとると$p_{\lambda}(x)\in X_{\lambda}$であり、$\mathcal{S}_{\lambda}$が$(X_{\lambda},\mathcal{O}_{\lambda})$の準開基であることから$p_{\lambda}(x)\in S_{\lambda}$となる$S_{\lambda}\in\mathcal{S}_{\lambda}$が存在する。このとき$x\in p_{\lambda}^{-1}(S_{\lambda})$となり$\mathcal{S'}$は$\prod_{ \lambda \in \Lambda}X_{\lambda}$の準開基である。
次に$\mathcal{O'}=\mathcal{O}$を示す。直積位相の定義より$\mathcal{S}=\lbrace p^{-1}_{\lambda}(U_{\lambda})|U_{\lambda}\in \mathcal{O}_{\lambda}\rbrace $とおけばこれは$( \prod_{ \lambda \in \Lambda } X_{\lambda},\mathcal{O})$の準開基である。また、準開基の定義より$\mathcal{S}_{\lambda}\subset \mathcal{O}_{\lambda}$であるから$\mathcal{S'}\subset \mathcal{S}$となり、命題3より$\mathcal{O'}\subset \mathcal{O}$が成り立つ。あとは$\mathcal{O}\subset \mathcal{O'}$だが、命題2より$\mathcal{S}\subset \mathcal{O'}$を示せば十分であり、これは、任意の$\lambda\in\Lambda$に対し射影$p_{\lambda}:( \prod_{ \mu \in \Lambda } X_{\mu},\mathcal{O'})\to (X_{\lambda},\mathcal{O}_{\lambda})$が連続であることと同値である。これは命題1より$\forall \lambda\in\Lambda, \forall S_{\lambda}\in\mathcal{S}_{\lambda},p_{\lambda}^{-1}(S_{\lambda})\in\mathcal{O'} $と同値であるが、$\mathcal{S'}\subset \mathcal{O'}$より明らかに成り立つ。以上で題意が示された。$\Box$
終わりに
何か間違いなどあれば報告していただけると幸いである。また、今回の主張は大した議論はしてないので、どこかで知られているはずである。何かこれと同じ主張がある本などあればぜひ教えていただきたい。
この記事を高評価した人
この記事に送られたバッジ
投稿者
