具有对称的集合与完备度量空间上两个自映射的共同不动点.pdfVIP

维普资讯 第36卷第蝴 数 学 进 展 Vo1．36．NO．4 2007~8月 ADVANCESIN MATHEMATICS Aug．，2007 具有对称的集合和完备度量空间上 两个 自映射的共同不动点 夏大峰， 符美芬， 江波 (南京信息工程大学数学系，南京，江苏，210044) 摘要： 本文给出了具有对称的集合上两个 自映射有唯一共同不动点的充要条件．同时，还给出 了完备度量空问上两个 自映射有共同唯一不动点的条件． 关键词： 对称；完备度量空间；自映射；不动点 MR(2000)主题分类：45E40／中图分类号： O177．91 文献标识码：A 文章编号：1000—0917(2007)04—0415—06 文 [1—41中给出了d_完备拓扑空间上的∞一连续映射下的不动点定理，文 [9】和文 [10】讨论 了完备度量空间中多个自映射有共同的不动点问题．受文献 [5,6】的启发，本文讨论了具有对称 的集合以及完备度量空间上两个 自映射有唯一共同不动点的问题．本文分为两部分，第一部分 是在具有对称的集合上定义了非负实值映射，根据最小值的特点，利用二元或三元实函数的性 质，给出了该集合上两个 自映射存在共同的唯一不动点的充分必要条件，从而导出了紧致度量 空间上一个和两个连续 自映射存在唯一的不动点定理；第二部分先推广了压缩映像原理，然后 利用二元或三元实函数的性质，给出了完备度量空间上两个连续 自映射存在唯一的共同不动点 定理，并部分地推广了文 f81中压缩条件下的不动点定理． 1具有对称的集合上两个 自映射的唯一共同不动点 定义 【】设 为一非空集合，如果对称映射 d：X ×X— R+满足 d(x，Y)=0当且仅当 =Y，则称 d为 上的对称，其中R+=[0，+。。)． 令函数F2：R 一R+和F3：R晕一R+具有性质： 若WF2(，V) Wmax{u，u)，特别地，F2(，V) max{u，u)； 若WF3(，V，r) Wmax{u，V，r)，特别地，F3(，V) max{u，V，r)． 定理 1 设 d为 上的对称， f，g：X — 均为 自映射．如果对任意 ，Y∈X，若 d(．厂()，9())0，都有不等式 d(．厂()，9())F2(d(，．厂())，d(y，9())) 成立，或不等式 d(．厂()，9())F3(d(，)，d(x，．厂())，d(y，9())) 收稿 日期： 2005—1—10． 基金项目：南京信息工程大学科研基金资助项 目(No．QD32) E-mail：xiadafeng~nuist．edu．ca 维普资讯 416 数 学 进 展 成立，则 f，g有唯一共同不动点的充要条件是 t(x)=d(x，．，())， ∈X 或 t(x)=d(x，夕())， ∈X 有最小值． 证明 必要性是显然的，下证充分性． 不妨设f，g满足不等式 (2)(若f，g满足不等式 (1)，可类似地证明)，并且假设t(x)=d(x，．厂()) ∈X有最小值，XO是t(x)=d(x，．厂())(∈X)的最小值点，即d(xo，f(xO))=min{d(x，．厂())l ∈ )． 下证： d(xo，f(xo))=0，即XO是 f(x)的不动点．用反证法，假设 d(xo，f(xo))≠0，则有 d(xo，f(xo))0．令Y=夕(．厂(0))，则 0d(xo，f(xo)) d(yo，．厂(珈))．根据不等式 (2) d(yo，f(Yo))=d(夕(．厂(0))，．厂(夕(．厂(0)))) F3(d(f(xo)，夕(．厂(0)))，d(f(xo)，夕(．厂(0)))，d(夕(．厂(0))，．厂(夕(．厂(0)))))， 可