# Are geodesics locally minimizing in continuous curves?

In every lecture on Riemannian geometry it is standard to prove that geodesic curves are locally length minimizing. The only thing I find confusing about this is, that here length minimizing means: compared to all piecewise smooth curves in contrast to, say, all continuous curves. So my question is:

Are geodesics locally length minimizing in the continuous curves?

If generally they are not: Under which conditions can we obtain such a result? Can you give any counterexamples?

-
Continuous curves don't neccessarily have a length. Let's add the hypothesis that the curve be rectifiable, also lets assume we are in a complete Riemannian manifold, then the answer is yes. – Charlie Frohman Jun 27 '11 at 12:43
I'd think a non-rectifiable continuous curve could naturally be assigned infinite "length" (by using the same supremum of distances as in the definition for rectifiable curves), so that you wouldn't have to worry about them as candidates for minimizing lengths. – Andreas Blass Jun 27 '11 at 13:09
To amplify @Charlie's comment: how do you define the length of a curve? If as the limit of piecewise-smooth approximations, then the statement is immediate. If not, you should tell us your definition of length... – Igor Rivin Jun 27 '11 at 15:31

## 1 Answer

Your question will be trivial once you give a definition of the length of curve in a Riemannian manifold.

For example, you may define distance as infimum of lengths piecewise smooth curves connecting given points. Then you define length of general curve as you do it in a metric space...

-
Thank you, Anton! I made a mistake in formulating the question, because ow I realize that actually I was not really thinking of a Riemannian manifold, but of something like an embedded surface getting its metric from the surrounding space. Does the "program" you suggested also work in this case? – Sebastian Scholtes Jun 27 '11 at 16:52
Isn't an embedded surface getting a metric from the ambient space also a Riemannian manifold?? – Willie Wong Jun 27 '11 at 17:20
For an embedded surface one can show that a small neighborhood of the surface admits a retraction to the surface with small Lipschitz constant... – Anton Petrunin Jun 27 '11 at 17:20
As it answers the question perfectly and as I also realize that this was probably a stupid question to begin with, I accept Anton's answer. Just, so that you know what got me started on this and what I had in mind when asking: if I have a subarc of a great arc on S^2 that has minimal length under all piecewise smooth curves [0,1]->R^3 connecting p and q on S^2, is it clear from differential geomtric methods that this arc is also minimzing under all continous curves [0,1]->R^3 with values in S^2 connecting p and q? – Sebastian Scholtes Jun 27 '11 at 18:00