TVS-值锥度量空间上四个映射的唯一公共不动点.pdfVIP

数学物理学报 http：／／actams．wipm．ac．CYI TVs一值锥度量空间上四个映射的唯一公共不动点 朴勇杰 金海兰 金元峰 (延边大学理学院数学系 吉林延吉 133002) 摘要：在非完备的拓扑线性空间值锥度量空间上得到了新的满足某种 Lipschitz型条件的四个 映射的唯一公共不动点定理并给出了一些推论．所得结果推广和改进了文献中一些已知结论． 关键词：TVS一值锥度量空间； Lipschitz型条件；公共不动点． MR(2010)主题分类：47H05；47H10；54E40 中图分类号：O177．91 文献标识码：A 文章编号：1003—3998(2015)01—172—10 1 引言和基本概念 黄和张 【]通过用实Banach空间代替实数集推广了通常的度量空间，定义了锥度量空 间，并在正规的锥度量空间上得到了收缩型映射的若干个不动点定理．同时，一些学者 [2-s]在 正规或非正规的锥度量空间上研究了满足某种收缩型条件的映射族 的公共不动点存在性． 另一方面，文献 f9—10]的作者引进了比由黄和张引进的空间更弱的一类叫做拓扑线性空间 值锥度量空间的概念，并得到了一个映射的不动点定理和两个映射的公共不动点定理．文献 1【112]的作者在该空间上也讨论了公共不动点的存在问题．文献 1【3]的作者在锥度量空间 上给出了当两个 自映射满足某种变系数的Lipschitz型条件时具有唯一公共不动点的定理并 给出了若干重要推论． 在本文，我们将在TVS一值锥空间上考察满足具有变系数的Lipschitz型条件的四个映 射，并证明当它们满足一定的条件时具有唯一公共不动点的定理．然后，给出若干的推论． 最后，给出两个映射的唯一公共不动点存在定理和三个映射的唯一重合的点存在性定理． (E，丁)表示一个拓扑线性空间 (TVS)，Po是E 的子集．称 P0是一个锥是指P0满足 (i)Po非空的闭子集且 ≠{0l； (ii)对任何 ，YE 及任何非负实数 a，b，成立 ax+by∈Po； (iii) n(一Po)= {0)． 对给定的锥 PocE，我们根据 可定义偏序关系 如下： Y当且仅当Y— ∈Po． Y将表示 X Y但 ≠Y，而 X《Y将表示Y—X∈intPo，其中int尸0表示P0的内部． 定义 l[ 1设 x是非空集合 ．如果映射 d：X ×x— E满足 (d1)对任何 ，Y∈X，0 d(z，)，且 d(x，Y)=0当且仅当 一 ； (d2)对任何X，Y∈X，d(x，Y)=d(u，)； 收稿 日期：2013—10—08；修订 日期：2014-11—06 E—mail：sxpyj@ybu．edu．cn；hljin98@ybu．edu．cn；yfkim@ybu．edu．cn 基金项目：国家自然科学基金 11261062)和吉林省教育厅科研项目(吉教科合)资助 No．1 朴勇杰等：TVS一值锥度量空间上四个映射的唯一公共不动点 173 (d3)对任何 ，Y，Z∈ ，d(x，Y) d(22，z)+d(z，)． 则称 d为 上的拓扑线性空间值锥度量，而称 (X，d)为扑线性空间值锥度量空间 (简记为 TVS一值锥度量空间)． 如果E是实Banach空间，则 (X，d)变成一个锥度量空间 [1,13】． 定义 2 设 (X，d)是TVS一值锥度量空间，22∈X且 { }∈N是 的一个序列．则 (i)称 { )为柯西序列是指对任何 c∈E且0 《C，存在N ∈N使得对任何 礼，mN， 成立 d(22 ，22)《c； (ii)称 { }收敛于 22是指对任何 C∈E且0《C，存在N ∈ 使得对任何礼N满足 d(22n，)《C，并记 22n 22或 lim 22n=22． (iji)称 (，d)是完备的是指 中的每个柯西序列都