張倩雯,谷峰

(杭州師范大學(xué)數(shù)學(xué)系,浙江 杭州 310036)

1 引言

1960年,文獻(xiàn) [1-2]使用 t-范數(shù),引進(jìn)了 Menger概率度量空間的概念(簡(jiǎn)稱(chēng)為Menger PM-空間),并討論了該空間的一些基本性質(zhì).1994年,文獻(xiàn)[3]對(duì)Menger PM-空間的一些重要成果進(jìn)行了總結(jié).2006年,文獻(xiàn)[4]提出了G-度量空間的概念,它是度量空間的一個(gè)推廣.2014年,文獻(xiàn) [5]在 G-度量空間和 Menger PM-空間的基礎(chǔ)上,引入了 Menger概率 G-度量空間(簡(jiǎn)稱(chēng)為Menger PGM-空間)的概念.之后,文獻(xiàn)[6-7]在 Menger PGM-空間中引入了?-壓縮條件和映射對(duì)弱相容的概念,證明了幾個(gè)公共不動(dòng)點(diǎn)定理.

2016年,文獻(xiàn)[8]在G-度量空間中證明了幾個(gè)弱相容映射對(duì)的公共不動(dòng)點(diǎn)定理.本文受其啟發(fā),在Menger PGM-空間中證明了弱相容映射對(duì)的幾個(gè)新的公共不動(dòng)點(diǎn)定理,并給出了一個(gè)用以說(shuō)明新結(jié)果有效性的實(shí)際例子.本文的結(jié)果完全不同于已有文獻(xiàn)中的結(jié)果.

在介紹主要結(jié)果之前,先給出Menger PGM-空間的一些相關(guān)概念.

設(shè)R表示一切實(shí)數(shù)的集合,R+表示一切非負(fù)實(shí)數(shù)的集合,Z+表示所有正整數(shù)的集合,N表示所有自然數(shù)的集合.

定義 1.1[3]稱(chēng)映射F:R→ R+為分布函數(shù),如果它是單調(diào)不減的、左連續(xù)的,且滿足 inft∈RF(t)=0,supt∈RF(t)=1.

用D表示一切分布函數(shù)的集合,D+={F∈D:F(t)=0,?t≤0},H(t)表示一特殊的分布函數(shù),其定義如下:

定義 1.2[1]若映射?:[0,1]×[0,1]→[0,1],且?a,b,c,d∈[0,1],有下列條件被滿足:

(?-1)?(a,1)=a;

(?-2)?(a,b)=?(b,a);

(?-3)a≥b,c≥d??(a,c)≥?(b,d);

(?-4)?(a,?(b,c))= ?(?(a,b),c).

則稱(chēng)?為三角范數(shù)(簡(jiǎn)稱(chēng)為t-范數(shù)).

三個(gè)典型的連續(xù)t-范數(shù)是:

?1(a,b)=min{a+b?1,0},?2(a,b)=ab,?m(a,b)=min{a,b},其中 a,b∈[0,1].

定義 1.3[3]Menger PM-空間是一個(gè)三元組(X,F,?),其中X 是一個(gè)非空集合,?是一個(gè)連續(xù)的t-范數(shù),F:X×X→D是滿足下面條件的映射:

(PM-1)Fx,y(t)=H(t)當(dāng)且僅當(dāng)x=y,t=0;

(PM-2)Fx,y=Fy,x對(duì)任意的x,y∈X;

(PM-3)Fx,y(t+s)≥?(Fx,z(t),Fz,y(s))對(duì)任意的x,y,z∈X,s,t≥0都成立.

其中Fx,y表示F在點(diǎn)(x,y)處的值.

定義 1.4[4]設(shè)X是一個(gè)非空集合,G:X×X×X→R+為一函數(shù),且滿足以下條件:

(1)G(x,y,z)=0?x=y=z;

(2)G(x,x,y)>0,?x,y∈ X 且 x ?=y;

(3)G(x,x,y)≤ G(x,y,z),?x,y,z∈ X 且 z?=y;

(4)G(x,y,z)=G(x,z,y)=G(y,z,x)= ···,?x,y,z ∈ X;

(5)G(x,y,z)≤ G(x,a,a)+G(a,y,z),?x,y,z,a∈ X.

則稱(chēng)函數(shù)G是X 上的一個(gè)廣義度量,簡(jiǎn)稱(chēng)為X上的一個(gè)G-度量,并稱(chēng)(X,G)是一個(gè)廣義度量空間,簡(jiǎn)稱(chēng)為G-度量空間.

