2024年6月2日日曜日

614: ファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)上のベースポイントたちのアファインインディペンデント(独立)でないかもしれないセット(集合)によってスパンされる(張られる)アファインまたはコンベックスセット(集合)からファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)の中へのアファインマップ(写像)はカノニカル(自然な)トポロジーたちに関してコンティニュアス(連続)である

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

ファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)上のベースポイントたちのアファインインディペンデント(独立)でないかもしれないセット(集合)によってスパンされる(張られる)アファインまたはコンベックスセット(集合)からファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)の中へのアファインマップ(写像)はカノニカル(自然な)トポロジーたちに関してコンティニュアス(連続)であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)上のベースポイントたちのアファインインディペンデント(独立)でないかもしれない任意のセット(集合)によってスパンされる(張られる)アファインまたはコンベックスセット(集合)から任意のファイナイト(有限)ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)の中への任意のアファインマップ(写像)はカノニカル(自然な)トポロジーたちに関してコンティニュアス(連続)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
V1: { 全ての d1 ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)たち }でカノニカル(自然な)トポロジーを持つもの
V2: { 全ての d2 ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)たち }でカノニカル(自然な)トポロジーを持つもの
S1: {V1 上のベースポイントたちのアファインインディペンデント(独立)でないかもしれない任意のセット(集合)によってスパンされる(張られる)全てのアファインまたはコンベックスセット(集合)たち }, V1で、サブスペース(部分空間)トポロジーを持つもの
f: :S1V2, { 全てのアファインマップ(写像)たち }
//

ステートメント(言明)たち:
f{ 全てのコンティニュアス(連続)マップ(写像)たち }.
//


2: 自然言語記述


任意のd1ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)V1でカノニカル(自然な)トポロジーを」持つもの、任意のd2ディメンショナル(次元)リアル(実)ベクトルたちスペース(空間)V2でカノニカル(自然な)トポロジーを」持つもの、the affine or convex set spanned by any possibly non-affine-independent set of base points on V1上のベースポイントたちのアファインインディペンデント(独立)でないかもしれない任意のセット(集合)によってスパンされる(張られる)アファインまたはコンベックスセット(集合)S1でサブスペース(部分空間)トポロジーを持つもの、任意のアファインマップ(写像)f:S1V2に対して、fはコンティニュアス(連続)である。


3: 証明


当該ベースポイントたちのアファインインディペンデント(独立)サブセット(部分集合){p0,...,pk}{p0,...,pn}で、それによって当該アファインマップ(写像)が定義されているものがある、(リアル(実)ベクトルたちスペース(空間)上のベースポイントたちのアファインインディペンデント(独立)でないかもしれないセット(集合)によってスパンされる(張られる)アファインセット(集合)からのアファインマップ(写像)の定義またはリアル(実)ベクトルたちスペース(空間)上のベースポイントたちのアファインインディペンデント(独立)でないかもしれないセット(集合)によってスパンされる(張られる)コンベックスセット(集合)からのアファインマップ(写像)の定義を参照)、そして、f:j{0,...,k}tjpjj{0,...,k}tjf(pj)

私たちは、任意のトポロジカルスペース(空間)たち間マップ(写像)は任意のポイントにおいてコンティニュアス(連続)である、もしも、当該スペース(空間)たちは何らかのCマニフォールド(多様体)たちのサブスペース(部分空間)たちであり、当該ポイントおよび当該ポイントイメージ(像)の周りに当該マニフォールド(多様体)たちのチャートたちがあり、当該チャートオープンサブセット(部分集合)たち間マップ(写像)で元のマップ(写像)へリストリクテッド(制限される)なもので、そのコーディネート( 座標)たちファンクション(関数)のリストリクション(制限)がコンティニュアス(連続)であるものがある場合という命題を適用する。

V1のあるベーシス(基底){p1p0,...,pkp0,vk+1,...,vd1}およびカノニカル(自然な)チャート(V1V1,ϕ)がある。今や、V1Cマニフォールド(多様体)となり、S1はそれのトポロジカルサブスペース(部分空間)である。

pS1に対して、p=j{0,...,k}tjpj=j{0,...,k}tj(pjp0)+j{0,...,k}tjp0=j{1,...,k}tj(pjp0)+p0ϕ(p)=(t1+p01,...,tk+p0k,p0k+1,...,p0d1)、ここで、ϕ(p0)=(p01,...,p0d1)

V2のあるベーシス(基底){w1,...,wd2}およびカノニカル(自然な)チャート(V2V2,ψ)がある。今や、V2Cマニフォールド(多様体)である。

ψ(j{0,...,k}tjf(pj))=(j{0,...,k}tjqj1,...,j{0,...,k}tjqjd2)、ここで、ψ(f(pj))=(qj1,...,qjd2)

fの以下の拡張を考えよう、つまり、f:V1V2,j{1,...,k}tj(pjp0)+p0+j{k+1,...,d1}tjvjj{0,...,k}tjf(pj)、ここで、tj(,)へ拡張される。fは本当にfの、ドメイン(定義域)S1に関するリストリクション(制限)である。

fの当該チャートたちに関するコーディネート(座標)たちファンクション(関数)は、ψfϕ1:Rd1Rd2,(t1+p01,...,tk+p0k,tk+1+p0k+1,...,td1+p0d1)(j{0,...,k}tjqj1,...,j{0,...,k}tjqjd2); tj:=tj+p0jと取ると、それは、(t1,...,tk,tk+1,...,td1)(j{0,...,k}(tjp0j)qj1,...,j{0,...,k}(tjp0j)qjd2)、それは、リニア(線形)であるからコンティニュアス(連続)である。すると、当該コーディネート(座標)たちファンクション(関数)のリストリクション(制限)ψfϕ1|ϕ(V1S1)もコンティニュアス(連続)である、任意のコンティヌアス(連続)マップ(写像)の、ドメイン(定義域)およびコドメイン(余域)についてのリストリクション(制限)はコンティヌアス(連続)であるという命題によって。

したがって、任意のトポロジカルスペース(空間)たち間マップ(写像)は任意のポイントにおいてコンティニュアス(連続)である、もしも、当該スペース(空間)たちは何らかのCマニフォールド(多様体)たちのサブスペース(部分空間)たちであり、当該ポイントおよび当該ポイントイメージ(像)の周りに当該マニフォールド(多様体)たちのチャートたちがあり、当該チャートオープンサブセット(部分集合)たち間マップ(写像)で元のマップ(写像)へリストリクテッド(制限される)なもので、そのコーディネート( 座標)たちファンクション(関数)のリストリクション(制限)がコンティニュアス(連続)であるものがある場合という命題によって、fはコンティニュアス(連続)である。


参考資料


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