让(X(X),d日)是度量空间。我们表示为CB(断路器)(X(X))所有非空、闭、有界子集的族X(X).让H(H)(·,·)是Hausdorff度量,即,
对于一个,B类 ∈ CB(断路器)(X(X)),其中d日(x个,B类)=基础设施
年
∈
B类
d日(x个,年).
现在,我们将证明我们的主要结果。
定理2.1.定义非递增函数 φ 从[0, 1)进入之内(0, 1]通过
让(X(X),d日)是一个完备的度量空间,T是从X到CB的映射(X(X)).假设存在r ∈[0, 1)这样φ(第页)d日(x个,发送) ≤d日(x个,年)暗示
(3)
对于所有x,年 ∈ X(X).那么,存在z ∈ X使z ∈ Tz公司.
证明.
-
1
让第页 1是一个0≤的实数r<r 1 <1,和u个 1 ∈ X(X)和u个 2∈图 1随心所欲。自u个 2∈图 1,然后d日(u个 2,图 2) ≤H(H)(图 1,图 2)和,作为φ(第页)<1,
因此,根据假设(3),我们有
因此,作为第页<1,我们有d日(u个2,图2) ≤第个(u个1,u个2). 因此,存在u个三 ∈ 图2这样的话d日(u个2,u个三) ≤第页1d日(u个1,u个2). 因此,我们可以构造这样的序列{u个
n个
}英寸X(X)那个
那么,我们有
因此,我们得出结论:{u个
n个
}是一个柯西序列。自X(X)是完整的,这是有意义的z(z) ∈ X(X)这样的话
-
2
现在,我们将展示
(4)
自u个
n个
→z(z),存在n个0 ∈ N个这样的话d日(z(z),u个
n个
) ≤ (1/3)d日(z(z),x个)为所有人n个≥n个0。那么,我们有
因此,
(5)
自
从(5)开始,我们有φ(第页)d日(u个
n个
,图
n个
)≤d日(u个
n个
,x个). 然后,从(3)开始,
(6)
自u个
n个
+1 ∈ 图
n个
,然后
因此,从(6)中,我们得到
为所有人n个 ∈ N个具有n个≥n个0.出租n个趋向于∞,我们得到(4)。
-
三。
现在,我们来展示一下z(z) ∈ Tz公司.
3.1. 首先,我们考虑这个案例相反,假设z(z) ∉ Tz公司.让一 ∈ Tz公司是这样的2第个(一,z(z))<天(z(z),Tz公司). 自一 ∈ Tz公司暗示一≠z(z),然后从(4)开始
另一方面,因为φ(第页)d日(z(z),Tz公司) ≤d日(z(z),Tz公司) ≤d日(z(z),一),然后从(3)开始
因此,
因此,d日(一,助教) ≤第个(z(z),一)<天(z(z),一),从(7)开始,我们有d日(z(z),助教) ≤第个(z(z),一). 因此,我们获得
这是一个矛盾。因此,我们z(z) ∈ Tz公司.
3.2. 现在,我们考虑一下这个案例.我们将首先证明
(8)
为所有人x个 ∈ X(X).如果x个=z(z)然后前面的明显成立。因此,让我们假设x个≠z(z)然后,对于每个n个 ∈ N个,存在一个序列年
n个
∈ 发送这样的话d日(z(z),年
n个
)≤d日(z(z),发送) + (1/n个)d日(x个,z(z)). 使用(4),我们为所有人n个 ∈ N个
如果d日(x个,z(z)) ≥d日(x个,发送),然后
出租n个趋向∞,我们有d日(x个,发送) ≤ (第页+ 1)d日(x个,z(z)). 因此,
从(3)开始,我们有(8)。
如果d日(x个,z(z))<天(x个,发送),然后
因此,
出租n个趋向∞,我们有φ(第页)d日(x个,T型) ≤d日(x个,z(z))因此,从(3)开始,我们又有(8)。
最后,从(8)中,我们得到
因此,作为第页<1,我们得到d日(z(z),Tz公司) = 0. 自Tz公司已关闭,z(z) ∈ Tz公司.
因此,我们已经表明z(z) ∈ Tz公司在所有情况下,这就完成了证明。□
备注。定理2.1为中提出的问题1提供了答案[12].
推论2.1.让(X(X),d日)是一个完备的度量空间,T是从X到CB的映射(X(X)).
假设存在r ∈[0, 1)使得φ(第页)d日(x个,发送) ≤d日(x个,年)暗示
(9)
对于所有x,年 ∈ X(X),其中函数 φ 定义见定理2.1。那么,存在z ∈ X使z ∈ Tz公司.
证明它来自定理2.1,因为(9)暗示(3)。□
推论2.1是Kikkawa和Suzuki定理2.2的多值映射推广[三]因此,Kannan不动点定理[4]对于广义Kannan映射。此外,它是Damjanović和Đorić定理2.1的推广[13].
从推论2.1中,我们得到了另一个推论:
推论2.2.让(十、 d日)是一个完备的度量空间,T是从X到CB的映射(X(X)).
让α ∈[0, 1/3)和r= 3α.假设存在r ∈[0, 1)这样的话
对于所有x,年 ∈ 十、 其中函数 φ 定义见定理2.1。那么,存在z ∈ X使z ∈ Tz公司.
考虑到T型作为单值映射,我们得到了以下结果:
推论2.3.让(X(X),d日)是一个完全度量空间,T是从X到X的映射.假设存在r ∈[0, 1)这样的话
暗示
对于所有x,年 ∈ 十、 其中函数 φ 如定理2.1所定义。那么,存在z ∈ X使z=Tz公司.
推论2.3是推广的不动点定理[4]。推论2.3也是Enjouji等人定理3.1的推广[14],因为通过对称性[14]暗示了定理1.1中的不等式(1)。考虑定理1.2的推广,Popescu[15]用不同的函数得到了相同的结果φ.