Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am not sure what class of surfaces or topological spaces this is a theorem for but it should at least include the plane, circle, sphere and torus (hopefully also the Klein bottle) - so part of the question is what class of surfaces to consider:

Given a fixed base point consider every path in some homotopy class. How can one prove that a shortest path exists and that it is a geodesic?

share|cite|improve this question
Geodesics or even distances are not defined for general topological spaces. – lhf Apr 28 '11 at 1:57
The objects for which the word "geodesic" makes sense are metric spaces, not topological spaces. Most people would specialize even further to Riemannian manifolds. – Qiaochu Yuan Apr 28 '11 at 2:23
up vote 2 down vote accepted

On a complete Riemannian manifold, there is always a shortest geodesic in a given homotopy class of loops based at a point. See e.g. here which treats the (more general) case of Finsler manifolds. (I found this particular reference just by googling, and you should be able to find many other references in the same way.)

share|cite|improve this answer
Matt E, thanks for the reference but that is not true that I would be able to find this by googling. I have tried for a long time without success before asking this here. – quanta Apr 28 '11 at 7:12

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.