318: パラコンパクトトポロジカルスペース(空間)たちのトポロジカルサムはパラコンパクトである
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
パラコンパクトトポロジカルスペース(空間)たちのトポロジカルサムはパラコンパクトであることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のアンカウンタブル(不可算)数かもしれないパラコンパクトトポロジカルスペース(空間)たちのトポロジカルサムはパラコンパクトであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のパラコンパクトトポロジカルスペース(空間)たち、ここで、はアンカウンタブル(不可算)かもしれないインデックスたちセット(集合)、に対して、トポロジカルサムはパラコンパクトである。
2: 証明
はハウスドルフトポロジカルスペース(空間)である、ハウスドルフトポロジカルスペース(空間)たちのトポロジカルサムとして、任意のアンカウンタブル(不可算)かもしれない数ハウスドルフトポロジカルスペース(空間)たちのトポロジカルサムはハウスドルフであるという命題によって。
の任意のオープンカバー(開被覆)、ここで、は任意のアンカウンタブル(不可算)かもしれないインデックスたちセット(集合)、に対して、はのオープンカバー(開被覆)である。はパラコンパクトであるから、ローカルに有限なリファインメント(洗練)、ここで、はアンカウンタブル(不可算)かもしれないインデックスたちセット(集合)、がある。はのローカルに有限なリファインメント(洗練)である、なぜなら、は上でオープン(開)、はをカバーする、、そして、任意のポイントの周りに、、そして、以下を満たすあるネイバーフッド(近傍)、つまり、ネイバーフッド(近傍)はに包含されていての有限数要素たちのみをインターセクトする、がある、なぜなら、はオープン(開)で、である任意のからディスジョイント(互いに素)。
3: 注
が、任意のハウスドルフトポロジカルスペース(空間)で、任意のアンカウンタブル(不可算)数かもしれないオープン(開)パラコンパクトサブスペース(部分空間)たちのディスジョイント(互いに素な)ユニオン(和集合)である時、はパラコンパクトである、なぜなら、はサブスペース(部分空間)たちのトポロジカルサムである。
サブスペース(部分空間)たちはオープン(開)でディスジョイント(互いに素)でなければならない、本命題を適用するためには、なぜなら、そうでなければ、はトポロジカルサムではないだろうから。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>