Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-52/1/a/solution

Choose local coordinates on the hypersurface , and let be the local flow of the vector field . The map follows the integral curves of a vector field starting at . At , its differential maps the direction to and the remaining directions to a basis of . Transversality makes these vectors linearly independent, so the inverse function theorem makes a local manifold chart.
Set and transport the unchanged along each integral curve of a vector field. Then the adapted coordinates satisfy
The flow-box theorem gives this construction locally. The parameter is the flow parameter, and need not be arc length; a global manifold chart would require additional hypotheses.

New to topics? Read the docs here!