一类广义弱压缩条件同伦不动点存在性定理.pdfVIP

第 31卷第 2期 大 学 数 学 Vo1．31，№ ．2 2O15年 4月 CoLLEGE M ATHEMATICS Apr．2015 一 类广义弱压缩条件的同伦不动点存在性定理 马芙玲 (中山火炬职业技术学院 公共课部，广东 中山 528436) [摘 要]在偏序度量空间中引入了广义弱压缩映射条件，证明了同伦不动点的存在性定理，推广了原有 的某些结果． [关键词]偏序度量空间；广义弱压缩条件 ；不动点；偏序集 ；线性映射 [中图分类号]0189．1 [文献标识码]c [文章编号]1672—1454(2015)02～0087—06 1 引 言 度量空间不动点存在性 问题已有 比较完善的结果 ，这些结果在许多理论研究和实际应用 中起到了 重要作用．Matlhews(1994)[13提 出了偏序度量空 间的概念 ，它是度量 空 间的推广 ，是一个不要求 p(x，)===0的广义度量空间，有着重要 的意义．随着对该空间的深入研究及现实应用 的需要，Ran和 Reuring(2004)[2]对偏序度量空间不动点的存在性问题进行 了卓有成效 的研究，得到了一类广义弱压缩 映射在拓扑同伦方面的不动点存在性定理．然而 ，他们 的条件十分苛刻．基于偏序度量空间不动点的存 在性问题有着重要 的理论意义和实际应用价值，本文将尝试在更弱的条件下来讨论偏序度量空间不动 点的存在性 问题． 2 预备知识 定义 2．1 已知 x非空，P：X×X一 (非负实值)叫做在 x上 的偏度量 ，如果 V ，Y，z∈X ，有 (i)p(x，z)一P(Y，)一p(x，)当且仅 当 —Y； (ii)p(x，z)≤ p(x，)； (iii)p(x， )一 P(y， )； (iv)p(x，)≤ p(x，)+P(Y，z)一P(Y，)． 序对 (X，)叫做偏度量空间，P叫做偏度量．在下文中，如无特殊说明，指的是 (X，)． 注 1 Abbas和 Nazir(2012)指 出，若 p(x，)一0，则由(i)和 (ii)可推出 ==： ． 注2 邻域B (，￡)一 { ∈X；p(x，) p(x，)+￡)，V 及e 0可以生成一个拓扑 ． 注 3 如果 (X，)为一个偏度量空间，则会诱导一个度量 P ( ，)一 2p(x，)一 p(x，)一 P(Y，)， 故 (X，P )为一个度量空间． 注4 序列 { } 在 (X，P)收敛到z∈X当且仅当 lim p(x ，z )一 limp( ，)一 p(x，)． 定义 2．2[3] X是一个偏序度量空间： (i)序列 {z }在X 中叫做 Cauchy列 ，如果 lim p(x ，z )存在且有限； [收稿 日期]2015-01—13 88 大 学 数 学 第 31卷 (ii)x 叫做完备的，如果 x 中的每个 Cauchy列 { }考虑到拓扑r 收敛到 Ex ，使得 limp( ，z)一 p(z，)， — + 。。 这样 ，偏度量 P是完备的． 命题 2．3[3 若 X是偏序度量空间，因此 序列 {Iz)在 (X，p)中是 Cauchy列当且仅当在 (X，P)是 Cauchy列 ； (X，)是完备的当且仅当 (X，P)是完备的． 定义 2．4_3 映射 ． 厂：X— x叫做弱压缩映射 ，如果 (，z，fy)≤ p(z，)一 ( (，))，Vlz， E X ． 最近 ，Abbas和 Nazir(2OO4)_3在偏序度量空间中获得了以下的弱压缩条件在同伦不动点存在性 中 的基本结果 ，即下文定理 2．5： 定理 2．5 (X，≤)是一个存在