乘积度量空间上Β -拟压缩映射的唯一不动点

2021-07-29 03:14:46朴勇杰
延边大学学报(自然科学版) 2021年2期
关键词:定义

朴勇杰

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

定义1[9]设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)(乘积三角不等式).

当d是X上的乘积度量时,称(X,d)为乘积度量空间.

有关乘积度量空间的例子可参看文献[10-12].

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

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

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

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

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

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

设(X,d)是完备的乘积度量空间.称T∶X→X是Β-拟压缩映射是指存在k∈[0,1)使得

d(Tx,Ty)≤[v(x,y)]k,∀x,y∈X,

(1)

其中v(x,y)∈A(x,y)∶={d(T2x,x),d(T2x,Tx),d(T2x,y),d(T2x,Ty)}.

定理1设(X,d)是完备的乘积度量空间,T∶X→X是自映射.如果T是Β-拟压缩的,则T有唯一不动点,并且对任何x∈X, 迭代序列{Tnx}收敛于该唯一不动点.

d(xi,xi +1)=d(Txi-1,Txi)≤[v(xi-1,xi)]k,

(2)

其中v(xi-1,xi)∈A(xi-1,xi)={d(T2xi-1,xi-1),d(T2xi-1,Txi-1),d(T2xi-1,xi),d(T2xi-1,Txi)}={d(xi +1,xi-1),d(xi +1,xi),1}.如果v(xi-1,xi)=d(xi +1,xi-1), 则根据式(2)可得d(xi,xi +1)≤[d(xi +1,xi-1)]k; 如果v(xi-1,xi)=d(xi +1,xi), 则根据式(2)可得d(xi,xi +1)≤[d(xi +1,xi)]k, 再根据k∈[0,1)可得d(xi,xi +1)=1≤[d(xi +1,xi-1)]k; 如果v(xi-1,xi)=1, 则根据式(2)可得d(xi,xi +1)=1k≤[d(xi +1,xi-1)]k.综合以上3种情况可得:

d(xi,xi +1)≤[d(xi-1,xi +1)]k,n=1,2,….

(3)

对任何固定的n=1,2,…, 根据式(1)可得:

d(xi,xi +2)=d(Txi-1,Txi +1)≤[v(xi-1,xi +1)]k,

(4)

(5)

式(5)可写成如下形式:

(6)

其中k(i,i +2)=k或k(i,i +2)=k2.

以下证明对任何自然数n,当i,j是自然数且满足1≤i,j≤n时,式(7)成立.

(7)

如果n=1, 则i=j=1, 由此显然知式(7)成立.假设n=m时式(7)成立,则可得下式成立:

(8)

设n=m+1.由于在1≤i,j≤m时式(7)和式(8)成立,因此进一步可设j=m+1, 1≤i≤m.由此根据式(1)可得:d(xi,xm +1)=d(Txi-1,Txm)≤[v(xi-1,xm)]k, 其中v(xi-1,xm)∈A(xi-1,xm)={d(xi-1,xi +1),d(xi,xi +1),d(xi +1,xm),d(xi +1,xm +1)}.

综合上述所有情况并根据归纳原理可知式(7)成立.

对任何m,n∈N且1

(9)

(10)

再根据引理2知{xn}是X中的乘积柯……

登录APP查看全文

猜你喜欢
定义
活用定义巧解统计概率解答题
例谈椭圆的定义及其应用
题在书外 根在书中——圆锥曲线第三定义在教材和高考中的渗透
永远不要用“起点”定义自己
海峡姐妹(2020年9期)2021-01-04 01:35:44
严昊:不定义终点 一直在路上
华人时刊(2020年13期)2020-09-25 08:21:32
定义“风格”
成功的定义
山东青年(2016年1期)2016-02-28 14:25:25
有壹手——重新定义快修连锁
修辞学的重大定义
当代修辞学(2014年3期)2014-01-21 02:30:44
山的定义
公务员文萃(2013年5期)2013-03-11 16:08:37