Borel sigma-algebra of a discrete space 2026-09-29
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 1 12F b Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 3 4F iii Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 4 22I b Solution 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.