跳到主要内容

关于最近不动点结果的注记-偏序度量空间中的拟压缩型映射

摘要

在这个注记中,我们在具有偏序的度量空间中建立了最近涉及拟压缩型映射的不动点定理之间的等价性。

MSC公司:47H10。

1引言

(X(X),d日)是一个度量空间,让(f),:X(X)X(X)打开两个自映射X(X).让

M(M)((f),,x个,):=最大值 { d日 ( x个 , ) , d日 ( x个 , (f) x个 ) , d日 ( , (f) ) , d日 ( x个 , (f) ) , d日 ( , (f) x个 ) } 为所有人x个,X(X).

假设X(X)被赋予部分顺序我们这么说(f)是订购的-准收缩(参见[1,2])如果

d日((f)x个,(f))λM(M)((f),,x个,)为所有人x个,X(X)这样的话x个

对于一些常量λ(0,1).如果= d日 X(X) (上的身份图X(X)),然后(f)被称为有序准收缩。

在[1],作者得出了以下结果。

定理1.1 (X(X),d日) 是具有一定偏序的度量空间 . (f),:X(X)X(X) 成为两个自己-上的地图 X(X) 满足以下条件:

  1. (i)

    (f)X(X)X(X);

  2. (ii)

    gX公司 已完成;

  3. (iii)

    (f) -无衰减,.e(电子).,x个(f)x个(f);

  4. (iv)

    (f) 是订购的 -准收缩;

  5. (v)

    存在 x个 0 X(X) 这样的话 x个 0 (f) x个 0 ;

  6. (vi)

    如果 { x个 n个 } 是一个不变的序列(w个.第页.t吨.)收敛到一些 z(z)X(X),然后 x个 n个 z(z) 对于每个 n个N个.

然后 (f) 有一个巧合点,.e(电子).,存在 z(z)X(X) 这样的话 (f)z(z)=z(z).

= d日 X(X) 在定理1.1中,我们立即得到以下结果。

定理1.2 (X(X),d日) 是具有一定偏序的完备度量空间. (f):X(X)X(X) 做一个自我-映射于 X(X) 满足以下条件:

  1. (iii)

    (f) 没有减少,.e(电子).,x个(f)x个(f);

  2. (iv)

    (f) 是有序拟压缩;

  3. (v)

    存在 x个 0 X(X) 这样的话 x个 0 (f) x个 0 ;

  4. (vi)

    如果 { x个 n个 } 是一个不变的序列(w个.第页.t吨.)收敛到一些 z(z)X(X),然后 x个 n个 z(z) 对于每个 n个N个.

然后 (f) 有一个固定点.

让我们用Ψ表示函数集ψ:[0,)[0,)满足以下条件:

( Ψ 1 )ψ不会减少;

( Ψ 2 )ψ是次可加的,,ψ(+t吨)ψ()+ψ(t吨),每,t吨0;

( Ψ )ψ是连续的;

( Ψ 4 )ψ(t吨)=0t吨=0.

在[],作者得出了以下结果。

定理1.3 (X(X),d日) 是具有一定偏序的度量空间 . (f),:X(X)X(X) 两全其美-上的地图 X(X) 满足以下条件:

  1. (i)

    (f)X(X)X(X);

  2. (ii)

    gX公司 已完成;

  3. (iii)

    (f) -无衰减;

  4. (iv)

    存在 ψΨ 这样的话

    ψ ( d日 ( (f) x个 , (f) ) ) λ 最大值 { ψ ( d日 ( x个 , ) ) , ψ ( d日 ( x个 , (f) x个 ) ) , ψ ( d日 ( , (f) ) ) , ψ ( d日 ( x个 , (f) ) ) , ψ ( d日 ( , (f) x个 ) ) }

为所有人 x个,X(X) 这样的话 x个;

  1. (v)

    存在 x个 0 X(X) 这样的话 x个 0 (f) x个 0 ;

  2. (vi)

    如果 { x个 n个 } 是一个收敛于 z(z)X(X),然后 x个 n个 z(z) 对于每个 n个N个.

然后 (f) 有一个巧合点.

本注释的目的是证明定理1.1、1.2和1.3是等价的。

2主要结果

我们在本说明中的主要结果如下。

定理2.1 我们有以下等价性:

定理1.2定理1.1定理1.3.

证明我们考虑证明的三个步骤。

步骤1。定理1.2定理1.1。

假设满足定理1.1的所有假设。回想一下,如果S公司:X(X)X(X)是一个给定的映射,则存在一个子集E类属于X(X)这样的话S公司E类=S公司X(X)S公司:E类X(X)是一对一的。为了证明这个结果,我们参考[4]. 由于这句话E类X(X)这样的话E类=X(X):E类X(X)是一对一的。让我们定义地图T型:E类E类通过

T型(x个)=(f)x个,x个E类.

请注意,映射T型定义明确,因为是一对一的E类根据定理1.1的条件(ii),度量空间(E类,d日)已完成。根据定理1.1的条件(iii),映射T型不会减少。还要注意T型是一个有序的拟压缩。的确,如果u个,v(v)E类这样的话v(v)u个,根据定理1.1的条件(iv)和通用电气设备,存在x个,E类具有v(v)=x个=u个这样的话

