290: トポロジカルサブセット(部分集合)のサブセット(部分集合)としてのコンパクト性はサブスペース(部分空間)としてのコンパクト性に等しい
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
トポロジカルサブセット(部分集合)のサブセット(部分集合)としてのコンパクト性はサブスペース(部分空間)としてのコンパクト性に等しいことの記述/証明
話題
About:
トポロジカルスペース(空間)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のトポロジカルサブセット(部分集合)のサブセット(部分集合)としてのコンパクト性はサブスペース(部分空間)としてのコンパクト性に等しい という命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のトポロジカルスペース(空間)および任意のサブセット(部分集合)に対して、はサブセット(部分集合)としてコンパクトである、もしも、がトポロジカルサブスペース(部分空間)としてコンパクトである場合、そして、その場合に限って。
2: 証明
はサブセット(部分集合)としてコンパクトであると仮定しよう。の上の任意のオープンカバー(開被覆)はある有限サブカバー(被覆)を持つ。の上の任意のオープンカバー(開被覆)に対して、、ここで、は上のオープンセット(開集合)、である。 はの上のオープンカバー(開被覆)である、したがって、ある有限サブカバー(被覆)がある。すると、はの有限サブカバー(被覆)である。
はサブスペース(部分空間)としてコンパクトであると仮定しよう。 の上の任意のオープンカバー(開被覆)は有限サブカバー(被覆)を持つ。の上の任意のオープンカバー(開被覆)に対して、はの上のオープンカバー(開被覆)である、したがって、ある有限サブカバー(被覆)がある。すると、対応するはの有限サブカバー(被覆)である。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>