准确近似偏序集与适度的交满连续性
摘要：弱域和准连续域的研究导致了两种域的概念的考虑。在本文中，我们定义了偏序集中两个非空子集之间的弱way-below关系和准确拓扑。我们证明了准确拓扑、准连续域和弱域之间的一些联系。此外，我们介绍了弱way-below拓扑的有限确定性，研究了它与Scott拓扑和Mushburn首次考虑的弱way-below拓扑之间的联系。还证明了如果一个有限达到meet连续以及其弱way-below关系弱增加，则一个dcpo是一个域。
作者：Zhaorong He, Zhongqiang Yang and Dongsheng Zhao
论文ID：2211.14707
分类：General Topology
分类简称：math.GN
提交时间：2023-06-22