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.

Articles by others on the same topic (0)

There are currently no matching articles.