A branch of differential geometry dealing with Riemannian manifolds. *Riemannian manifolds* are smooth manifolds with an inner product smoothly attached to the tangent space of each point. Usually, Riemannian geometry focuses on the notions of distance, curvature, and shape. Consider using this tag ...
Motivation: I am trying to prove a certian geodesic is minimizing. The only generic tool I know for doing that is the fact the a gedoesic is minimizing as long as it stays in a normal neighbourhood of ...