[過去ﾛｸﾞ] 大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
527: 2017/10/04(水)11:12 ID:ExmUup4E(1/2) AAS
松島与三「多様体入門」 の 逆関数の定理証明(旧版 p18-21) について教えてください。
φはQ(0; r) 上で1:1 の写像って時点で 逆関数 φ^{-1} の存在は保証されているのに、
なんで、φ^{-1}: s ∈ Q(0; r/2) → p ∈ Q(0; r)
を具体的に(極限操作で)構成する必要があるんでしょうか？
C^r 級を示すのだって、 φ(Q(0; r)) ⊃ Q(0; r/2) なんて条件いらなくないですか？
530: 2017/10/04(水)16:06 ID:ExmUup4E(2/2) AAS
>>528
[逆関数の定理]
φは R^n → R^n の C^k 級連続写像 (k≧1, 簡単のため φ(0) = 0 としてます)
ヤコビアン det(∂φi/∂xj) ≠ 0 (at x=0) の時、十分小さい近傍を取れば逆関数が存在し C^k 級である。
Q(0; r): 中心0, 幅r の超立方体で境界を含まない。
Q^{–}: Qの閉包、つまり境界を含む
本の証明では まず Q^{–}(0, r) 上で 1 : 1 なのを示してます。
>>529
Q^{–}(0, r) 上で 1 : 1 なら 当然 Q(0, r) 上 で 1 : 1 。
しかし、この時点では φ( Q(0, r) ) が開集合である保証はない。
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.977s*