2024年10月27日日曜日

832: マップ(写像)のコンティニュアス(連続)性をチェックするためには、ベーシス(基底)またはサブベーシス(基底)のみのプリイメージ(前像)たちだけで十分である

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

マップ(写像)のコンティニュアス(連続)性をチェックするためには、ベーシス(基底)またはサブベーシス(基底)のみのプリイメージ(前像)たちだけで十分であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のトポロジカルスペース(空間)たち間任意のマップ(写像)のコンティニュアス(連続)性をチェックするためには、任意のベーシス(基底)または任意のサブベーシス(基底)のみのプリイメージ(前像)たちだけをチェックすれば十分であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
T1: { 全てのトポロジカルスペース(空間)たち }
T2: { 全てのトポロジカルスペース(空間)たち }
f: :T1T2
B2: {T2 の全てのベーシス(基底)たち }
B2: {T2 の全てのサブベーシス(基底)たち }
//

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

f{ 全てのコンティニュアス(連続)マップ(写像)たち }
)

(
UβB2(f1(Uβ){T1 の全てのオープンサブセット(開部分集合)たち })

f{ 全てのコンティニュアス(連続)マップ(写像)たち }
)
//


2: 証明


全体戦略: ステップ1: 各オープンサブセット(開部分集合)U2T2B2のいくつかの要素たちのユニオン(共通集合)として表わし、それの、f下でのプリイメージ(前像)をB2の当該要素たちのプリイメージ(前像)たちのユニオン(和集合)として表わす; ステップ2: 各オープンサブセット(開部分集合)U2T2B2のいくつかのファイナイト(有限)要素たちのいくつかのインターセクション(共通集合)たちのユニオンとして表わし、それの、f下でのプリイメージ(前像)をB2の当該要素たちのファイナイト(有限)プリイメージ(前像)たちのインターセクション(共通集合)たちのユニオン(和集合)として表わす。

ステップ1:

任意のオープンサブセット(開部分集合)U2T2は、U2=βBUβ、ここで、Bはあるアンカウンタブル(不可算)インデックスセット(集合)で、UβB2、である、オープンセット(開集合)たちの任意のコレクションがベーシス(基底)であることのいくつかの基準たちによって。

f1(U2)=βBf1(Uβ)任意のマップ(写像)に対して、任意の、セット(集合)たちのユニオン(和集合)、のマップ(写像)プリイメージ(前像)は、それらセット(集合)たちのマップ(写像)プリイメージ(前像)たちのユニオン(和集合)であるという命題によって。

もしも、f1(Uβ)T1上でオープン(開)であれば、βBf1(Uβ)T1上でオープン(開)である、オープンサブセット(開部分集合)たちのユニオン(和集合)として。

Step 2: ステップ2:

U2T2は、U2=βBjJβUβ,j、ここで、Bはアンカウンタブル(不可算)かもしれないインデックスセット(集合)、Jβは各βに対してファイナイト(有限)インデックスセット(集合)、Uβ,jB2オープンセット(開集合)たちの任意のコレクションがベーシス(基底)であることのいくつかの基準たちによって。

f1(U2)=βBf1(jJβUβ,j)=βB(jJβf1(Uβ,j))任意のマップ(写像)に対して、任意の、セット(集合)たちのユニオン(和集合)、のマップ(写像)プリイメージ(前像)は、それらセット(集合)たちのマップ(写像)プリイメージ(前像)たちのユニオン(和集合)であるという命題および任意のマップ(写像)に対して、任意の、セット(集合)たちのインターセクション(共通集合)、のマップ(写像)プリイメージ(前像)はそれらセット(集合)たちのマップ(写像)プリイメージ(前像)たちのインターセクション(共通集合)であるという命題によって。

もしも、f1(Uβ,j)T1上でオープン(開)であれば、jJβf1(Uβ,j)T1上でオープン(開)である、オープンサブセット(開部分集合)たちのファイナイト(有限)インターセクション(共通集合)として、そして、βB(jJβf1(Uβ,j))T1上でオープン(開)である、オープンサブセット(開部分集合)たちのユニオン(和集合)として。


参考資料


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