Let $X^{∗}$ denote the completion of the metric space $X$. Is there a metric on the open interval $X = (0, 1)$ generating the Euclidean topology for which $X^{∗} − X$ is uncountable? Any idea and hint would be helpful. Thanks!
2026-05-15 04:10:43.1778818243
Does there exist a metric on $X$ such that $X^{∗} − X$ is uncountable?
38 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
Consider the "topologist's sine curve" in the form $$C=\{(x,\sin(1/x):0<x<1\}.$$ This is a subspace of $\Bbb R^2$ homeomorphic to $(0,1)$, so we can think of $(0,1)$ as a metric space by considering the metric of $C$ inside $\Bbb R^2$. Thus $$d(x,y)=\sqrt{(x-y)^2+\left(\sin\frac1x-\sin\frac1y\right)^2}.$$ The closure of $C$ in $\Bbb R^2$ is the completion of $C$ with respect to this metric, and contains the uncountable set $\{(0,y):-1<y<1\}$. Thus $C^*-C$ is uncountable.