[分析] brower不動點定理的疑問

看板Math作者 (tsai)時間13年前 (2012/03/09 21:05), 編輯推噓1(109)
留言10則, 4人參與, 最新討論串1/1
大家好 不好意思我想請教一下 Brouwer fixed-point theorem 網路上查到說 任意把歐氏空間上的closed ball 映到自身的連續函數皆有不動點 假如現在我有個連續函數 他的定義域是closed ball,值域卻不是自身 而是自身的子集合 例如 f(x) = x/2  x 屬於 [0,1] [0,1]是閉集合沒問題,但它的值域是[0 , 0.5] 包含於[0,1]而不是[0,1]本身 這個例子裡 0 是不動點 ( f(0) = 0/2 = 0 ) 那任意這樣的連續函數是否也一定有不動點? 希望有高手解惑,謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.24.19

03/09 21:06, , 1F
03/09 21:06, 1F

03/09 21:08, , 2F
啊,高維度的可能有問題,不過一維是對的
03/09 21:08, 2F
謝謝你的回應,很不巧我要處理的是高維度的情況(其實也才二維啦) 不知道有沒有人知道這件事在二維成不成立,謝謝 ※ 編輯: imyme 來自: 140.112.24.19 (03/09 21:13)

03/09 21:34, , 3F
我如果沒理解錯這定理的話只要 codomain 相同即可
03/09 21:34, 3F

03/09 21:34, , 4F
值域應該可以不必是完全相同的集合
03/09 21:34, 4F

03/09 22:06, , 5F
當然對,不管多少維(有限維).
03/09 22:06, 5F
謝謝你們的意見,我是個外行人 只是論文需要用到才想了解,有你們的意見我安心不少 ※ 編輯: imyme 來自: 140.112.24.19 (03/09 22:47)

03/14 15:36, , 6F
只要是 convex compact subset 就可以了
03/14 15:36, 6F

03/14 15:37, , 7F
而且在無限維時,Schauder fix point theorem 指出
03/14 15:37, 7F

03/14 15:38, , 8F
K: convex compact,f(K)包含在 K 內,則 f 有不動點
03/14 15:38, 8F

03/14 15:38, , 9F
要注意的是無線維時, close ball 並非 compact
03/14 15:38, 9F

03/14 15:39, , 10F
所以上面的不動點定理不成立
03/14 15:39, 10F
文章代碼(AID): #1FMW07kv (Math)