Injectivity radius

In differential geometry, the injectivity radius is the largest radius for which the exponential map is a diffeomorphism.

If the injectivity radius is finite, then either two geodesics which start at the origin intersect, or there is a critical value of exponential map at some point along a geodesic.