メトリックスペース（計量付き空間）はコンパクトである、もしも、それがカウンタブル（可算）にコンパクトである場合、そしてその場合に限って、ことの記述/証明
話題
About: メトリックスペース（計量付き空間）
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、メトリック（計量）によってインデュースト（誘導された）トポロジーの定義を知っている。
- 読者は、コンパクトトポロジカルスペース（空間）の定義を知っている。
- 読者は、カウンタブル（可算）にコンパクトなトポロジカルスペース（空間）の定義を知っている。
- 読者は、任意のメトリックスペース（計量付き空間）でインデュースト（誘導された）トポロジーを持つものはファーストカウンタブル（可算）であるという命題を認めている。
- 読者は、任意のファーストカウンタブルトポロジカルスペース（空間）はシーケンシャリー（シーケンス的に）コンパクトである、もしも、当該スペース（空間）がカウンタブリー（可算に）コンパクトである場合、という命題を認めている。
- 読者は、任意のメトリックスペース（計量付き空間）および任意のサブセット（部分集合）に対して、当該サブセット（部分集合）のクロージャー（閉包）はコンパクトである、もしも、当該サブセット（部分集合）の中への各シーケンス（列）が当該サブセット（部分集合）のクロージャー（閉包）内でコンバージ（収束）するあるサブシーケンス（部分列）を持つ場合、そしてその場合に限って、もしも、当該サブセット（部分集合）のクロージャー（閉包）がコンプリート（完備）であり各ポジティブ（正）リアルナンバー（実数）に対して当該数半径の何らか有限数のオープンボール（開球）たちのセット（集合）で当該サブセット（部分集合）のクロージャー（閉包）をカバーするものがある場合、そしてその場合に限って、という命題を認めている。
ターゲットコンテキスト
- 読者は、メトリックスペース（計量付き空間）はコンパクトである、もしも、それがカウンタブル（可算）にコンパクトである場合、そしてその場合に限って、という命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ（実体）たち:
\(M\): \(\in \{\text{ 全てのメトリックスペース（計量付き空間）たち }\}\)で、当該メトリック（計量）によってインデュースト（誘導された）トポロジーを持つもの
//
ステートメント（言明）たち:
\(M \in \{\text{ 全てのコンパクトトポロジカルスペース（空間）たち }\}\)
\(\iff\)
\(M \in \{\text{ 全てのカウンタブル（可算）にコンパクトなトポロジカルスペース（空間）たち }\}\)
//
2: 証明
全体戦略: 任意のメトリックスペース（計量付き空間）でインデュースト（誘導された）トポロジーを持つものはファーストカウンタブル（可算）であるという命題、任意のファーストカウンタブルトポロジカルスペース（空間）はシーケンシャリー（シーケンス的に）コンパクトである、もしも、当該スペース（空間）がカウンタブリー（可算に）コンパクトである場合、という命題、任意のメトリックスペース（計量付き空間）および任意のサブセット（部分集合）に対して、当該サブセット（部分集合）のクロージャー（閉包）はコンパクトである、もしも、当該サブセット（部分集合）の中への各シーケンス（列）が当該サブセット（部分集合）のクロージャー（閉包）内でコンバージ（収束）するあるサブシーケンス（部分列）を持つ場合、そしてその場合に限って、もしも、当該サブセット（部分集合）のクロージャー（閉包）がコンプリート（完備）であり各ポジティブ（正）リアルナンバー（実数）に対して当該数半径の何らか有限数のオープンボール（開球）たちのセット（集合）で当該サブセット（部分集合）のクロージャー（閉包）をカバーするものがある場合、そしてその場合に限って、という命題を適用する; ステップ1: \(M\)はコンパクトであると仮定する; ステップ2: \(M\)はカウンタブル（可算）にコンパクトであることを見る; ステップ3: \(M\)はカウンタブル（可算）にコンパクトであると仮定する; ステップ4: \(M\)はコンパクトであることを見る。
ステップ1:
\(M\)はコンパクトであると仮定しよう。
ステップ2:
\(M\)はカウンタブル（可算）にコンパクトである、なぜなら、\(M\)の任意のカウンタブル（可算）オープンカバー（開被覆）に対して、それは、\(M\)のあるオープンカバー（開被覆）である、したがって、あるファイナイト（有限）サブカバー（部分被覆）がある、なぜなら、\(M\)はコンパクトである。
ステップ3:
\(M\)はカウンタブル（可算）にコンパクトであるであると仮定しよう。
ステップ4:
\(M\)はファーストカウンタブル（可算）である、任意のメトリックスペース（計量付き空間）でインデュースト（誘導された）トポロジーを持つものはファーストカウンタブル（可算）であるという命題によって。
\(M\)はシーケンシャル（列的）にコンパクトである、任意のファーストカウンタブルトポロジカルスペース（空間）はシーケンシャリー（シーケンス的に）コンパクトである、もしも、当該スペース（空間）がカウンタブリー（可算に）コンパクトである場合、という命題によって。
\(M\)はコンパクトである、任意のメトリックスペース（計量付き空間）および任意のサブセット（部分集合）に対して、当該サブセット（部分集合）のクロージャー（閉包）はコンパクトである、もしも、当該サブセット（部分集合）の中への各シーケンス（列）が当該サブセット（部分集合）のクロージャー（閉包）内でコンバージ（収束）するあるサブシーケンス（部分列）を持つ場合、そしてその場合に限って、もしも、当該サブセット（部分集合）のクロージャー（閉包）がコンプリート（完備）であり各ポジティブ（正）リアルナンバー（実数）に対して当該数半径の何らか有限数のオープンボール（開球）たちのセット（集合）で当該サブセット（部分集合）のクロージャー（閉包）をカバーするものがある場合、そしてその場合に限って、という命題によって。
