A singular system of a compact operator consists of positive singular values and orthonormal systems , satisfying
They span and , respectively. The singular value decomposition is
For an infinite-rank compact operator, the singular values tend to zero; for finite rank the sum is finite. Vectors in contribute nothing. This convention labels the input singular vectors by and the output ones by .
For , truncating after diagonal entries gives finite-rank operators with operator-norm error , proving compactness. Its SVD is

Articles by others on the same topic (0)

There are currently no matching articles.