定義1.5[5]Menger概率G-度量空間(簡(jiǎn)稱(chēng)Menger PGM-空間)是一個(gè)三元組(X,G?,?),其中X是非空集合,?是連續(xù)的t-范數(shù),G?:X×X×X→D是滿足下列條件的映射:

(PGM-2) ?x,y,z ∈ X,z ?=y,t>0,

(PGM-4) ?x,y,z,a ∈ X,s,t≥ 0,

例 1.1[5]設(shè) X=R,G(x,y,z)=|x?y|+|y?z|+|x?z|,?x,y,z∈X.則(X,G)是一個(gè)G-度量空間.令

則 (X,G?,?m)是一個(gè) Menger PGM-空間.

定義 1.6[5]設(shè) (X,G?,?)是一個(gè) Menger PGM-空間,x0∈X.?ε>0,0< δ<1,定義 x0的 (ε,δ)-鄰域如下:

這意味著Nx0(ε,δ)是X 中滿足x0到 y的距離小于ε的概率大于1?δ的所有 y的集合.

定義 1.7[5]設(shè)(X,G?,?)是一個(gè)Menger PGM-空間,{xn}是X 中的序列,x∈X.

(1) 若對(duì)任意的 ε>0,0< δ<1,存在正整數(shù) Mε,δ,使得當(dāng) n>Mε,δ時(shí),xn∈ Nx(ε,δ),則稱(chēng){xn}收斂于點(diǎn)x,記為=x或者xn→x(n→∞).

(2)若對(duì)任意的 ε>0,0<δ<1,存在正整數(shù) Mε,δ,使得當(dāng) n,m,l>Mε,δ時(shí),

則稱(chēng){xn}是X中的一個(gè)柯西列.

(3)若X 中所有的柯西點(diǎn)列都收斂于X 中的某點(diǎn),則稱(chēng)(X,G?,?)是完備的.

引理 1.1[6]設(shè)(X,G?,?)是一個(gè)Menger PGM-空間,{xn}是X 中的序列.則以下敘述等價(jià):

(1){xn}收斂于x∈X;

引理 1.2[6]設(shè) (X,G?,?)是一個(gè)具有連續(xù)t-范數(shù)?的Menger PGM-空間,{xn},{yn}和{zn}是X 中的三個(gè)序列,x,y,x∈X.如果xn→x,yn→y,zn→z(n→∞),則有

特別的，如果t0是函數(shù)Gx,y,z(·)的連續(xù)點(diǎn)，則

定義 1.8[9]? 稱(chēng)為是一個(gè) H-型 t-范數(shù),若函數(shù)族在 t=1處是等度連續(xù)的,即對(duì)任意 ε∈(0,1),存在 δ∈(0,1),使得 t>1?δ? ?n(t)>1?ε,n∈Z+.其中 ?1(t)= ?(t,t),?m(t)= ?(t,?m?1(t)),m=2,3,···,t∈ [0,1].

引理 1.3[10]設(shè) (X,G?,?)是一個(gè) Menger PGM-空間.對(duì)任意 λ∈(0,1],定義函數(shù)如下:

則以下結(jié)論成立:

定義 1.9[13]設(shè)?:R+→R+,滿足下述條件:

(1)?是非減的;

(2)?是右上半連續(xù)的;

記Φ為所有滿足上述條件(1)-條件(3)的函數(shù)?的集合.

定義 1.10[12]設(shè)F1,F2∈D,F1和F2的代數(shù)和F1⊕F2定義為:

其中t∈R.

定義 1.11[6]設(shè)S和T是Menger PGM-空間(X,G?,?)中的自映射.S和T稱(chēng)為是弱相容的,如果S和T在重合點(diǎn)處是可交換的,即{u∈X:Tu=Su}?{u∈X:TSu=STu}.

引理 1.4[6]設(shè)(X,G?,?)是一個(gè)Menger PGM-空間,x,y,z∈X.如果存在?∈Φ,使得

則x=y=z.

引理 1.5[13]設(shè) (X,G?,?m)是一個(gè) Menger PGM-空間,x,y,z∈X.如果存在 ?∈Φ,使得

則x=y.

引理 1.6[10]設(shè)(X,G?,?)是一個(gè)Menger PGM空間,?是連續(xù)的t-范數(shù),則下面兩個(gè)敘述等價(jià):

(1)序列{xn}是柯西列;

(2)對(duì)任意ε>0,0<λ<1,存在M ∈Z+使得(ε)>1 ? λ,n,m>M.

