Theorem
The Singular Value Decomposition states that every real matrix can be factored into two orthogonal matrices and a rectangular diagonal matrix of singular values.

Proof

Show ATA is Symmetric
This symmetry connects the SVD to the Spectral Theorem, allowing the eigenstructure of ATA to guide the construction.

Use the Spectral Theorem

Form a Basis for ATA

Show the Eigenvalues are Nonnegative


Define the Singular Values and Left Singular Vectors of A
The eigenvalues and eigenvectors of ATA now provide the quantities used to construct the singular values and the corresponding left singular vectors.

Show that the Left Singular Vectors are Orthonormal



Determine the Number of Positive Singular Values of A
The rank identifies exactly how many nonzero eigenvalues of ATA contribute positive singular values to the decomposition.




Form the Left Singular Vector Matrix

Extend the Orthogonal Set of Left Singular Vectors
Completing this orthonormal set provides the additional columns needed to build the full orthogonal matrix U.


Show U is Orthogonal

Construct the Singular Values Matrix

Show AV = UΣ





Show A = UΣVT
These constructions bring the right singular vectors, left singular vectors, and singular values together in the factorization A = UΣVT.

➕ MathAngel369 ➕
Angela Morgan