2.结果
在本节中,我们引入了一种新型的广义度量空间,我们称之为扩展度量空间b条-公制空间。我们还建立了由此度量空间产生的一些不动点定理。
定义 三。 设X为非空集A函数称为扩展b-度量它满足:
若(iff)
这对称为扩展的b度量空间。
备注 1 如果对于然后我们得到了b-度量空间的定义。
例子 2 让定义和作为: 证明。 和微不足道的坚持。对于我们有: 类似的计算适用于因此 因此是一个扩展b条-公制空间。 ☐
例子 三。 让是定义在上的所有连续实值函数的空间注意,X是完全扩展的b-度量空间,通过考虑,使用,其中.
收敛性、柯西序列和完备性的概念可以很容易地推广到b条-公制空间。
定义 4 让是一个扩展的b度量空间。
- (i)
A序列在X中表示收敛到,如果每个存在这样的话为所有人在这种情况下,我们写
- (ii)
A序列在X中被称为Cauchy,如果存在这样的话为所有人
定义 5 扩展的b-度量空间如果X中的每个Cauchy序列都是收敛的,则是完全的。
请注意,一般情况下b条-度量不是连续函数,因此扩展的度量也是b条-公制。
例子 4 让然后让由定义[14]: 然后是带有的b度量但它不是连续的。
引理 1 让是一个扩展的b度量空间。如果是连续的,那么每个收敛序列都有唯一的极限。
我们的第一个定理类似于扩展的Banach收缩原理b条-公制空间。在本节中,对于映射和,表示的轨道.
定理 2 让是一个完全扩展的b度量空间,以便是一个连续的函数。让满足:哪里使每个人,,在这里,那么T正好有一个不动点ξ。此外,对于每个,. 证明。 我们选择任何任意定义迭代序列签署人: 通过三角不等式和(2),用于我们有: 自,因此该系列通过比率测试收敛.让: 出租我们的结论是是一个柯西序列。自X(X)完成出租: 因此是的固定点T型此外,通过使用不等式可以很容易地调用唯一性(1),自. ☐ 在下文中,我们包括另一个类似于Hicks和Rhoades不动点定理的变体[15]. 我们需要以下定义。 定义 6 让还有一些,是…的轨道从X到实数集的函数G称为T轨道下半连续如果和暗示.
定理 三。 让是一个完全扩展的b度量空间,以便是一个连续的函数。让并且存在这样:哪里这样做是为了,,在这里,。那么此外,ξ是T的不动点当且仅当在ξ处为T轨道下半连续。 证明。 对于我们定义了迭代序列签署人: 现在为通过连续应用不等式(三)我们获得: 按照与定理2的证明相同的程序,我们得出如下结论:是一个柯西序列。自X(X)那么就完成了.假设G公司轨道下部半连续,然后: 相反,让和具有。然后: ☐ 备注 2 什么时候?一个常数函数,然后定理3简化为Hicks和Rhoades的主要结果([15](定理1))。因此,定理3扩展/推广了([15](定理1))。 例子 5 让定义和作为: 然后是X上的完整扩展b-度量定义通过我们有: 请注意,对于每个,因此,我们得到: 因此,定理3的所有条件都满足,因此T具有唯一的不动点。
例子 6 让定义和作为: 然后是X上的完整扩展b-度量定义通过我们有: 请注意,对于每个,因此,我们得到: 因此,定理3的所有条件都满足,因此T具有唯一的不动点。