Zero dimensional and connected domains
暂无分享,去创建一个
We study continuous domains with bottomD such that every principal ideal inD is compact in the Lawson topology ofD. This class contains all objects of cartesian closed categories of continuous domains with bottom; it is also closed under arbitrary products and projection-embedding pairs. We employ the notion of apospace and useKoch's Arc Theorem to show that such a domainD is zero dimensional in its Lawson topology iffD is algebraic. This also classifies those continuous domainsD with bottom for which the Lawson topology λ(D) is a Stone Space. Finally, we give a criterion for the connectedness of the space λ(D) in terms of the poset of finite elements ofD and in terms of arc chains connecting bottom with every other element.
[1] Achim Jung,et al. The classification of continuous domains , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
[2] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .
[3] Michael W. Mislove,et al. Local compactness and continuous lattices , 1981 .
[4] J. Bell. STONE SPACES (Cambridge Studies in Advanced Mathematics 3) , 1987 .
[5] R. J. Koch. Arcs in partially ordered spaces. , 1959 .