Faithfulness of Directed Complete Posets based on Scott Closed Set Lattices
Abstract
By Thron, a topological space has the property that isomorphic to implies is homeomorphic to iff is sober and , where and denote the lattices of closed sets of and space , respectively. When we consider dcpos (directed complete posets) equipped their Scott topologies, a similar question arises: which dcpos have the property that for any dcpo , isomorphic to implies is isomorphic to (such a dcpo will be called Scott closed set lattice faithful, or SCL-faithful in short)? Here and denote the lattices of Scott closed sets of and , respectively. Following a characterization of continuous (quasicontinuous) dcpos in terms of , one easily deduces that every continuous (quasicontinuous) dcpo is SCL-faithful. Note that the Scott space of every continuous (quasicontinuous) dcpo is sober. Compared with Thron's result, one naturally asks whether every SCL-faithful dcpo is sober (with the Scott topology). In this paper we shall prove that some classes of dcpos are SCL-faithful, these classes contain some dcpos whose Scott topologies are not bounded sober. These results will help to obtain a complete characterization of SCL-faithful dcpos in the future.
Keywords
Cite
@article{arxiv.1607.03576,
title = {Faithfulness of Directed Complete Posets based on Scott Closed Set Lattices},
author = {Dongsheng Zhao and Luoshan Xu},
journal= {arXiv preprint arXiv:1607.03576},
year = {2016}
}
Comments
8 pages, Domains XII Workshop