トポロジカルスペース（空間）に対して、コンパクトサブセット（部分集合）のサブセット（部分集合）は必ずしもコンパクトではないことの記述/証明
話題
About: トポロジカルスペース（空間）
この記事の目次
開始コンテキスト
- 読者は、トポロジカルスペース（空間）のコンパクトサブセット（部分集合）の定義を知っている。
- 読者は、ユークリディアントポロジーの定義を知っている。
ターゲットコンテキスト
- 読者は、任意のトポロジカルスペース（空間）に対して、あるコンパクトサブセット（部分集合）のあるサブセット（部分集合）は必ずしもコンパクトでないという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
あるトポロジカルスペース（空間）\(T\)およびあるコンパクトサブセット（部分集合）\(S \subseteq T\)に対して、あるサブセット（部分集合）\(S_1 \subseteq S\)は必ずしも\(T\)上でコンパクトである。
2: 証明
1つの反例で十分だ。\(T = \mathbb{R}^2\)でユークリディアントポロジーを持ったものを取ろう。\(S = \overline{B_{p-\epsilon}}\)、そして、\(S_1 = B_{p-\epsilon}\)、ここで、\(B_{p-\epsilon}\)は\(p\)を中心とする\(\epsilon\)半径オープンボール（開球）であり、上線はクロージャー（閉包）を表わす。
3: 注
"コンパクト"という単語は小さいことについてのことだと聞こえるかもしれないが、あるコンパクトサブセット（部分集合）のより小さなサブセット（部分集合）は必ずしもコンパクトではない。
