2024年11月24日日曜日

873: エンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、に関するリストリクテッド(制限された)Cベクトルたちバンドル(束)はエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付きである

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

エンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、に関するリストリクテッド(制限された)Cベクトルたちバンドル(束)はエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付きであることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のCベクトルたちバンドル(束)に対して、任意のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、に関するリストリクテッド(制限された)Cベクトルたちバンドル(束)はエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付きであるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
(E,M,π): { 全ての C ベクトルたちバンドル(束)たち }
M: {M の全ての d -ディメンショナル(次元)エンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、たち }
(E,M,π): = 当該リストリクテッド(制限された) C ベクトルたちバンドル(束) 
//

ステートメント(言明)たち:
E{E の全てのエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、たち }
//


2: 注


EEのイマーストサブマニフォールド(部分多様体)、バウンダリー(境界)付き、であることを既に私たちは知っている、リストリクテッド(制限された)Cベクトルたちバンドル(束)の定義の"注"によって。

定義上は、Eは、あるエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、Mに対して、Eのエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、である必要はない、しかし、実のところ、EEのエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、である、それが、私たちが証明しようとすることである。


3: 証明


全体戦略: ステップ1: EEのサブスペース(部分空間)トポロジーを持つことを見る、任意の周囲トポロジカルスペース(空間)内に包含された任意のトポロジカルスペース(空間)に対して、もしも、当該スペース(空間)が、周囲スペース(空間)的にローカルに当該周囲スペース(空間)のトポロジカルサブスペース(部分空間)である場合、当該スペース(空間)は当該周囲スペース(空間)のトポロジカルサブスペース(部分空間)であるという命題によって; ステップ2: インクルージョン(封入)ι:EECエンベディング(埋め込み)であることを見る。

ステップ1:

EEのサブスペース(部分空間)トポロジーを持つことを見よう。

私たちは、任意の周囲トポロジカルスペース(空間)内に包含された任意のトポロジカルスペース(空間)に対して、もしも、当該スペース(空間)が、周囲スペース(空間)的にローカルに当該周囲スペース(空間)のトポロジカルサブスペース(部分空間)である場合、当該スペース(空間)は当該周囲スペース(空間)のトポロジカルサブスペース(部分空間)であるという命題を適用する。

mMは任意のものとしよう。

mの周りにMに対する以下を満たすトリビアライジングオープンサブセット(開部分集合)UmM、つまり、Um:=UmMMに対するチャートドメイン(定義域)である、がある、任意のCマニフォールド(多様体)、その任意のバウンダリー(境界)付き、エンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、に対して、当該サブマニフォールド(部分多様体)、バウンダリー(境界)付き、上の各ポイントの周りに、当該マニフォールド(多様体)、バウンダリー(境界)付き、に対するあるトリビアライジングオープンサブセット(開部分集合)で当該サブマニフォールド(部分多様体)、バウンダリー(境界)付き、とのインターセクション(共通集合)が当該サブマニフォールド(部分多様体)、バウンダリー(境界)付き、に対するチャートドメイン(定義域)であるものがあるという命題によって。当該チャートは(UmM,ϕm)であるとしよう。

対応するUβたちおよび(UβM,ϕβ)たちは、リストリクテッド(制限された)Cベクトルたちバンドル(束)の定義の中でEのトポロジーおよびアトラスを構成するために使われるものたちとして妥当である: UβMのエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、である、Cマニフォールド(多様体)、バウンダリー(境界)付き、のオープン(開)サブマニフォールド(部分多様体)、バウンダリー(境界)付き、の定義に対する"注"によって、そして、UβMのエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、である、任意のCマニフォールド(多様体)、バウンダリー付き、に対して、任意のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、の任意のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、は、当該マニフォールド(多様体)、バウンダリー付き、のエンベッデッドサブマニフォールド(部分多様体)、バウンダリー(境界)付き、であるという命題によって。{(UβM,ϕβ)|βB}および{Uβ|βB}および{Φβ:π1(Uβ)Uβ×Rk|βB}を取る、それに応じて。

E上の各ポイントに対して、任意の周囲トポロジカルスペース(空間)内に包含された任意のトポロジカルスペース(空間)に対して、もしも、当該スペース(空間)が、周囲スペース(空間)的にローカルに当該周囲スペース(空間)のトポロジカルサブスペース(部分空間)である場合、当該スペース(空間)は当該周囲スペース(空間)のトポロジカルサブスペース(部分空間)であるという命題に対する当該ポイントのE上におけるオープンネイバーフッド(開近傍)をπ1(Uβ)として取ろう。

π1(Uβ)は本当に当該定理が要求するものであることを見よう。

π1(Uβ)は本当に、当該ポイントのE上におけるオープンネイバーフッド(開近傍)である、なぜなら、当該ポイントはその中に包含されており、UβM上でオープン(開)であり、πはコンティニュアス(連続)である。

π1(Uβ)EEのオープンサブセット(開部分集合)であるか?