d日 ( T型 u个 , T型 v(v) ) = d日 ( (f) x个 , (f) ) λ M(M) ( (f) , , x个 , ) = λ 最大值 { d日 ( x个 , ) , d日 ( x个 , (f) x个 ) , d日 ( , (f) ) , d日 ( x个 , (f) ) , d日 ( , (f) x个 ) } = λ 最大值 { d日 ( u个 , v(v) ) , d日 ( u个 , T型 u个 ) , d日 ( v(v) , T型 v(v) ) , d日 ( u个 , T型 v(v) ) , d日 ( v(v) , T型 u个 ) } .

根据定理1.1的条件(v),存在 x个 0 X(X)这样的话 x个 0 (f) x个 0 .让 u个 0 = x个 0 E类,我们有 u个 0 T型 u个 0 最后,根据定理1.1的条件(iv),如果{ u个 n个 }E类是一个收敛于u个E类,然后 u个 n个 u个对于每个n个N个因此,我们证明了T型满足定理1.2的所有条件。然后我们推断T型有一个固定点 u个 E类这意味着存在一些 x个 X(X)这样的话(f) x个 =T型( x个 )= x个 也就是说, x个 X(X)是一个巧合点(f).

第2步。定理1.1定理1.3。

假设满足定理1.3的所有假设。定义函数 d日 ψ :X(X)×X(X)[0,)通过

d日 ψ (x个,):=ψ ( d日 ( x个 , ) ) 为所有人x个,X(X).

在[5],我们证明了 d日 ψ 是一个度量X(X)此外,(X(X),d日)是完整的当且仅当(X(X), d日 ψ )已完成。然后,根据定理1.3的条件(iv),我们推导出(f)是订购的-关于新度量的拟压缩 d日 ψ 更准确地说,我们有

d日 ψ ((f)x个,(f))λ最大值 { d日 ψ ( x个 , ) , d日 ψ ( x个 , (f) x个 ) , d日 ψ ( , (f) ) , d日 ψ ( x个 , (f) ) , d日 ψ ( , (f) x个 ) }

为所有人x个,X(X)这样的话x个现在,在度量空间中应用定理1.1(X(X), d日 ψ ),我们得到了定理1.3的结果。

步骤3。定理1.3定理1.2。

= d日 X(X) ψ(t吨)=t吨在定理1.3中,我们立即得到定理1.2的结果。□

工具书类

  1. GolubovićZ,Kadelburg Z,RadenovićS:有序的公共不动点-序度量空间中的拟压缩和弱压缩。不动点理论应用。2012年、2012年:文章ID 20

    谷歌学者 

  2. 刘X:有序的公共不动点G公司-偏序度量空间中的收缩。不动点理论应用。2014年、2014年:文章ID 28

    谷歌学者 

  3. Liu X,JešićS:广义序的公共不动点-偏序度量空间中的拟压缩。不动点理论应用。2013年、2013年:文章ID 53

    谷歌学者 

  4. Haghi RH,Rezapour S,Shahzad N:一些不动点推广不是真正的推广。非线性分析。2011, 74: 1799–1803. 10.1016/j.na.2010.10.052

    第条 数学科学网 谷歌学者 

  5. 卡拉普奈尔E,萨梅特B:关于ψ-Geraghty型宫缩。不动点理论应用。2014.,2014:文章ID 26

    谷歌学者 

下载参考资料

致谢

作者感谢沙特国王大学(King Saud University)编程客座教授(Visiting Professor Programming)对这项工作的资助。作者感谢匿名审稿人(anonymous References)的卓越评论、建议和想法,这些都有助于改进本文。

作者信息

作者和附属机构

作者

通讯作者

与的通信埃尔达尔卡拉普讷尔.

其他信息

竞争性利益

作者声明,他们没有相互竞争的利益。

作者的贡献

所有作者在撰写本文时都做出了同样重要的贡献。所有作者阅读并批准了最终手稿。

权利和权限

开放式访问本文是根据Creative Commons Attribution 4.0国际许可证授权的,该许可证允许以任何媒体或格式使用、共享、改编、分发和复制,只要您对原始作者和来源给予适当的信任,提供指向Creative Commons许可证的链接,并指出是否进行了更改。

本文中的图像或其他第三方材料包含在文章的Creative Commons许可证中,除非材料的信用额度中另有说明。如果文章的知识共享许可证中没有包含材料,并且您的预期用途不被法律法规允许或超出了允许的用途,则您需要直接获得版权所有者的许可。

要查看此许可证的副本,请访问https://creativecommons.org/licenses/by/4.0/.

转载和许可

关于本文

检查更新。通过CrossMark验证货币和真实性

引用这篇文章

Karapñnar,E.,Samet,B.关于最近不动点结果的注释,涉及-偏序度量空间中的拟压缩型映射。不动点理论应用 2014, 126 (2014). https://doi.org/10.1186/1687-1812-2014-126

下载引文

  • 收到:

  • 认可的:

  • 出版:

  • DOI程序:https://doi.org/10.1186/1687-1812-2014-126

关键词