Finite-rank truncation of a compact Hermitian operator
= Finite-rank truncation of a compact Hermitian operator
If
$$
Tx=\sum_n\lambda_n\langle x,e_n\rangle e_n,
\qquad \lambda_n\to0,
$$
then truncating the sum after $N$ terms gives finite-rank Hermitian $T_N$ with
$$
\lVert T-T_N\rVert=\sup_{n>N}|\lambda_n|\to0.
$$