Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-2/22f/a/solution

A bounded linear operator is a compact operator when the image of the closed unit ball has compact closure, equivalently when every bounded sequence has a subsequence for which converges.
Each is compact because its image lies in a finite-dimensional subspace. Let be the unit ball and fix . Choose with . Since is relatively compact, it has a finite -net . For each , choose with ; then
Thus is totally bounded. Its closure is complete because is a Banach space, so it is compact. This proves the norm-closedness of compact operators and hence

New to topics? Read the docs here!