The Spectral Theorem
The high point of the course. Over $\mathbb{C}$, normal is exactly the right hypothesis: a normal operator has an orthonormal basis of eigenvectors, full stop. Over $\mathbb{R}$ the same is true for symmetric operators. Every diagonalization failure from MAT240H1 was a failure of this hypothesis.
- State both versions and say exactly which field each needs.
- Prove the complex case via Schur's theorem.
- Orthogonally diagonalize a symmetric matrix by hand.
- Write the spectral resolution $T=\sum\lambda_iP_i$ and use it.
MAT240H1 could diagonalize when it got lucky. This theorem replaces luck with a checkable hypothesis, and pays a bonus: the eigenbasis is orthonormal, so the change-of-basis matrix is unitary and its inverse is free.
Principal component analysis is the spectral theorem applied to a covariance matrix. The normal modes of a vibrating structure are its eigenvectors. In quantum mechanics the theorem is the reason an observable has a complete set of states with real measured values.
Cauchy proved the real symmetric case in 1829 while studying quadratic surfaces. Hilbert coined "spectrum" around 1904 for the infinite-dimensional analogue — before quantum mechanics gave the word its physical meaning, which he later called a lucky accident.
Schur's theorem
Let $T$ be an operator on a finite-dimensional complex inner product space. Then there is an orthonormal basis in which $[T]$ is upper triangular. Equivalently, every complex square matrix is unitarily equivalent to an upper triangular one: $A=UTU^*$ with $U$ unitary.
The complex spectral theorem
Let $T$ be an operator on a finite-dimensional complex inner product space. Then $T$ is normal if and only if $V$ has an orthonormal basis of eigenvectors of $T$. In matrix terms: $A$ is normal iff $A=UDU^*$ with $U$ unitary and $D$ diagonal.
$U=\left(\begin{smallmatrix}0&i\\i&0\end{smallmatrix}\right)$ is unitary, hence normal.
The real spectral theorem
Let $T$ be an operator on a finite-dimensional real inner product space. Then $T$ is self-adjoint if and only if $V$ has an orthonormal basis of eigenvectors. In matrix terms: a real matrix is orthogonally diagonalizable iff it is symmetric, $A=QDQ^t$ with $Q$ orthogonal and $D$ real diagonal.
The rotation $\left(\begin{smallmatrix}0&-1\\1&0\end{smallmatrix}\right)$ is normal — indeed orthogonal — but has no real eigenvalue, so no real eigenbasis exists. Over $\mathbb{R}$ the correct hypothesis is symmetry, not normality. The real classification of normal operators instead gives a block form with $2\times2$ rotation blocks.
$A=\left(\begin{smallmatrix}2&1\\1&2\end{smallmatrix}\right)$, symmetric.
Spectral resolution
Let $T$ be normal (complex) or self-adjoint (real) with distinct eigenvalues $\lambda_1,\dots,\lambda_k$ and eigenspaces $E_1,\dots,E_k$. Writing $P_i$ for the orthogonal projection onto $E_i$, the spectral resolution is
Equivalently $V=E_1\oplus\cdots\oplus E_k$, an orthogonal direct sum.
For any polynomial $p$, $p(T)=\sum_i p(\lambda_i)P_i$. More generally this defines $f(T)$ for any function $f$ on the spectrum — including $\sqrt{T}$ when the eigenvalues are non-negative, which Unit 7 needs.
Since $P_iP_j=0$ for $i\ne j$ and $P_i^2=P_i$, powers telescope: $T^m=\sum_i\lambda_i^mP_i$. Extend by linearity.
For $A=\left(\begin{smallmatrix}2&1\\1&2\end{smallmatrix}\right)$ with eigenvalues $3,1$:
• Quoting "normal implies diagonalizable" over $\mathbb{R}$. Only
symmetry works there.
• Forgetting to normalise the eigenvectors. $Q$ must be orthogonal, so
its columns need norm $1$; otherwise $Q^t\ne Q^{-1}$.
• Assuming eigenvectors within a single eigenspace are automatically
orthogonal. Vectors from distinct eigenvalues are; inside a repeated
eigenspace you must run Gram–Schmidt yourself.
• Writing $A=QDQ^{-1}$ and stopping. The content of the theorem is that
$Q$ can be taken orthogonal or unitary, so $Q^{-1}=Q^*$.
Practice
Original problems written for this guide in the style of Friedberg, Insel & Spence exercises. Write a full solution before opening the answer.
Orthogonally diagonalize $\left(\begin{smallmatrix}3&1\\1&3\end{smallmatrix}\right)$.
Answer
Orthogonally diagonalize the $3\times3$ matrix with all entries $1$.
Solution
Can $\left(\begin{smallmatrix}0&-2\\2&0\end{smallmatrix}\right)$ be orthogonally diagonalized over $\mathbb{R}$?
Answer
Find a unitary $U$ making $A=\left(\begin{smallmatrix}1&1\\0&2\end{smallmatrix}\right)$ upper triangular.
Solution
Write the spectral resolution of $\left(\begin{smallmatrix}5&0\\0&5\end{smallmatrix}\right)$.
Solution
Find a self-adjoint square root of $A=\left(\begin{smallmatrix}2&1\\1&2\end{smallmatrix}\right)$.
Solution
Prove that if $A=UDU^*$ with $U$ unitary and $D$ diagonal then $A$ is normal.
Solution
If $S$ and $T$ are commuting self-adjoint operators, show they are simultaneously orthogonally diagonalizable.
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:
- Schur's theorem. Prove unitary triangularization over $\mathbb{C}$ and see why it precedes the spectral theorem.
- Complex case. Normal iff unitarily diagonalizable.
- Real case. Symmetric iff orthogonally diagonalizable, and why normality is insufficient.
- Spectral resolution. Write $T=\sum\lambda_iP_i$ and use it to define $p(T)$ and $\sqrt T$.
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.
Schur triangularizes any complex operator; normality then forces the triangle to be diagonal. Over $\mathbb{R}$, Unit 5's existence result plus invariance of $v^\perp$ runs the same induction for symmetric operators.
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.
What hypothesis does the spectral theorem need over $\mathbb{C}$, and over $\mathbb{R}$?
Guide
Why prove Schur's theorem first?
Guide
Write the theorem as a factorization.
Guide
Given $T=\sum\lambda_iP_i$, what is $T^{10}$?