The regular level set theorem says that for a map , if has rank on , then is an -dimensional submanifold and
Here and the given rank condition makes the zero set a two-dimensional submanifold. It is nonempty because . Part (c) gives
Consequently
There is also a direct curve proof: , so the entire line through in this direction lies in . Its velocity at zero is exactly the required tangent vector.

Articles by others on the same topic (0)

There are currently no matching articles.