2023年10月15日日曜日

390: トポロジカルスペース(空間)はカウンタブリー(可算に)コンパクトである、もしも、各インフィニット(無限)サブセット(部分集合)が\omegaアキューミュレーションポイント(集積点)を持っている場合、そしてその場合に限って

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

トポロジカルスペース(空間)はカウンタブリー(可算に)コンパクトである、もしも、各インフィニット(無限)サブセット(部分集合)がωアキューミュレーションポイント(集積点)を持っている場合、そしてその場合に限って、ことの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のトポロジカルスペース(空間)はカウンタブリー(可算に)コンパクトである、もしも、各インフィニット(無限)サブセット(部分集合)があるωアキューミュレーションポイント(集積点)を持っている場合、そしてその場合に限って、という命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のトポロジカルスペース(空間)Tはカウンタブリー(可算に)コンパクトである、もしも、各インフィニット(無限)サブセット(部分集合)Sがあるωアキューミュレーションポイント(集積点)pTを持っている場合、そしてその場合に限って。


2: 証明


Sはあるpを持っていると仮定しよう。Tのあるオープン(開)カウンタブル(可算)カバーO={Ui|iI}、ここで、Iはあるカウンタブル(可算)インデックスたちセット(集合)、でファイナイト(有限)サブカバーを持たないものがあったと仮定しよう。Uiであると仮定しよう、なぜなら、任意の空集合を除去して要素たちをインデックス付け直しできるから。I={1,2,...}だと仮定しよう、一般性を失うことなく。あるポイントp1U1があることになり、i1:=1およびU1:=U1を定義しよう。あるポイントp2U1があることになる、したがって、あるi1<i2Iに対して、p2Ui2、そして、U2:=1ii2Uiを定義しよう。あるポイントp3U2があることになり、したがって、あるi2<i3Iに対して、p3Ui3、等々と続く、それは無限に続くことになる、なぜなら、Oのファイナイト(有限)サブカバーはないことになる。O:={Ui|iI}Tのオープンカバー(開被覆)であることになる。S={p1,p2,...}を選択し、pSのあるωアキューミュレーションポイント(集積点)であるとしよう。あるjIに対して、pUj、なぜなら、OTのカバーであることになる。しかし、Ujpのネイバーフッド(近傍)であることになる一方、UjS={p1,p2,...,pj}、それは、pωアキューミュレーションポイント(集積点)であることに反する矛盾である。

Tはカウンタブリー(可算に)コンパクトであると仮定しよう。あるインフィニット(無限)サブセット(部分集合)Sωアキューミュレーションポイント(集積点)を持たないものがあったと仮定しよう。任意のカウンタブル(可算)サブセット(部分集合)SSωアキューミュレーションポイント(集積点)を持たないことになる、なぜなら、任意のポイントpTに対して、以下を満たすあるネイバーフッド(近傍)Up、つまり、UpSはファイナイト(有限)数ポイントたちのみを持つ、があることになり、UpSもファイナイト(有限)数ポイントたちのみを持つことになる、なぜなら、SSより小さいことになる。各ファイナイト(有限)(空でもよい)SSに対して、f(S):={Up|UpS=S}を定義しよう、それは、あるSに対して、空であるかもしれないが、それは何らの問題でもないだろう。O:={f(S)|SS}Tのオープンカバー(開被覆)であることになる、なぜなら、Sωアキューミュレーションポイント(集積点)を持たないことになるから、任意のポイントpTは以下を満たす少なくとも1つのUp、つまり、UpSはファイナイト(有限)ポイントたちのみを持つ、を持つことになる、そして、実のところ、カウンタブル(可算)である、なぜなら、任意のカウンタブル(可算)セット(集合)の全ファイナイト(有限)サブセット(部分集合)たちのセット(集合)はカウンタブル(可算)であることになる: 任意のカウンタブル(可算)セット(集合)S={1,2,...}に対して、以下の順序で全ファイナイト(有限)セット(集合)たちを選択する: 第1にを取る; 第2に{1}を取り{1}を選択する; 第3に{1,2}を取り{2}および{1,2}を選択する; 第4に{1,2,3}を取り{3}{2,3}{1,2,3}を選択する、例えば。

あるファイナイト(有限)サブカバー O:={f(Si)}Oがあることになる。あるポイントpSiSiがあることになる、なぜなら、Sはインフィニット(無限)であることになる、その一方、iSiはファイナイト(有限)であることになる。しかし、任意のiに対して、pf(Si)、なぜなら、f(Si)S=SiOTのカバーであることに反する矛盾。


参考資料


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