[Math] Understanding the definition of nowhere dense sets in Abbott’s Understanding Analysis

general-topologyreal-analysis

First of all, I am sorry for asking a question about understanding a definition in a book named Understanding Analysis. But it is my first time to encounter basic topology, so I hope you can excuse me. I have searched previous questions like this and this. I have looked to the wiki page. Still I am having a hard time to understand the following definition:

A set $E$ is nowhere dense if $\overline E$ (the closure of $E$)
contains no nonempty open intervals.

I am not familiar with other concepts of topology which are not available in the Abbott's Understanding Analysis like balls or interior. I know a set $A$ is dense in $B$ if and only if $\overline A = B$. For example, $\mathbb Q$ is dense in $\mathbb R$, because its limit points are all real numbers and its closure gives $\mathbb R$. Similarly, $\mathbb Z$ is not dense in $\mathbb R$ because it doesn't have limit points and hence its closure is itself.

According to my knowledge of denseness, could you help me to understand the above definition with an example?

Best Answer

Nowhere dense is a strengthening of the condition "not dense" (every nowhere dense set is not dense, but the converse is false). Another definition of nowhere dense that might be helpful in gaining an intuition is that a set $S \subset X$ is nowhere dense set in $X$ if and only if it is not dense in any non-empty open subset of $X$ (with the subset topology).

For example, $\mathbb{Z}$ is nowhere dense in $\mathbb{R}$ because it is its own closure, and it does not contain any open intervals (i.e. there is no $(a, b)$ s.t. $(a, b) \subset \mathbb{\bar{Z}} = \mathbb{Z}$. An example of a set which is not dense, but which fails to be nowhere dense would be $\{x \in \mathbb{Q} \; | \; 0 < x < 1 \}$. Its closure is $[0, 1]$, which contains the open interval $(0, 1)$. Using the alternate definition, you can note that the set is dense in $(0, 1) \subset \mathbb{R}$.

An example of a set which is not closed but is still nowhere dense is $\{\frac{1}{n} \; | \; n \in \mathbb{N}\}$. It has one limit point which is not in the set (namely $0$), but its closure is still nowhere dense because no open intervals fit within $\{\frac{1}{n} \; | \; n \in \mathbb{N}\} \cup \{0\}$.

Related Question