2024年12月8日日曜日

891: Cベクトルたちバンドル(束)およびオープンサブセット(開部分集合)上方のCローカルフレームに対して、オープンサブセット(開部分集合)の各ポイントの周りに、バンドル(束)に対するより小さいかもしれないチャートでフレームに関するコンポーネントたちを取るものがある

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

Cベクトルたちバンドル(束)およびオープンサブセット(開部分集合)上方のCローカルフレームに対して、オープンサブセット(開部分集合)の各ポイントの周りに、バンドル(束)に対するより小さいかもしれないチャートでフレームに関するコンポーネントたちを取るものがあることの記述/証明

話題


About: Cマニフォールド(多様体)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のCベクトルたちバンドル(束)および任意のオープンサブセット(開部分集合)上方の任意のCローカルフレームに対して、当該オープンサブセット(開部分集合)の各ポイントの周りに、当該バンドル(束)に対するより小さいかもしれないチャートで当該フレームに関するコンポーネントたちを取るものがあるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
(E,M,π):  ランク k{ の全ての C ベクトルたちバンドル(束)たち }
U: {M の全てのオープンサブセット(開部分集合)たち }
{s1,...,sk}: U{ 上方の全ての C ローカルフレームたち }
//

ステートメント(言明)たち:
uU((UuM,ϕu){ 全てのチャートたち } で以下を満たすもの、つまり、 UuU((π1(Uu)E,ϕu~){ 全てのチャートたち } 、ここで、 ϕu~:π1(Uu)Rk×ϕu(Uu),bjsj(p)(b1,...,bk,ϕuπ(p))))
//


2: 証明


全体戦略: ステップ1: Uはトリビアライジングオープンサブセット(開部分集合)であることを見る; ステップ2: 各uUの周りに、以下を満たす任意のチャート(UuM,ϕu)、つまり、UuU、を取り、Uuはチャートトリビアライジングオープンサブセット(開部分集合)であることを見る: ステップ3: Uu上方のトリビアライゼーションで任意のCベクトルたちバンドル(束)に対して、任意のCフレームは任意のトリビアライジングオープンサブセット(開部分集合)上方に、そしてその上方のみに存在するという命題内に引用されているものを取る; ステップ4: 任意のCベクトルたちバンドル(束)に対して、任意のチャートトリビアライジングオープンサブセット(開部分集合)のトリビアライゼーションはカノニカル(正典)チャートマップ(写像)をインデュース(誘導)するという命題による当該トリビアライゼーションによってカノニカル(正典)にインデュースト(誘導された)チャートを取る。

ステップ1:

Uはトリビアライジングオープンサブセット(開部分集合)である、任意のCベクトルたちバンドル(束)に対して、任意のCフレームは任意のトリビアライジングオープンサブセット(開部分集合)上方に、そしてその上方のみに存在するという命題によって。

ステップ2:

uUの周りに、以下を満たす任意のチャート(UuM,ϕu)、つまり、UuU、を取る。

Uuはトリビアライジングオープンサブセット(開部分集合)である、任意のCトリビアライジングオープンサブセット(開部分集合)の任意のオープンサブセット(開部分集合)はCトリビアライジングオープンサブセット(開部分集合)であるという命題によって。

したがって、Uuはチャートトリビアライジングオープンサブセット(開部分集合)である。

ステップ3:

Uu上方のトリビアライゼーションで任意のCベクトルたちバンドル(束)に対して、任意のCフレームは任意のトリビアライジングオープンサブセット(開部分集合)上方に、そしてその上方のみに存在するという命題内に引用されているものΦ:π1(Uu)Uu×Rkbjsj(p)(p,b1,b2,...,bk)として取ろう。

ステップ4:

任意のCベクトルたちバンドル(束)に対して、任意のチャートトリビアライジングオープンサブセット(開部分集合)のトリビアライゼーションはカノニカル(正典)チャートマップ(写像)をインデュース(誘導)するという命題による当該トリビアライゼーションによってカノニカル(正典)にインデュースト(誘導された)チャートϕu~: :π1(Uu)Uu×RkRd+k または Hd+k,v(π2(Φu(v)),ϕu(π(v)))、を取ろう、それは、本命題によって主張されているチャートに他ならない。


参考資料


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