Advanced Search

Let X be a crowded metric space of weight κ that is either ${\kappa }^{\omega }$-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 $M^X$. We prove that if G is domain representable, then $G=M^X$. The following corollaries answer open questions. If X is completely regular and $C_p\left(X\right)$ is domain representable, then X is discrete. If X is zero-dimensional, T₂, and $C_p(X,)$ is subcompact, then X is discrete.