2023年7月2日日曜日

318: パラコンパクトトポロジカルスペース(空間)たちのトポロジカルサムはパラコンパクトである

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

パラコンパクトトポロジカルスペース(空間)たちのトポロジカルサムはパラコンパクトであることの記述/証明

話題


About: トポロジカルスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のアンカウンタブル(不可算)数かもしれないパラコンパクトトポロジカルスペース(空間)たちのトポロジカルサムはパラコンパクトであるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


任意のパラコンパクトトポロジカルスペース(空間)たち{Tα|αA}、ここで、Aはアンカウンタブル(不可算)かもしれないインデックスたちセット(集合)、に対して、トポロジカルサムT:=αTαはパラコンパクトである。


2: 証明


Tはハウスドルフトポロジカルスペース(空間)である、ハウスドルフトポロジカルスペース(空間)たちのトポロジカルサムとして、任意のアンカウンタブル(不可算)かもしれない数ハウスドルフトポロジカルスペース(空間)たちのトポロジカルサムはハウスドルフであるという命題によって。

Tの任意のオープンカバー(開被覆)S:={UβT|βB}、ここで、Bは任意のアンカウンタブル(不可算)かもしれないインデックスたちセット(集合)、に対して、Sα:={UβTα|βB}Tαのオープンカバー(開被覆)である。Tαはパラコンパクトであるから、ローカルに有限なリファインメント(洗練)Sα:={UαγUβTα|γC}、ここで、Cはアンカウンタブル(不可算)かもしれないインデックスたちセット(集合)、がある。αSαSのローカルに有限なリファインメント(洗練)である、なぜなら、UαγT上でオープン(開)、αSαTをカバーする、UαγUβ、そして、任意のポイントpTの周りに、pTα、そして、以下を満たすあるネイバーフッド(近傍)Np、つまり、ネイバーフッド(近傍)はTαに包含されていてSαの有限数要素たちのみをインターセクトする、がある、なぜなら、Tαはオープン(開)で、βαである任意のTβからディスジョイント(互いに素)。


3: 注


Tが、任意のハウスドルフトポロジカルスペース(空間)で、任意のアンカウンタブル(不可算)数かもしれないオープン(開)パラコンパクトサブスペース(部分空間)たちのディスジョイント(互いに素な)ユニオン(和集合)である時、Tはパラコンパクトである、なぜなら、Tはサブスペース(部分空間)たちのトポロジカルサムである。

サブスペース(部分空間)たちはオープン(開)でディスジョイント(互いに素)でなければならない、本命題を適用するためには、なぜなら、そうでなければ、Tはトポロジカルサムではないだろうから。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>