Define the smooth functionAt its derivative isThis linear map is surjective because ; for example, . Hence one is a regular value, and the regular level set theorem makesan embedded codimension-one submanifold of . Its tangent space is the kernel of the derivative:This is the unit sphere as a regular level set.
Articles by others on the same topic
There are currently no matching articles.