ハウスドルフトポロジカルスペース（空間）たちのプロダクトはハウスドルフであることの定義/証明
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、ハウスドルフトポロジカルスペース（空間）の定義を知っている。
- 読者は、プロダクトトポロジーの定義を知っている。
ターゲットコンテキスト
- 読者は、アンカウンタブル（不可算）かもしれない数の任意のハウスドルフトポロジカルスペース（空間）たちのプロダクトはハウスドルフであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述1
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(A\): \(\in \{\text{ 全てのアンカウンタブル（不可算）かもしれないインフィニット（無限）インデックスセット（集合）たち }\}\)
\(\{T_\alpha \vert \alpha \in A\}\): \(T_\alpha \in \{\text{ 全てのハウスドルフトポロジカルスペース（空間）たち }\}\)
\(T\): \(= \times_{\alpha \in A} T_\alpha\), \(= \text{ 当該プロダクトトポロジカルスペース（空間） }\)
//
ステートメント（言明）たち:
\(T \in \{\text{ 全てのハウスドルフトポロジカルスペース（空間）たち }\}\)
//
2: 自然言語記述1
任意のアンカウンタブル（不可算）かもしれないインフィニット（無限）インデックスセット（集合）\(A\)、任意のハウスドルフトポロジカルスペース（空間）たち\(\{T_\alpha \vert \alpha \in A\}\)、プロダクトトポロジカルスペース（空間）\(T := \times_{\alpha \in A} T_\alpha\)に対して、\(T\)はハウスドルフトポロジカルスペース（空間）である。
3: 証明1
全体戦術: ステップ1: 任意の互いに異なる\(t_1, t_2 \in T\)を取り、ある\(\alpha' \in A\)に対して\(t_1 (\alpha') \neq t_2 (\alpha')\)であることを見る; ステップ2: \(t_j (\alpha')\)の以下を満たすある非空オープンネイバーフッド（開近傍）\(U_{\alpha', t_j (\alpha')} \subseteq T_{\alpha'}\)、つまり、\(U_{\alpha', t_1 (\alpha')} \cap U_{\alpha', t_2 (\alpha')} = \emptyset\)、を取る; ステップ3: \(t_j\)のある非空オープンネイバーフッド（開近傍）\(U_{t_j}\)を、\(U_{\alpha', t_j (\alpha')}\)を使い、\(U_{t_1} \cap U_{t_2} = \emptyset\)を満たすように構築する。
ステップ1:
\(t_1, t_2 \in T\)を\(t_1 \neq t_2\)を満たす任意のものであるとしよう。ある\(\alpha' \in A\)に対して、\(t_1 (\alpha') \neq t_2 (\alpha') \in T_{\alpha'}\)。
ステップ2:
\(T_{\alpha'}\)はハウスドルフであるから、\(t_1 (\alpha')\)および\(t_2 (\alpha')\)の以下を満たすある非空オープンネイバーフッド（開近傍）たち\(U_{\alpha', t_1 (\alpha')} \subseteq T_{\alpha'}\)および\(U_{\alpha', t_2 (\alpha')} \subseteq T_{\alpha'}\)、つまり、\(U_{\alpha', t_1 (\alpha')} \cap U_{\alpha', t_2 (\alpha')} = \emptyset\)、がある。
ステップ3:
\(U_{t_j} := \times_{\alpha \in A} U_{\alpha, t_j (\alpha)}\)、ここで、\(\alpha \neq \alpha'\)に対しては\(U_{\alpha, t_j (\alpha)} = T_\alpha\)、を定義しよう、それは\(T\)上でオープン（開）である、プロダクトトポロジーの定義によって、そして非空である。
\(U_{t_1} \cap U_{t_2} = \emptyset\)、なぜなら、任意の\(t \in U_{t_1}\)に対して、\(t (\alpha') \in U_{\alpha', t_1 (\alpha')}\)、したがって、\(t (\alpha') \notin U_{\alpha', t_2 (\alpha')}\)、したがって、\(t \notin U_{t_2}\)。
4: 構造化された記述2
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(\{T_1, ..., T_n\}\): \(T_j \in \{\text{ 全てのハウスドルフトポロジカルスペース（空間）たち }\}\)
\(T\): \(= T_1 \times . . . \times T_n\), \(= \text{ 当該プロダクトトポロジカルスペース（空間） }\)
//
ステートメント（言明）たち:
\(T \in \{\text{ 全てのハウスドルフトポロジカルスペース（空間）たち }\}\)
//
5: 自然言語記述2
任意のハウスドルフトポロジカルスペース（空間）たち\(\{T_1, ..., T_n\}\)、当該プロダクトトポロジカルスペース（空間）\(T := T_1 \times . . . \times T_n\)に対して、\(T\)はハウスドルフトポロジカルスペース（空間）である。
6: 証明2
全体戦術: ステップ1: 任意の互いに異なる\(t_1, t_2 \in T\)を取り、ある\(j' \in \{1, ..., n\}\)に対して\(t_1^{j'} \neq t_2^{j'}\)であることを見る; ステップ2: \(t_j^{j'}\)の以下を満たすある非空オープンネイバーフッド（開近傍）\(U_{j', t_j^{j'}} \subseteq T_{j'}\)、つまり、\(U_{j', t_1^{j'}} \cap U_{j', t_2^{j'}} = \emptyset\)、を取る; ステップ3: \(t_j\)のある非空オープンネイバーフッド（開近傍）\(U_{t_j}\)を、\(U_{j', t_j^{j'}}\)を使い、\(U_{t_1} \cap U_{t_2} = \emptyset\)を満たすように構築する。
ステップ1:
\(t_1, t_2 \in T\)を\(t_1 \neq t_2\)を満たす任意のものであるとしよう。ある\(j' \in \{1, ..., n\}\)に対して、\(t_1^{j'} \neq t_2^{j'} \in T_{j'}\)。
ステップ2:
\(T_{j'}\)はハウスドルフであるから、\(t_1^{j'}\)および\(t_2^{j'}\)のの以下を満たすある非空オープンネイバーフッド（開近傍）たち\(U_{j', t_1^{j'}} \subseteq T_{j'}\)および\(U_{j', t_2^{j'}} \subseteq T_{j'}\)、つまり、\(U_{j', t_1^{j'}} \cap U_{j', t_2^{j'}} = \emptyset\)、がある。
ステップ3:
\(U_{t_j} := U_{1, t_j^1} \times ... \times U_{n, t_j^n}\)、ここで、\(k \neq j'\)に対しては\(U_{k, t_j^k} = T_k\)、を定義しよう、それは\(T\)上でオープン（開）である、プロダクトトポロジーの定義によって、そして非空である。
\(U_{t_1} \cap U_{t_2} = \emptyset\)、なぜなら、任意の\(t \in U_{t_1}\)に対して、\(t^{j'} \in U_{j', t_1^{j'}}\)、したがって、\(t^{j'} \notin U_{j', t_2^{j'}}\)、したがって、\(t \notin U_{t_2}\)。
