Paper 3, Section II, F
Part II, 2021
Let and be smooth boundaryless manifolds. Suppose is a smooth map. What does it mean for to be a regular value of ? State Sard's theorem and the stack-of-records theorem.
Suppose is another smooth map. What does it mean for and to be smoothly homotopic? Assume now that is compact, and has the same dimension as . Suppose that is a regular value for both and . Prove that
Let be a non-empty open subset of the sphere. Suppose that is a smooth map such that for all . Show that there must exist a pair of antipodal points on which is mapped to another pair of antipodal points by .
[You may assume results about compact 1-manifolds provided they are accurately stated.]