朴勇杰

( 延边大学 理学院, 吉林 延吉 133002 )

2008年， Bashirov等[1]首次提出了乘积度量空间的概念，并研究了该空间上的一些基本性质.随后， Florack等[2]和Bashirov等[3]对乘积度量空间的性质做了进一步研究.2012年, Özavsar等[4]在乘积度量空间上引进了如下乘积压缩映射的概念，并给出了若干个乘积压缩映射的不动点存在定理.

设(X,d)是乘积度量空间，称映射f：X→X为乘积压缩映射[4]是指存在λ∈[0,1)使得

(1)

文献[4]还给出了如下形式的乘积度量空间上Banach型不动点定理.

定理1完备的乘积度量空间(X,d)上的任何乘积压缩映射f必有唯一不动点.

在文献[4]研究的基础上，文献[5-8]的作者通过引进五元实函数并利用弱交换性、弱相容性等条件给出了乘积度量空间上的4个映射的公共不动点存在性定理，这些结果很好地推广了乘积度量空间上(公共)不动点定理.

显然，定理1是完备实度量空间上Banach不动点定理[9]在乘积度量空间上的表现形式.在乘积度量空间上称具有如下条件

(2)

显然，如下条件

d(fx,fy)≤[d(x,y)]α[d(x,fy)]β[d(y,fx)]γ,∀x,y∈X

(3)

是式(1)和式(2)的推广形式，其中α,β,γ≥0,α+2max{β,γ}<1.

称满足式(3)的映射f为Banach - Chaterjia型压缩映射.文献[10]的作者引进了如下一个函数类：γ∈Γ， 当且仅当γ: [1,+∞)3→[1,+∞)满足： ①γ关于每个变量是连续的且单调递增的； ②存在k∈[0,1)使得当x,y≥1且x≤γ(y,xy,1)或x≤γ(y,1,xy)时成立x≤yk.同时文献[10]的作者还给出了在乘积度量空间上满足γ- 隐式压缩条件映射的唯一不动点存在性定理(定理2和定理3):

定理2设(X,d)是完备的乘积度量空间,且f：X→X为映射.如果存在γ∈Γ使得d(fx,fy)≤γ(d(x,y),d(x,fy),d(y,fx)),∀x,y∈X， 则f在X中存在不动点.进一步,如果γ满足对任何x>1,x>γ(x,x,x), 则f有唯一不动点.

定理3设(X,d)是完备的乘积度量空间，且f:X→X为映射.如果f满足条件式(3)， 则f在X存在唯一不动点.

定义1[1]设X是非空集合，称映射d：X×X→[0,+∞)是X上的乘积度量是指d满足如下条件：

(i)对任何x,y∈X，d(x,y)≥1, 且d(x,y)=1 ⟺x=y；

(ii)对任何x,y∈X，d(x,y)=d(y,x)；

(iii)对任何x,y,z∈X，d(x,z)=d(x,y)d(y,z).

如果X和d满足上述条件，则称(X,d)为乘积度量空间.

例1[6]设X=R并定义d(x,y)=e|x-y|,∀x,y∈X， 则(X,d)是乘积度量空间.

定义2[1]设(X,d)是乘积度量空间, {xn}是X中的序列且x∈X.若对任何积性开球Bε(x)={y∈X:d(x,y)<ε},ε>1, 存在自然数N， 且当n>N时xn∈Bε(x)成立, 则称序列{xn}乘积收敛于x∈X, 并记为xn→x(n→∞).

引理1[4]设(X,d)是乘积度量空间, {xn}是X中的序列且x∈X, 则

xn→x(n→∞) ⟺d(xn,x)→1 (n→∞).

定义3[4]设(X,d)是乘积度量空间, {xn}是X中的序列.若对任何ε>1, 存在自然数N使得n,m>N时成立d(xn,xm)<ε， 则称序列{xn}为乘积柯西序列.

引理2[4]设(X,d)是乘积度量空间, {xn}是X中的序列,则{xn}是乘积柯西序列当且仅当d(xn,xm)→1 (m,n→∞).

定义4[4]如果乘积度量空间(X,d)中的每个乘积柯西序列都是乘积收敛的，则称(X,d)是完备的.

引理3[4]设(X,d)是乘积度量空间, {xn}和{yn}是X中的两个序列且x,y∈X， 则

xn→x,yn→y(n→∞) ⟹d(xn,yn)→d(x,y) (n→∞).

定理4设(X,d)是完备的乘积度量空间，f:X→X为映射.如果对任何x,y∈X,

(4)

其中α、β、γ是3个实数，使得α+min{β,γ}≥0且α+2max{β,γ}≤1， 则f在X中存在唯一不动点，且称满足式(4)的f为C*- 压缩映射.

证明任取x0∈X, 并根据xn +1=fxn,∀n=0,1,2,…构造一个序列{xn}.由给定的α、β、γ条件可得0≤α+min{β,γ}≤α+β≤1-β和0≤α+min{β,γ}≤α+γ≤1-γ, 因此β≤1和γ≤1.

如果α+β=0, 则根据式(4)知对任何n=0,1,2,…, 有

(5)

整理式(5)并利用定义1中的条件(iii)可得

(6)

(8)

(9)

假设{xn}不是乘积柯西序列,则存在实数ε(ε>1)使得对任意自然数k存在两个自然数m(k)和n(k)(m(k)>n(k))， 且满足

d(xm(k),xn(k))>ε,d(xm(k) -1,xn(k))≤ε.

(10)

由式(10)和定义1中的条件(iii)可得ε

(11)

再根据定义1中的条件(iii)可得：

(12)

(13)

在式(12)和式(13)的两边取k→∞, 则根据u=1和式(11)可得：

(14)

(15)

由式(4)知对任何的k=0,1,2,…, 有

整理上式并取n→∞可得：

注1 在定理3中要求α、 β、 γ满足α,β,γ≥0， α+2max{β,γ}<1， 但在定理4中利用连续函数限制压缩条件后就可将定理3中的α、 β、γ的条件放宽至α+min{β,γ}≥0， α+2max{β,γ}≤1， 且不要求α、 β、 γ一定是非负的.因此定理4较好地推广和改进了定理3， 特别是把“小于1”放宽至“小于等于1”.