Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-1/26i/b/solution

After a fixed orthogonal change of ambient coordinates, a neighbourhood of in is the graph
of a smooth map . Write for all sufficiently large . Every tangent vector has the unique form
The convergence of implies convergence of its first component, say . Since and is continuous,
This proves the closedness of tangent spaces under convergent base points.
Conversely, suppose and write . Choose a nonzero and positive with . Then
and , . Every tangent vector arises as such a limit from distinct base points.

New to topics? Read the docs here!