10
$\begingroup$

Is well know that completely metrizable spaces are Baire's spaces. Reciprocally, if $X$ is a Baire's metric space, then $X$ is completely metrizable?

$\endgroup$
1
  • 6
    $\begingroup$ In Engelking's "General topology", exercise 4.3C(b) asks (if I interpret the terminology correctly) to give an example of a subset of $\mathbb R^2$ that is Baire but not completely metrizable. Since $\mathbb R^2$ is complete, its subset is completely metrizable if and only if it is $G_\delta$. Engelking gives a hint: use that a space is Baire if it has a Baire dense subset. $\endgroup$ Dec 1, 2013 at 15:16

1 Answer 1

13
$\begingroup$

No, in order for a subspace of a complete metric space to be completely metrizable it is necessary and sufficient for it to be $G_\delta$. There are only $2^{\aleph_0}$ many $G_\delta$ subsets of $\mathbb{R}^2$ but there are $2^{2^{\aleph_0}}$ sets in $$\{X \subseteq \mathbb{R}^2 : (0,1)\times(0,1) \subseteq X \subseteq [0,1]\times[0,1]\},$$ each of which is a metrizable Baire space.

$\endgroup$
1
  • 7
    $\begingroup$ So a concrete example is $$X:=\big( (0,1)\times(0,1)\big)\cup \big( \{0\}\times([0,1]\cap\mathbb{Q})\big),$$ that is not a $G_{\delta}$ because its trace on $\{0\}\times [0,1] $ is not. $\endgroup$ Dec 1, 2013 at 16:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.