弱偏伪度量空间的完备和双完备.pdf

第 29卷第 2期 模 糊 系 统 与 数 学 Vo1．29，No．2 2015年 4月 FuzzySystemsandMathematics Apr．．2015 文章编号 ：1001—7402(2015)02—0011-07 弱偏伪度量空间的完备和双完备 黄梦桥 ，龙 环 ，李庆 国。 (1．湖南涉外经济学院，湖南 长沙 410205； 2．上海交通大学计算机系 BASICS实验室 ，上海 200240； 3．湖南大学 数学与计量经济学院，湖南 长沙 410082) 摘 要 ：对于一个弱偏伪度量空间而言 ，可以定义完备性、双完备性和Smyth完备性 。每一个弱偏伪度量 空间都是 Smyth可完备的，特别地 ，而对于弱偏度量空间而言 ，双完备性等价于Smyth完备性。双完备 的弱偏伪度量空 间是 Baire空间。 关键 词 ：弱偏度 量；双 完备 ；Baire空间；Smyth完备 中图分类号 ：0153 文献标识码 ：A 引言 二十世纪七十年代末 ，Scott和Strachey在 [8]中开创了研究程序语言的指称性语义的理论 ，语义 模型的研究表 明形式地给予一个语言的基本构件的意义可以免除设计好的语言的歧义。指称语义可以 应用到辅助语言设计、程序推理、汇编以及复杂性分析口引。从技术方面讲 ，程序的语义可以通过 Scott 论域上的连续函数 的不动点来表示，这种研究背景 中的一个重要的概念是 dcpo(每一个方向集有最小 上届 的偏序集)以及各种函数的连续性_5]。系列文献_3_1。’ 。]在拟一致空间理论的基础上研究了指称 语义 的拓扑框架 ，此理论的关键概念是 Smyth完备 ，Smyth完备理论在指称语义的一个典型应用是 ： 拟一致空间(用以表示偏序集)完备到拓扑拟一致空间(Vii以表示 dcpo)。另一方面 ，偏度量_6作为度量 的一种推广形式 ，同样可 以表示特殊的指称语义模型_】” 。Heckmann[2]在研究度量空间的可逼近 计算模型时，建议放弃小 自我距离公理而采用条件更宽松的弱偏度量或者弱偏伪度量 。本文是在我们 前期工作 口。的基础上 ，继续研究弱偏伪度量空间的完备和双完备 的关系和拓扑性质 ，寻找弱偏伪度量 诱导 出的拟一致结构中的Smyth完备的序列条件。本文最终证明对于弱偏度量空间来说 ，双完备性等 价于 Smyth完备性。 2 弱偏伪度量空间的完备与双完备 令 x为一个集合 ，如果映射 P：X×X一，[o，+cⅪ)满足下列公理则 P叫做 x上 的一个偏度量 ： (1)对称性 ：p(x，)一户(，z)；(2)小 自我距离性 ：P(z，)≤p(x，)；(3)丁。分离性 ：P(z，z)一P(z，) 一户(，)推出z— ；(4)准三角不等式 ：p(x，)≤p(x，2)+户(，)--p(z，)。按文献[2]，如果 P仅满 足对称性和准三角不等式，则称为弱偏伪度量 ；具有 。分离性的弱偏伪度量称为弱偏度量 。由准三角 收稿 日期 ：2014一Ol一15 基金项 目：国家 自然科学基金资助项 目61033002) 作者简介 ：黄梦桥 (1970一)，湖南涉外经济学院副教授 ，博士后 。 12 模 糊 系 统 与 数 学 2015年 不等式 ，弱偏伪度量 P明显有性质 ：任意 z，Ex，(1)z，YEx，2p(，)一P(，zI)一P(，)jo； (2)max{p(x，)--p(x，z)，户(z，)--p(y，)}≥0。在本文中，我们提及二元组 (x，户)是一个弱偏伪度 量空间，指P是 x上的一个弱偏伪度量。对于一个弱偏伪度量空间(x，户)来说 ，由P可以诱导出五个函 数 ： ：X× 一 (一。。，+∞)满足 r户(-z，)一 (，)--p(x，z)； ：X× 一 (一O3，+。。)满足 q(z，)一p(x，)--p(y，)； d ：x×x一 [O，+。。)满足