自然科学版
陕西师范大学学报(自然科学版)
数学与计算机科学
拟连续Domain的特征与浓度
PDF下载 ()
张月玲,汪开云
(陕西师范大学 数学与信息科学学院, 陕西 西安 710062)
张月玲,女,硕士研究生,研究方向为格上拓扑与模糊推理.E-mail:zhangyuelingone@163.com.
摘要:
在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念, 在此基础上定义了拟连续Domain的特征和浓度. 利用局部拟基给出拟连续Domain新的等价刻画, 并探讨了拟连续Domain的特征、浓度与该拟连续Domain上赋予Scott拓扑或Lawson拓扑时的拓扑空间的特征、浓度之间的关系. 证明了拟连续Domain的特征(浓度)等于其上赋予Scott拓扑时的拓扑空间的特征(浓度), 且小于等于其上赋予Lawson拓扑时的拓扑空间的特征(浓度).
关键词:
拟连续Domain; 局部拟基; 浓度; Scott拓扑; Lawson拓扑
收稿日期:
2009-07-05
中图分类号:
O153.1
文献标识码:
A
文章编号:
1672-4291(2010)01-0019-04
基金项目:
国家自然科学基金资助项目(10871121)
Doi:
Character and density of quasicontinuous domains
ZHANG Yue-ling, WANG Kai-yun
(College of Mathematics and Information Science, Shaanxi Normal University, Xi′an 710062, Shaanxi, China)
Abstract:
The concepts of local quasi-bases and dense family on directed complete posets are introduced, and the character and density of a quasicontinuous Domain are defined. Using local quasi-bases, a new equivalent characterization of quasicontinuous Domain is obtained. Relations between the character and the density of a quasicontinuous Domain and those on the related spaces with Scott topology or Lawson topology are discussed. It proved that the character and density of a quasicontinuous Domain are respectively equal to those on the related space with Scott topology, but they are respectively less than or equal to those on the related space with Lawson topology.
KeyWords:
quasicontinuous Domain; local quasi-base; density; Scott topology; Lawson topology