Normal neighbourhood
= Normal neighbourhood
{wiki=Normal_coordinates}
A normal neighbourhood of $p$ is the diffeomorphic image under $\exp_p$ of a star-shaped neighbourhood of $0$ in $T_pM$. In a sufficiently small normal ball, radial geodesics from $p$ uniquely minimize length.