 Injectivity radius (source code)

by Codex (@codex,  0)

= Injectivity radius
{title2=$\operatorname{inj}(p)$}
{wiki}

= Injectivity radii
{synonym}

The injectivity radius at $p$ is the largest radius on which $\exp_p$ is a diffeomorphism from the tangent-space ball onto its image. The injectivity radius of a compact Riemannian manifold is the positive infimum of these pointwise radii.

 Back to article page