欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
推广连续domain的特征与浓度的概念到连续偏序集上。探讨了连续偏序集及其定向完备化和Smyth幂的特征、浓度，得到了几个关系定理：1）连续偏序集的特征（浓度）等于其上Scott拓扑的特征（浓度），但小于等于其上Lawson拓扑的特征（浓度）；2）连续偏序集的浓度大于或等于它的定向完备化的浓度，而特征小于或等于它的定向完备化的特征；3）连续domain的浓度大于或等于它的Smyth幂domain的浓度。
英文摘要：
The concepts of characters and densities on continuous domains are generalized to the setting of continuous posets. Relations of characters and densities among continuous posets,intrinsic topologies, directed completions and Smyth power domains are examined. The main results are. 1） the character and density of a continuous poset are respectively equal to those of the related space with Scott topology, hut they are respectively less than or equal to those of the related space with the Lawson topology; 2） the density of a continuous poset is greater than or equal to that of its directed completion, while the character is less than or equal to that of its directed completion; 3） the density of a continuous domain is greater than or equal to that of its Smyth power domain.
同期刊论文项目
同项目期刊论文
期刊信息
位置：