Paper 1, Section II, I
Part II, 2017
Define what it means for a subset to be a manifold.
For manifolds and , state what it means for a map to be smooth. For such a smooth map, and , define the differential map .
What does it mean for to be a regular value of ? Give an example of a map and a which is not a regular value of .
Show that the set of real-valued matrices with determinant 1 can naturally be viewed as a manifold . What is its dimension? Show that matrix multiplication , defined by , is smooth. [Standard theorems may be used without proof if carefully stated.] Describe the tangent space of at the identity as a subspace of .
Show that if then the set of real-valued matrices with determinant 0 , viewed as a subset of , is not a manifold.