2024年5月12日日曜日

573: アファインシンプレックス(単体)マップ(写像)のドメイン(定義域)はユークリディアントポロジカルスーパースペース(空間)上でクローズド(閉)でコンパクトである

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

アファインシンプレックス(単体)マップ(写像)のドメイン(定義域)はユークリディアントポロジカルスーパースペース(空間)上でクローズド(閉)でコンパクトであることの記述/証明

話題


About: ベクトルたちスペース(空間)
About: トポロジカルスペース(空間)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のアファインシンプレックス(単体)マップ(写像)のドメイン(定義域)は当該ユークリディアントポロジカルスーパースペース(空間)上でクローズド(閉)でコンパクトであるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
Rn+1: = ユークリディアントポロジカルスペース(空間) 
T: ={t=(t0,...,tn)Rn+1|j{0,...,n}tj=10tj}Rn+1Rn+1のサブスペース(部分空間)として
//

ステートメント(言明)たち:
T{Rn+1 の全てのクローズドサブセット(閉部分集合)たち }{Rn+1 の全てのコンパクトサブセット(部分集合)たち }
//

Tはそれ自体としてコンパクトトポロジカルスペース(空間)である、任意のトポロジカルサブセット(部分集合)のサブセット(部分集合)としてのコンパクト性はサブスペース(部分空間)としてのコンパクト性に等しい という命題によって。


2: 自然言語記述


ユークリディアントポロジカルスペース(空間)Rn+1に対して、T:={t=(t0,...,tn)Rn+1|j{0,...,n}tj=10tj}Rn+1Rn+1のサブスペース(部分空間)とみなしたものは、Rn+1上でクローズド(閉)でコンパクトである。


3: 注


何のアファインシンプレックス(単体)も"記述"内に明示的に現れないが、Tは任意のアファインシンプレックスマップ(写像)f:T[p0,...,pn]={j{0,...,n}tjpjV|tjR,j{0,...,n}tj=10tj}のドメイン(定義域)である。

"アファインシンプレックス(単体)マップ(写像)"は、確立された用語ではないかもしれないが、任意のアファインシンプレックス(単体)の下にあるマップ(写像)を意味し、アファインシンプレックス(単体)からのアファインマップ(写像)を意味しない。


3: 証明


Rはユークリディアントポロジカルスペース(空間)であるとしよう。マップ(写像)f1:Rn+1R,(t1,...,tn)j{0,...,n}tjを取ろう。f1は明らかにコンティニュアス(連続)である。各j{0,...,n}に対して、マップ(写像)f2,j:Rn+1R,(t1,...,tn)tjを取ろう。f2,jは明らかにコンティニュアス(連続)である。

T=f11({1})jf2,j1([0,))、しかし、f11({1})Rn+1およびf2,j1([0,))Rn+1Rn+1上でクローズド(閉)である、なぜなら、{1},[0,)RR上でクローズド(閉)であり、f1およびf2,jはコンティニュアス(連続)である。

したがって、TRn+1上でクローズド(閉)である。

Tはバウンデッド(有界)である(不可避にtj1)から、TRn+1上でコンパクトである、ハイネ-ボレル定理によって。


参考資料


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