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
-
1This is one of the characterizations of Čech-complete spaces, about which you can read e.g. in Engelking's *General Topology*. A counterexample would be $\mathbb{Q}$ (Čech-complete spaces are Baire spaces, but $\mathbb{Q}$ isn't a Baire space). – 2012-05-26
-
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.
-
0So, now I would like to add a question: If $X$ is a complete metric space, what can you tell about $\beta X$? Would it be metrizable? if so, would it be complete? – 2012-05-26
-
1@user25640: The compactification need not metrizable. If it is then it is a compact metric space and therefore complete and separable. – 2012-05-26
-
0Also relevant: http://math.stackexchange.com/questions/62820/metrizable-compactifications – 2012-05-26
-
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