在这一节中,我们引入了一类新的近端压缩,即所谓的Geraghty近端压缩映射,并证明了这类映射的最佳逼近定理。
定义3.1地图被称为杰拉蒂第一类近端收缩如果,则存在这样的话
为所有人.
定义3.2地图被称为杰拉蒂第二类近端收缩如果,则存在这样的话
为所有人.
很容易看出,如果我们采取,其中然后,第一类杰拉蒂近端收缩和第二类杰拉蒂近端收缩分别减少为第一类近端收缩(定义2.1)和第二种近端收缩。
接下来,我们扩展了Sadiq Basha的结果[26]Banach的不动点定理适用于满足Geraghty的近端收缩条件的非自映射的情况。
定理3.3 让 是一个完备的度量空间,并让 A类,B类 是的非空闭子集 X(X) 这样的话 和 不是空的.让 , 和 满足以下条件:
-
(a)
S公司 和 T型 杰拉蒂的近端收缩是第一种;
-
(b)
克 是等距;
-
(c)
这对 是近端周期性收缩;
-
(d)
,;
-
(e)
和 .
然后存在一个独特的点
而且有一个独特的点
这样的话
此外,对于任何固定 ,顺序 由定义
收敛到元素 x个.对于任何固定 ,顺序 由定义
收敛到元素 年.
另一方面,一个序列 在里面 A类 收敛到 x个 如果存在一个正数序列 这样的话
哪里 满足以下条件 .
证明让在中是一个固定元素.鉴于以下事实和,因此存在一个元素这样的话
再一次,因为和,存在一个元素这样的话
通过同样的方法,我们可以发现在里面这样的话
因此,归纳起来,我们可以确定一个元素这样的话
(3.1)
自和,S公司是Geraghty的第一种近端收缩,克是一个等距和的属性β,对于每个
这意味着序列是非增量的,在下面有界。因此存在这样的话。假设.请注意
这意味着.自,我们有这是一个矛盾,因此
(3.2)
现在,我们声称是一个柯西序列。假设不是Cauchy序列。然后就有了和子序列,属于这样,对于任何
对于任何对于每个,让.那么我们有
(3.3)
因此,从(3.2)和(3.3)可以得出
还请注意
等等
拿在上述不等式中,通过(3.2)、(3.4)和,我们得到,这是一个矛盾。所以我们知道序列是一个柯西序列。因此收敛到某个元素.
同样,鉴于以下事实和,我们可以得出结论,存在一个序列使得它收敛到某个元素.因为这对是近端周期性收缩克是等距的,我们有
(3.5)
拿在(3.5)中,如下所示
等等和.自和,存在和这样的话
(3.7)
从(3.1)和(3.7)开始,自S公司是Geraghty的第一种近端收缩S公司,我们得到
(3.8)
出租在上述不等式中,我们得到等等因此,我们有
(3.9)
同样,我们可以证明等等
(3.10)
从(3.6)、(3.9)和(3.10),我们得到
接下来,为了证明唯一性,假设存在和具有和这样的话
自克是等距的,并且S公司是杰拉蒂的第一种近端收缩
因此
这是一个矛盾。因此,我们有同样,我们可以证明.
另一方面,让成为一个序列A类和是一个正实数序列,这样
(3.11)
哪里满足以下条件
(3.12)
根据(3.1)和(3.12),自S公司是Geraghty的第一种近端收缩克是等距的,我们有
对于任何,选择一个正整数N个这样的话为所有人.请注意
自是武断的,我们可以得出结论顺序是非递增的,并且在下面有界,因此收敛到一些非负实数.由于序列收敛到x个,我们得到
(3.13)
假设.自
(3.14)
由不等式(3.11)、(3.13)和(3.14)可知
(3.15)
这意味着等等也就是说,
这是一个矛盾。因此因此收敛到该点x个这就完成了证明。 □
如果克是定理3.3中的恒等映射,然后我们得到以下结果。
推论3.4 让 是一个完备的度量空间,并让 A类,B类 是的非空闭子集 X(X).进一步,假设是这样 和 不是空的.让 , 和 是满足以下条件的映射:
-
(a)
S公司 和 T型 杰拉蒂的近端收缩是第一种;
-
(b)
,;
-
(c)
这对 是近端周期性收缩.
然后存在一个独特的点
而且有一个独特的点
这样的话
如果我们采取,其中,我们得到以下推论。
推论3.5[26]
让 是一个完备的度量空间,并让 A类,B类 是的非空闭子集 X(X).进一步,假设是这样 和 不是空的.让 , 和 是满足以下条件的映射:
-
(a)
S公司 和 T型 是第一种近端收缩;
-
(b)
克 是等距的;
-
(c)
这对 是近端周期性收缩;
-
(d)
,;
-
(e)
和 .
然后存在一个独特的点
而且有一个独特的点
这样的话
此外,对于任何固定 ,顺序 由定义
收敛到元素 x个.对于任何固定 ,顺序 由定义
收敛到元素 年.
如果克是推论3.5中的恒等映射,我们得到以下推论。
推论3.6 让 是一个完备的度量空间,并让 A类,B类 是的非空闭子集 X(X).进一步,假设是这样 和 不是空的.让 , 和 是满足以下条件的映射:
-
(a)
S公司 和 T型 是第一种近端收缩;
-
(b)
,;
-
(c)
这对 是近端周期性收缩.
然后存在一个独特的点
并且存在一个独特的点
这样的话
接下来,我们建立了第一类和第二类Geraghty近似压缩的非自映射的最佳邻近点定理。
定理3.7 让 是一个完备的度量空间,并让 A类,B类 是的非空闭子集 X(X).进一步,假设是这样 和 不是空的.让 和 是满足以下条件的映射:
-
(a)
S公司 是杰拉蒂的第一种和第二种近端收缩;
-
(b)
克 是等距;
-
(c)
S公司 保留相对于以下对象的等轴测距离 克;
-
(d)
;
-
(e)
.
然后存在一个独特的点
这样的话
此外,对于任何固定 ,顺序 由定义
收敛到元素 x个.
另一方面,一个序列 在里面 A类 收敛到 x个 如果存在序列 正数,使得
哪里 满足以下条件 .
证明自和,如定理3.3的证明,我们可以构造序列在里面这样的话
(3.16)
对于每个.自克是等距的,并且S公司我们看到的是杰拉蒂的第一种近端收缩
为所有人同样,我们可以证明是一个柯西序列,因此它收敛于.自S公司是Geraghty的第二种近端收缩,并保持相对于克,我们有
这意味着序列是非增量的,在下面有界。因此存在这样的话
假设.请注意
拿在上述不等式中,我们得到.自,我们有这是一个矛盾,因此
(3.17)
现在,我们声称是一个柯西序列。假设不是Cauchy序列。然后就有了和子序列,属于这样,对于任何,
对于任何对于每个,让.那么我们有
(3.18)
从(3.17)和(3.18)可以得出
还请注意
因此,它遵循
等等.自,我们有也就是说,,这是一个矛盾。因此,我们得到了索赔,然后它收敛到因此,我们可以得出以下结论
这意味着.自,我们有对一些人来说然后.事实上克是等距的,我们有.因此等等.自,存在这样的话
(3.19)
自S公司是Geraghty的第一类近端收缩,由(3.16)和(3.19)得出
(3.20)
为所有人.采取在(3.20)中,顺序如下收敛到一点u个.自克是连续的,并且,我们有作为.通过极限的唯一性,我们得出如下结论因此,可以这样说.
证明的唯一性和剩余部分来自定理3.3的证明。这就完成了证明。 □
如果克是定理3.7中的恒等式映射,然后我们得到以下结果。
推论3.8 让 是一个完备的度量空间,并让 A类,B类 是的非空闭子集 X(X).进一步,假设是这样 和 不是空的.让 是满足以下条件的映射:
-
(a)
S公司 是杰拉蒂的第一种和第二种近端收缩;
-
(b)
.
然后存在一个独特的点
这样的话
此外,对于任何固定 ,顺序 由定义
收敛到最佳接近点 x个 属于 S公司.
如果我们采取在定理3.7中,其中,我们得到以下结果。
推论3.9[26]
让 是一个完备的度量空间,并让 A类,B类 是的非空闭子集 X(X).进一步,假设是这样 和 不是空的.让 和 是满足以下条件的映射:
-
(a)
S公司 是第一种和第二种近端收缩;
-
(b)
克 是等距;
-
(c)
S公司 保留相对于的等轴测距离 克;
-
(d)
;
-
(e)
.
然后存在一个独特的点
这样的话
此外,对于任何固定 ,顺序 由定义
收敛到元素 x个.
如果克是推论3.9中的恒等式映射,然后我们得到以下结果。
推论3.10 让 是一个完备的度量空间,并让 A类,B类 是的非空闭子集 X(X).进一步,假设是这样 和 不是空的.让 是满足以下条件的映射:
-
(a)
S公司 是第一种和第二种近端收缩;
-
(b)
.
然后存在一个独特的点
这样的话
此外,对于任何固定 ,顺序 由定义
收敛到最佳接近点 x个 属于 S公司.