1.简介
让是非阿基米德值字段,即。,两者都不是也不是,具有绝对值函数这样的话 让X(X)是上的拓扑向量空间.上的半范数-向量空间X(X)是一张地图满足
- (i)
,和.
- (ii)
,
对于半范数第页我们有但是非零允许为0x注意,每个范数都是一个仅在0处消失的半范数。
回想一下拓扑向量空间结束局部称为(非阿基米德)-凸空间如果以绝对凸邻域(子集)为基础被称为绝对-凸if和为所有人和哪里). 每个本地-凸拓扑可以由非阿基米德半范数系统自然生成.A本地-凸空间X(X)Hausdorff是当且仅当每个非零存在连续半范数第页在X(X)这样的话.A序列在里面X(X)称为柯西网当且仅当对于任何半范数第页。以下为 一个子集S公司Hausdorff本地-如果每个柯西网S公司收敛到一个极限S公司。有关详细信息,请参阅[1,2,三,4]. 另一方面,最基本的不动点定理是所谓的巴拿赫压缩原理(简称BCP),这一结果在数学的各个领域都发挥了重要作用。由于它的重要性和简单性,一些作者对巴拿赫压缩原理进行了许多有趣的扩展和推广。西里奇[5]引入了准压缩映射,使他得以推广巴拿赫压缩原理。 在没有固定点的情况下,即方程没有解决方案,问是否有可能找到这样的话 A分据说是映射的最佳邻近对如果这是问题的解决方案(1). 不动点理论的另一个有趣的主题是循环收缩映射的概念和Kirk等人提供的最佳接近点[6,7]. 局部的非空子集对-凸空间,我们称之为映射是循环的(分别是非循环的),前提是和(分别为。和).
2.相对循环的不动点结果P(P)-合同
在本节中,我们导出了某些相对循环型的不动点定理第页-完全局部收缩-凸空间。
定义 1 设A和B是局部的非空子集-凸空间.相对循环图如果存在,则称为相对循环p收缩这样对所有人来说和和我们有 定理 1 让在当地成为一名完整的豪斯多夫人-凸空间,A和B是X和一个相对循环的p收缩图。那么T在.
证明。 接受一个观点自从是第页-收缩,我们有和 归纳地说,对所有人都使用这个过程我们有 自,作为,我们得到,因此是一个第页-柯西序列。自完成了,我们有→。我们注意到是中的序列一个和是中的序列B类在某种程度上,两个序列趋向于相同的极限.自一个和B类关门了,我们有因此.
我们声称.考虑到条件相对循环第页-我们有收缩 这意味着自X(X)是豪斯多夫,.
我们将证明存在唯一的不动点T型。显然来自(2)如果和是两个固定点T型我们有 自这意味着。因此证明已完成。□
推论 1 设A和B是完全Hausdorff局部的两个非空闭子集-凸空间X。设和是两个函数,以便为所有人,和哪里。然后存在一个独特的这样的话 证明。 将定理1应用于映射定义依据:观察这种情况已退化至状况(2). 然后T型有一个独特的固定这样的话 定理 2 让在当地成为一名完整的豪斯多夫人-凸空间,A和B是X和B的两个非空闭子集是满足条件的相对循环映射为所有人,和和然后,T在. 证明。 类似地,我们得到.
归纳地说,对所有人都使用这个过程我们有因此 自,作为,我们得到.因此是一个第页-柯西序列。作为完成了,我们有→。我们注意到是中的序列一个和是中的序列B类所以这两个序列趋向于相同的极限.自一个和B类关门了,我们有那就是.
将限额作为在上述不等式中,我们有这意味着,自X(X)是豪斯多夫,. 显然来自(4)如果u个和v(v)是…的固定点T型我们有 自这意味着. □
推论 2 设A和B是完备Hausdorff局部的两个非空闭子集-凸空间X。let和是两个函数,这样为所有人和和哪里然后存在一个独特的这样的话 证明。 让由定义 然后T型满足条件(4),我们现在可以应用定理2来推断T型具有唯一的固定点这样的话 □ 3.相对非循环映射的不动点
在本节中,受定理3.1的启发[13],我们证明了相对非循环映射的最佳邻近点的存在性,并研究了问题解的存在性(1)相对而言第页-局部中的非扩张映射-凸面。 定义 2 让在当地成为一名完整的豪斯多夫人-凸空间, 我们设置了 我们扩展了众所周知的概念第页-引入的属性[5]度量空间到局部的情况-凸空间。 定义 三。 让是局部凸空间的一对非空子集具有这对称为具有p属性iff哪里和 定义 4 让是局部凸空间的一对非空子集地图称为相对p-非扩张iff为所有人和 如果,我们说T是p-非扩张的。
引理 1 [14]让在当地成为一名完整的豪斯多夫人-凸空间,如果是p-收缩映射,那么T有唯一的不动点X,和 每. 证明。 让和我们有然后,这意味着所有人和 对于每个和,选择n个足够大。那么,我们有 自,作为,我们得到.因此是一个第页-柯西序列,因此它收敛到一个点在里面X(X).很明显不动点的唯一性与往常一样,因为X(X)是豪斯多夫。□
定理 三。 让在当地成为一名完整的豪斯多夫人-凸空间和是X的两个非空闭子集。假设是一个相对非循环映射,因此对于某些为所有人和 然后此外,映射T在当且仅当. 证明。 让和是两个序列一个和B类分别确保.然后 在以下情况下接受限制n个趋向无穷大,我们看到这是必然的首先假设如果我们将定理1应用于,存在一个固定点T型事实上在.
另一方面,假设T型有一个固定点在里面.在不失一般性的情况下,假设然后,给一分如果我们表示我们有 自,作为,我们明白了收敛到自一个已关闭,结果如下。□
定理 4 让在当地成为一名完整的豪斯多夫人-凸空间和是X的两个非空闭子集,这样.假设满足p-性质。让是满足条件的相对非循环映射
- (i)
是p收缩,
- (ii)
T是相对p-非膨胀的。
证明。 让则存在这样的话自T型相对而言第页-非扩张性;所以 因此,因此现在让我们按引理1如果然后哪里是的固定点T型在里面一个.自,则存在这样的话再一次,因为那么就有了这样的话.
归纳地说,对所有人都使用这个过程 我们有一个序列在里面B类这样的话 自有第页-财产,我们都能做到 这意味着是柯西序列,因此存在这样的话。我们现在有 因此自(一个,B类)具有属性P(P).因此是的解决方案(1). □