关于积Domain上的Scott拓扑和连续函数Way-below关系的一点讨论 被引量：6

1

作者 梁云 梁基华 《四川大学学报（自然科学版）》 CSCD 北大核心 2004年第6期1120-1123,共4页

对任意一族具有小元的dcpo {Li}i∈I,证明了若每个σ(Li)是连续格,则∏Li上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于连续函数way-below关系的一些结果.

关键词 SCOTT拓扑 way-below关系 函数空间

下载PDF 职称材料

拟连续Domain上的扩张定理 被引量：3

2

作者 饶三平 徐晓泉 《南昌大学学报（理科版）》 CAS 北大核心 2006年第6期535-537,共3页

定义了拟定向极小集,并证明了拟连续Dom ain的每个元都有拟定向极小集,在拟连续Dom ain中,给出了保拟定向极小集映射的几个等价刻画,并且在此基础上得到了拟连续Dom ain上的两个相应扩张定理。

关键词 拟连续DOMAIN 拟定向极小集 way—below关系

下载PDF 职称材料

广义完全极小集及其应用 被引量：3

3

作者 饶三平 《模糊系统与数学》 CSCD 北大核心 2007年第5期25-28,共4页

定义了广义完全极小集,并证明了L为广义完全分配格与它的每个元都有广义完全极小集等价。在广义完全分配格中,给出了保广义完全极小集映射的几个等价刻画,并且在此基础上得到了广义完全分配格上的两个相应扩张定理。

关键词 广义完全分配格 广义完全极小集 way-below关系

下载PDF 职称材料

完备格上的广义Rough集模型

4

作者 姚刚 张小红 《宁波大学学报（理工版）》 CAS 2007年第2期197-201,共5页

基于way-below关系和弱way-below关系,在具有逆合对应的完备格上建立了广义Rough上下近似算子,研究了它们的基本性质,并说明本文提出的广义Rough集模型是Pawlak标准粗糙集的推广.同时,在De Morgan代数上建立了广义Rough上下近似算子,给... 基于way-below关系和弱way-below关系,在具有逆合对应的完备格上建立了广义Rough上下近似算子,研究了它们的基本性质,并说明本文提出的广义Rough集模型是Pawlak标准粗糙集的推广.同时,在De Morgan代数上建立了广义Rough上下近似算子,给出了相应的基本性质. 展开更多

关键词 ROUGH集 way-below关系 弱way-below关系 完备格 覆盖 约简

下载PDF 职称材料

局部定向完备集上的辅助关系 被引量：1

5

作者 张滦云 《淮海工学院学报（自然科学版）》 CAS 2004年第1期4-6,共3页

辅助关系是定义在偏序集上的一种重要的二元关系 .当偏序集为定向完备集时 ,其上的辅助关系性质比较丰富 .将辅助关系的概念及有关性质推广到较弱的局部定向完备集上 ,得到了局部定向完备集上的辅助关系特别是 way- below关系的一些较... 辅助关系是定义在偏序集上的一种重要的二元关系 .当偏序集为定向完备集时 ,其上的辅助关系性质比较丰富 .将辅助关系的概念及有关性质推广到较弱的局部定向完备集上 ,得到了局部定向完备集上的辅助关系特别是 way- below关系的一些较好的性质 ,进而讨论并加强了局部定向完备集上的插入性质 ,证明在连续的局部定向完备集上的 way- 展开更多

关键词 局部定向完备集 辅助关系 way-below关系 插入性质 偏序集

下载PDF 职称材料

代数L-Domain的函数空间 被引量：1

6

作者 李庆国 陈学友 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第3期87-88,共2页

利用梁基华教授等提出的步函数的新定义,讨论了一般情况下代数L-domain的函数空间．证明了如果L_1和L_2都是代数的L-domain,则函数空间[L_1→L_2]也是代数的L-domain．

关键词 L-DOMAIN 步函数 way-below关系

下载PDF 职称材料

L^＊上的“way-below”关系及其应用 被引量：1

7

作者 李令强 金秋 赵海信 《井冈山大学学报（自然科学版）》 2011年第2期4-6,共3页

研究了直觉模糊集的真值域L*上的"way-below"关系,利用L*上的"way-below"关系,构造了[0,1]-拓扑范畴[0,1]-Top与oker意义下的直觉模糊拓扑范畴IFTop之间的一对伴随,并证明了[0,1]-Top可以嵌入IFTop作为余反射子... 研究了直觉模糊集的真值域L*上的"way-below"关系,利用L*上的"way-below"关系,构造了[0,1]-拓扑范畴[0,1]-Top与oker意义下的直觉模糊拓扑范畴IFTop之间的一对伴随,并证明了[0,1]-Top可以嵌入IFTop作为余反射子范畴。 展开更多

关键词 way-below关系 SCOTT拓扑 直觉模糊集 模糊拓扑

下载PDF 职称材料

广义代数格的可加性与T_0拓扑 被引量：2

8

作者 邓自克 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第5期1-3,36,共4页

证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的 ,进而证明可加广义代数格之范畴等价于 T0 拓扑空间之范畴 .因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用 .

关键词 完全格 可加性 广义代数格 T0拓扑空间 格论 way-below关系 拓扑表现定理

下载PDF 职称材料

局部定向完备范畴及其上的辅关系

9

作者 朱润秋 卢涛 杜银玲 《淮北师范大学学报（自然科学版）》 CAS 2013年第2期10-12,共3页

