2023年5月28日日曜日

290: トポロジカルサブセット(部分集合)のサブセット(部分集合)としてのコンパクト性はサブスペース(部分空間)としてのコンパクト性に等しい

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

トポロジカルサブセット(部分集合)のサブセット(部分集合)としてのコンパクト性はサブスペース(部分空間)としてのコンパクト性に等しいことの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のトポロジカルサブセット(部分集合)のサブセット(部分集合)としてのコンパクト性はサブスペース(部分空間)としてのコンパクト性に等しい という命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のトポロジカルスペース(空間)Tおよび任意のサブセット(部分集合)STに対して、Sはサブセット(部分集合)としてコンパクトである、もしも、Sがトポロジカルサブスペース(部分空間)としてコンパクトである場合、そして、その場合に限って。


2: 証明


Sはサブセット(部分集合)としてコンパクトであると仮定しよう。ST上の任意のオープンカバー(開被覆)はある有限サブカバー(被覆)を持つ。SS上の任意のオープンカバー(開被覆){Uα}に対して、Uα=UαS、ここで、UαT上のオープンセット(開集合)、である。{Uα}ST上のオープンカバー(開被覆)である、したがって、ある有限サブカバー(被覆){Uj}がある。すると、{UjS}={Uj}{Uα}の有限サブカバー(被覆)である。

Sはサブスペース(部分空間)としてコンパクトであると仮定しよう。SS上の任意のオープンカバー(開被覆)は有限サブカバー(被覆)を持つ。ST上の任意のオープンカバー(開被覆){Uα}に対して、{Uα=UαS}SS上のオープンカバー(開被覆)である、したがって、ある有限サブカバー(被覆)Ujがある。すると、対応する{Uj}{Uα}の有限サブカバー(被覆)である。


参考資料


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