Skip to main content
2 of 5
added 19 characters in body
erz
  • 5.5k
  • 1
  • 19
  • 25

I was looking for a related fact, and surprisingly couldn't find anything relevant, except of this question. Even though it was answered 10 years ago, perhaps the following result could be useful to somebody.

Proposition. Let $X$ be a connected metric space. Let $A\subset X$ be totally disconnected and locally compact with respect to the subspace topology. Then $int A =\varnothing$.

Proof. Assume that $U$ is an open set in $X$ such that $\overline{U}$ is compact and contained in $A$, and $x\in U$. Since a totally disconnected locally compact paracompact space is zero-dimensional (see 6.2.9 in Engelking's General Topology), there is an open neighborhood $V\subset U$ of $x$ that is clopen in $A$. Then, there are closed set $F$ in $X$ and open set $W$ in $X$ such that $V=A\cap F=A\cap W$. Since $V\subset U\subset A$, $V=U\cap W$ is open in $X$. Since $V\subset \overline{U}\subset A$, $V=\overline{U}\cap F$ is closed in $X$. Hence, $V$ is nonempty and clopen in $X$ which contradicts its connectedness.

Corollary. If $X$ is a complete metric space, it cannot be covered by a countable collection of closed totally disconnected locally compact subsets.

Also, the answer to the original question is negative since adding a point cannot fix the empty interior in a metric space.

erz
  • 5.5k
  • 1
  • 19
  • 25