トポロジカルスペース（空間）はカウンタブリー（可算に）コンパクトである、もしも、各インフィニット（無限）サブセット（部分集合）が\(\omega\)アキューミュレーションポイント（集積点）を持っている場合、そしてその場合に限って、ことの記述/証明
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、カウンタブリー（可算に）コンパクトトポロジカルスペース（空間）の定義を知っている。
- 読者は、サブセット（部分集合）の\(\omega\)アキューミュレーションポイント（集積点）の定義を知っている。
ターゲットコンテキスト
- 読者は、任意のトポロジカルスペース（空間）はカウンタブリー（可算に）コンパクトである、もしも、各インフィニット（無限）サブセット（部分集合）がある\(\omega\)アキューミュレーションポイント（集積点）を持っている場合、そしてその場合に限って、という命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のトポロジカルスペース（空間）\(T\)はカウンタブリー（可算に）コンパクトである、もしも、各インフィニット（無限）サブセット（部分集合）\(S\)がある\(\omega\)アキューミュレーションポイント（集積点）\(p \in T\)を持っている場合、そしてその場合に限って。
2: 証明
各\(S\)はある\(p\)を持っていると仮定しよう。\(T\)のあるオープン（開）カウンタブル（可算）カバー\(O = \{U_i\vert i \in I\}\)、ここで、\(I\)はあるカウンタブル（可算）インデックスたちセット（集合）、でファイナイト（有限）サブカバーを持たないものがあったと仮定しよう。\(U_i \neq \emptyset\)であると仮定しよう、なぜなら、任意の空集合を除去して要素たちをインデックス付け直しできるから。\(I = \{1, 2, ...\}\)だと仮定しよう、一般性を失うことなく。あるポイント\(p_1 \in U_1\)があることになり、\(i_1 := 1\)および\(U'_1 := U_1\)を定義しよう。あるポイント\(p_2 \notin U'_1\)があることになる、したがって、ある\(i_1 \lt i_2 \in I\)に対して、\(p_2 \in U_{i_2}\)、そして、\(U'_2 := \cup_{1 \le i \le i_2} U_i\)を定義しよう。あるポイント\(p_3 \notin U'_2\)があることになり、したがって、ある\(i_2 \lt i_3 \in I\)に対して、\(p_3 \in U_{i_3}\)、等々と続く、それは無限に続くことになる、なぜなら、\(O\)のファイナイト（有限）サブカバーはないことになる。\(O' := \{U'_i\vert i \in I\}\)は\(T\)のオープンカバー（開被覆）であることになる。\(S = \{p_1, p_2, ...\}\)を選択し、\(p\)を\(S\)のある\(\omega\)アキューミュレーションポイント（集積点）であるとしよう。ある\(j \in I\)に対して、\(p \in U'_j\)、なぜなら、\(O'\)は\(T\)のカバーであることになる。しかし、\(U'_j\)は\(p\)のネイバーフッド（近傍）であることになる一方、\(U'_j \cap S = \{p_1, p_2, ..., p_j\}\)、それは、\(p\)が\(\omega\)アキューミュレーションポイント（集積点）であることに反する矛盾である。
\(T\)はカウンタブリー（可算に）コンパクトであると仮定しよう。あるインフィニット（無限）サブセット（部分集合）\(S\)で\(\omega\)アキューミュレーションポイント（集積点）を持たないものがあったと仮定しよう。任意のカウンタブル（可算）サブセット（部分集合）\(S' \subseteq S\)も\(\omega\)アキューミュレーションポイント（集積点）を持たないことになる、なぜなら、任意のポイント\(p \in T\)に対して、以下を満たすあるネイバーフッド（近傍）\(U_p\)、つまり、\(U_p \cap S\)はファイナイト（有限）数ポイントたちのみを持つ、があることになり、\(U_p \cap S'\)もファイナイト（有限）数ポイントたちのみを持つことになる、なぜなら、\(S'\)は\(S\)より小さいことになる。各ファイナイト（有限）（空でもよい）\(S'' \subseteq S'\)に対して、\(f (S'') := \cup \{U_p\vert U_p \cap S' = S''\}\)を定義しよう、それは、ある\(S''\)に対して、空であるかもしれないが、それは何らの問題でもないだろう。\(O := \{f (S'') \vert S'' \subseteq S'\}\)は\(T\)のオープンカバー（開被覆）であることになる、なぜなら、\(S'\)は\(\omega\)アキューミュレーションポイント（集積点）を持たないことになるから、任意のポイント\(p \in T\)は以下を満たす少なくとも1つの\(U_p\)、つまり、\(U_p \cap S'\)はファイナイト（有限）ポイントたちのみを持つ、を持つことになる、そして、実のところ、カウンタブル（可算）である、なぜなら、任意のカウンタブル（可算）セット（集合）の全ファイナイト（有限）サブセット（部分集合）たちのセット（集合）はカウンタブル（可算）であることになる: 任意のカウンタブル（可算）セット（集合）\(S' = \{1, 2, ...\}\)に対して、以下の順序で全ファイナイト（有限）セット（集合）たちを選択する: 第1に\(\emptyset\)を取る; 第2に\(\{1\}\)を取り\(\{1\}\)を選択する; 第3に\(\{1, 2\}\)を取り\(\{2\}\)および\(\{1, 2\}\)を選択する; 第4に\(\{1, 2, 3\}\)を取り\(\{3\}\)、\(\{2, 3\}\)、\(\{1, 2, 3\}\)を選択する、例えば。
あるファイナイト（有限）サブカバー \(O' := \{f (S''_i)\} \subseteq O\)があることになる。あるポイント\(p \in S' \setminus \cup_i S''_i\)があることになる、なぜなら、\(S'\)はインフィニット（無限）であることになる、その一方、\(\cup_i S''_i\)はファイナイト（有限）であることになる。しかし、任意の\(i\)に対して、\(p \notin f (S''_i)\)、なぜなら、\(f (S''_i) \cap S' = S''_i\)、\(O'\)が\(T\)のカバーであることに反する矛盾。
