3
$\begingroup$

Can we remove uncountably many points from $\mathbb R^n$, without removing all points from any open ball, to leave $\mathbb R^n$ open (with the usual topology)?

  • 3
    For example when $n=2$ you can remove $\{(x,y),x=0\}$ (if I didn't misunderstand the question).2012-04-07

3 Answers 3

4

Davide's example easily generalises to all n>1. For n=1, I believe removing the Cantor set would work.

  • 2
    Removing the Cantor set certainly works.2012-04-07
3

Order the points with rational coordinates as the sequence $(q_k)_k$ and consider the union $U$ of the open balls centered at $q_k$ with radius $r_k$, for some positive sequence $(r_k)_k$. The volume of $U$ is less than a multiple of $s=\sum\limits_k(r_k)^n$. Assume $s$ is finite.

Then the Lebesgue measure of the complement $V$ of $U$ is nonzero (in fact it is infinite) hence $V$ is uncountable. Furthermore, $U$ is open and any open ball contains at least one point $q_k$, hence it meets $U$.

This construction works for every $n\geqslant1$.

2

Take $S:=\{(0,0,\ldots,0,a),a\in\mathbb R\}\subset \mathbb R^n$. Then $S$ is uncountable since it's in bijection with $\mathbb R$ and doesn't contain any ball (if it contains the ball $B((x_1,\ldots,x_n),r)$ then $x\in S$ so $x_j=0$ for $1\leq j\leq n-1$ and $\left(\frac r2,0,\ldots,0,x_n\right)\in B((x_1,\ldots,x_n),r)\subset S$, a contradiction.