Squares of Q sets
Let X be a crowded metric space of weight κ that is either -like or locally compact. Let y ∈ βX∖X and assume GCH. Then a space of nonuniform ultrafilters embeds as a closed subspace of (βX∖X)∖y with y as the unique limit point. If, in addition, y is a regular z-ultrafilter, then the space of nonuniform ultrafilters is not normal, and hence (βX∖X)∖y is not normal.
Let M be a metrizable group. Let G be a dense subgroup of . We prove that if G is domain representable, then . The following corollaries answer open questions. If X is completely regular and is domain representable, then X is discrete. If X is zero-dimensional, T₂, and is subcompact, then X is discrete.
Page 1