Abstract
We study domain-representable spaces, i.e., spaces that can be represented as the space of maximal elements of some continuous directed-complete partial order (= domain) with the Scott topology. We show that the Michael and Sorgenfrey lines are of this type, as is any subspace of any space of ordinals. We show that any completely regular space is a closed subset of some domain-representable space, and that if X is domain-representable, then so is any Ga-subspace of X. It follows that any Čech-complete space is domain-representable. These results answer several questions in the literature.
Original language | English |
---|---|
Pages (from-to) | 255-268 |
Number of pages | 14 |
Journal | Fundamenta Mathematicae |
Volume | 189 |
Issue number | 3 |
DOIs | |
State | Published - 2006 |
Keywords
- Baire space
- Choquet-complete space
- Continuous dcpo
- Domain
- Domain-representable space
- G -subspace
- Michael line
- Ordinal space
- Scott domain
- Sorgenfrey line
- Čech-complete space