Let \(M\) be a Riemannian manifold. Define \(d:M\times M\to \mathbb {R}\) by \[ d(x,y)=\inf \int _0^1 |\gamma '(t)|\,dt \] where the infimum is taken over piecewise \(C^1\) paths \(\gamma \) in \(M\) with \(\gamma (0)=x\) and \(\gamma (1)=y\). Prove that \(d\) is a metric on \(M\).
Question
Math 6510 • Differentiable Manifolds
Spring 2008 • Question 5