Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ii/paper-2/22i/b/solution
Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 2 22I b Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-29
For integers , let contain those for which there is some such thatwhenever . Compactness of shows that is closed in the uniform norm: for a uniformly convergent sequence, choose convergent subsequences of the corresponding witness points and pass to the limit.
Each has empty interior. Given and a uniform-error tolerance, first approximate by a polygonal function, then add a sufficiently small-amplitude, sufficiently high-frequency sawtooth whose slopes dominate both and every slope of the polygonal approximation. At every point, one can move a distance below along one adjacent linear segment and obtain a difference quotient of magnitude greater than . The perturbed function lies in the prescribed ball but outside .
If is differentiable at some point, its nearby difference quotients are bounded, so for some . The functions differentiable somewhere therefore form a meagre set. By the Baire category theorem, their complement is nonempty; indeed it is dense. Thus
New to topics? Read the docs here!