錐度量空間中一類(lèi)壓縮映射不動(dòng)點(diǎn)定理.

胡松林, 姚小杰, 胡長(zhǎng)松

(湖北師范學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 湖北 黃石 435002)

0 引言

在非線(xiàn)性分析中Banach 壓縮原理是非常有用的一個(gè)結(jié)果，在度量空間我們可以如下表示.

定理1 設(shè)(X，d) 為一個(gè)完備的度量空間，T:X→X是一個(gè)壓縮映射，即存在0 ≤r< 1 使得

d(Tx，Ty) ≤ rd(x，y) ?x,y∈X

(1)

則T在X中存在一個(gè)唯一的不動(dòng)點(diǎn).

定理1在解決非線(xiàn)性方程中有很多的應(yīng)用， 它的推廣分為直接推廣和局部的推廣.近幾年Tomonari Suzuki[1～3][5～6]推廣了Banach 壓縮原理發(fā)現(xiàn)了一類(lèi)新的壓縮條件下的不動(dòng)點(diǎn)定理, 另外在[7]中是一些最近的公共不動(dòng)點(diǎn)定理， 最近Misako Kikkawaa 和Tomonari Suzuki 也證明了下面一個(gè)不動(dòng)點(diǎn)定理.

(2)

設(shè)(X,d) 為一個(gè)完備的度量空間，T定義在X上的映射滿(mǎn)足下述條件。

假設(shè)存在r∈ [0,1) 使得

θ(r)d(x,Tx) ≤d(x,y) ?d(Tx,Ty) ≤rd(x,y)

(3)

對(duì)任意的x,y∈X, 則T存在一個(gè)唯一個(gè)不動(dòng)點(diǎn).

在這篇文章中將定理2 推廣到了錐度量空間中，證明了一個(gè)新的不動(dòng)點(diǎn)定理.

1 預(yù)備知識(shí)

錐度量空間是在參考文獻(xiàn)[4]中引進(jìn)的，作者描述了錐度量空間中收斂與完備性，并且在錐度量空間中證明了一些壓縮映射的不動(dòng)點(diǎn)定理.最近在[7～8]中是錐度量空間中的公共不動(dòng)點(diǎn)定理.下面給出[4]中的一些錐度量空間的定義：

令E為實(shí)Banach空間，當(dāng)且僅當(dāng)滿(mǎn)足下列條件，E上的子集P稱(chēng)為錐：

a)P是非空閉集；

b)a,b∈R;a,b≥0,由x,y∈P可以推出ax+by∈P;

c)P∩(-P) = 0.

我們?cè)阱FP中定義一個(gè)半序，用符號(hào)≤表示，x≤y指y-x∈P.x0使得x,y∈E.

0 ≤x≤y等價(jià)于‖x‖ ≤K‖y‖

滿(mǎn)足不等式的最小正數(shù)稱(chēng)為錐P的正規(guī)常數(shù)，顯然K≥1.由[4]知道在Banach空間中非空的正規(guī)錐是存在的.關(guān)于錐度量空間的定義和數(shù)列收斂性詳細(xì)見(jiàn)參考文獻(xiàn)[4].

2 主要結(jié)論

在證明我們的主要結(jié)果時(shí)將用到下面的引理.

必有一個(gè)成立.

證 反證法，假設(shè)

則

‖d(x,Tx)‖ ≤K‖d(x,y)‖ +K‖d(y,Tx)‖<

矛盾.完成引理證明.

以下就是我們的主要結(jié)論。

定理3 由(2) 定義一個(gè)不增的函數(shù)θ.設(shè)(X,d) 為完備的錐度量空間，正規(guī)錐P的常數(shù)為K.T定義在X上的映射,假設(shè)存在r∈ [0,1) 使得

θ(r) ‖d(x,Tx)‖ ≤K‖d(x,y)‖

(4)

對(duì)任意的x,y∈X, 則T存在唯一不動(dòng)點(diǎn).

證 因?yàn)棣?r) ≤ 1,θ(r) ‖d(x,Tx)‖ ≤K‖d(x,Tx)‖.因此由假設(shè)條件可得對(duì)于任意的x∈X有

(5)

任取u∈X.令u0=u,un=Tnu, ?n∈N.則有un+1=Tun.通過(guò)(2)式, 我們有

下面我們來(lái)證明un是cauchy 列,由三角不等式，當(dāng)n>m有

d(un,um) ≤d(un,un-1) +d(un-1,un-2) + … +d(um+1,um)

(6)

又因?yàn)镻是正規(guī)的.所以

‖d(un,um)‖ ≤K‖d(un,un-.1) +d(un-1,un-2) + … +d(um+1,um)‖≤

K(‖d(un,un-1)‖ + ‖d(un-1,un-2)‖ + … + ‖d(um+1,um)‖)

由(6) 式

下證

(7)

θ(r) ‖d(un,Tun)‖ ≤ ‖d(un,Tun)‖= ‖d(un,un+1)‖≤

K‖d(un,z)‖ +K‖d(z,un+1)‖≤

