2024年5月19日日曜日

586: トポロジカルスペース(空間)、サブスペース(部分空間)、スーパスペース(空間)のサブセット(部分集合)に対して、サブスペース(部分空間)マイナスサブセット(部分集合)でサブスペース(部分空間)のサブスペース(部分空間)とみなしたものはスーパースペース(空間)マイナスサブセット(部分集合)のサブスペース(部分空間)である

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

トポロジカルスペース(空間)、サブスペース(部分空間)、スーパスペース(空間)のサブセット(部分集合)に対して、サブスペース(部分空間)マイナスサブセット(部分集合)でサブスペース(部分空間)のサブスペース(部分空間)とみなしたものはスーパースペース(空間)マイナスサブセット(部分集合)のサブスペース(部分空間)であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



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

オリエンテーション


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

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


本体


1: 構造化された記述


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

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

ステートメント(言明)たち:
TSTのサブスペース(部分空間)とみなしたものは、TSTSのサブスペース(部分空間)とみなしたものである。
//


2: 自然言語記述


任意のトポロジカルスペース(空間)T、任意のサブスペース(部分空間)TT、任意のSTTSTでサブスペース(部分空間)トポロジーを持つものに対して、TSTのサブスペース(部分空間)とみなしたものは、TSTSのサブスペース(部分空間)とみなしたものである。


3: 証明


UTSは、TSTのサブスペース(部分空間)とみなしたものの任意のオープンサブセット(開部分集合)であるとしよう。

U=U(TS)、ここで、UTTのあるオープンサブセット(開部分集合)。U=UT、ここで、UTTのあるオープンサブセット(開部分集合)。U=UT(TS)=U(TS)=U(TS)(TS)、しかし、U(TS)TSTSのオープンサブセット(開部分集合)であり、U(TS)(TS)は、TSTSのサブスペース(部分空間)とみなしたもののオープンサブセット(開部分集合)である。

UTSは、TSTSのサブスペース(部分空間)とみなしたもの任意のオープンサブセット(開部分集合)であるとしよう。

U=U(TS)、ここで、UTSTSのあるオープンサブセット(開部分集合)。U=U(TS)、ここで、UTTのあるオープンサブセット(開部分集合)。U=U(TS)(TS)=U(TS)=UT(TS)、しかし、UTTTのオープンサブセット(開部分集合)であり、UT(TS)TSは、TSTのサブスペース(部分空間)とみなしたもののオープンサブセット(開部分集合)である。

したがって、TSTのサブスペース(部分空間)とみなしたものは、TSTSのサブスペース(部分空間)とみなしたものである。


参考資料


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