2023年6月4日日曜日

296: トポロジカルスペース(空間)に対して、コンパクトサブセット(部分集合)のサブセット(部分集合)は必ずしもコンパクトではない

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

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

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



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

オリエンテーション


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

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


本体


1: 記述


あるトポロジカルスペース(空間)Tおよびあるコンパクトサブセット(部分集合)STに対して、あるサブセット(部分集合)S1Sは必ずしもT上でコンパクトである。


2: 証明


1つの反例で十分だ。T=R2でユークリディアントポロジーを持ったものを取ろう。S=Bpϵ、そして、S1=Bpϵ、ここで、Bpϵpを中心とするϵ半径オープンボール(開球)であり、上線はクロージャー(閉包)を表わす。


3: 注


"コンパクト"という単語は小さいことについてのことだと聞こえるかもしれないが、あるコンパクトサブセット(部分集合)のより小さなサブセット(部分集合)は必ずしもコンパクトではない。


参考資料


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