‖d(x,z)‖ -K‖d(un,z)‖ ≤K‖d(un,x)‖

則由假設(shè)有

‖d(Tun,Tx)‖ ≤

因此對(duì)于?x∈X,Tx≠z有

下證z是T的不動(dòng)點(diǎn), 我們分以下3 種情況討論:

第一種情況， 有反證法假設(shè)Tz≠z, 如果Tz=z, 完成定理證明.

假設(shè)Tkz≠z，?k≥ 2.如果Tkz=z, 由‖d(z,Tz)‖ =d(Tkz,Tk+1z) ≤rk‖d(z,Tz)‖矛盾.特別有TTTz≠z,TT≠z.因此有TTTz≠z,TT≠z和Tz=Tz≠z.利用(5)(7) 式, 可得

(8)

θ(r)d(TTz,TTTz) ≤d(TTz,z)

(9)

如果不成立即有K‖d(TTz,z)‖ < ‖d(TTz,TTTz)‖, 利用(5) 式有

‖d(Tz,z)‖ ≤K‖d(Tz,TTz)‖ +K‖d(TTz,z)‖<

K‖d(Tz,TTz)‖ + ‖d(TTz,TTTz)‖≤

所以矛盾.因此(9) 式成立.因此由條件假設(shè)有

(10)

利用同樣的方法我們有

(11)

利用(8),(11), 有

‖d(Tz,z)‖≤K‖d(Tz,TTTTz)‖ +K‖d(TTTTz,z)‖≤

即矛盾， 所以Tz=z.

θ(r)d(Tk+1z,Tk+2z) ≤d(Tk+1z,z) ?k∈N

(12)

利用用歸納假設(shè)法, 當(dāng)k=1.如果(12) 式不成立, 由(5)式有

d(z,Tz) ≤d(z,TTz) +d(TTz,Tz)<

θ(r)d(TTz,TTTz) +d(TTz,Tz)≤

(θ(r)r2+r)d(z,Tz) ≤d(z,Tz)

矛盾，所以(12) 成立, 因此(10) 成立.假設(shè)k≤L成立, 由條件假設(shè)有,

d(Tk+2z,Tz) ≤rd(z,Tz) ?k≤L

下面我們證明k=L+1也成立.如果(12) 式不成立, 由(7) 式有,

‖d(z,Tz)‖ ≤K‖d(z,TTz)‖ +K‖d(TTz,Tz)‖<

θ(r) ‖d(TTz,TTTz)‖ +K‖d(TTz,Tz)‖≤

矛盾，所以(12) 成立, 因?yàn)?10)式成立，利用歸納法假設(shè)k≤L成立,

證明k=L+1成立，如果不成立由(5)

‖d(z,Tz)‖ ≤K‖d(z,TL+2z)‖ +K‖d(TL+2z,Tz)‖ <

θ(r)d(TL+2z,TL+3z) +Kd(TL+2z,Tz)‖ ≤

(13)

利用(8)(13) 有

d(Tz,z) ≤K‖d(Tz,Tk+1z) ‖+K‖d(Tk+1z,z) ≤

所以

矛盾，所以Tz=z.

‖d(z,Tz)‖ ≤K‖d(z,TTz)‖ +K‖d(TTz,Tz)‖≤r‖d(z,Tz)‖

所以Tz=z.

因此在三種情況下z都是T的不動(dòng)點(diǎn).

下面證明不動(dòng)點(diǎn)是唯一的.假設(shè)y是T的不動(dòng)點(diǎn).因?yàn)棣?r) ‖d(z,Tz)‖=0≤K‖d(z,y)‖由條件假設(shè)有

‖d(z,y)‖=‖d(Tz,Ty)‖≤

因此z=y.完成定理證明.

參考文獻(xiàn):

[1]Kikkawa M,Suzuki T.Three fixed point theorems for generalized contractions with constants in complete metric spaces[J].Nonlinear Analysis,2008,69:2942～2949.

[2]Suzuki T.Characterizations of fixed points of nonexpansive mappings[J]． J Math Sci, 2005,1723～1735.

[3]Suzuki T.A new type of fixed point theorem in metric spaces[J]．Nonlinear Analysis,2009,doi:10.1016/j.na.2009.04.017.

[4]Huang L G, Zhang X.Cone metric spaces and fixed point theorems of contractive mappings[J]． J Math Anal Appl,2007,332 (2) :1468～1476.

[5]Suzuki T.Generalized distance and existence theorems in complete metric spaces[J]． J Math Anal Appl,2001,253:440～458.

[6]Suzuki T.Contractive mappings are Kannan mappings, and Kannan mappings are contractive mappings in some sense[J]．Commentationes Mathematica，Prace Matematyczne, 2005,45(1):45～58.

[7]Abbas M, Jungck G.Common fixed point results for noncommuting mappings without continuity in cone metric spaces[J]．J Math Anal Appl,2008,341:416～420.

[8]Rezapour Sh, Hamlbarani R.Some notes on the paper "Cone metric spaces and fixed point theorems of contractive mappings"[J]．J Math Anal Appl,2008,345:719～724.