Assertion: normal coordinate | /r/CapableOf | exist on normal neighborhood of a point
Facets:
value: in m. a normal neighborhood
type: LOCATION
Source sentences:
text: Normal coordinates exist on a normal neighborhood of a point p in M. A normal neighborhood U is a subset of M such that there is a proper neighborhood V of the origin in the tangent space T p M, and exp p acts as a diffeomorphism between U and V.