趙美娜, 張樹(shù)義, 鄭曉迪
(1.渤海大學(xué)數(shù)理學(xué)院,遼寧 錦州 121013; 2.錦州師范高等專(zhuān)科學(xué)校,遼寧 錦州 121001)
?
2-距離空間中Fisher型映象的公共不動(dòng)點(diǎn)定理
趙美娜1, 張樹(shù)義1, 鄭曉迪2
(1.渤海大學(xué)數(shù)理學(xué)院,遼寧 錦州 121013; 2.錦州師范高等專(zhuān)科學(xué)校,遼寧 錦州 121001)
使用廣義擬弱交換概念, 在完備2-距離空間中研究了涉及四個(gè)映象的Fisher型壓縮映象公共不動(dòng)點(diǎn)的存在性和唯一性, 證明了新的公共不動(dòng)點(diǎn)定理, 從而改進(jìn)和推廣了現(xiàn)有文獻(xiàn)中的相應(yīng)結(jié)果.
完備2-距離空間;Fisher型映象;廣義擬弱交換;公共不動(dòng)點(diǎn)
Fisher[1]在完備度量空間(X,d)上研究了兩個(gè)自映象S和T滿足如下條件的不動(dòng)點(diǎn)的存在性:
曾文智[2]推廣了文[1]中的結(jié)果,研究了下列Fisher型映象S和T的不動(dòng)點(diǎn)的存在性:
張樹(shù)義[3]使用廣義擬弱交換概念,研究了下列涉及四個(gè)自映象的Fisher型映象的公共不動(dòng)點(diǎn)的存在性,從而推廣了文獻(xiàn)[1-2]中的結(jié)果:
近些年來(lái), 文[4-14]研究了一些非線性映象不動(dòng)點(diǎn)的存在性. 受上述工作啟發(fā),本文在2-距離空間中研究Fisher型映象不動(dòng)點(diǎn)的存在性, 所得結(jié)果改進(jìn)和推廣了有關(guān)文獻(xiàn)中的相應(yīng)結(jié)果.
定義1 (X,d)稱(chēng)為2-距離空間,如果X是一空間,d是定義在X×X×X上滿足下述條件的一非負(fù)實(shí)值函數(shù):
1)對(duì)每一對(duì)點(diǎn)a,b∈X,a≠b存在一點(diǎn)c∈X,使得d(a,b,c)≠0;
2)d(a,b,c)=0,當(dāng)a,b,c中至少有二元相等;
3)d(a,b,c)=d(a,c,b)=d(b,c,a);
4)d(a,b,c)≤d(a,b,x)+d(a,x,c)+d(x,b,c),其中x是X中的任一元.
條件4)稱(chēng)為三角形面積不等式.
2-距離空間(X,d)稱(chēng)為完備的,若X中的每一Cauchy列都是X中的收斂列.
定義3[4]2-距離空間(X,d)中自映象T和J稱(chēng)為廣義擬弱交換,如果存在φ:R+→R+=[0,+∞),在R+連續(xù)且φ(0)=0,使得對(duì)一切x,a∈X,有d(TJx,JTx,a)≤φ(d(Tx,Jx,a)).
有
cd(By,Sx,a)d(By,Ty,a)+λd(Ax,Ty,a)d(By,Sx,a),
(1)
證明 令y2n=Sx2n=Bx2n+1,y2n+1=Tx2n+1=Ax2n+2(n=0,1,2,…),由式(1)有
δd(Ax2n,Sx2n,a)d(Bx2n+1,Tx2n+1,a)+bd(Ax2n,Tx2n+1,a)d(Ax2n,Sx2n,a)+
cd(Bx2n+1,Sx2n,a)d(Bx2n+1,Tx2n+1,a)+λd(Ax2n,Tx2n+1,a)d(Bx2n+1,Sx2n,a)=
δd(y2n-1,y2n,a)d(y2n,y2n+1,a)+bd(y2n-1,y2n+1,a)d(y2n-1,y2n,a)=
(2)
在式(2)中取a=y2n-1,得d(y2n,y2n+1,y2n-1)=0,從而由三角形面積不等式和式(2)得
(3)
由于二次方程
有解
(4)
于是由式(3)與(4)得
d(y2n,y2n+1,a)≤βd(y2n-1,y2n,a),
(5)
同理可證
(6)
由式(5)與(6)有
(7)
由式(1)有
[d(SAx2n,Tx2n+1,a)]2≤ δd(A2x2n,SAx2n,a)d(Bx2n+1,Tx2n+1,a)+bd(A2x2n,Tx2n+1,a)d(A2x2n,SAx2n,a)+
cd(Bx2n+1,SAx2n,a)d(Bx2n+1,Tx2n+1,a)+λd(A2x2n,Tx2n+1,a)d(Bx2n+1,SAx2n,a).
令n→∞,得
從而Aξ=ξ.
由式(1)有
上式令n→∞,得TBx2n+1→Bξ.
由式(1)有
{d(Sx2n,TBx2n+1,a)}2≤ δd(Ax2n,Sx2n,a)d(B2x2n+1,TBx2n+1,a)+bd(Ax2n,TBx2n+1,a)d(Ax2n,Sx2n,a)+
令n→∞,得
從而B(niǎo)ξ=ξ. 由式(1)有
下證唯一性:假設(shè)u,v是S,T,A和B在X上兩個(gè)不同的公共不動(dòng)點(diǎn),由式(1)有
這是一個(gè)矛盾,故u=v.
[1] FISHER B. Common fixed point mappings on complete and compact metric spaces[J]. Rev Roum Math,1980(2):217-222.
[2] 曾文智.關(guān)于映象對(duì)某些不動(dòng)點(diǎn)定理[J].貴州大學(xué)學(xué)報(bào)(自然科學(xué)版),1988,5(1):22-26.
[3] 張樹(shù)義.Fisher型映象的不動(dòng)點(diǎn)定理[J].長(zhǎng)沙大學(xué)學(xué)報(bào)(自然科學(xué)版),2000,14(4):22-24.
[4] 張樹(shù)義.完備度量空間上四個(gè)映射的公共不動(dòng)點(diǎn)[J].沈陽(yáng)師范學(xué)院學(xué)報(bào)(自然科學(xué)版),1998(4):20-23.
[5] 張軍賀,谷峰.2-距離空間中兩對(duì)非相容映象的一個(gè)新的公共不動(dòng)點(diǎn)定理[J].西南師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2012,37(4):42-45.
[6] 鄭曉迪,張樹(shù)義.2-距離空間中兩類(lèi)Φ-壓縮映象的公共不動(dòng)點(diǎn)定理[J].杭州師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2009,8(6):429-431.
[7] 張樹(shù)義.Altman型映象的公共不動(dòng)點(diǎn)定理[J].煙臺(tái)師范學(xué)院學(xué)報(bào)(自然科學(xué)版),2000,16(2):95-97.
[8] 張樹(shù)義,衣立紅,邵穎.Altman型映象的公共不動(dòng)點(diǎn)[J].杭州師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2008,7(6):401-404.
[9] ZHANG S Y, WANG L, SHIN S H, et al. Common fixed point theorems for a pair of orbitally contraction mapping[J]. Fixed Point Theory and Applictions,2003,5:191-195.
[10] 鄭曉迪,萬(wàn)美玲,張樹(shù)義,等.軌道壓縮映射的幾個(gè)新的不動(dòng)點(diǎn)定理[J].北華大學(xué)學(xué)報(bào)(自然科學(xué)版),2014,15(4):438-442.
[11] 張樹(shù)義,宋曉光,欒丹.Φ-壓縮映象的公共不動(dòng)點(diǎn)定理[J].北華大學(xué)學(xué)報(bào)(自然科學(xué)版),2014,15(2):167-173.
[12] 張樹(shù)義,林媛.Φ-φ-型壓縮映象不動(dòng)點(diǎn)的存在性[J].北華大學(xué)學(xué)報(bào)(自然科學(xué)版),2016,17(1):1-3.
[13] 張樹(shù)義,趙美娜,劉冬紅.弱相容映射幾個(gè)新的公共不動(dòng)點(diǎn)定理[J].江南大學(xué)學(xué)報(bào)(自然科學(xué)版),2015,14(6):852-856.
[14] 張樹(shù)義,趙美娜,李丹.關(guān)于平方型Altman映象的公共不動(dòng)點(diǎn)定理[J].江南大學(xué)學(xué)報(bào)(自然科學(xué)版),2015,14(4):472-477.
Common Fixed Point Theorem for Fisher Type Mapping in 2-metric Spaces
ZHAO Meina1, ZHANG Shuyi1, ZHENG Xiaodi2
(1. College of Mathematics and Physics, Bohai University, Jinzhou 121013, China; 2. Jinzhou Teacher’s Training College,Jinzhou 121001, China)
By using the concept of generalized guasi-commutativity, the existence and uniqueness of common fixed point for Fisher type contractive mapping involving four mappings are studied in complete 2-metric spaces, a new common fixed point theorem is proved, which improves and extends the corresponding results of some reference.
complete 2-metric space; Fisher type mapping; generalized guasi-commutativity; common fixed point
2016-07-02
國(guó)家自然科學(xué)基金項(xiàng)目(11371070).
張樹(shù)義(1960—),男,教授,主要從事非線性泛函分析及應(yīng)用研究.E-mail:jzzhangshuyi@126.com
10.3969/j.issn.1674-232X.2016.06.013
O177.91 MSC2010: 47H10; 54H25
A
1674-232X(2016)06-0632-04