proof of existence and uniqueness of singular value decomposition
Proof of existence and uniqueness of SVDFernando Sanz Gamiz
Proof.
To prove existence of the SVD, we isolate the direction of thelargest action of , and then proceed by induction on the dimension
of . We will denote hermitian conjugation by . Norms forvectors in will be the usual euclidean
2-norm and for matrix the induced by norm of vectors.
Let . By a compactness argument, there must bevectors with and . Normalize bysetting and consider any extensions of to an orthonormal basis of and of to anorthonormal basis of ; let and denotethe unitary matrices
with columns and respectively. Then we have
where is a column vector of dimension , isa row vector of dimension , and is a matrix of dimension. Now,
so that . But and are unitary matrix, hence ; ittherefore implies .
If or we are done. Otherwise the submatrix describes the action of on the subspace
orthogonal
to . Bythe induction hypothesis has an SVD . Now itis easily verified that
is an SVD of . completing the proof of existence.
For the uniqueness let a SVD for and let denote the i-th, vector of the canonical base of . As and are unitary, , so each is uniquely determined.
∎