2022年7月31日日曜日

106: 必ずしもオープン(開)でないトポロジカルサブスペース(部分空間)のサブセット(部分集合)はサブスペース(部分空間)上でオープン(開)である、もしも、それがベーススペース(空間)上でオープン(開)である場合

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

必ずしもオープン(開)でないトポロジカルサブスペース(部分空間)のサブセット(部分集合)はサブスペース(部分空間)上でオープン(開)である、もしも、それがベーススペース(空間)上でオープン(開)である場合、ことの記述/証明

話題


About: トポロジカルスペース

この記事の目次


開始コンテキスト



ターゲットコンテキスト



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

オリエンテーション


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

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


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
T: { 全てのトポロジカルスペースたち }
T: Tでサブスペーストポロジーを持つもの
S: T
//

ステートメント(言明)たち:
S{T の全てのオープンサブセット(開部分集合)たち }

S{T の全てのオープンサブセット(開部分集合)たち }
//


2: 自然言語記述


任意のトポロジカルスペースTT上の必ずしもオープン(開)でない任意のトポロジカルサブスペースTに対して、任意のサブセットSTT上でオープン(開)である、もしも、ST上でオープン(開)である場合。


3: 証明


ST上でオープン(開)であると仮定しよう。

S=ST、したがって、サブスペーストポロジーの定義によって、ST上でオープン(開)である。


4: 注


本命題の逆は成立しない、ST上でオープン(開)であると仮定して、S=UT、ここで、UTT上のオープンサブセット(開部分集合)である、サブスペーストポロジーの定義によって、しかし、Tは必ずしもT上でオープン(開)でないので、UTは必ずしもT上でオープン(開)でない。

私たちは別の命題を証明したが、それは実は本命題によってカバーされている。


参考資料


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