Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is the union of two nowhere dense sets nowhere dense?

Using the following definition:

A nowhere dense set is a subset $E\subset X$ of a metric space (or topological space) $X$ such that $(\overline{E})^o=\emptyset$.

I tried using topological properties like "union of closure of sets is the closure of union", and others. I tried also using the fact that $(\overline{A})^c={(A^c)}^o$ and other complement elementary-set-theory identities.

share|cite|improve this question
What do you mean by can't do a proof using $\dots$? Not allowed to? If you are allowed, the closure of a union of a finite number of sets is the union of the closures. – André Nicolas Oct 30 '12 at 3:07
Can't you prove the closure of the union is the union of the closures? – Gerry Myerson Oct 30 '12 at 3:07
Sorry, edited... – Gastón Burrull Oct 30 '12 at 3:38
Seems, more tricky than expected ...actually, I'm not sure wether this is true though everywhere stated – Freeze_S Jan 29 '14 at 1:18
...though the union of interiors can be strictly smaller than the interior of unions as in $(\mathbb{Q})°\cup(\mathbb{R}\setminus\mathbb{Q})°=\varnothing\subsetneq\mathbb{‌​R}=(\mathbb{Q}\cup\mathbb{R}\setminus\mathbb{Q})°$ – Freeze_S Jan 29 '14 at 1:34

2 Answers 2

up vote 4 down vote accepted

Put another (equivalent) way, a set $A$ is nowhere dense iff for every open set $U$ there is an open set $V$ such that $V\subseteq U$ and $A\cap V=\emptyset$. (I leave it to you to prove the equivalence.) That version should make your task much simpler.

Added: It's worth noting that an easy inductive argument shows that any finite union of nowhere dense sets is again nowhere dense. However, we cannot in general extend this result to a countable union of nowhere dense sets. For example, the rationals are dense in the reals, but are readily a countable union of nowhere dense sets

share|cite|improve this answer
Ty, Ill try with this definition. – Gastón Burrull Oct 30 '12 at 3:31

Let A be a nowhere dense set. Then $(\overline{A})^o=\emptyset$. This is equivalent to saying that $(\overline{A})^c$ is dense in X. Let A and B be two nowhere dense sets. Let $S=A \cup B$. To show S is nowhere dense we will show that $(\overline{S})^c$ is dense in X, that is $(\overline{S})^c$ meets every non-empty open set. Let G be a non-empty open set. Now as $A , B$ are nowhere dense, $G\cap(\overline{A})^c\neq\emptyset$ and $G\cap(\overline{B})^c\neq\emptyset$. Also $(\overline{A})^c$,$(\overline{B})^c$ are open. Hence $G\cap(\overline{A})^c\cap(\overline{B})^c\neq\emptyset$, since $G\cap(\overline{A})^c$ is non-empty open and $(\overline{B})^c$ is dense in X. Thus $G\cap(\overline{A}\cup\overline{B})^c\neq\emptyset$, which implies $G\cap(\overline{S})^c\neq\emptyset$. Hence $(\overline{S})^c$ is dense in X. Equivalently S is nowhere dense.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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