パラコンパクトトポロジカルスペース（空間）たちのトポロジカルサムはパラコンパクトであることの記述/証明
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、トポロジカルサムの定義を知っている。
- 読者は、パラコンパクトトポロジカルスペース（空間）の定義を知っている。
- 読者は、任意のアンカウンタブル（不可算）かもしれない数ハウスドルフトポロジカルスペース（空間）たちのトポロジカルサムはハウスドルフであるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のアンカウンタブル（不可算）数かもしれないパラコンパクトトポロジカルスペース（空間）たちのトポロジカルサムはパラコンパクトであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のパラコンパクトトポロジカルスペース（空間）たち\(\{T_\alpha\vert \alpha \in A\}\)、ここで、\(A\)はアンカウンタブル（不可算）かもしれないインデックスたちセット（集合）、に対して、トポロジカルサム\(T := \coprod_\alpha T_\alpha\)はパラコンパクトである。
2: 証明
\(T\)はハウスドルフトポロジカルスペース（空間）である、ハウスドルフトポロジカルスペース（空間）たちのトポロジカルサムとして、任意のアンカウンタブル（不可算）かもしれない数ハウスドルフトポロジカルスペース（空間）たちのトポロジカルサムはハウスドルフであるという命題によって。
\(T\)の任意のオープンカバー（開被覆）\(S := \{U_\beta \subseteq T \vert \beta \in B\}\)、ここで、\(B\)は任意のアンカウンタブル（不可算）かもしれないインデックスたちセット（集合）、に対して、\(S_\alpha := \{U_\beta \cap T_\alpha \vert \beta \in B\}\)は\(T_\alpha\)のオープンカバー（開被覆）である。\(T_\alpha\)はパラコンパクトであるから、ローカルに有限なリファインメント（洗練）\({S_\alpha}' := \{{U_{\alpha-\gamma}}' \subseteq U_\beta \cap T_\alpha \vert \gamma \in C\}\)、ここで、\(C\)はアンカウンタブル（不可算）かもしれないインデックスたちセット（集合）、がある。\(\cup_\alpha {S_\alpha}'\)は\(S\)のローカルに有限なリファインメント（洗練）である、なぜなら、\({U_{\alpha-\gamma}}'\)は\(T\)上でオープン（開）、\(\cup_\alpha {S_\alpha}'\)は\(T\)をカバーする、\({U_{\alpha-\gamma}}' \subseteq U_\beta\)、そして、任意のポイント\(p \in T\)の周りに、\(p \in T_\alpha\)、そして、以下を満たすあるネイバーフッド（近傍）\(N_p\)、つまり、ネイバーフッド（近傍）は\(T_\alpha\)に包含されていて\({S_\alpha}'\)の有限数要素たちのみをインターセクトする、がある、なぜなら、\(T_\alpha\)はオープン（開）で、\(\beta \neq \alpha\)である任意の\(T_\beta\)からディスジョイント（互いに素）。
3: 注
\(T\)が、任意のハウスドルフトポロジカルスペース（空間）で、任意のアンカウンタブル（不可算）数かもしれないオープン（開）パラコンパクトサブスペース（部分空間）たちのディスジョイント（互いに素な）ユニオン（和集合）である時、\(T\)はパラコンパクトである、なぜなら、\(T\)はサブスペース（部分空間）たちのトポロジカルサムである。
サブスペース（部分空間）たちはオープン（開）でディスジョイント（互いに素）でなければならない、本命題を適用するためには、なぜなら、そうでなければ、\(T\)はトポロジカルサムではないだろうから。
