董 建，唐金芳

（宜賓學(xué)院數(shù)學(xué)學(xué)院，四川宜賓644007）

完備度量空間中Banach原理的進(jìn)一步推廣

董 建，唐金芳

（宜賓學(xué)院數(shù)學(xué)學(xué)院，四川宜賓644007）

在完備度量空間中，將Banach壓縮原理進(jìn)行了進(jìn)一步推廣，所得結(jié)果削弱了Jleli等人設(shè)定的條件，增強(qiáng)了其所得的結(jié)論，同時(shí)簡(jiǎn)化了其證明過(guò)程.

完備度量空間；Banach壓縮原理；強(qiáng)收斂定理；不動(dòng)點(diǎn)

Banach壓縮原理是不動(dòng)點(diǎn)理論中一個(gè)最基本的結(jié)論，是1922年由波蘭數(shù)學(xué)家Banach[1]證明的壓縮映像的非常重要的結(jié)論.Banach壓縮原理為：

設(shè)(X,d)是完備的度量空間，T∶X→X是壓縮映像，即對(duì)任意的x,y∈X，d(Tx,Ty)≤λd(x,y)，其中λ∈(0,1)是常數(shù)，那么T有唯一不動(dòng)點(diǎn).

一些學(xué)者將Banach壓縮原理中的壓縮映像進(jìn)行了多種方式的推廣，從而得到了很有意義的結(jié)論[2-6].本文將進(jìn)一步對(duì)壓縮映像進(jìn)行推廣，得到更廣泛的結(jié)果.

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

設(shè)函數(shù)θ∶(0,+∞)→(1,+∞)滿足下列條件：

(Θ1)θ單調(diào)不減的并且連續(xù)；

(Θ2)對(duì)任意的序列當(dāng)且僅當(dāng)

(Θ3) 存 在 r∈(0,1)和 l∈(0 ,∞ ]使 得:

2014年，Jleli等[4]在完備的度量空間中證明了如下的不動(dòng)點(diǎn)定理.

定理1.1設(shè)(X,d)是完備的度量空間，T∶X→X為給定的映像.如果存在常數(shù)k∈(0,1)和滿足條件(Θ1)-(Θ3)的函數(shù)θ使得

那么T有唯一不動(dòng)點(diǎn).

Jleli等[5]還證明了如下的不動(dòng)點(diǎn)定理.

定理1.2設(shè)(X,d)是完備的度量空間，T∶X→X為給定的映像.如果存在常數(shù)k∈(0,1)和滿足條件(Θ1-Θ3)的函數(shù)θ使得

其中

那么T有唯一不動(dòng)點(diǎn).

受到上述文獻(xiàn)的啟發(fā)，本文在完備度量空間中對(duì)定理1.2的結(jié)論進(jìn)行推廣和改進(jìn)，具體是將函數(shù)θ滿足的三個(gè)條件減少到兩個(gè)條件，將M(x,y)推廣到5項(xiàng)的情況，同時(shí)簡(jiǎn)化了原定理的證明過(guò)程.

2 主要結(jié)果

定理設(shè)(X,d)是完備的度量空間，T∶X→X為給定的映像.如果存在常數(shù)k∈(0,1)和滿足條件(Θ1-Θ2)的函數(shù)θ使得

其中

那么T有唯一不動(dòng)點(diǎn)x*∈X,且對(duì)任意的x∈X,序列收斂于x*.

如果存在某個(gè)n(n∈N),使得d(xn,Txn)=0,那么結(jié)論顯然成立.因此，假設(shè)對(duì)任意的n，有

由(2.1)和(2.4)，對(duì)任意的n，有

其中

如果N(xn-1,xn)≤d(xn,Txn)，那么，不等式(2.5)變成:

注意到k∈(0,1),所以(2.7)式是一個(gè)矛盾不等式.因此由(2.6)式有

此時(shí)不等式(2.5)變成：

從而對(duì)n，有

在(2.8)中讓n→∞得

由條件(Θ2)得

（vii）大型群一致性分為三層，包括個(gè)體-子組的一致性IC，子組-群的一致性SC及個(gè)體-群的一致性GC（總體層一致性），分別定義如下：

第二步：證明序列{xn}是Cauchy序列.

