一個關於不動點的問題?

如圖


謝邀:

1。唯一性:設有兩個不動點x_1,x_2 ,那麼d(x_1,x_2)=d(f(x_1),f(x_2))<d(x_1,x_2) 。所以d(x_1,x_2) 不能為任何非零的正數。所以,x_1,x_2 相等。

2。 當S 是緊的時候,我們來證明存在性。

g(x)=d(x,f(x)) ,這個函數顯然是連續的,那麼我們選取最小值x_0 。那麼,我們發現

d(f(x_0),f(f(x_0))) 嚴格小於d(x_0,f(x_0))=g(x_0)。這和x_0 矛盾,除非g(x_0)=0. 顯然,這個時候x_0=f(x_0)

S=(0,1), f(x)=frac{1}{2}x^2 ,根據中值定理我們發現這個函數符合條件,但是它沒有不動點。同時,如果我們我們設S=[0,1] ,這個映射在這個空間上不是嚴格壓縮的,因為df=xdx 。可以發現它不是嚴格壓縮的,因為總可以找到靠近1的點x,y 使得|f(x)-f(y)|/|x-y|	o 1

--------

回答匆忙,也許有問題,有問題的話,我晚上再回答吧。


推薦閱讀:

hahn banach延拓定理里的一小步?
為什麼泛函分析里很少見到範疇論?
為什麼這裡要證{Xn}是一個基本列從而有極限?
請問能形象描述並區分歐式空間希爾伯特空間內積空間以及賦范空間嗎?
為什麼Banach不動點定理需要壓縮映射,而Brouwer不動點定理只需要連續函數(未涉壓縮)就行了?

TAG:數學分析 | 泛函分析 |