After a fixed orthogonal change of ambient coordinates, a neighbourhood of in is the graphof a smooth map . Write for all sufficiently large . Every tangent vector has the unique formThe 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 . Thenand , . Every tangent vector arises as such a limit from distinct base points.
Articles by others on the same topic
There are currently no matching articles.