Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-5/2/2/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 5 2 2 Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
The finite-dimensional implication again follows from equivalence of norms and the Heine-Borel theorem. In an infinite-dimensional Banach space, inductively apply Riesz lemma to the proper closed finite-dimensional linear span to obtain a unit vector with . Therefore for distinct indices, precluding a Cauchy subsequence.
For completeness, Riesz lemma here follows by taking , setting , choosing with , and putting . Its distance from exceeds . This proves the closed unit ball is norm compact if and only if the Banach space is finite-dimensional. The printed hint's equality of all pairwise distances is unnecessary; the separation inequality is what the argument supplies.
New to topics? Read the docs here!