区间值模糊度量空间中的不动点定理.pdfVIP

第 28卷第 5期 模 糊 系 统 与 数 学 Vo1．28，No．5 2014年 1O月 FuzzySystemsandMathematics 0Ct．。2014 文章编号：1001—7402(2014)05—0087—06 区间值模糊度量空间中的不动点定理 陆汉川，李生刚 (陕西师范大学 数学与信息科学学院，陕西 西安 710119) 摘 要 ：介绍 区间值模糊度量空间的一些性质 ，通过定义模糊 收缩映射 ，把著名 的Banach和Edelstein不 动点定理推广到在 George和 Veeramani意义下的区间值模糊度量空间。 关键词 ：完备 的区间值 模糊度量 空间；模 糊收缩映射 ；模 糊收缩序 列 ；不动点定理 中图分类号：O189 文献标识码 ：A 1965年 ，为了从数学上处理带有模糊性的不确定现象，Zadeh1引入 了模糊集合 的概念 ，从此模糊 数学得到了迅猛的发展。目前，许多数学工作者利用模糊集的概念通过不同的方法给出了模糊度量空间 的概念l2]。其中A．George和P．Veeramani在文Es-I、文[6]中通过修改Kramosil和Michalek_7所定义 的模糊度量空间获得这类空间是 Hausdorff拓扑的。显然 ，它与文[2]、文[3]、文[4]定义的度量空间的 概念是不同的。我们注意到A．George和P．Veeramani应用模糊集来表示在模糊度量空间中两点之间 距离的不确定性 ，并提出了连续t一模的概念，以此推广了一般 的度量空间的三角不等式。1975年 ，Zadah 就 已经定义 了区间值模糊集的概念_8]。它是通过 区间值隶属函数来刻画模糊集 ，是模糊集的另一种推 广 。2009年，L 介绍 了在实直线 R上的两个 区问值模糊集之间距离 的定义。2012年 ，Shen[】。。基于 A．George和P．Veeramani意义下的模糊度量空间的概念 ，提出了连续的区间值 t一模和区间值模糊度量 空间的定义 ，并且还讨论了这类度量空间的一些拓扑性质 ，并提出了未来 的研究工作中将要讨论区间值 模糊度量空问中的不动点定理 。本文是文[1O]研究工作上的延续，通过定义区间值模糊度量空间中的模 糊收缩映射，将Banach不动点定理[113推广到了完备的区间值模糊度量空间，将Edelstein不动点定理 o] 推广到紧的区间值模糊度量空间。 1 预备知识 在不确定性数学方法研究中，用区间数来刻画事物的现象和本质特征的方法被学者称为区问数理 论_l 。设 是一个闭的单位区间，即 一[O，1]。我们记在区间 上的所有区间数为[]，表示为Eli 一 {一[口，a]10≤≤口一≤口≤1}，(]===1-I]一{}，()一[]一{0一，一1)，一[O，1]E1-I]。特另0的，女口果 ∈ []，有a一一n ，则区间数 退化为在 [0，1]上的通常的实数。显然 ，对任意 aEI，可以记为 口一 a，]，即 aE1-i]。 对每一个 ，∈[]，我们介绍下面几种运算 。 (O1)八占一[口一Ab一， Ab。]‘； * 收稿 日期 ：2013—04—09；修订 日期 ：2013-11-08 基金项 目：国家 自然科学基金资助项 目；中央高校基本科研业务费专项资金项 目(14SZYB08) 作者简介：陆汉川 (1977一)，男，壮族 ，广西宜州人，陕西师范大学数学与信息科学学院博士研究生，研究方 向：格上拓扑学，模糊数 学；李生刚(1959一)，男，陕西神木人，陕西师范大学数学与信息科学学院教授，研究方向：格上拓扑学，拟阵。 88 模 糊 系 统 与 数 学 (02)aV 一r-a—Vb一，a Vb]； (O3)—ac~一l--a一z[1一a+，1一口一]； 另外 ，我们介绍在 []中的序关系≤，一，如下 ： (R1)≤ 当且仅 当a-≤6一，口≤6 ； (R2)一 当且仅 当a一一6一，a 一6 ； (R2)ab当且仅当 ≤ ，aC=b． 显然，(口]，≤)是一个偏序集，([]，≤，V，^)是具有最小元 一[O，O