论文部分内容阅读
在定向完备偏序集(即Dcpo)上引入局部拟基和稠密子集族的概念,在此基础上定义了拟连续Domain的特征和浓度.利用局部拟基给出拟连续Domain新的等价刻画,并探讨了拟连续Domain的特征、浓度与该拟连续Domain上赋予Scott拓扑或Lawson拓扑时的拓扑空间的特征、浓度之间的关系.证明了拟连续Domain的特征(浓度)等于其上赋予Scott拓扑时的拓扑空间的特征(浓度),且小于等于其上赋予Lawson拓扑时的拓扑空间的特征(浓度).