はい、なぜなら、π1(Uβ)E=π1(Uβ)π1(M)=π1(UβM)任意のマップ(写像)に対して、任意の、セット(集合)たちのインターセクション(共通集合)、のマップ(写像)プリイメージ(前像)はそれらセット(集合)たちのマップ(写像)プリイメージ(前像)たちのインターセクション(共通集合)であるという命題によって、=π1(Uβ)、それはE上でオープン(開)である、なぜなら、UβM上でオープン(開)であり、πはコンティニュアス(連続)である。

π1(Uβ)EE 、 E のサブスペース(部分空間)として は、π1(Uβ)Eπ1(Uβ) 、 π1(Uβ) のサブスペース(部分空間)として に等しいか?

π1(Uβ)EEは、π1(Uβ)に他ならず、Φβ:π1(Uβ)Uβ×Rkはホメオモーフィック(位相同形写像)である。

各サブセット(部分集合)Sπ1(Uβ)Eに対して、SE=Sπ1(Uβ)、なぜなら、Sπ1(Uβ)SEは明らかである一方で、各pSEに対して、pSπ1(Uβ)、それが含意するのは、π(p)=π(p)Uβ、しかし、π(p)Mでもある、したがって、π(p)UβM=Uβ、したがって、pπ1(Uβ)、そして、pSπ1(Uβ)、したがって、SESπ1(Uβ)

特に、π1(Uβ)E=π1(Uβ)π1(Uβ)

Φβ:π1(Uβ)Uβ×Rkはホメオモーフィック(位相同形写像)である、そして、Φβ|π1(Uβ)E:π1(Uβ)E=π1(Uβ)π1(Uβ)Φβ(π1(Uβ)π1(Uβ))=Φβ(π1(Uβ))=Φβ(π1(Uβ))=Uβ×RkUβ×Rkはホメオモーフィック(位相同形写像)である、任意のコンティヌアス(連続)マップ(写像)の、ドメイン(定義域)およびコドメイン(余域)についてのリストリクション(制限)はコンティヌアス(連続)であるという命題によって。注意として、それがホメオモーフィック(位相同形写像)であるのは、ドメイン(定義域)π1(Uβ)Eπ1(Uβ)のサブスペース(部分空間)とみなされ、コドメイン(余域)Uβ×RkUβ×Rkのサブスペース(部分空間)とみなされてのことである。

アイデンティティマップ(恒等写像)id:Uβ×RkUβ×RkUβ×Rkのことを考えよう。実のところ、Uβ×RkUβ×RkUβ×Rkのサブスペース(部分空間)とみなされたものは、Uβ×Rkに他ならない、なぜなら、MMのトポロジカルサブスペース(部分空間)である。

さて、π1(Uβ)EE=π1(Uβ)の各オープンサブセット(開部分集合)Uに対して、Φβ(U)Uβ×Rkはオープン(開)である; id(Φβ(U))Uβ×RkUβ×Rkはオープン(開)である; Φβ|π1(Uβ)E1(id(Φβ(U)))π1(Uβ)Eπ1(Uβ)はオープン(開)である。実のところ、そのΦβ|π1(Uβ)E1idΦβはアイデンティティマップ(恒等写像)である、なぜなら、ΦβΦβのリストリクション(制限)である。それが示すのは、π1(Uβ)EEの各オープンサブセット(開部分集合)はπ1(Uβ)Eπ1(Uβ)上でオープン(開)であるということ。

同様に、π1(Uβ)Eπ1(Uβ)の各オープンサブセット(開部分集合)Uに対して、Φβ|π1(Uβ)E(U)Uβ×RkUβ×Rkはオープン(開)である; id1(Φβ|π1(Uβ)E(U))Uβ×Rkはオープン(開)である; Φβ1(id1(Φβ|π1(Uβ)E(U))π1(Uβ)EEはオープン(開)である。実のところ、そのΦβ1id1Φβ|π1(Uβ)Eはアイデンティティマップ(恒等写像)である、なぜなら、ΦβΦβのリストリクション(制限)である。それが示すのは、π1(Uβ)Eπ1(Uβ)の各オープンサブセット(開部分集合)はπ1(Uβ)EE上でオープン(開)であるということ。

したがって、はい、π1(Uβ)EE 、 E のサブスペース(部分空間)として は、π1(Uβ)Eπ1(Uβ) 、 π1(Uβ) のサブスペース(部分空間)として に等しい。

したがって、EEのトポロジカルサブスペース(部分空間)である。

ステップ2:

インクルージョン(封入)ι:EECエンベディング(埋め込み)であることを見よう。

ιCイマージョンであることを私たちは既に知っている、なぜなら、EEのイマーストサブマニフォールド(部分多様体)、バウンダリー(境界)付き、である。

コドメイン(余域)リストリクション(制限)ι:Eι(E)Eはホメオモーフィック(位相同形写像)である、なぜなら、EEのサブスペース(部分空間)トポロジーを持つ、ステップ1によって、そして、ιはアイデンティティマップ(写像)である。

したがって、ιCエンベディング(埋め込み)である。


参考資料


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