Fuzzy度量空间上Lipschitz型自映射的公共不动点.pdf

第 28卷第 5期 模 糊 系 统 与 数 学 Vo1．28，No．5 2014年 1O月 FuzzySystemsandMathematics 0Ct．．2014 文章编号 ：1001—7402(2014)05—0103—08 Fuzzy度量空间上 Lipschitz型 自映射 的公共不动点 朱秀娟 ，宋明亮 (江苏第二师范学院 数学与信息技术学院，江苏 南京 21OO13) 摘 要 ：在 Fuzzy度量空 间上建立 了一个 Lipschitz型 自映射 的公共不动点定理 。作为应用 ，得到 Fuzzy 度量空间上 Bose型和 Kannan—Reich型 自映射 的公共不动 点定理 ，从而统一并推广 了Bose与 Kannan— Reich在度量空间上 的有关结论。 关键词 ：Fuzzy度 量空间 ；Lipschitz型 自映射 ；公共不动点 中图分类号 ：0177；0159 文献标识码 ：A 1 引言及预备知识 不动点理论是非线性分析 的重要组成部分，它的研究在偏微分方程、控制论 、经济平衡理论及对 策理论等领域都有极为成功的应用，因此，吸引着众多学者关注。1984年，Kaleva与Seikkala在文[1] 中引入Fuzzy度量空间的概念并讨论 了它的性质 。而后 ，许多作者在Fuzzy度量空间上分别建立了各种 不动点定理rl]。最近，文E8]在锥度量空间及度量空间中引入一类 Lipschitz型 自映射，并建立了相应 的公共不动点定理 ，真正推广了已有的结论。而众所周知 ，经典的度量空间是Fuzzy度量空间的特例 。 受文[8]的启发 ，本文将在 Fuzzy度量空间中引入这类 Lipschitz型 自映射 ，建立对应 的公共不动点定 理。作为应用 ，得到 Fuzzy度量空间上 Bose型和 Kannan—Reich型 自映射的公共不动点定理，从而发 展 了E4]和 [7]的相应结论 ，同时统一并推广 了Bose[9]与Kannan—ReichE 在度量空间上 的有关结 论。 在本文 中我们记 N一{1，2，3，…)，R一 (一0(3，+oo)，R 一E0，+。。)。F(R)表示 R中的全体模糊子 集的集合。对于 EF(R)及 aE(O，1]， ]。是 的a一水平集 ，意味着 ]一{xER：(z)≥a)。 如果UEF(R)并满足如下性质 ： (1) 是凸的(意味着当s≤ ≤r时 ，有 (￡)≥min{(s)，(r)))； (2)U是正规 的(意味着存在 t。ER，使得 u(t。)一1)； (3)U是下半连续 。 则称 是一个模糊数。我们记全体模糊数为E．如果当f0时， ()=-0，则称模糊数 是非负的，E中 非负的模糊数全体记为G． 注 1．1 容易看 出如果 EE，则对任意的aE (O，1]，[]。是 闭区间[]一[ ， ]，这里 u2一 一 。。，“一+。。是可能的。于是 ，R能够嵌入到 E中，对每个 r∈R，我们看作模糊数 r，其 中 (￡)一 收稿 日期 ：2014—01—2O 基金项 目：江苏省高校 自然科学基金资助项 目(13KJBll0004；14KJBl10005)；江苏第二师范学院重点科研项 目(JSNU—Z一4469) 作者简介 ：朱秀娟 (1980一)，女 ，江苏人 ，江苏第二师范学院数学与信息技术学 院讲师 ，研 究方向：非线性分析 ；宋 明亮(1972一)，男， 湖北人 ，江苏第二师范学院数学与信息技术学 院副教授 ，研究方 向：模糊分析学 。 104 模 糊 系 统 与 数 学 2014拄 f1·t一 l0，tO=，． 定义 1．1c 设 x为非空集 ，d：x×x—G是模糊数值函数。映射 ，R：[0，1]×[O，1]一[0，1]关于 两变元是对称的、非减的，且满足L(O，0)一0和R(1，1)一1。对任意z，Ex，记模糊数d(x，)的 口_水平 集 [d(sc，)]为：Ed(sc，)]一E~(sc，)，po(sc，)]，其中aE (0，1]。 如果四元组 (x，d，L，R)被称为Fuzzy度量空