检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]淮北师范大学数学科学学院,安徽淮北235000
出 处:《天津师范大学学报(自然科学版)》2017年第2期22-24,共3页Journal of Tianjin Normal University:Natural Science Edition
基 金:国家自然科学基金资助项目(11171156);安徽省高校自然科学研究重点资助项目(KJ2015A064)
摘 要:作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑:相容半Scott拓扑.As the generalization of semicontinuous dcpo, the concept of consistently semicontinuous dcpo is introduced, and its some basic properties are studied. It is proved that the consistently semicontinuous dcpo must be semicontinuous dcpo. Finally, the intrinsic topology of consistently dcpo that is consistently semi-Scott topology is investigated.
关 键 词:相容半素集 相容半连续格 相容半连续dcpo 相容半Scott拓扑
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.137.202.126