假設(shè)序列{xn}不是Cauchy序列，那么存在ε＞0和自然數(shù)序列{p (n)}和{q (n)}使得

于是得到

由(2.9)得

另一方面，由(2.9)知存在自然數(shù)N，使得

下面證明：

假設(shè)該不等式不成立，那么存在m＞N使得

由(2.10)、(2.12)和(2.14)得

其中

在(2.15)中讓 n→∞ 得 θ(ε)≤[θ(ε)]k.注意到k∈(0,1),所以這是一個(gè)矛盾的結(jié)果.因此，序列是Cauchy序列.由(X,d)的完備性可假設(shè)序列收斂于x*∈X，即

第三步：證明x*是映像T的唯一不動(dòng)點(diǎn).

假設(shè)x*不是T的不動(dòng)點(diǎn)，那么

從而存在自然數(shù)N1，當(dāng)n＞N1時(shí)，d(Txn,Tx*)＞0.由(2.1)得

其中

由于k∈(0,1),所以這是矛盾的不等式.因此得到 N(xn,x*)≤d(x*,Tx*).在不等式(2.17)中，讓n→∞得:

由于k∈(0,1)，所以這也是矛盾的不等式.故x*是映像T的不動(dòng)點(diǎn).

下證x*是映像T的唯一不動(dòng)點(diǎn).

假設(shè)x*,y*是映像T的兩個(gè)不同的不動(dòng)點(diǎn)，即:

那么d(Tx*,Ty*)=d(x*,y*)＞0，從而

由(2.1)得

由于k∈(0,1)，所以這是矛盾的不等式.故x*是映像T的唯一不動(dòng)點(diǎn).

這就完成了定理的證明.

[1]BANACHB.Surlesoperationsdanslesensemblesabstraitsetleur applicationauxequationsintegrales[J].FundamentaMathematicae, 1922(3):133-181.

[2]SUZUKIT.Anewtypeoffixedpointtheoreminmetricspaces[J]. NonlinearAnal,2009，71(11):5313-5317.

[3]WARDOWSKID.Fixedpointsofanewtypeofcontractivemap?pingsincompletemetricspaces[J].FixedPointTheoryAppl,2012: 94.doi:10.1186/1687-1812-2012-94.

[4]JLELIM,SAMETB.AnewgeneralizationoftheBanachcontrac?tionprinciple[J].JournalofInequalitiesandApplications,2014:38. doi:10.1186/1029-242X-2014-38.

[5]JLELIM,KARAPINARE,SAMETB.Furthergeneralizationsof theBanachcontractionprinciple[J].JournalofInequalitiesandAp?plications,2014:439.doi:10.1186/1029-242X-2014-439.

[6]PIRIH,KUMAMP.SomefixedpointtheoremsconcerningF-con?tractionincompletemetricspaces[J].FixedPointTheoryandAp?plications,2014:210.doi:10.1186/1687-1812-2014-210.

【編校：許潔】

FurtherGeneralizationsofBanachContractionPrincipleinCompleteMetricSpaces

DONGJian,TANGJinfang
(SchoolofMathematics,YibinUniversity,Yibin,Sichuan644007,China)

Incompletemetricspaces,afurtherextensionoftheBanachcontractionprinciplewasgot.Theresultweakens thecondition,strengthenstheresultandsimplifiestheproofprocessofJlelietal.

completemetricspaces;Banachcontractionprinciple;strongconvergenttheorem;fixedpoint

O177.5

A

1671-5365(2015)12-0061-03

董建，唐金芳.完備度量空間中Banach原理的進(jìn)一步推廣[J].宜賓學(xué)院學(xué)報(bào),2015,15(12):61-63. DONGJ,TANGJF.FurtherGeneralizationsofBanachContractionPrincipleinCompleteMetricSpaces[J].JournalofYibin University,2015,15(12):61-63.

2015-05-22修回：2015-05-29

四川省科技廳科研項(xiàng)目(2015JY0165)；宜賓學(xué)院科研項(xiàng)目(2013YY06)

董建（1963-），男，副教授，研究方向?yàn)榉蔷€性分析

時(shí)間：2015-07-0110:15

http://www.cnki.net/kcms/detail/51.1630.Z.20150701.1015.004.html