Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/ii/paper-3/10i/solution

Work in the complete Banach space with the uniform norm. Each is closed. Indeed if uniformly and witnesses membership in , pass to a subsequence with . For each , uniform convergence and continuity give
Thus witnesses membership for .
Each has empty interior. Approximate an arbitrary uniformly by a piecewise-linear function on a uniform mesh, and let bound the absolute slopes of . On a sufficiently fine uniform refinement of mesh , add a triangular oscillation of fixed small amplitude , alternating between and at successive vertices. The resulting function is still as close to as desired, and every segment has absolute slope at least . For any , choose the farther endpoint of a segment containing . Its distance is between and , so
when is small. Therefore .
By the Baire category theorem, the complement of is dense and nonempty. If the local limsup in the question were finite at some , its nearby differences would satisfy a finite bound. The remaining differences, with , are bounded by . Combining the bounds would put in some , a contradiction. Hence the required limsup is infinite at every point, including one-sided approaches at the endpoints.

New to topics? Read the docs here!