连续Domain的若干特征定理

Some characteristic theorems on continuous Domains

目的 给出准连续Domain与连续Domain的特征刻画。方法 利用准连续Domain的每一点都有准定向极小集,连续Domain的每一点都有定向极小集。结果 给出了准连续Domain与连续Domain的一些等价刻画,得到了连续Domain的等式刻画。利用Waybelow关系给出了连续Do main的一个特征定理。结论 通过引入准连续Domain,得到了连续Domain的一些特征定理。

Aim Characterise pseudocontinuous Domains and continuous Domains.Methods Using the methods for every element of a pseudocontinuous Domains, there exists a pseudo directed minimal set on it and for every element of a continuous Domain, there exists a directed minimal set on it.Results Some equivalent characterizations of pseudocontinuous Domains and continuous Domains are given respectively ,and the equalities of continuous Domains are obtained. In the end, by using the waybelow relation ,a characteristic theorem of continuous Domains is given.Conclusion By using of the pseudocontinuous Domains, some characteristic theorems of continuous Domains are obtained.