A distance function $d: \mathbb{R} \times \mathbb{R} \rightarrow [0,\infty)$ that is defined by a smooth Riemannian metric on the real line satisfies the following properties:

- $d$ is a length metric (a.k.a. intrinsic metric, inner metric, Menger-convex ...);
- $d$ is continuous;
- for every $x,y \in \mathbb{R}$, the function $t \mapsto d(x+t,y+t)$ is smooth as a function of $t$.

Is the converse true? In other words:

Given a distance function $d: \mathbb{R} \times \mathbb{R} \rightarrow [0,\infty)$ that satisfies these three properties, is it the distance function of a Riemannian metric on the real line?

**Remarks.**

**1.** If you eliminate condition (3), the metric may not come from a Riemannian metric no matter how little regularity you're prepared to accept. Take for example $f : \mathbb{R} \rightarrow \mathbb{R}$ to be the Cantor function extended continuously as a constant function outside the interval $[0,1]$ plus the function $x \mapsto x$. The function $f$ is continuous and strictly increasing.Therefore, $d(x,y) = |f(y) - f(x)|$ defines a continuous length metric on the real line, but the distance does not come from any Lebesgue integrable Riemannian metric on the line.

**2.** The point where I'm stuck: It is not hard to come up with the candidate Riemannian metric by considering
$$
\sqrt{g_x(v,v)} := \lim_{t \rightarrow 0^+} d(x,x + tv)/t
$$
that can be shown to exist for all $(x,v)$ because $d(x, x + tv)$ is continuous and monotone in $t$ and hence differentiable almost everywhere and because condition (3) implies that if the limit exists for a point, then it will exist for all points.

However, I can't see whether $\sqrt{g_x(\cdot,\cdot)} = \nu(x) |dx|$ is Riemann or Lebesgue integrable and, much less, continuous, etc.

Hopefully, this is all very simple and I'm just overlooking something really obvious.

**3.** In general, I'm trying to understand the class of distance functions on a manifold that can be uniformly approximated on compact sets by distance functions coming from Riemannian or Finsler metrics. If you have any references on this, I'd be glad to know of them.

notsay that $x \mapsto d(0,x)$ is $C^1$, it is just continuous and the only differentiability hypothesis is (3). $\endgroup$ – alvarezpaiva May 16 '14 at 14:35