Domain representability of
Let be the space of continuous real-valued functions on X, with the topology of pointwise convergence. We consider the following three properties of a space X: (a) is Scott-domain representable; (b) is domain representable; (c) X is discrete. We show that those three properties are mutually equivalent in any normal T₁-space, and that properties (a) and (c) are equivalent in any completely regular pseudo-normal space. For normal spaces, this generalizes the recent result of Tkachuk that is...