文章从局部化的思路出发,提出局部定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论局部定向完备范畴上的辅关系,特别是way-below关系的一些性质,证明了在连续的局部定向完备范畴中way-below关系满足强插值性质.

关键词 局部定向完备范畴 连续 way—below关系 辅关系 插值性质

下载PDF 职称材料

一类局部有限dcpo结构和性质

10

作者 王存举 《喀什师范学院学报》 2012年第3期20-22,共3页

给出了一类局部有限dcpo的概念及在其结构下的自由局部有限dcpo,进而给出新的连续性概念,接着讨论这种自由的局部有限dcpo和自由连续的局部有限dcpo的一些性质.

关键词 局部有限dcpo 自由dcpo way-below关系

下载PDF 职称材料

A Note on the Way-Below Relation on LSC(X, R~*)~*

11

作者 王戈平 《Journal of Mathematical Research and Exposition》 CSCD 1999年第4期646-648,共3页

A mistake in Proposition I-1.21.1 of 'A Compendium of Continuous Lattices'by G.Giers et al. is pointed out and a revised proposition with a proof is given.

关键词 lower semicontinuous function way-below relation.

下载PDF 职称材料

相容连续范畴

12

作者 朱润秋 卢涛 马晶晶 《吉林师范大学学报（自然科学版）》 2013年第3期33-35,共3页

本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证明了在相容连续范畴中way-below关系满足强插值性质.最后给出了相容连续范畴的一个刻画定理,即相容定向... 本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证明了在相容连续范畴中way-below关系满足强插值性质.最后给出了相容连续范畴的一个刻画定理,即相容定向完备范畴L是相容连续的当且仅当对任意的x∈obL,↓x是连续的. 展开更多

关键词 相容定向完备范畴 连续 way-below关系 插值性质

下载PDF 职称材料

广义连续格及其拓扑应用 被引量：1

13

作者 李庆国 《模糊系统与数学》 CSCD 2004年第z1期34-37,共4页

在完备格中引进了广义连续和可加概念,建立了广义连续格理论,并解决了格的拓扑表示问题,提供了一个用格理论解决拓扑问题的方法.

关键词 way-below关系 伽逻华联络 可加 对偶伪余.

下载PDF 职称材料

利用插入性质刻画模糊domain 被引量：3

14

作者 饶三平 《南昌大学学报（理科版）》 CAS 北大核心 2018年第3期212-215,共4页

基于插入性质,结合某些特定的条件,给出了模糊domain的等价刻画。首先,在模糊dcpo中,定义了模糊定向逼近元,结合插入性质给出模糊domain的等价刻画;然后,利用模糊Scott拓扑,定义了它的模糊基,同样基于插入性质得到模糊domain的另外一个... 基于插入性质,结合某些特定的条件,给出了模糊domain的等价刻画。首先,在模糊dcpo中,定义了模糊定向逼近元,结合插入性质给出模糊domain的等价刻画;然后,利用模糊Scott拓扑,定义了它的模糊基,同样基于插入性质得到模糊domain的另外一个等价刻画。 展开更多

关键词 模糊domain 模糊Scott拓扑 模糊way-below关系 插入性质

下载PDF 职称材料

基于模糊Domain基的连续扩张

15

作者 饶三平 《南昌工程学院学报》 CAS 2022年第4期109-113,共5页

基于完备剩余格,在模糊dcpo中,引入了基的概念,利用基获得了模糊Domain的等价刻画,同时借助于模糊Galois联络,给出了模糊Domain基的连续扩张。

关键词 模糊Galois联络 模糊way-below关系 连续扩张

下载PDF 职称材料

模糊domain的一个等价刻画定理(英文)

16

作者 饶三平 易敏 《南昌工程学院学报》 CAS 2013年第1期10-13,共4页

基于完备剩余格,借助于模糊Galois联络,给出了模糊domain更为细致的一个等价刻画定理,丰富了量化domain的理论知识.

关键词 模糊关系 模糊domain 模糊way—below关系 模糊Galois联络

下载PDF 职称材料

伪补格上的弱Way-below关系

17

作者 祝祯祯 卢涛 《洛阳师范学院学报》 2014年第5期17-18,共2页

本文首先给出伪补格的定义,然后根据偏序集上Way-below关系的定义在伪补格上定义了弱Waybelow关系,并给出它的等价判定,从而得到伪补格上满足弱Way-below关系的元素的相关性质.

关键词 伪补格 弱way—below关系

下载PDF 职称材料

关于自然偏序集的自然连续性

18

作者 李高林 徐罗山 杨凌云 《模糊系统与数学》 CSCD 北大核心 2011年第4期87-92,共6页

在自然偏序集中引入自然way-below关系,定义自然偏序集的自然连续性。证明在自然连续的自然偏序集上,自然way-below关系具有插入性,自然Scott开集格是完全分配格。利用∑*收敛刻画了自然偏序集上的自然way-below关系,自然Scott拓扑和自... 在自然偏序集中引入自然way-below关系,定义自然偏序集的自然连续性。证明在自然连续的自然偏序集上,自然way-below关系具有插入性,自然Scott开集格是完全分配格。利用∑*收敛刻画了自然偏序集上的自然way-below关系,自然Scott拓扑和自然连续性。 展开更多

关键词 自然偏序集 自然way—below关系 自然连续 自然Scott拓扑 φ^＊ 收敛

原文传递