0
$\begingroup$

Show $A\subset (X,d)$ nowhere dense $\iff$ $(\overline{A})^o=\emptyset$.

My attempt: $A$ nowhere dense $\implies$ $(\overline{A})^c$ is dense in $X$. Then, $(A^c)^o$ is dense in $X$ (previously proven equivalence). Then, $\overline{((A)^c)^o}=X\implies\overline{((A)^c)^o}^c=\emptyset$. Then I have to show $\overline{((A)^c)^o}^c=(\overline{A})^o$. Am I going about this the right way?

  • 0
    $A$ nowhere dense $\implies \bar{A}^c$ dense in $X$.2012-03-05

1 Answers 1

1

Suppose that $\overline{A}$ contains an open set $U$. But because $A$ is nowhere dense there is open $V\subseteq U$ so that $V\cap A =\emptyset$. Hence no point of $V$ is a limit point of $A$, and hence no point of $V$ is in the closure of $A$. This is a contradiction.