709: バウンダリー(境界)付きマニフォールド(多様体)のサブセット(部分集合)からバウンダリー(境界)付きマニフォールド(多様体)のサブセット(部分集合)の中へのマップ(写像)に対して、マップ(写像)はローカルディフェオモーフィズムである、もしも、各ドメインポイントおよびそのイメージ(像)に対して、チャートたちでそれらによってコーディネート(座標)たちファンクション(関数)がディフェオモーフィズムであるものがある場合、そしてその場合に限って
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
バウンダリー(境界)付きマニフォールド(多様体)のサブセット(部分集合)からバウンダリー(境界)付きマニフォールド(多様体)のサブセット(部分集合)の中へのマップ(写像)に対して、マップ(写像)はローカルディフェオモーフィズムである、もしも、各ドメインポイントおよびそのイメージ(像)に対して、チャートたちでそれらによってコーディネート(座標)たちファンクション(関数)がディフェオモーフィズムであるものがある場合、そしてその場合に限って、ことの記述/証明
話題
About:
マニフォールド(多様体)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のバウンダリー(境界)付きマニフォールド(多様体)の任意のサブセット(部分集合)から任意のバウンダリー(境界)付きマニフォールド(多様体)の任意のサブセット(部分集合)の中への任意のマップ(写像)に対して、当該マップ(写像)はローカルディフェオモーフィズムである、もしも、各ドメインポイントおよびそのイメージ(像)に対して、チャートたちでそれらによってコーディネート(座標)たちファンクション(関数)がディフェオモーフィズムであるものがある場合、そしてその場合に限って、という命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
:
:
:
:
:
//
ステートメント(言明)たち:
//
2: 自然言語記述
任意のバウンダリー(境界)付きマニフォールド(多様体)、任意のバウンダリー(境界)付きマニフォールド(多様体)、任意のサブセット(部分集合)、任意のサブセット(部分集合)、任意のマップ(写像)に対して、はローカルディフェオモーフィズムである、もしも、各に対して、以下を満たすあるチャートたちおよび、つまり、コーディネート(座標)たちファンクション(関数)がディフェオモーフィズムである、がある場合、そしてその場合に限って。
3: 証明
全体戦略: ステップ1: はローカルにディフェオモーフィックであると仮定する; ステップ2: 各に対して、のあるオープンネイバーフッド(開近傍)およびのあるオープンネイバーフッド(開近傍)でローカルディフェオモーフィズムが保証するものを取る; ステップ3: あるチャートおよびあるチャートでにおけるマップ(写像)の定義が保証するものを取る; ステップ4: チャートを定義し、である、の上のあるオープンネイバーフッド(開近傍)U'''_{f (p)}に対して、ことを見る; ステップ5: チャートを定義する; ステップ6: and が当該コンディションたちを満たすことを見る; ステップ7: 当該コンディションたちを満たすあるチャートたちおよびがあると仮定する; ステップ8: およびはローカルディフェオモーフィズムの定義が要求するオープンネイバーフッド(開近傍)たちであることを見る。
ステップ1:
はローカルにディフェオモーフィックであると仮定しよう。
ステップ2:
各に対して、,のあるオープンネイバーフッド(開近傍)およびのあるオープンネイバーフッド(開近傍)でローカルディフェオモーフィズムが保証するものを取ろう。それが意味するのは、はディフェオモーフィックであるということ。
ステップ3:
特に、はにおいてである、したがって、あるチャートおよびあるチャートでにおけるマップ(写像)の定義が保証するものを取ろう。それが意味するのは、およびはにおいてであるということ。
ステップ4:
チャートを定義しよう。
はのオープンサブセット(開部分集合)である、サブスペース(部分空間)トポロジーの定義によって、そして、はホメオモーフィック(位相同形写像)であるから、はのオープンサブセット(開部分集合)である、したがって、、のあるオープンネイバーフッド(開近傍)に対して、サブスペース(部分空間)トポロジーの定義によって。
、なぜなら、、したがって、。
ステップ5:
チャートを定義しよう。
ステップ6:
およびが本命題の条件たちを満たすことを見よう。
はバイジェクティブ(全単射)である、なぜなら、はバイジェクティブ(全単射)のリストリクション(制限)としてインジェクティブ(単射)であるところ、。
任意のバウンダリー(境界)付きマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間の任意のマップ(写像)で任意のポイントにおいてであるもの、ここで、はを除外しを含む、に対して、当該ポイント周りのドメイン(定義域)チャートと対応するポイント周りのコドメイン(余域)チャートの任意のペアでドメイン(定義域)チャートとドメイン(定義域)のインターセクション(共通集合)がコドメイン(余域)チャートの中へマップされるものは定義の条件を満たすという命題によって、およびペアは、に対する性の定義の条件を満たす。
したがって、はである。
同様に、およびペアはに対する性の定義の条件を満たす。
したがって、はである。
。
したがって、はディフェオモーフィズムである。
ステップ7:
なんらかのチャートたちおよびで本命題の条件たちを満たすものたちがある。
ステップ8:
はディフェオモーフィズムである、なぜなら、バイジェクティブ(全単射)であり、各に対して、チャートたちペアおよびがある、それらはおよびのチャートたちであり、がにおいてであることおよびがにおいてであることの条件を満たす。
したがって、はローカルにディフェオモーフィックである。
4: 注
がディフェオモーフィックであるというのは、それがディフェオモーフィックエクステンション(拡張)を持つことを必ずしも意味しない。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>