Hilbert-Space Approximation by Finite Rank