English

Faithfulness of Directed Complete Posets based on Scott Closed Set Lattices

General Topology 2016-07-14 v1

Abstract

By Thron, a topological space XX has the property that C(X)C(X) isomorphic to C(Y)C(Y) implies XX is homeomorphic to YY iff XX is sober and TDT_D, where C(X)C(X) and C(Y)C(Y) denote the lattices of closed sets of XX and T0T_0 space YY, respectively. When we consider dcpos (directed complete posets) equipped their Scott topologies, a similar question arises: which dcpos PP have the property that for any dcpo QQ, Cσ(P)C_\sigma(P) isomorphic to Cσ(Q)C_\sigma(Q) implies PP is isomorphic to QQ (such a dcpo PP will be called Scott closed set lattice faithful, or SCL-faithful in short)? Here Cσ(P)C_{\sigma}(P) and Cσ(Q)C_{\sigma}(Q) denote the lattices of Scott closed sets of PP and QQ, respectively. Following a characterization of continuous (quasicontinuous) dcpos in terms of Cσ(P)C_{\sigma}(P), 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