2 主要結(jié)果

引理 2.1 設(shè) (X,G?,?)是一個(gè) Menger PGM-空間,{G?λ}λ∈(0,1]是由 (1)式所定義的 X上的函數(shù)族.如果?是H-型t-范數(shù),則對(duì)任意λ∈(0,1],存在μ∈(0,λ],使對(duì)任意m∈Z+,x0,x1,···,xm∈ X,有

證明 由 ? 是 H-型 t-范數(shù),故對(duì)任意 m∈Z+,x0,x1,···,xm∈X,存在 μ∈(0,λ],使得

使用(3)式-(4)式和(PGM-4)可得

引理 2.2 設(shè) (X,G?,?)是一個(gè) Menger PGM-空間,其中 ? 是連續(xù)的 H-型 t-范數(shù),{yn}?X.若存在函數(shù)?∈Φ,使得

則{yn}是X中的柯西列.

證明 設(shè) {G?λ}λ∈(0,1]是引理 1.3中所定義的函數(shù)族,對(duì)任意 λ∈(0,1],n∈Z+,令

下面證明:

由于?是右上半連續(xù)的,所以對(duì)?ε>0和每個(gè)an,存在pn>an,使得?(pn)

于是,由引理1.3(1)可得

再由ε的任意性,可知

(7)式得證.

重復(fù)使用(7)式,對(duì)任意n∈Z+,有

由 ? 是H-型t-范數(shù)和引理 2.1可知,對(duì)任意λ∈(0,1],存在μ∈(0,λ],使得

所以,由上式知,對(duì)任意m,n∈Z+,m>n≥n0,有(ε)>1? λ. 再由引理 1.6可知{yn}是X中的柯西列.

定理 2.1 設(shè)(X,G?,?m)是一個(gè)Menger PGM-空間,其中?是連續(xù)的H-型t-范數(shù),假設(shè)映射f,g,h,R,S,T:X→X滿足下列條件:

?x,y,z∈X,t>0,其中?∈Φ.如果下列條件被滿足:

(i)f(X)?T(X),g(X)?R(X),h(X)?S(X);

(ii)S(X),T(X)和R(X)是X的完備子空間.

則映射對(duì)(f,S),(g,T)和(h,R)在X 中有公共重合點(diǎn).進(jìn)一步,若映射對(duì)(f,S),(g,T)和(h,R)是弱相容的,則f,g,h,R,S和T在X中有唯一公共不動(dòng)點(diǎn).

證明 任取x0∈X,由條件(i)知,存在x1,x2,x3∈X,使得

反復(fù)使用(i),可得X 中的序列{xn}和{yn},使得

若 y3n=y3n+1,則有 gx=Tx,其中 x=x3n+1.若 y3n+1=y3n+2,則有 hx=Rx,其中 x=x3n+2.若 y3n+2=y3n+3,則有 fx=Sx,其中 x=x3n+3.因此,不失一般性,可令 yn?=yn+1,?n ∈ N.

接下來(lái)證明{yn}是X 中的柯西列.事實(shí)上,由(11)式可得

同理可證

組合(12)式 -(13)式和(4)式,可得

再由引理2.2可得{yn}是X中的柯西列.

下面證 (f,S)有重合點(diǎn).不妨設(shè) S(X)是 X的完備子空間.因?yàn)?{yn}是 X中的柯西列,則存在 p∈X,使得 yn→ p,進(jìn)而 y3n→ p,y3n+1→ p,y3n+2→ p(n→ ∞).由 y3n+2=Sx3n+3→p,所以存在t∈X,使得p=St.由 (11)式得

令n→∞,則可得

則由引理1.4可知St=ft=p.

下證(f,S)有不動(dòng)點(diǎn).因?yàn)镾t=ft=p且(f,S)是弱相容的,所以有fp=Sp.由(11)式可得

下證 (g,T)有重合像.因?yàn)?f(X)?T(X)和 p=fp?f(X),所以存在 v∈X,使得 p=fp=Tv.由(11)式可得

下證(g,T)有不動(dòng)點(diǎn).因?yàn)間v=Tv=p且(g,T)是弱相容的,所以有g(shù)p=Tp.由(11)式可得

令n→∞,則可得到

則由引理1.5可知p=gp,因此gp=Tp=p,即p是(g,T)的不動(dòng)點(diǎn).

同理可得:hp=Rp=p.因此有fp=Sp=Tp=gp=hp=Rp=p.即f,g,h,S,T和R有公共不動(dòng)點(diǎn)p.

