[分析] Inverse Function Theorem題目

看板Math作者 (那個人)時間12年前 (2013/10/15 13:25), 編輯推噓1(1013)
留言14則, 6人參與, 6年前最新討論串1/1
Let f: R^n → R^n be of class C^1. Suppose that there is a number c > 0 such that | f(x) - f(y) | >= c|x - y| for all x,y in R^n. Show that f is 1-to-1, Jf(x)≠0 for all x in R^n, and f(R^n)=R^n. 只會證明f是1-to-1的 還有每個partial derivative都非0 但之後要怎麼下手就不會了 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 143.89.229.166

10/15 14:07, , 1F
去說明 Range 既open又close且connected
10/15 14:07, 1F

10/16 01:09, , 2F

10/16 19:04, , 3F
謝謝指教 我再想一下
10/16 19:04, 3F

10/16 20:15, , 4F
我叫那個關鍵條件"│f(x)-f(y)│...."為◎
10/16 20:15, 4F

10/16 20:15, , 5F
(1) 1-1用◎即可 (2)寫出微分定義 反證法 用◎即可
10/16 20:15, 5F

10/16 20:16, , 6F
(3)因為R^n是連通集 所以只要證f(R^n)既開且閉即可
10/16 20:16, 6F

10/16 20:17, , 7F
開:反函數定理 Jf(x)=/=0 for all x,所以是開映射
10/16 20:17, 7F

10/16 20:18, , 8F
閉:直證,令L是Imf的一個聚點,想要證L=f(a) some a
10/16 20:18, 8F

10/16 20:18, , 9F
根據定義,你會找到f(x_n)收斂到L
10/16 20:18, 9F

10/16 20:18, , 10F
注意到f(x_n)收斂 所以是歌西列,所以用◎的話
10/16 20:18, 10F

10/16 20:19, , 11F
你會得到x_n也是歌西列,最後因為R^n有Bolzano可用
10/16 20:19, 11F

10/16 20:19, , 12F
所以歌西列→有界→存在收斂子列 done
10/16 20:19, 12F

01/02 15:34, 7年前 , 13F
閉:直證,令L是Imf https://noxiv.com
01/02 15:34, 13F

07/07 11:32, 6年前 , 14F
我叫那個關鍵條件"│f https://noxiv.com
07/07 11:32, 14F
文章代碼(AID): #1IND7JCn (Math)