Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-5/2/2/solution

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!