2024年7月28日日曜日

708: バウンダリー(境界)付きCマニフォールド(多様体)のサブセット(部分集合)からCマニフォールド(多様体)のサブセット(部分集合)中へのマップ(写像)でポイントにおいてCkであるものに対して、ポイントのオープンネイバーフッド(開近傍)ドメイン(定義域)に関するCkエクステンション(拡張)がある

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

バウンダリー(境界)付きCマニフォールド(多様体)のサブセット(部分集合)からCマニフォールド(多様体)のサブセット(部分集合)中へのマップ(写像)でポイントにおいてCkであるものに対して、ポイントのオープンネイバーフッド(開近傍)ドメイン(定義域)に関するCkエクステンション(拡張)があることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のバウンダリー(境界)付きCマニフォールド(多様体)の任意のサブセット(部分集合)から任意のCマニフォールド(多様体)の任意のサブセット(部分集合)中への任意のマップ(写像)で任意のポイントにおいてCkであるものに対して、当該ポイントのあるオープンネイバーフッド(開近傍)ドメイン(定義域)に関するあるCkエクステンション(拡張)があるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
M1: { 全てのバウンダリー(境界)付き d1 ディメンショナル(次元) C マニフォールド(多様体)たち }
M2: { 全てのバウンダリー(境界)付き d2 ディメンショナル(次元) C マニフォールド(多様体)たち }
S1: M1
S2: M2
p: S1
f: :S1S2, { 全ての  マップ(写像)たちで p において Ck であるものたち }、ここで、k(N{0}){}
//

ステートメント(言明)たち:
Up{p の M1 上における全てのオープンネイバーフッド(開近傍)たち },Uf(p){f(p) の M2 上の全てのオープンネイバーフッド(開近傍)たち },f~:UpUf(p){ 全ての Ck マップ(写像)たち }(f~|UpS1=f|UpS1)
//


2: 自然言語記述


任意のバウンダリー(境界)付きd1ディメンショナル(次元)Cマニフォールド(多様体)M1、任意のd2ディメンショナル(次元)Cマニフォールド(多様体)M2、任意のサブセット(部分集合)S1M1、任意のサブセット(部分集合)S2M2、任意のポイントpS1、任意のマップ(写像)でpにおいてCkであるもの、ここで、k(N{0}){}f:S1S2に対して、pのあるオープンネイバーフッド(開近傍)UpM1f(p)のあるオープンネイバーフッド(開近傍)Uf(p)M2、以下を満たすあるCkマップ(写像)f~:UpUf(p)、つまり、f~|UpS1=f|UpS1、がある。


3: 注


M2はバウンダリー(境界)無しである、それは本命題のために必要である、それが、本命題の結論が、'バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてCkなもの、ここで、k0を除外しを含む'の定義として採用できない理由である。


4: 証明


全体戦略: Ck性の定義は、M1上のあるチャートがおよびM2上のあるチャートおよびコーディネート(座標)たちファンクション(関数)のあるCkエクステンション(拡張)fがあるという問題であるが、f~fに基づいて構成される、しかし、そのためには、当該チャートたちは特別に選ばれる必要がある; ステップ1: pの周りのあるチャート(UpM1,ϕp)f(p)の周りのあるチャート(Uf(p)M2,ϕf(p))、コーディネート(座標)たちファンクション(関数)のあるCkエクステンション(拡張)f:Uϕp(p)Rd2を取る、バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてCkなもの、ここで、k0を除外しを含む、の定義によって、ϕf(p)(Uf(p))=Rd2およびϕp(Up)Uϕp(p)であるという条件たちを持って; ステップ2: Up:=Upおよびf~:UpUf(p):=ϕf(p)1fϕpと定義する; ステップ3: f~は必要な条件たちを満足することを見る。

ステップ1:

以下を満たすあるチャート(Uf(p)M2,ϕf(p))、つまり、ϕf(p)(Uf(p))=Rd2、がある、任意のバウンダリー(境界)付きCマニフォールド(多様体)に対して、任意のインテリア(内部)ポイントはレンジ(値域)がユークリディアンスペース(空間)全体であるあるチャートを持ち、任意のバウンダリー(境界)ポイントはレンジ(値域)がハーフ(半)ユークリディアンスペース(空間)全体であるあるチャートを持つという命題によって。

Uf(p)S2f(p)S2上のオープンネイバーフッド(開近傍)であるが、fpにおいてコンティニュアス(連続)である、バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてCkなもの、ここで、k0を除外しを含む、の定義に対する"注"内に記述されている通り、ので、pの以下を満たすあるオープンネイバーフッド(開近傍)UpS1S1、つまり、f(UpS1)Uf(p)S2Uf(p)、がある。以下を満たすあるチャート(UpM1,ϕp)、つまり、UpUp、がある。f(UpS1)f(UpS1)Uf(p)

任意のバウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間の任意のマップ(写像)で任意のポイントにおいてCkであるもの、ここで、k0を除外しを含む、に対して、当該ポイント周りのドメイン(定義域)チャートと対応するポイント周りのコドメイン(余域)チャートの任意のペアでドメイン(定義域)チャートとドメイン(定義域)のインターセクション(共通集合)がコドメイン(余域)チャートの中へマップされるものは定義の条件を満たすという命題によって、(UpM1,ϕp)(Uf(p)M2,ϕf(p))のペアは当該定義の条件を満たす。

さらに、Upを、ϕp(Up)Uϕp(p)であるように取ろう、バウンダリー(境界)付きCマニフォールド(多様体)たちの任意のサブセット(部分集合)たち間のマップ(写像)でポイントにおいてCkなもの、ここで、k0を除外しを含む、の定義内に記述されているとおり。

これで、私たちは、当該コーディネート(座標)たちファンクション(関数)のあるCkエクステンション(拡張)f:Uϕp(p)Rd2を持つ。

ステップ2:

Up:=Upおよびf~:UpUf(p):=ϕf(p)1fϕpを定義しよう、それは妥当である、なぜなら。ϕpのドメイン(定義域)はUpである、ϕpのコドメイン(余域)ϕp(Up)fのドメイン(定義域)Uϕp(p)内に包含されている、fのコドメイン(余域)Rd2ϕf(p)1のドメイン(定義域)Rd2内に包含されている、ϕf(p)1のコドメイン(余域)はUf(p)である。

ステップ3:

f~Ckマップ(写像)であることを見よう。

pUpに対して、チャートたち(UpM1,ϕp)および(Uf(p)M2,ϕf(p))を取ろう。

f~(UpUp)Uf(p)

ϕf(p)f~ϕp1:ϕp(UpUp)Rd2 is =ϕf(p)ϕf(p)1fϕpϕp1=f、それはCkである。

f~|UpS1=f|UpS1であることを見よう。

f~|UpS1=ϕf(p)1fϕp|UpS1=ϕf(p)1ϕf(p)fϕp1|ϕp(UpS1)ϕp|UpS1、なぜなら、ff|ϕp(UpS1)=ϕf(p)fϕp1|ϕp(UpS1)を満足するように選ばれている、したがって、=f|UpS1


参考資料


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