Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-7/3/a/solution

If is a finite-dimensional Hilbert space, a choice of orthonormal basis identifies its closed unit ball with a closed bounded ball in a finite-dimensional Euclidean space. The Heine-Borel theorem makes it compact in the norm topology.
Conversely, if is infinite-dimensional, choose a unit vector and inductively choose orthogonal to the span of . The finite span is a proper closed subspace, so its orthogonal complement contains a nonzero vector that can be normalized. The resulting orthonormal sequence lies in the closed unit ball and satisfies
It has no norm-convergent subsequence. Sequential compactness is equivalent to compactness in a metric space, hence the closed ball is not compact. This proves the norm-compact unit ball criterion: a Hilbert space has a norm-compact closed unit ball exactly when it is finite-dimensional.

New to topics? Read the docs here!