Riemannian metric induced by a metric - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T08:48:14Z http://mathoverflow.net/feeds/question/45154 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/45154/riemannian-metric-induced-by-a-metric Riemannian metric induced by a metric Kallikanzarid 2010-11-07T10:07:13Z 2010-11-07T14:39:31Z <p>Let $M$ be a smooth manifold, $\rho(p, q)$ — a differentiable metric on $M$. Can we construct Riemannian metric $g(X,Y)$ on $TM$ that induces $\rho(p, q)$? Under what conditions?</p> <p>I'm sure this question has been dealt with, I just didn't find it in the quick survey of literature :)</p> http://mathoverflow.net/questions/45154/riemannian-metric-induced-by-a-metric/45164#45164 Answer by Igor Belegradek for Riemannian metric induced by a metric Igor Belegradek 2010-11-07T12:01:15Z 2010-11-07T12:01:15Z <p>There are no Riemannian manifolds with differentiable metric $\rho$. Indeed, any Riemannian metric on the real line is locally isometric to the standard Euclidean metric with $\rho(x,y)=|x-y|$, which is not differentiable. On an arbitrary Riemannian manifold $M$ if $\gamma$ is a geodesic through $p$, then the restriction of $\exp_p$ to the tangent line to $\gamma$ is a a local isometry from $\mathbb R$ to the image of $\gamma$ (by Gauss lemma). So if $\rho$ were differentiable on $M$, the metric $|x-y|$ on the tangent line would be differentiable. </p> <p>The best you can hope for is that the function $x\to\rho(x,p)$ is differentiable away from $p$. This happens exactly when $\exp_p$ is a diffeomorphism, e.g. it never happens when $M$ is compact.</p> http://mathoverflow.net/questions/45154/riemannian-metric-induced-by-a-metric/45172#45172 Answer by Dick Palais for Riemannian metric induced by a metric Dick Palais 2010-11-07T14:39:31Z 2010-11-07T14:39:31Z <p>Here is a closely related question that may have been what the OP was driving at. Suppose that you ONLY know a Riemannian manifold as a metric space---that is you know the point set and the distance between any two points, but you do not know the metric tensor or even the differentiable structure. Can you nevertheless reconstruct these from the distance function. The answer is that you can. See:</p> <p><a href="http://www.ams.org/proc/1957-008-04/S0002-9939-1957-0088000-X/S0002-9939-1957-0088000-X.pdf" rel="nofollow">http://www.ams.org/proc/1957-008-04/S0002-9939-1957-0088000-X/S0002-9939-1957-0088000-X.pdf</a></p>