2024年7月28日日曜日

700: トポロジカルスペース(空間)に対して、エグゾースチョンファンクション(関数)下のナチュラルナンバー(自然数)たちクローズド(閉)上限インターバル(区間)たちのプリイメージ(前像)たちのシーケンス(列)は、スペース(空間)のコンパクトサブセット(部分集合)たちによるエグゾースチョンである

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

トポロジカルスペース(空間)に対して、エグゾースチョンファンクション(関数)下のナチュラルナンバー(自然数)たちクローズド(閉)上限インターバル(区間)たちのプリイメージ(前像)たちのシーケンス(列)は、スペース(空間)のコンパクトサブセット(部分集合)たちによるエグゾースチョンであることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のトポロジカルスペース(空間)に対して、任意のエグゾースチョンファンクション(関数)下のナチュラルナンバー(自然数)たちクローズド(閉)上限インターバル(区間)たちのプリイメージ(前像)たちのシーケンス(列)は、当該スペース(空間)のコンパクトサブセット(部分集合)たちによるエグゾースチョンであるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
T: { 全てのトポロジカルスペース(空間)たち }
R: = 当該ユークリディアントポロジカルスペース(空間) 
f: :TR, {T 上の全てのエグゾースチョンファンクション(関数)たち }
s: :N{0}{T の全てのコンパクトサブセット(部分集合)たち },jf1((,j])
//

ステートメント(言明)たち:
s{T の全ての、コンパクトサブセット(部分集合)たちによるエグゾースチョンたち }
//


2: 自然言語記述


任意のトポロジカルスペース(空間)T、当該ユークリディアントポロジカルスペース(空間)RT上の任意のエグゾースチョンファンクション(関数)f:TRに対して、シーケンス(列)s:N{0}{T の全てのコンパクトサブセット(部分集合)たち },jf1((,j])は、Tのコンパクトサブセット(部分集合)たちによるエグゾースチョンである。


3: 証明


全体戦略: ステップ1: T=jN{0}s(j)であることを見る; ステップ2: s(j)s(j+1)であることを見る。

ステップ1:

T=jN{0}s(j)であることを見よう。

pTに対して、あるnN{0}に対してf(p)n。したがって、pf1((,n])=s(n)。したがって、T=jN{0}s(j)

ステップ2:

s(j)s(j+1)であることを見よう。

ステップ2戦略: ステップ2-1: 各ps(j)に対して、pのあるオープンネイバーフッド(開近傍)でs(j+1)内に包含されているものがあることを示せば十分であることを見る; ステップ2-2: 当該主張を証明する。

明らかに、s(j)s(j+1)

ステップ2-1:

ps(j)に対して、pのあるオープンネイバーフッド(開近傍)UpTUps(j+1)を満たすものがあることを示せば十分である、なぜなら、そうであれば、s(j)ps(j)Ups(j+1)、その一方で、ps(j)Ups(j+1)内に包含されるあるオープンサブセット(開部分集合)となる、それが意味するのは、ps(j)Ups(j+1)

ステップ2-2:

Upを示そう。

f(p)(,j]。任意のϵ<1およびオープンボール(開球)Bf(p),ϵ=(f(p)ϵ,f(p)+ϵ)Rを取ろう。Bf(p),ϵ(,j+1]fはコンティニュアス(連続)であるから、pの以下を満たすあるオープンネイバーフッド(開近傍)UpT、つまり、f(Up)Bf(p),ϵ、がある。したがって、f(Up)Bf(p),ϵ(,j+1]。それが意味するのは、Ups(j+1)


参考資料


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