2023年2月5日日曜日

187: ディスジョイント(互いに素)なサブセット(部分集合)とオープンセット(開集合)に対して、サブセット(部分集合)のクロージャー(閉包)とオープンセット(開集合)はディスジョイント(互いに素)である

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

ディスジョイント(互いに素)なサブセット(部分集合)とオープンセット(開集合)に対して、サブセット(部分集合)のクロージャー(閉包)とオープンセット(開集合)はディスジョイント(互いに素)であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のディスジョイント(互いに素)なサブセット(部分集合)とオープンセット(開集合)に対して、サブセット(部分集合)のクロージャー(閉包)とオープンセット(開集合)はディスジョイント(互いに素)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のトポロジカルスペース(空間)Tおよび任意のディスジョイント(互いに素)なサブセット(部分集合)STとオープンセット(開集合)UTSU=に対して、Sのクロージャー(閉包)SUはディスジョイント(互いに素)である、つまり、SU=


2: 証明


SUはディスジョイント(互いに素)でないと仮定する。あるポイントpS,Uがあることになる。任意のサブセット(部分集合)のクロージャー(閉包)はサブセット(部分集合)とサブセット(部分集合)のアキューミュレーションポイント(集積点)たちセット(集合)のユニオン(共通集合)であるという命題によって、pS上にあるか、Sのアキューミュレーションポイント(集積点)であることになる、しかし、前者は不可能である、なぜなら、SUはディスジョイント(互いに素)だから、したがって、pSのアキューミュレーションポイント(集積点)だということになる。pUであるから、pの周りに以下を満たすあるオープンセット(開集合)Upがあることになる、つまり、pUpU、しかし、UpSの何らのポイントも包含しないことになる、したがって、pSのアキューミュレーションポイント(集積点)ではないことになる、矛盾。


参考資料


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