2023年6月4日日曜日

295: トポロジカルスペース(空間)に対して、サブスペース(部分空間)のコンパクトサブセット(部分集合)はベーススペース(空間)上でコンパクトである

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

トポロジカルスペース(空間)に対して、サブスペース(部分空間)のコンパクトサブセット(部分集合)はベーススペース(空間)上でコンパクトであることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



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

オリエンテーション


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

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


本体


1: 記述


任意のトポロジカルスペース(空間)Tおよび任意のサブスペース(部分空間)T1Tに対して、T1の任意のコンパクトサブセット(部分集合)ST1T上でコンパクトである。


2: 証明


ST上での任意のオープンカバー(開被覆){Uα}に対して、{Uα=UαT1}ST1上でのオープンカバー(開被覆)である。{Uα}のある有限サブカバー{Uj}, of がある。対応する{Uj}{Uα}の有限サブカバーである。


参考資料


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