Polar & Singular Value Decomposition
The spectral theorem needs a hypothesis. This unit removes it. Every operator — normal or not, square or not — factors as a rotation composed with a stretch. The price is two different orthonormal bases instead of one.
- Show $T^*T$ is positive semi-definite and extract $|T|=\sqrt{T^*T}$.
- State and prove the polar decomposition $T=U|T|$.
- Compute a singular value decomposition of a small matrix.
- Explain why the singular values, not the eigenvalues, measure size.
Eigenvalues describe an operator badly when it is not normal, and are not defined at all when the matrix is rectangular. Singular values are defined for every matrix, are always real and non-negative, and behave well under perturbation — they are the honest measure of size.
Truncating an SVD gives the best low-rank approximation of a matrix, which is the mathematics behind image compression, latent semantic analysis, and recommender systems. The condition number that decides whether a linear system is numerically safe is the ratio of largest to smallest singular value.
Beltrami and Jordan found the SVD independently in the 1870s for bilinear forms; it was rediscovered repeatedly before numerical analysts made it central in the 1960s. The polar decomposition is the matrix version of writing a complex number as $re^{i\theta}$.
Positive operators and the square root
A self-adjoint operator $P$ is positive semi-definite if $\langle Pv,v\rangle\ge0$ for all $v$, and positive definite if the inequality is strict for $v\ne0$.
A self-adjoint $P$ is positive semi-definite iff all its eigenvalues are $\ge0$.
By the spectral theorem take an orthonormal eigenbasis. Then $\langle Pv,v\rangle=\sum_i\lambda_i|\langle v,e_i\rangle|^2$, which is $\ge0$ for all $v$ exactly when every $\lambda_i\ge0$ — test with $v=e_i$ for the converse.
Every positive semi-definite $P$ has a unique positive semi-definite square root $\sqrt P$, and it is a polynomial in $P$.
Existence: from the spectral resolution $P=\sum\lambda_iP_i$, set $\sqrt P=\sum\sqrt{\lambda_i}P_i$, legitimate since $\lambda_i\ge0$. Uniqueness needs that any positive square root must act as $\sqrt{\lambda_i}$ on each eigenspace of $P$.
For any $T$, the operator $T^*T$ is self-adjoint and positive semi-definite, since $(T^*T)^*=T^*T$ and $\langle T^*Tv,v\rangle=\langle Tv,Tv\rangle=\|Tv\|^2\ge0$.
Define $|T|=\sqrt{T^*T}$. It satisfies $\||T|v\|=\|Tv\|$ for every $v$: both squares equal $\langle T^*Tv,v\rangle$.
Polar decomposition
Every operator $T$ on a finite-dimensional inner product space factors as $T=U|T|$ with $U$ unitary and $|T|=\sqrt{T^*T}$ positive semi-definite. If $T$ is invertible, $U$ is unique.
$A=\left(\begin{smallmatrix}0&2\\0&0\end{smallmatrix}\right)$.
Singular value decomposition
The singular values of $T$ are the eigenvalues of $|T|$, that is the non-negative square roots of the eigenvalues of $T^*T$, listed with multiplicity in decreasing order $\sigma_1\ge\sigma_2\ge\cdots\ge\sigma_n\ge0$.
For any linear $T:V\to W$ between finite-dimensional inner product spaces there are orthonormal bases $\{v_1,\dots,v_n\}$ of $V$ and $\{u_1,\dots,u_m\}$ of $W$ and scalars $\sigma_1\ge\cdots\ge\sigma_r>0$ with
In matrix terms, $A=U\Sigma V^*$ with $U,V$ unitary and $\Sigma$ rectangular diagonal carrying the singular values.
$A=\left(\begin{smallmatrix}1&1\\0&1\end{smallmatrix}\right)$, which is not normal.
$\sigma_1=\max_{\|v\|=1}\|Tv\|$, the operator norm; $\operatorname{rank}(T)$ is the number of nonzero singular values; and $\sigma_1/\sigma_n$ is the condition number when $T$ is invertible.
• Confusing singular values with eigenvalues. They coincide only when
$T$ is positive semi-definite; in general
$\sigma_i=\sqrt{\lambda_i(T^*T)}$.
• Forgetting singular values are non-negative and real, even when the
eigenvalues are complex or the matrix is rectangular.
• Assuming $U=V$ in $A=U\Sigma V^*$. Two different bases are needed unless
$A$ is positive semi-definite.
• Expecting uniqueness. $\Sigma$ is unique, but $U$ and $V$ are not when
singular values repeat or vanish.
Practice
Original problems written for this guide in the style of Friedberg, Insel & Spence exercises. Write a full solution before opening the answer.
Find the singular values of $\left(\begin{smallmatrix}3&0\\0&-2\end{smallmatrix}\right)$.
Answer
Find the singular values of the $2\times1$ matrix with entries $3$ and $4$.
Answer
Is $\left(\begin{smallmatrix}2&1\\1&2\end{smallmatrix}\right)$ positive definite?
Answer
Find $\sqrt A$ for $A=\left(\begin{smallmatrix}4&0\\0&9\end{smallmatrix}\right)$.
Answer
Polar decompose $A=\left(\begin{smallmatrix}0&3\\-3&0\end{smallmatrix}\right)$.
Solution
Show $|\det A|=\prod_i\sigma_i$.
Solution
Prove $\max_{\|v\|=1}\|Tv\|=\sigma_1$.
Solution
For which operators do the singular values equal the moduli of the eigenvalues?
Solution
Expanded topic checklist
Course coverage. This unit is part of the complete MAT247H1 topic map. It should cover the following items before you move on:
- Positive operators. Characterise them by their spectrum and construct the unique positive square root.
- Polar decomposition. Prove $T=U|T|$ and identify when $U$ is unique.
- SVD. Derive it from the spectral theorem applied to $T^*T$ and compute small examples.
- Interpretation. Relate $\sigma_1$ to the operator norm and the count of nonzero singular values to rank.
Use the current UofT MAT247H1 calendar topics as the coverage spine, and pair lecture notes with a Friedberg-Insel-Spence-style linear algebra text for extra reading. The exact assigned textbook should still be checked against the instructor syllabus.
$T^*T$ positive gives $|T|$; $|T|$ gives the polar decomposition; the spectral theorem on $T^*T$ gives the SVD. Everything here is the spectral theorem applied to an operator manufactured to satisfy its hypothesis.
Deep practice extensions
Use these after the main practice set. They are designed to force definition-level reasoning, theorem selection, and mixed application rather than routine calculation only.
How are singular values defined?
Guide
Why does every matrix have singular values, even non-square ones?
Guide
When is the unitary factor in $T=U|T|$ unique?
Guide
How does the SVD give the best rank-$k$ approximation?