425: プロダクトトポロジカルスペース(空間)に対して、コンパクトサブセット(部分集合)のプロジェクション(射影)はコンパクトである
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
プロダクトトポロジカルスペース(空間)に対して、コンパクトサブセット(部分集合)のプロジェクション(射影)はコンパクトであることの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のプロダクトトポロジカルスペース(空間)に対して、任意のコンパクトサブセット(部分集合)の任意の構成要素トポロジカルスペース(空間)の中へのプロジェクション(射影)は当該構成要素トポロジカルスペース(空間)のコンパクトサブセット(部分集合)であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述1
アンカウンタブルかもしれない数の任意のインデックス付けされたトポロジカルスペース(空間)たち、ここで、は任意のアンカウンタブルかもしれないインデックスたちセット(集合)、プロダクト、任意のコンパクトサブセット(部分集合)に対して、プロジェクション(射影)、ここで、、はのコンパクトサブセット(部分集合)である。
2: 証明1
任意のに対して、のコンポーネントをと記そう、つまり、。
をの任意のオープンカバー、ここで、はアンカウンタブルかもしれない任意のインデックスたちセット(集合)、としよう。
、ここで、で の時は、はのオープンカバーである、なぜなら、任意のポイントに対して、あるに対してで、任意のと当該に対してである、したがって、当該に対して。
はのコンパクトサブセット(部分集合)であるから、あるファイナイト(有限)オープン(開)サブカバー、ここで、はあるファイナイト(有限)インデックスたちセット(集合)、がある。
はファイナイト(有限)サブカバーである、なぜなら、任意のポイントに対して、それはあるポイントのコンポーネントであり、あるに対して、それが意味するのは、。
3: 記述2
ファイナイト(有限)数の任意のトポロジカルスペース(空間)たち、プロダクト、任意のコンパクトサブセット(部分集合)に対して、プロジェクション(射影)、ここで、、はのコンパクトサブセット(部分集合)である。
4: 証明2
任意のに対して、のコンポーネントをと記そう、つまり、。
をの任意のオープンカバー(開被覆)、ここで、はアンカウンタブルかもしれない任意のインデックスたちセット(集合)、としよう。
はのオープンカバー(開被覆)である、なぜなら、任意のポイントに対して、あるに対してであり、任意のおよび当該に対してである、したがって、当該に対してである。
はのコンパクトサブセット(部分集合)であるから、あるファイナイト(有限)オープンカバー(開被覆)、ここで、はあるファイナイト(有限)インデックスたちセット(集合)、がある。
はファイナイト(有限)サブカバーである、なぜなら、任意のポイントに対して、それはあるポイントのコンポーネントであり、あるに対して、それが意味するのは、。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>