On the open ball of this radius , the exponential map at p is a diffeomorphism from the tangent space to the manifold .
This is the largest such diffeomorphism .
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 .