プロダクトトポロジカルスペース（空間）に対して、コンパクトサブセット（部分集合）のプロジェクション（射影）はコンパクトであることの記述/証明
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、プロダクトトポロジーの定義を知っている。
- 読者は、コンパクトサブセット（部分集合）の定義を知っている。
ターゲットコンテキスト
- 読者は、任意のプロダクトトポロジカルスペース（空間）に対して、任意のコンパクトサブセット（部分集合）の任意の構成要素トポロジカルスペース（空間）の中へのプロジェクション（射影）は当該構成要素トポロジカルスペース（空間）のコンパクトサブセット（部分集合）であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述1
アンカウンタブルかもしれない数の任意のインデックス付けされたトポロジカルスペース（空間）たち\(\{T_\alpha \vert \alpha \in A\}\)、ここで、\(A\)は任意のアンカウンタブルかもしれないインデックスたちセット（集合）、プロダクト\(T := \times_{\alpha \in A} T_\alpha\)、任意のコンパクトサブセット（部分集合）\(S \subseteq T\)に対して、プロジェクション（射影）\(\pi_{\alpha'} (S) \subseteq T_{\alpha'}\)、ここで、\(\pi_{\alpha'}: T \to T_{\alpha'}\)、は\(T_{\alpha'}\)のコンパクトサブセット（部分集合）である。
2: 証明1
任意の\(p \in T\)に対して、\(p\)の\(\alpha\)コンポーネントを\(p^\alpha\)と記そう、つまり、\(\pi_\alpha (p) = p^\alpha\)。
\(\{U_\beta \subseteq T_{\alpha'} \vert \beta \in B\}\)を\(\pi_{\alpha'} (S)\)の任意のオープンカバー、ここで、\(B\)はアンカウンタブルかもしれない任意のインデックスたちセット（集合）、としよう。
\(\{\times_{\alpha \in A} U_{\alpha, \beta} \subseteq T \vert \beta \in B\}\)、ここで、\(U_{\alpha', \beta} = U_\beta\)で\(\alpha \neq \alpha'\) の時は\(U_{\alpha, \beta} = T_\alpha\)、は\(S\)のオープンカバーである、なぜなら、任意のポイント\(p \in S\)に対して、ある\(\beta \in B\)に対して\(p^{\alpha'} \in U_\beta = U_{\alpha', \beta}\)で、任意の\(\alpha \neq \alpha'\)と当該\(\beta\)に対して\(p^\alpha \in T_\alpha = U_{\alpha, \beta}\)である、したがって、当該\(\beta\)に対して\(p \in \times_{\alpha \in A} U_{\alpha, \beta}\)。
\(S\)は\(T\)のコンパクトサブセット（部分集合）であるから、あるファイナイト（有限）オープン（開）サブカバー\(\{\times_{\alpha \in A} U_{\alpha, \beta} \vert \beta \in J\}\)、ここで、\(J \subseteq B\)はあるファイナイト（有限）インデックスたちセット（集合）、がある。
\(\{U_\beta \subseteq T_{\alpha'} \vert \beta \in J\}\)はファイナイト（有限）サブカバーである、なぜなら、任意のポイント\(p^{\alpha'} \in \pi_{\alpha'} (S)\)に対して、それはあるポイント\(p \in S\)の\(\alpha'\)コンポーネントであり、ある\(\beta \in J\)に対して\(p \in \times_{\alpha \in A} U_{\alpha, \beta}\)、それが意味するのは、\(p^{\alpha'} \in U_{\alpha', \beta} = U_\beta\)。
3: 記述2
ファイナイト（有限）数の任意のトポロジカルスペース（空間）たち\(T_1, T_2, . . ., T_n\)、プロダクト\(T = T_1 \times T_2 \times . . . \times T_n\)、任意のコンパクトサブセット（部分集合）\(S \subseteq T\)に対して、プロジェクション（射影）\(\pi_{j'} (S) \subseteq T_{j'}\)、ここで、\(\pi_{j'}: T \to T_{j'}\)、は\(T_{j'}\)のコンパクトサブセット（部分集合）である。
4: 証明2
任意の\(p \in T\)に対して、\(p\)の\(j\)コンポーネントを\(p^j\)と記そう、つまり、\(\pi_j (p) = p^j\)。
\(\{U_\beta \subseteq T_{j'} \vert \beta \in B\}\)を\(\pi_{j'} (S)\)の任意のオープンカバー（開被覆）、ここで、\(B\)はアンカウンタブルかもしれない任意のインデックスたちセット（集合）、としよう。
\(\{T_1 \times ... \times T_{j' - 1} \times U_\beta \times T_{j' + 1} \times ... \times T_n \subseteq T \vert \beta \in B\}\)は\(S\)のオープンカバー（開被覆）である、なぜなら、任意のポイント\(p \in S\)に対して、ある\(\beta \in B\)に対して\(p^{j'} \in U_\beta\)であり、任意の\(j \neq j'\)および当該\(\beta\)に対して\(p^j \in T_j\)である、したがって、当該\(\beta\)に対して\(p \in T_1 \times ... \times T_{j' - 1} \times U_\beta \times T_{j' + 1} \times ... \times T_n\)である。
\(S\)は\(T\)のコンパクトサブセット（部分集合）であるから、あるファイナイト（有限）オープンカバー（開被覆）\(\{T_1 \times ... \times T_{j' - 1} \times U_\beta \times T_{j' + 1} \times ... \times T_n \vert \beta \in J\}\)、ここで、\(J \subseteq B\)はあるファイナイト（有限）インデックスたちセット（集合）、がある。
\(\{U_\beta \subseteq T_{j'} \vert \beta \in J\}\)はファイナイト（有限）サブカバーである、なぜなら、任意のポイント\(p^{j'} \in \pi_{j'} (S)\)に対して、それはあるポイント\(p \in S\)の\(j'\)コンポーネントであり、ある\(\beta \in J\)に対して\(p \in T_1 \times ... \times T_{j' - 1} \times U_\beta \times T_{j' + 1} \times ... \times T_n\)、それが意味するのは、\(p^{j'} \in U_\beta\)。
