2023年8月27日日曜日

355: オープン(開)デンス(密)サブセット(部分集合)のコンプリメント(補集合)はノーホエアデンス(どこでも密でない)である

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

オープン(開)デンス(密)サブセット(部分集合)のコンプリメント(補集合)はノーホエアデンス(どこでも密でない)であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のトポロジカルスペース(空間)、そのオープン(開)デンス(密)サブセット(部分集合)に対して、当該サブセット(部分集合)のコンプリメント(補集合)はノーホエアデンス(どこでも密でない)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のトポロジカルスペース(空間)T、その任意のオープン(開)デンス(密)サブセット(部分集合)ST、それが意味するのは、S=T、に対して、Sのコンプリメント(補集合)TSはノーホエアデンス(どこでも密でない)である、それが意味するのは、int(TS)=


2: 証明


int(TS)=TS任意のトポロジカルスペース(空間)の任意のサブセット(部分集合)に対して、当該サブセット(部分集合)のコンプリメント(補集合)のインテリア(内部)は当該サブセット(部分集合)のクロージャー(閉包)のコンプリメント(補集合)であるという命題によって。S=Tであるから、int(TS)=Sはオープン(開)であるから、TSはクローズド(閉)である、そして、TS=TS、したがって、int(TS)=int(TS)=


参考資料


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