检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]四川大学数学学院,成都610064
出 处:《四川大学学报(自然科学版)》2017年第5期905-910,共6页Journal of Sichuan University(Natural Science Edition)
基 金:国家自然科学基金(11371262)
摘 要:本文在定向空间的基础上通过收敛的方式定义了拟连续空间和交连续空间,推广了Domain理论中的相应结果.主要结果如下:(1)一个T_0空间是拟连续的,当且仅当它是局部强紧的,当且仅当它的开集格在集包含关系下是超连续格,当且仅当它的sober化是拟连续dcpo;(2)一个定向空间是交连续的当且仅当它的闭集格在集包含关系下是一个Frame;(3)一个T_0拓扑空间是c-空间当且仅当它既是交连续的又是拟连续的.By means of convergence, we introduce quasicontinuous sapces and meet-continuous sapces based on directed spaces. The main results are as follows. (1) A To space is quascontinuous if and only if it is locally strongly compact, if and only if its open set lattice is a hypercontinuous complete lattice, if and only if it soberfication is a quasicontinuous dcpo; (2) A directed space is meet-continuous iff its closed set lattice is a frame; (3) A To space is a c-space if and only it is quasicontinuous and meet-contin- uous.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.15