1.简介和序言
巴拿赫对是两个巴拿赫空间A类和B类代数上和拓扑上嵌入在分离的拓扑线性空间中,表示为巴纳赫空间电子据说是Banach对空间的中间如果嵌入持有。
让和成为两对巴纳赫夫妇。线性映射T型从太空行动到称为到如果的限制T型到空间A类和B类是来自的有界运算符A类到C和B类到D类分别是。
我们用表示从偶出发的所有有界算子的线性空间给这对夫妇这是一个正常的巴纳赫空间 定义 1 ([1]). 让和是两个Banach对,E(分别为F)是Banach偶空间的中间值(分别). 三人组称为插值三元组,相对于,如果每个有界运算符来自到将E映射到F。 三人组称为α型插值三元组()相对于如果它是插值三元组,且以下不等式成立:对于一些常数c。 受上述定义的启发,内插Kannan收缩被描述为[2]如下:给定一个度量空间,映射称为插值Kannan收缩映射,如果为所有人具有,其中和.主要结果[2]如下所示。 定理 1 ([2]). 让是一个完备度量空间,T是一个内插Kannan型压缩。那么T在X中有一个唯一的不动点。 卡拉普纳尔、阿加瓦尔和艾迪[三]给出了定理1的反例,表明不动点可能不是唯一的。定理1的修正版本如下。 定理 2 ([三]). 让是一个完整的度量空间。让是一个给定的映射,以便为所有人,其中T在X中有一个不动点。 另一方面,巴拿赫收缩原理的推广之一[4]是哈迪·罗杰斯的功劳[5]。 定理 三。 让是一个完整的度量空间。让是一个给定的映射,以便为所有人,其中是非负实数,这样T在X中有一个唯一的不动点。 本文引入了插值Hardy-Rogers型压缩的概念,并给出了一些例子来说明所得结果。我们还将所得结果推广到部分度量空间。
2.主要成果
本节首先介绍内插Hardy-Rogers型收缩.
定义 2 让是一个度量空间。我们说自映射如果存在,则为内插Hardy-Rogers型收缩和具有,因此为所有人. 定理 4 让是一个完全度量空间,T是一个插值Hardy-Rogers型收缩。那么,T在X中有一个不动点。
证明。 从开始,考虑,给定为对于每个正整数n个.如果存在这样的话,那么是的固定点T型。证明已完成。所以,假设为所有人.通过替换这些值和在(2)中,我们发现 假设对一些人来说因此, 因此,我们得出结论,这是一个矛盾。因此,我们有为所有人因此,是一个具有正项的非递增序列。设置.我们有 基于以下假设,通过采取在不等式(15)中,我们得到了在下文中,我们将证明是使用标准工具的Cauchy序列。更准确地说,从三角形不等式开始,我们将得到以下估计: 因此,是完全度量空间中的柯西序列,所以存在这样的话假设。自对于每个,通过出租和英寸(2),我们有 出租在不等式(19)中,我们发现,这是一个矛盾。因此,. □
在下文中,我们将考虑在部分度量空间中定理4的模拟。为此,我们回顾基本概念和基本观察结果。
定义 三 (请参见[6]). 设X是非空集。A函数如果满足以下条件,则称为部分度量: 在这种情况下,称为部分度量空间。
功能,定义为是上的标准度量X在部分度量空间的框架中,定义基本拓扑概念是很自然的,特别是序列的收敛性、基本(Cauchy)序列准则、映射的连续性和拓扑空间的完备性;例如,请参见[7,8,9,10,11,12,13,14,15,16]。 定义 4 在部分度量空间的框架中,我们这么说
- (i)
一个序列 收敛达到极限ξ,如果;
- (ii)
一个序列是基本的(或柯西)如果存在且有限;
- (iii)
部分度量空间是完成如果每个基本序列收敛到一点这样的话; 和
- (iv)
地图是连续的在某一点上如果,对于每个,存在这样的话.
在下面的内容中,我们将回顾以下易导出引理(参见[6]). 引理 1 设p是非空集X上的部分度量是同一集合X上对应的标准公制空间。
- (a)
A序列在部分度量的框架中是基本的当且仅当它是相应标准度量空间设置中的基本序列.
- (b)
部分度量空间是完整的当且仅当相应的标准度量空间已完成。此外, - (c)
如果作为在部分度量空间中具有,那么我们有
以下定理类似于定理4,在部分度量空间中。
定理 5 让是一个完备的部分度量空间。让是一个给定的映射。假设存在和具有,因此为所有人然后,T在X中有一个不动点。 证明。 对于任何,我们构造一个序列通过对于每个.如果存在这样的话,那么是的固定点T型。证明已完成。所以,假设对于每个.通过替换这些值和英寸(12),我们发现 现在,如果我们假设,则不等式(13)得出矛盾(因为). 因此,我们得出结论也就是说,是一个非递增序列。因此,通过不等式(13),我们得到 因此,存在一个非负常数ℓ这样的话请注意注意(14)产生了 自我们有因此,通过出租在(15)中,我们得到了
我们将使用部分度量的修正三角不等式来证明是一个基本(柯西)序列: 我们的结论是是中的基本序列,通过采取.根据引理1,是相应标准度量中的基本序列更具体地说,因为已完成,也是完整的。因此,存在这样的话这意味着 作为下一步,我们要明确限制迭代序列的是给定映射的不动点T型.假设,所以回忆一下对于每个。通过让和英寸(12),我们确定 出租在不等式(19)中,我们发现等等,这是一个矛盾。因此,. □
在以下示例中,不动点存在,但不是唯一的。
例子 1 考虑被赋予。选择,,和很明显为所有人; 也就是说(2)持有。定理4的所有假设都满足,因此T有一个不动点。这里,我们有两个固定点,它们是0和1. 另一方面,对于和,我们有对于任何,所以定理3(对于)不适用。 例子 2 让.然后等等; 也就是说(2)持有。因此,定理4的所有假设都成立,因此T有一个不动点。这里,我们有无穷多个不动点。 另一方面,定理3不适用(和).
备注 1 众所周知,定理3是Banach、Kannan和Reich不动点结果的推广。注意,在我们通过插值的新方法中,使用插值方法的所有上述结果之间没有关系。也就是说,定理4完全独立于[三]和定理2。 3.结论
我们旨在通过引入插值方法来丰富不动点理论。