Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-1/26h/a/solution

Define the smooth function
At its derivative is
This linear map is surjective because ; for example, . Hence one is a regular value, and the regular level set theorem makes
an embedded codimension-one submanifold of . Its tangent space is the kernel of the derivative:
This is the unit sphere as a regular level set.

New to topics? Read the docs here!