272: コンパクトトポロジカルスペース(空間)たちのファイナイト(有限)プロダクトはコンパクトである
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
コンパクトトポロジカルスペース(空間)たちのファイナイト(有限)プロダクトはコンパクトであることの記述
話題
About:
トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のファイナイト(有限)数のコンパクトトポロジカルスペース(空間)たちのプロダクトはコンパクトであるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のコンパクトトポロジカルスペース(空間)たちに対して、プロダクトトポロジカルスペース(空間)はコンパクトである。
2: 証明
第1に、であるケースを考えよう。
の任意のオープンカバー(開被覆)、ここで、はアンカウンタブルかもしれないあるインデックスたちセット(集合)、に対して、、ここで、はに依存するアンカウンタブルかもしれないあるインデックスたちセット(集合)。
各ポイントに対して、サブセット(部分集合)、ここで、は以下を満たすアンカウンタブルかもしれないあるインデックスたちセット(集合)、つまり、各に対して、がある。はをカバーする。
に対して、あるファイナイト(有限)サブカバー、ここで、はあるファイナイト(有限)インデックスたちセット(集合)、があり、各に対して.対応するがある。
、上でオープン(開)、オープンセット(開集合)たちのファイナイト(有限)インターセクション(共通集合)として、を取ろう。はをカバーし、あるファイナイト(有限)サブカバー、ここで、hあるファイナイト(有限)サブセット(部分集合)、がある。
、それはファイナイト(有限)インデックスたちセット(集合)、なぜなら、はファイナイト(有限)では各に対してファイナイト(有限)、を取ろう。
はをカバーする、なぜなら、任意のに対して、あるおよび各に対して、そして、あるに対して、なぜなら、はをカバーする、したがって、あるに対して、その一方で、、ここで、。
したがって、はのファイナイト(有限)サブカバーである。
したがって、はコンパクトである。
一般の任意のに対して、、任意のファイナイト(有限)数トポロジカルスペース(空間)たちのプロダクトは当該トポロジカルスペース(空間)たちのシーケンシャル(累次的)プロダクトたちに等しいという命題によって、しかし、は上記パラグラフによってコンパクトである、すると、は上記パラグラフによってコンパクトである、等々と続く(厳密には、数学的帰納法を使えば良い)。したがって、はコンパクトである。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>