Past exam of the mathematics course of the University of Cambridge 2019 ib Paper 4 12E a i Solution Created 2026-09-29 Updated 2026-10-03
Let be a Cauchy sequence in a compact metric space . By sequential compactness of a compact metric space, it has a convergent subsequence . Given , choose such that whenever , and then choose such that and . For every , the triangle inequality givesThus the whole sequence converges to . Every Cauchy sequence converges in , so is a complete metric space.
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 1 10F a Solution Created 2026-09-24 Updated 2026-09-25
This is always true: it is the Heine-Cantor theorem. If uniform continuity failed, there would be an and sequences such thatBy sequential compactness of a compact metric space, some subsequence converges to . The triangle inequality gives . Continuity then makes both image subsequences converge to , contradicting their separation by .