Along a unit-speed minimizing geodesic of positive length , take perpendicular parallel orthonormal fields and set . The second variation of geodesic energy makes each index form nonnegative, while bounds their sum as displayed. For and , lengths greater than are impossible. Completeness is what supplies a minimizing geodesic between arbitrary points in the Bonnet-Myers theorem.
Articles by others on the same topic
There are currently no matching articles.