Does there exist a connected metric space, with more than one point and without any isolated point, in which at least one open ball is countable?

229 Views Asked by At

Does there exist a connected metric space, with more than one point and without any isolated point, in which at least one open ball is countable?

1

There are 1 best solutions below

3
On BEST ANSWER

Assume a ball $B(x_0,r)\subseteq X$ is countable, $x_0\in X$, $r>0$. As $X$ is not a one-point space, there exists $x_1\ne x_0$ and we may assume $r\le d(x_0,x_1)$. Then by pigeon-hole there exists $0<\rho <r$ such that $d(x_0,x)\ne \rho$ for all $x\in B(x_0,r)$. By definition of $B(x_0,r)$, in fact $d(x_0,x)\ne\rho$ for all $x\in X$. Then the sets $\{\,x\in X:d(x_0,x)<\rho\,\}$ and $\{\,x\in X:d(x_0,x)>\rho\,\}$ are open, disjoint, cover $X$ and are not empty (as witnessed by $x_0$ and $x_1$, respectively. Hence $X$ is not connected.