2

proposition: Let $(X,d_X)$ be a complete metric space. $A$ is nowhere dense if and only if for every open subset $O\subset X$ there is a open ball $B(x,\epsilon)$ (contained in $O$) such that $A\cap \text{cl}(B(x,\epsilon))=\emptyset$

How can I prove this proposition? I know that a subset $A\subset X$ is nowhere dense if $\text{int}(\text{cl}(A))=\emptyset$, but I have no idea how to begin. Any tips/advice? Thx

jack
  • 23

1 Answers1

1

HINT: Suppose first that for each non-empty open set $U\subseteq X$ there is an open ball $B(x,\epsilon)\subseteq U$ such that $A\cap\operatorname{cl}B(x,\epsilon)=\varnothing$; you want to show that $\operatorname{int}\operatorname{cl}A=\varnothing$. Let $U=\operatorname{int}\operatorname{cl}A$; certainly $U$ is open. If $U\ne\varnothing$, there is an open ball $B(x,\epsilon)\subseteq U$ such that $A\cap\operatorname{cl}B(x,\epsilon)=\varnothing$. Clearly $A\cap B(x,\epsilon)=\varnothing$; combine this with the fact that $x\in U$ to get a contradiction.

Now suppose that $A$ is nowhere dense in $X$, so that $\operatorname{int}\operatorname{cl}A=\varnothing$, and let $U$ be a non-empty open set in $X$; you want to show that there are an $x\in U$ and an $\epsilon>0$ such that $B(x,\epsilon)\subseteq U$ and $A\cap\operatorname{cl}B(x,\epsilon)=\varnothing$. $U\nsubseteq\operatorname{cl}A$ (why?), so pick any $x\in U\setminus\operatorname{cl}A$. There is a $\delta>0$ such that $B(x,\delta)\cap A=\varnothing$ (why?). Now how can you choose $\epsilon>0$ so that $A\cap\operatorname{cl}B(x,\epsilon)=\varnothing$ and $B(x,\epsilon)\subseteq U$?

Brian M. Scott
  • 616,228