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.
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}$.
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$.
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)$.
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.
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)$.
Find the singular values of the $2\times1$ matrix with entries $3$ and $4$.
Is $\left(\begin{smallmatrix}2&1\\1&2\end{smallmatrix}\right)$ positive definite?
Find $\sqrt A$ for $A=\left(\begin{smallmatrix}4&0\\0&9\end{smallmatrix}\right)$.
Polar decompose $A=\left(\begin{smallmatrix}0&3\\-3&0\end{smallmatrix}\right)$.
Show $|\det A|=\prod_i\sigma_i$.
Prove $\max_{\|v\|=1}\|Tv\|=\sigma_1$.
For which operators do the singular values equal the moduli of the eigenvalues?
Course coverage. This unit is part of the complete MAT247H1 topic map. It should cover the following items before you move on:
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.
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?
Why does every matrix have singular values, even non-square ones?
When is the unitary factor in $T=U|T|$ unique?
How does the SVD give the best rank-$k$ approximation?