0
$\begingroup$

Let $A$ is a subset of $\mathbb{R}$ and the cardinality of $A$ is $2^\omega$. The question is this: Does the closure of $A$ in $\mathbb{R}$ have a nonempty interior in $\mathbb{R}$?

Added: Thank you for helps. In fact, I can't understand the proof of the lemma 2.11 in this paper. In line 7 of the proof, I don't know why $cl_R(A_{N,M})$ has a non-empty interior in $R$?

  • 1
    The above link does not work $f$or me at the moment. It seems to be the paper: Arhangel'skii, A. V. ; Buzyakova, R. Z. The rank o$f$ the diagonal and submetrizability. Commentationes Mathematicae Universitatis Carolinae, vol. 47 (2006), issue 4, pp. 585-597. Link at [dml](http://dml.cz/dmlcz/119619). Or [google](http://www.google.com/#q=The+rank+o$f$+the+diagonal+and+submetrizability+buzyakova) to find many more copies of that paper online.2012-05-15

2 Answers 2

1

As far as I believe, for your addition (as Arturo remarks, you should have began with that): $\mathbb R$ is Polish (as a $G_\delta$ in $\mathbb R$) and therefore a Baire space. As we have $\mathbb R \setminus \mathbb Q = \bigcup_{n,m}\mathrm{cl}_{\mathbb R \setminus \mathbb Q} A_{n,m}$ one of this sets has non-empty interior, $\mathrm{cl}_{\mathbb R \setminus \mathbb Q}A_{N,M}$, say. But now $\mathrm{cl}_{\mathrm R} A_{N,M}$ has non-empty interior in $\mathbb R$. For if $(x-\epsilon, x+\epsilon) \cap {\mathbb R \setminus \mathbb Q} \subset \mathrm{cl}_{\mathbb R \setminus \mathbb Q} A_{N,M}$, then $(x-\epsilon, x+\epsilon) \subseteq \mathrm{cl}_{\mathbb R} A_{N,M}$.

3

Hint. Have you heard of the Cantor set?

  • 0
    Thank you for helps. In fact, I can't understand the proof of the lemma 2.11 in this [paper][1]. In line 7 of the proof, I don't know why $cl_R(A_{N,M})$ has a non-empty interior in $R$?2012-05-15