Deng伪度量与Erceg伪度量的关系.pdf

第 29卷第 1期 模 糊 系 统 与 数 学 Vo1．29．N0．1 2015年 2月 FuzzySystemsandMathematics Feb．．2015 文章编号 ：1001—7402(2015)01—0001~05 Deng伪度量与Erceg伪度量的关系 陈 鹏 (1．河南科技大学 数学与统计学院，河南 洛阳 471003； 2．北京工业大学 应用数理学院，北京 100124) 摘 要 ：证 明一个 Deng度量是一个Erceg度量，但反之不成立 ，并且证 明Deng度量的拓扑可 以被远域 刻 画且 它所诱 导的拓 扑和 m一一致结构就是 Erceg度 量所诱导的拓扑和 Hutton一致结构 。 关键词 ：Deng伪度量 Erceg伪度量 ；m—一致结构 ；Q—C1 中图分类号 ：O189 文献标识码 ：A 1 引言和预备 格上度量是格上拓扑学 中最核心的问题 ，迄今国内外已给一些代表性度量 ，并已取得 了不少创造性 工作 。。，但对它研究还远没有结束。ErcegM．A．在上世纪 70年代末给 出了较经典 的Erceg度 量嘲，Deng度量是在 I这种特殊格上由国内邓 自克教授八十年代初提 出最早且较系统地研究过的度 量 ，并给出过该度量较漂亮的结果 引。但此两种度量之间有什么联系?Deng度量所诱导的拓扑与 Erceg度量诱导的拓扑关系如何?邓的m一一致结构嘲与Hutton一致结构 是什么关系?Deng度量的拓 扑能否用 “点”的重域系(或远域系)[1o 来刻画?如此这些问题一直以来含糊不清 ，并且没人探讨过 。其 中有两个主要原因： 其一 ：两种度量在 I(I一[0，1])上是通过不 同定义 的模糊点来给出的，Deng度量被定义是通过下 列模糊点 。 定义 1．1[] 一个模糊点 X∈I被定义如下 ： 一 0r 三 这里 ∈(O，1)。简记映射 X()为 X，同时，X一被称为z的余点。{X}表示 I上所有 D一模糊点的集合。 Erceg度量在 I上是通过下列模糊点定义的，即： 定义 1．2[ y(z)∈I是一个模糊点被定义如下 ： 一 三 这里 a∈(O，1]，简记映射 Y。()为Y，{Y}表示 I上所有 E一模糊点的集合。 * 收稿 日期：2013一10—1I；修订 日期 ：2014—05—15 基金项 目：河南科技大学博士启动项 目；河南科技大学科研创新能力培育基金资助项 目 作者简介：陈鹏 (1974一)，男 ，北京人 ，博士后 ，高级工程师 ，副教授 。 2 模 糊 系 统 与 数 学 其二：两者刻画模糊点的邻近结构的方法是有差别的。前者以余点(见定义 1．1)的邻域为工具，后 者是借助模糊点的邻域嘲。 为此，本文的 目的就是要解决前面所提 出的这些 问题 ，即我们证 明了一个 Deng度量一定是 Erceg 度量 ，但反之不成立 ，并且证明了Deng度量 的拓扑不仅可以用 E一模糊点的邻域来生成，而且也可以用 E一模糊点的远域来刻画，且它所诱导的拓扑和 rfl一一致结构就是 Erceg度量所诱导 的拓扑和 Hutton一 致结构。 定义 1．3l4] 一个映射d：{z}x{z)一 [O，+。。)被称为Deng伪度量 ，如果它满足下列条件： (I)如果 o≥ 1，则 d(x ，z )：0； (II)d(xz，Y^)一 (1一，，1一 )； (III)d(xa，^)≤ ( ，ya，)+ (^，， )； (IV)d(xa，Y)r，这里 r0 l使得 d(xa，，Y )r． 由于 Erceg度量的定义 较为复杂且直观意义不 明显 。鉴于此，1992年 ，彭育威最先给出了Erceg 伪度量的点式意义的简化形式定义 ，在彭的基础上我们对Erceg伪度量进