检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]四川大学数学学院,成都610064
出 处:《四川大学学报(自然科学版)》2005年第2期234-239,共6页Journal of Sichuan University(Natural Science Edition)
基 金:国家自然科学基金(10331010);国家杰出青年基金;教育部博士点基金
摘 要:对一般的子集系统Z,引入Z 拟代数domain的概念,证明了Z domainP是Z 拟代数的当且仅当P上的Z Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z 拟代数domainP上的Z Scott拓扑σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质.For a general subset system Z, the concept of Z-quasialgebraic domain is introduced, and the following results are proved: (1) a Z-domain P is Z-quasialgebraic if and only if the Z-Scott open subsets of P is a strongly algebraic lattice under the order of set inclusion; (2) the Z-Scott topology on Z-quasialgebraic domain P is Sober if and only if the space (P,σZ(P)) has the weak Rudin property.
关 键 词:Z-拟代数domain 超代数格 Z-Scott拓扑
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.220.98.157