Finite-rank approximation theorem for compact operators on a Hilbert space
= Finite-rank approximation theorem for compact operators on a Hilbert space
Every compact operator on a Hilbert space is an operator-norm limit of finite-rank operators. Cover the compact closure of the image of the unit ball by finitely many small balls, span their centres by a finite-dimensional space $E$, and approximate $T$ by $P_ET$.