the least distance from "p" to the cut locus is the injectivity radius at "p". on the open ball of this radius, the exponential map at "p" is a diffeomorphism from the tangent space to the manifold, and this is the largest such radius. the global injectivity radius is defined to be the infimum of the injectivity radius at "p", over all points of the manifold.