Is there a metric for which the open unit interval is complete?

183 Views Asked by At

Let, $I= (0,1)$ It is well known that $I$ is not a complete with respect to the Euclidean metric $(x,y)\mapsto |x-y|$.

However, $(I,|\cdot|)$ is separable.

Question: Can we find a metric $d: I\times I \to(0,\infty)$ for which, $(I,d)$ is separable and complete?

2

There are 2 best solutions below

0
On

Try $J = (-\pi/2,\pi/2)$ instead. How about $d(x,y) = |\tan x - \tan y|$?

0
On

Take a homeomorphism from the interval to $\Bbb R$ and pull back the usual Euclidean metric.