If $X$ is a Tychonoff space and $\beta X$ is it's Stone-Cech compactification, should $X$ be a dense $G_\delta$ subset of $\beta X$?
Elementary question about the Stone-Cech compactification
-
0I suppose that you mean $X$ being a dense $G_\delta$ subset of $\beta X$. – 2012-05-26
1 Answers
We say that a Tychonoff space is Cech complete if and only if it is a dense $G_\delta$ subset of $\beta X$ if and only if $X$ is a $G_\delta$ of any compactification.
It is a nice exercise to see that for a metrizable space being Cech complete is equivalent to being completely metrizable.
From this one can take the counterexample of $\mathbb Q$, as t.b. suggests in the comments. This space is not completely metrizable and therefore not $G_\delta$ in $\beta X$.
Sketch of the proof for the equivalence for metric spaces:
First we prove the following lemmas:
If $X$ is Hausdorff and $A\subseteq X$ is dense and homemorphic to a completely metrizable space then $A$ is a $G_\delta$ subset of $X$.
If $X$ is completely metrizable and $Y\subseteq X$ then $Y$ is completely metrizable if and only if it is $G_\delta$ in $X$.
Now suppose that $X$ is completely metrizable, it is dense in $\beta X$ - which is Hausdorff. Therefore it is $G_\delta$ in $\beta X$ and therefore Cech-complete.
In the other direction, if $X$ is a metrizable Cech-complete space, consider $\widetilde{X}$ to be the metric completion of $X$ and $Y$ some compactification of $\widetilde{X}$. We have that $X$ is dense in $Y$ (dense subset of a dense subset). We have if so that $X$ is a $G_\delta$ subset of $\widetilde{X}$ and therefore by the second lemma - completely metrizable.
-
0@user25640: Note that $\Bbb N$ with the discrete metric $d(m,n)=1$ if $m\ne n$ is a complete metric space, since the only Cauchy sequences are eventually constant, but $\beta\Bbb N$ fails miserably to be metrizable: it isn’t even first countable. – 2012-05-27