English

Domain-complete and LCS-complete spaces

General Topology 2019-03-01 v1

Abstract

We study GδG_\delta subspaces of continuous dcpos, which we call domain-complete spaces, and GδG_\delta subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those include all locally compact sober spaces-in particular, all continuous dcpos-, all topologically complete spaces in the sense of \v{C}ech, and all quasi-Polish spaces-in particular, all Polish spaces. We show that LCS-complete spaces are sober, Wilker, compactly Choquet-complete, completely Baire, and \odot-consonant-in particular, consonant; that the countably-based LCS-complete (resp., domain-complete) spaces are the quasi-Polish spaces exactly; and that the metrizable LCS-complete (resp., domain-complete) spaces are the completely metrizable spaces. We include two applications: on LCS-complete spaces, all continuous valuations extend to measures, and sublinear previsions form a space homeomorphic to the convex Hoare powerdomain of the space of continuous valuations.

Cite

@article{arxiv.1902.11142,
  title  = {Domain-complete and LCS-complete spaces},
  author = {Matthew de Brecht and Jean Goubault-Larrecq and Xiaodong Jia and Zhenchao Lyu},
  journal= {arXiv preprint arXiv:1902.11142},
  year   = {2019}
}

Comments

36 pages, 1 figure

R2 v1 2026-06-23T07:54:20.712Z