Source: Multiple View Geometry in Computer Vision by Richard Hartley and Andrew Zisserman.
The singular value decomposition (SVD) is one of the most useful matrix decompositions, particularly for numerical computations. Its most common application is in the solution of over-determined systems of equations.
Given a square matrix , the SVD is a factorization of as , where and are orthogonal matrices, and is a diagonal matrix with non-negative entries. Note that it is conventional to write instead of in this decomposition. The decomposition may be carried out in such a way that the diagonal entries of are in descending order, and we will assume that this is always done. Thus a circumlocutory phrase such as “the column of corresponding to the smallest singular value” is replaced by “the last column of .”
I did something of the sort in my Analysis and Prediction of Stock Market project where I implemented the QR Decomposition from scratch, using the Householder method.
The SVD also exists for non-square matrices . Of most interest is the case where has more rows than columns. Specifically, let be an matrix with . In this case, may be factored as:
where:
- is an matrix with orthogonal columns,
- is an diagonal matrix, and
- is an orthogonal matrix.
The fact that has orthogonal columns means that:
Furthermore, has the norm-preserving property:
as one readily verifies. On the other hand, is not the identity unless .
Best implementation is in [Press-88]
Singular values and eigenvalues
The diagonal entries of matrix in the SVD are non-negative. These entries are known as the singular values of the matrix . They are not the same thing as eigenvalues.
To see the connection of the singular values of with eigenvalues, we start with:
From this, it follows that:
Since is orthogonal, , and so:
This is the defining equation for eigenvalues, indicating that the entries of are the eigenvalues of , and the columns of are the eigenvectors of . In short, the singular values of are the square roots of the eigenvalues of .
NOTE
is symmetric and positive semi-definite, so its eigenvalues are real and non-negative. Consequently, singular values are real and non-negative.