下證唯一性.假設(shè)q是f,g,h,S,T和R的另一個(gè)公共不動(dòng)點(diǎn).由(11)式可得

則由引理1.5可知p=q,因此p是f,g,h,S,T和R的唯一的公共不動(dòng)點(diǎn).

若T(X)或R(X)是X 完備子空間,證明過(guò)程相似.

例 2.1 設(shè) X=[0,1],定義函數(shù) G?:X3×[0,1]→[0,1]為

其中 G(x,y,z)=|x?y|+|y?z|+|x?z|,x,y,z∈X,t>0.容易證得 (X,G?,?m)是一個(gè) Menger PGM-空間,令 ?(t)=t,?∈Φ,又定義f,g,h,S,T和R:X →X 如下:

容易得到f,g,h,S,T和R在X中不是G-連續(xù)的,f(X)?T(X),g(X)?R(X),h(X)?S(X),

S(X),T(X)和R(X)都是X的完備子空間.

下面證明映射f,g,h,S,T和R滿足定理2.1中的(11)式,設(shè)

因此,定理2.1的所有條件全部滿足,從而由定理2.1知,f,g,h,R,S和T在X中有唯一的公共不動(dòng)點(diǎn).事實(shí)上,可以驗(yàn)證:是它們唯一的公共不動(dòng)點(diǎn).

在定理2.1中,令S=T=R=I,I是恒等映射,則可得到如下推論.

推論 2.1(X,G?,?m)是一個(gè)完備的 Menger PGM-空間,其中 ? 是連續(xù)的 H-型 t-范數(shù),假設(shè)自映射f,g,h:X→X滿足下列條件:

其中x,y,z∈X,t>0,且?∈Φ.則f,g和h在X 中有唯一的公共不動(dòng)點(diǎn).

在定理2.1中,令 ?(t)=kt,0

推論 2.2(X,G?,?m)是一個(gè)Menger PGM-空間,其中 ?是連續(xù)的H-型t-范數(shù),假設(shè)自映射f,g,h,R,S,T:X→X滿足下列條件:

(i)f(X)?T(X),g(X)?R(X),h(X)?S(X);

(ii)S(X),T(X)和R(X)有一個(gè)是X的完備子空間.

則映射對(duì)(f,S),(g,T)和(h,R)在X中有存在公共的重合.更進(jìn)一步的,若映射對(duì)(f,S),(g,T)和(h,R)是弱相容的,則f,g,h,R,S和T在X中有唯一的公共不動(dòng)點(diǎn).

在推論2.2中,令S=T=R=I,I是恒等映射,則可得到如下推論.

推論 2.3(X,G?,?m)是一個(gè)完備的 Menger PGM-空間,其中 ? 是連續(xù)的 H-型 t-范數(shù),假設(shè)自映射f,g,h:X→X滿足下列條件:

注 2.2 本文定理2.1與文獻(xiàn)[6]的定理3.1相比,主要?jiǎng)?chuàng)新在于:文獻(xiàn)[6]的定理3.1要求三對(duì)映射中至少有兩對(duì)滿足公共(E.A)性質(zhì),而本文定理2.1的條件中并不需要映射對(duì)滿足公共(E.A)性質(zhì).另外,本文定理2.1的壓縮條件也不同于文獻(xiàn)[6]的定理3.1.

下面給出一個(gè)不能使用文獻(xiàn)[6]的定理3.1,但可以使用本文定理2.1的例子,用以說(shuō)明本文定理2.1的重要性.

例 2.2設(shè)X=[0,1],定義函數(shù)

為

其中

容易證得 (X,G?,?m)是一個(gè) Menger PGM-空間,令 ?(t)=,?∈ Φ,又定義 f,g,h,S,T和R:X→X如下:

容易得到映射對(duì)(f,S)和(g,T),(g,T)和(h,R),(f,S)和(h,R)都不滿足公共(E.A)性質(zhì),因此不滿足文獻(xiàn)[6]中定理3.1的條件.

顯然,映射f,g,h,S,T和R在X中不是G-連續(xù)的,

且S(X),T(X)和R(X)都是X的完備子空間.因此滿足定理2.1中的(i)(ii).

下面證明映射f,g,h,S,T和R滿足定理2.1中的(11)式,設(shè)

因此,滿足定理2.1的(i)(ii)和條件(11),從而由定理2.1知,映射對(duì)(f,S),(g,T)和(h,R)在X中有公共重合點(diǎn).事實(shí)上,易知1就是它們的公共重合點(diǎn).