Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/ii/paper-1/25h/iii/solution
Past exam of the mathematics course of the University of Cambridge 2010 ii Paper 1 25H iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
All three assertions are false. For the transversality assertion, use , , and . At the preimage point the derivative is zero, so is not transverse to , yet is a codimension-one submanifold. Transversality is sufficient, not necessary.
For openness of regular values, the smooth function gives a connected-domain counterexample. Every zero has and derivative , so zero is a regular value. Critical points solve . Choose any such point ; its value is nonzero, since simultaneous vanishing would force and . The critical points have nonzero critical values . Thus no neighborhood of the regular value zero consists entirely of regular values. Properness would supply the missing compactness needed for the usual open-regular-value conclusion.
For the measure assertion, a constant map has every point critical. Its critical-point set has positive, indeed infinite, measure. Sard theorem concerns the measure of the set of critical values in the target, not the measure of critical points in the domain.
New to topics? Read the docs here!