Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ii/paper-4/22i/b/solution
Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 4 22I b Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-29
Write with every equicontinuous. Its closure is still equicontinuous, because uniform limits preserve the same oscillation inequalities. The Baire category theorem applied to the Banach space shows that some has nonempty interior. Hence there are and such that the open ball lies in .
Fix . Equicontinuity of gives a neighborhood of on which every member of changes by less than . If were distinct from , the normality of a compact Hausdorff space and the Urysohn lemma would give with , , and . Both and belong to , yeta contradiction. Thus , so every point is isolated and is a discrete space. A compact discrete space is finite, since its cover by singleton open sets has a finite subcover.
New to topics? Read the docs here!