The regular level set theorem says that for a map , if has rank on , then is an -dimensional submanifold andHere and the given rank condition makes the zero set a two-dimensional submanifold. It is nonempty because . Part (c) givesConsequentlyThere 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
There are currently no matching articles.