Skip to main content
1 of 4
bof
  • 13.4k
  • 2
  • 43
  • 66

Counterexamples abound. Here are a few of them.

Proposition. If $\emptyset\ne X\subseteq\mathbb R$ and $X\subseteq\operatorname{cl}(\operatorname{int}(X))$, then $\mathcal D(X)\cong\mathcal D(\mathbb R)$.

Proof. Construct an infinite sequence of pairwise disjoint open intervals $I_n$ so that $\bigcup_{n=1}^\infty I_n$ is a dense subset of $X$, and $|X\setminus\bigcup_{n=1}^\infty I_n|=2^{\aleph_0}$. Then a set $D\subseteq X$ is dense in $X$ if and only if $D\cap I_n$ is dense in $I_n$ for each $n$.

bof
  • 13.4k
  • 2
  • 43
  • 66