Most vectors change direction when a matrix acts on them. A few special directions do not: the matrix only stretches, shrinks or flips them. Those directions are the eigenvectors, and the stretch factors are the eigenvalues. If a matrix has enough eigenvectors to form a basis, then in that basis it is diagonal — every hard question about the matrix (its powers, its long-run behaviour, the differential equation it drives) splits into nn independent one-dimensional questions. This post builds the theory with proofs, then uses it on Fibonacci numbers, a Markov chain, a system of differential equations, and the power-iteration algorithm. It relies on the determinant and on change of basis from Linear Algebra 03.

Series map: 00 Vectors & Linear Systems → 01 Matrix Algebra, Inverses & LU → 02 Vector Spaces, Basis & Dimension → 03 Linear Maps, Change of Basis & Determinants → 04 Eigenvalues & Diagonalization (this post) → 05 Inner Products, Spectral Theorem & SVD.


Learning Outcome

  • Define eigenvalues, eigenvectors and eigenspaces, and describe them geometrically for common maps of the plane.
  • Find eigenvalues from the characteristic polynomial and eigenvectors from null spaces, for 2×22 \times 2 and 3×33 \times 3 matrices.
  • Distinguish algebraic from geometric multiplicity, and prove that eigenvectors for distinct eigenvalues are independent.
  • Decide whether a matrix is diagonalizable, and write A=PDP−1A = PDP^{-1} when it is.
  • Compute AkA^k and solve difference equations (Fibonacci, Markov chains) by diagonalization.
  • Handle complex eigenvalues, and use trace = sum and determinant = product of the eigenvalues as checks.
  • State and use the Cayley–Hamilton theorem; recognise a defective matrix and state the Jordan form.
  • Solve x′=Axx' = Ax with eAt=PeDtP−1e^{At} = Pe^{Dt}P^{-1}, and explain how power iteration finds the dominant eigenvalue.

Chapter 1 — Eigenvalues and eigenvectors

Terminology

  • Eigenvector of a square matrix AA (or a linear operator T:V→VT: V \to V) — a nonzero vector vv with Av=λvAv = \lambda v for some scalar λ\lambda.
  • Eigenvalue — a scalar λ\lambda for which such a nonzero vv exists. "Eigen" is German for "own" or "characteristic".
  • Eigenspace Eλ={v:Av=λv}=N(A−λI)E_\lambda = \{v : Av = \lambda v\} = N(A - \lambda I) — all eigenvectors for λ\lambda, together with 00. It is a subspace.
  • Spectrum — the set of all eigenvalues of AA.
  • Diagonalizable — similar to a diagonal matrix: A=PDP−1A = PDP^{-1} with DD diagonal and PP invertible.

The zero vector is excluded as an eigenvector because A0=λ0A0 = \lambda 0 holds for every λ\lambda and would say nothing. The eigenvalue λ=0\lambda = 0, on the other hand, is allowed: Av=0vAv = 0v with v≠0v \neq 0 means vv is in the null space, so 00 is an eigenvalue exactly when AA is singular.

What it means geometrically

Av=λvAv = \lambda v says: the line through vv is mapped into itself. Along that line, AA acts as multiplication by the number λ\lambda. If λ>1\lambda > 1 the line is stretched, 0<λ<10 < \lambda < 1 shrinks it, λ<0\lambda < 0 flips it, λ=0\lambda = 0 collapses it to the origin.

The maps of the plane from Linear Algebra 03:

Map Eigenvalues and eigen-directions
Projection onto a line LL 11 on LL (kept), 00 on the perpendicular line (killed)
Reflection in a line LL 11 on LL, −1-1 on the perpendicular line
Rotation by θ\theta, 0<θ<180°0 < \theta < 180° no real eigenvector — every direction turns; complex eigenvalues e±iθe^{\pm i\theta} (Chapter 6)
Shear (1k01)\begin{pmatrix} 1 & k \\ 0 & 1\end{pmatrix}, k≠0k \neq 0 only 11, only along the xx-axis — not enough eigenvectors (Chapter 4)
Scaling diag⁡(a,b)\operatorname{diag}(a, b) aa along e1e_1, bb along e2e_2

Running example. Throughout the post,

A=(4123).A = \begin{pmatrix} 4 & 1 \\ 2 & 3 \end{pmatrix}.

Check two directions: A(1,1)=(5,5)=5(1,1)A(1, 1) = (5, 5) = 5(1, 1) and A(1,−2)=(2,−4)=2(1,−2)A(1, -2) = (2, -4) = 2(1, -2). So (1,1)(1,1) is an eigenvector with eigenvalue 5 and (1,−2)(1, -2) is one with eigenvalue 2. A vector off these lines turns: e1=(1,0)e_1 = (1,0) goes to (4,2)(4, 2), a turn of about 26.6°26.6° counter-clockwise, and e2=(0,1)e_2 = (0,1) goes to (1,3)(1, 3), a turn of about 18.4°18.4° clockwise.

The map A = [[4,1],[2,3]] applied to vectors of the unit circle: the eigen-directions (1,1) and (1,-2) stay on their own lines and are stretched by 5 and 2, while e1 and e2 are turned; the unit circle becomes an ellipse.


Chapter 2 — The characteristic polynomial

From a nonlinear problem to a determinant

Av=λvAv = \lambda v has two unknowns multiplied together (λ\lambda and vv), so it is not a linear system. Rewrite it as

(A−λI)v=0,v≠0.(A - \lambda I)v = 0, \qquad v \neq 0.

A nonzero solution exists exactly when A−λIA - \lambda I is singular, which by Linear Algebra 03 happens exactly when its determinant is zero. So:

Theorem 1. λ\lambda is an eigenvalue of AA if and only if det⁡(λI−A)=0\det(\lambda I - A) = 0.

The function pA(λ)=det⁡(λI−A)p_A(\lambda) = \det(\lambda I - A) is the characteristic polynomial of AA. Expanding the determinant with the Leibniz formula shows it is a polynomial of degree nn with leading coefficient 1. (Some books use det⁡(A−λI)=(−1)npA(λ)\det(A - \lambda I) = (-1)^n p_A(\lambda); the roots are the same.)

The recipe is therefore two steps: (1) find the roots of pAp_A; (2) for each root λ\lambda, find the null space of A−λIA - \lambda I by elimination.

The shortcut for 2 × 2 matrices

For A=(abcd)A = \begin{pmatrix} a & b \\ c & d\end{pmatrix},

pA(λ)=(λ−a)(λ−d)−bc=λ2−(a+d)λ+(ad−bc)=λ2−(tr⁡A) λ+det⁡A.p_A(\lambda) = (\lambda - a)(\lambda - d) - bc = \lambda^2 - (a + d)\lambda + (ad - bc) = \lambda^2 - (\operatorname{tr}A)\,\lambda + \det A.

Worked example. For the running example, tr⁡A=7\operatorname{tr}A = 7 and det⁡A=12−2=10\det A = 12 - 2 = 10:

pA(λ)=λ2−7λ+10=(λ−5)(λ−2).p_A(\lambda) = \lambda^2 - 7\lambda + 10 = (\lambda - 5)(\lambda - 2).

For λ=5\lambda = 5: A−5I=(−112−2)A - 5I = \begin{pmatrix} -1 & 1 \\ 2 & -2\end{pmatrix}, whose null space is spanned by (1,1)(1, 1). For λ=2\lambda = 2: A−2I=(2121)A - 2I = \begin{pmatrix} 2 & 1 \\ 2 & 1\end{pmatrix}, null space spanned by (1,−2)(1, -2). This matches Chapter 1.

Trick: After finding a 2×22 \times 2 matrix A−λIA - \lambda I, you do not need to row-reduce. If the first row is (p,q)(p, q), then (q,−p)(q, -p) (or (−q,p)(-q, p)) is in the null space. The second row must be a multiple of the first — if it is not, λ\lambda was computed wrongly.

A 3 × 3 example with a repeated eigenvalue

B=(211121112),pB(λ)=λ3−6λ2+9λ−4=(λ−4)(λ−1)2.B = \begin{pmatrix} 2 & 1 & 1 \\ 1 & 2 & 1 \\ 1 & 1 & 2 \end{pmatrix}, \qquad p_B(\lambda) = \lambda^3 - 6\lambda^2 + 9\lambda - 4 = (\lambda - 4)(\lambda - 1)^2.

(A quick way to see this: B=I+JB = I + J where JJ is the all-ones matrix. JJ has rank 1, so 00 is an eigenvalue of JJ with a two-dimensional eigenspace, and J(1,1,1)=3(1,1,1)J(1,1,1) = 3(1,1,1). Adding II adds 1 to every eigenvalue.)

  • λ=4\lambda = 4: B−4IB - 4I has null space spanned by (1,1,1)(1, 1, 1).
  • λ=1\lambda = 1: B−I=JB - I = J, every row is (1,1,1)(1, 1, 1), so the null space is the plane x+y+z=0x + y + z = 0, spanned by (−1,1,0)(-1, 1, 0) and (−1,0,1)(-1, 0, 1).

The eigenvalue 1 is a double root and has a two-dimensional eigenspace. That is the good case, as Chapter 3 explains.

Easy cases and invariance

  • Triangular matrices: λI−A\lambda I - A is triangular, so pA(λ)=∏(λ−aii)p_A(\lambda) = \prod (\lambda - a_{ii}). The eigenvalues are the diagonal entries.
  • Similar matrices have the same characteristic polynomial. If B=P−1APB = P^{-1}AP then λI−B=P−1(λI−A)P\lambda I - B = P^{-1}(\lambda I - A)P, so by the product rule det⁡(λI−B)=det⁡(λI−A)\det(\lambda I - B) = \det(\lambda I - A). So eigenvalues belong to the operator, not to a particular matrix of it (Linear Algebra 03, similarity invariants).
  • AA and ATA^T have the same characteristic polynomial (because det⁡MT=det⁡M\det M^T = \det M), but usually different eigenvectors.

Common pitfall: Row operations change eigenvalues. Row-reducing AA first and then reading off the diagonal gives the pivots, not the eigenvalues. Row-reduce A−λIA - \lambda I (to find eigenvectors), never AA.

Trace and determinant from the eigenvalues

Over C\mathbb{C}, every polynomial factors completely (fundamental theorem of algebra), so pA(λ)=(λ−λ1)⋯(λ−λn)p_A(\lambda) = (\lambda - \lambda_1)\cdots(\lambda - \lambda_n), with eigenvalues repeated by multiplicity.

Theorem 2. tr⁡A=λ1+⋯+λn\operatorname{tr} A = \lambda_1 + \dots + \lambda_n and det⁡A=λ1λ2⋯λn\det A = \lambda_1 \lambda_2 \cdots \lambda_n.

Proof. Put λ=0\lambda = 0 in det⁡(λI−A)=∏(λ−λi)\det(\lambda I - A) = \prod(\lambda - \lambda_i): det⁡(−A)=∏(−λi)\det(-A) = \prod(-\lambda_i), that is (−1)ndet⁡A=(−1)n∏λi(-1)^n \det A = (-1)^n \prod \lambda_i. For the trace, compare the coefficients of λn−1\lambda^{n-1}. On the right it is −∑λi-\sum \lambda_i. On the left, in the Leibniz expansion of det⁡(λI−A)\det(\lambda I - A), any term other than the diagonal product uses at most n−2n - 2 diagonal entries, so has degree at most n−2n - 2 in λ\lambda. The diagonal product ∏(λ−aii)\prod(\lambda - a_{ii}) contributes −∑aii=−tr⁡A-\sum a_{ii} = -\operatorname{tr}A. ∎

Checks: for AA, 5+2=7=tr⁡A5 + 2 = 7 = \operatorname{tr}A and 5⋅2=10=det⁡A5 \cdot 2 = 10 = \det A. For BB, 4+1+1=64 + 1 + 1 = 6 and 4⋅1⋅1=4=det⁡B4 \cdot 1 \cdot 1 = 4 = \det B.


Chapter 3 — Multiplicities and independence

Two kinds of multiplicity

For an eigenvalue λ0\lambda_0:

  • Algebraic multiplicity — how many times λ0\lambda_0 is a root of pAp_A (the power of (λ−λ0)(\lambda - \lambda_0) in the factorisation).
  • Geometric multiplicity — dim⁡Eλ0=dim⁡N(A−λ0I)\dim E_{\lambda_0} = \dim N(A - \lambda_0 I), the number of independent eigenvectors for λ0\lambda_0.

Theorem 3. 1≤geometric multiplicity≤algebraic multiplicity1 \le \text{geometric multiplicity} \le \text{algebraic multiplicity}.

Proof. The lower bound holds because an eigenvalue has at least one eigenvector. For the upper bound let g=dim⁡Eλ0g = \dim E_{\lambda_0} with basis v1,…,vgv_1, \dots, v_g, and extend it to a basis v1,…,vnv_1, \dots, v_n of Rn\mathbb{R}^n. With P=(v1⋯vn)P = (v_1 \cdots v_n), the first gg columns of P−1APP^{-1}AP are λ0e1,…,λ0eg\lambda_0 e_1, \dots, \lambda_0 e_g, so

P−1AP=(λ0IgX0Y).P^{-1}AP = \begin{pmatrix} \lambda_0 I_g & X \\ 0 & Y \end{pmatrix}.

Similar matrices share the characteristic polynomial, and the block triangular determinant rule gives pA(λ)=(λ−λ0)gdet⁡(λI−Y)p_A(\lambda) = (\lambda - \lambda_0)^g \det(\lambda I - Y). So (λ−λ0)g(\lambda - \lambda_0)^g divides pAp_A, and the algebraic multiplicity is at least gg. ∎

In the example BB, the eigenvalue 1 has algebraic multiplicity 2 and geometric multiplicity 2. For the shear (1101)\begin{pmatrix} 1 & 1 \\ 0 & 1\end{pmatrix}, the eigenvalue 1 has algebraic multiplicity 2 but geometric multiplicity 1. That gap is exactly what stops a matrix from being diagonalizable.

Eigenvectors for different eigenvalues are independent

Theorem 4. If v1,…,vkv_1, \dots, v_k are eigenvectors of AA for distinct eigenvalues λ1,…,λk\lambda_1, \dots, \lambda_k, then v1,…,vkv_1, \dots, v_k are linearly independent.

Proof. Suppose not. Let mm be the smallest index such that vmv_m is a combination of v1,…,vm−1v_1, \dots, v_{m-1}; then v1,…,vm−1v_1, \dots, v_{m-1} are independent, and m≥2m \ge 2 since v1≠0v_1 \neq 0. Write

vm=c1v1+⋯+cm−1vm−1.v_m = c_1 v_1 + \dots + c_{m-1} v_{m-1}.

Apply AA: λmvm=c1λ1v1+⋯+cm−1λm−1vm−1\lambda_m v_m = c_1 \lambda_1 v_1 + \dots + c_{m-1}\lambda_{m-1} v_{m-1}. Subtract λm\lambda_m times the first equation:

0=c1(λ1−λm)v1+⋯+cm−1(λm−1−λm)vm−1.0 = c_1(\lambda_1 - \lambda_m) v_1 + \dots + c_{m-1}(\lambda_{m-1} - \lambda_m) v_{m-1}.

By independence each ci(λi−λm)=0c_i(\lambda_i - \lambda_m) = 0, and since the eigenvalues are distinct, each ci=0c_i = 0. Then vm=0v_m = 0, which is impossible for an eigenvector. ∎

The same argument shows more: if you take a basis of each eigenspace and put them together, the combined list is still independent. So the sum of the geometric multiplicities is the number of independent eigenvectors the matrix has in total.

Corollary 5. An n×nn \times n matrix with nn distinct eigenvalues is diagonalizable. (Chapter 4 explains why independence is all that is needed.)

The converse is false: II has only one eigenvalue and is already diagonal; so is BB after a change of basis.


Chapter 4 — Diagonalization

The main theorem

Theorem 6. An n×nn \times n matrix AA is diagonalizable if and only if it has nn linearly independent eigenvectors. In that case A=PDP−1A = PDP^{-1}, where the columns of PP are the eigenvectors and DD is the diagonal matrix of the matching eigenvalues, in the same order.

Proof. Write P=(v1⋯vn)P = (v_1 \cdots v_n) and D=diag⁡(λ1,…,λn)D = \operatorname{diag}(\lambda_1, \dots, \lambda_n). Column ii of APAP is AviAv_i and column ii of PDPD is λivi\lambda_i v_i. So

AP=PD  ⟺  Avi=λivi for every i.AP = PD \iff Av_i = \lambda_i v_i \text{ for every } i.

If there are nn independent eigenvectors, PP is invertible and A=PDP−1A = PDP^{-1}. Conversely, if A=PDP−1A = PDP^{-1} then AP=PDAP = PD, so the columns of PP are eigenvectors, and they are independent because PP is invertible. ∎

In the language of Linear Algebra 03: DD is the matrix of the same operator in the eigenvector basis. Diagonalizing means finding coordinates in which the map acts on each coordinate separately.

Criterion. Combining Theorems 3 and 4: AA is diagonalizable over C\mathbb{C} if and only if, for every eigenvalue, geometric multiplicity = algebraic multiplicity. It is diagonalizable over R\mathbb{R} if in addition all eigenvalues are real.

Worked example. For the running example,

P=(111−2),D=(5002),P−1=13(211−1),A=PDP−1.P = \begin{pmatrix} 1 & 1 \\ 1 & -2 \end{pmatrix}, \quad D = \begin{pmatrix} 5 & 0 \\ 0 & 2 \end{pmatrix}, \quad P^{-1} = \frac{1}{3}\begin{pmatrix} 2 & 1 \\ 1 & -1 \end{pmatrix}, \quad A = PDP^{-1}.

For BB, take P=(1−1−1110101)P = \begin{pmatrix} 1 & -1 & -1 \\ 1 & 1 & 0 \\ 1 & 0 & 1 \end{pmatrix}; then P−1BP=diag⁡(4,1,1)P^{-1}BP = \operatorname{diag}(4, 1, 1).

Watch out: The order of the columns of PP must match the order of the eigenvalues in DD. Eigenvectors can be scaled freely (any nonzero multiple is still an eigenvector), so PP is never unique — but DD is unique up to the order of its entries.

A defective matrix and the Jordan form

C=(31−11),pC(λ)=λ2−4λ+4=(λ−2)2.C = \begin{pmatrix} 3 & 1 \\ -1 & 1 \end{pmatrix}, \qquad p_C(\lambda) = \lambda^2 - 4\lambda + 4 = (\lambda - 2)^2.

C−2I=(11−1−1)C - 2I = \begin{pmatrix} 1 & 1 \\ -1 & -1\end{pmatrix} has rank 1, so the eigenspace is only the line spanned by (1,−1)(1, -1). Algebraic multiplicity 2, geometric multiplicity 1: there is no eigenvector basis, and CC is not diagonalizable. Such a matrix is called defective.

What is the best you can do? Take the eigenvector v1=(1,−1)v_1 = (1, -1) and solve (C−2I)w=v1(C - 2I)w = v_1; one solution is w=(1,0)w = (1, 0) (a generalised eigenvector). With P=(v1 w)=(11−10)P = (v_1\ w) = \begin{pmatrix} 1 & 1 \\ -1 & 0\end{pmatrix},

P−1CP=(2102).P^{-1}CP = \begin{pmatrix} 2 & 1 \\ 0 & 2 \end{pmatrix}.

Theorem 7 (Jordan normal form, statement only). Every square complex matrix is similar to a block diagonal matrix whose blocks are Jordan blocks

Jk(λ)=(λ1λ⋱⋱1λ)(k×k),J_k(\lambda) = \begin{pmatrix} \lambda & 1 & & \\ & \lambda & \ddots & \\ & & \ddots & 1 \\ & & & \lambda \end{pmatrix} \quad (k \times k),

and the blocks are unique up to their order. For each eigenvalue, the number of blocks equals its geometric multiplicity and the total size of its blocks equals its algebraic multiplicity. A matrix is diagonalizable exactly when every block is 1×11 \times 1.

The proof takes a full chapter (Axler, Chapter 8); it is planned for a later post in this series.


Chapter 5 — Powers and difference equations

Powers

If A=PDP−1A = PDP^{-1} then the inner P−1PP^{-1}P pairs cancel:

Ak=(PDP−1)(PDP−1)⋯(PDP−1)=PDkP−1,Dk=diag⁡(λ1k,…,λnk).A^k = (PDP^{-1})(PDP^{-1})\cdots(PDP^{-1}) = PD^kP^{-1}, \qquad D^k = \operatorname{diag}(\lambda_1^k, \dots, \lambda_n^k).

For the running example:

Ak=13(2⋅5k+2k5k−2k2⋅5k−2⋅2k5k+2⋅2k).A^k = \frac{1}{3}\begin{pmatrix} 2\cdot 5^k + 2^k & 5^k - 2^k \\ 2 \cdot 5^k - 2 \cdot 2^k & 5^k + 2\cdot 2^k \end{pmatrix}.

Check with k=1k = 1: 13(12369)=A\frac{1}{3}\begin{pmatrix} 12 & 3 \\ 6 & 9\end{pmatrix} = A. With k=3k = 3: 13(258117234141)=(86397847)\frac{1}{3}\begin{pmatrix} 258 & 117 \\ 234 & 141 \end{pmatrix} = \begin{pmatrix} 86 & 39 \\ 78 & 47 \end{pmatrix}, which is A3A^3 computed directly. For large kk the 5k5^k terms dominate, so Ak≈5k3(2121)A^k \approx \frac{5^k}{3}\begin{pmatrix} 2 & 1 \\ 2 & 1\end{pmatrix}: every starting vector gets pulled towards the direction (1,1)(1, 1).

Difference equations

A linear difference equation (discrete dynamical system) is uk+1=Auku_{k+1} = Au_k, so uk=Aku0u_k = A^k u_0. Expand the start in eigenvectors, u0=c1v1+⋯+cnvnu_0 = c_1 v_1 + \dots + c_n v_n (that is, c=P−1u0c = P^{-1}u_0). Each piece evolves on its own:

uk=c1λ1kv1+c2λ2kv2+⋯+cnλnkvn.u_k = c_1 \lambda_1^k v_1 + c_2 \lambda_2^k v_2 + \dots + c_n \lambda_n^k v_n.

So the long-run behaviour is read from the eigenvalues: if every ∣λi∣<1\lvert\lambda_i\rvert < 1 then uk→0u_k \to 0; if some ∣λi∣>1\lvert\lambda_i\rvert > 1 (with ci≠0c_i \neq 0) the solution blows up; the eigenvalue of largest modulus decides the dominant direction.

Worked example — Fibonacci numbers

F0=0F_0 = 0, F1=1F_1 = 1, Fk+1=Fk+Fk−1F_{k+1} = F_k + F_{k-1}. Put uk=(Fk+1,Fk)u_k = (F_{k+1}, F_k). Then

uk+1=(1110)uk,u0=(10).u_{k+1} = \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix} u_k, \qquad u_0 = \begin{pmatrix} 1 \\ 0 \end{pmatrix}.

The matrix F=(1110)F = \begin{pmatrix} 1 & 1 \\ 1 & 0\end{pmatrix} has trace 1 and determinant −1-1, so pF(λ)=λ2−λ−1p_F(\lambda) = \lambda^2 - \lambda - 1 with roots

φ=1+52≈1.618034,ψ=1−52≈−0.618034.\varphi = \frac{1 + \sqrt 5}{2} \approx 1.618034, \qquad \psi = \frac{1 - \sqrt 5}{2} \approx -0.618034.

For either root, v=(λ,1)v = (\lambda, 1) is an eigenvector: F(λ,1)=(λ+1,λ)=(λ2,λ)F(\lambda, 1) = (\lambda + 1, \lambda) = (\lambda^2, \lambda) because λ2=λ+1\lambda^2 = \lambda + 1. Since φ−ψ=5\varphi - \psi = \sqrt5, the start splits as u0=15((φ,1)−(ψ,1))u_0 = \frac{1}{\sqrt 5}\big((\varphi, 1) - (\psi, 1)\big). Hence uk=15(φk(φ,1)−ψk(ψ,1))u_k = \frac{1}{\sqrt5}\big(\varphi^k(\varphi, 1) - \psi^k(\psi, 1)\big), and the second component is Binet's formula:

Fk=φk−ψk5.F_k = \frac{\varphi^k - \psi^k}{\sqrt 5}.

Because ∣ψ∣<1\lvert\psi\rvert < 1, the ψk\psi^k term dies away: FkF_k is the integer nearest to φk/5\varphi^k/\sqrt5. For k=20k = 20, φ20/5≈6765.00003\varphi^{20}/\sqrt5 \approx 6765.00003, and F20=6765F_{20} = 6765. The ratio Fk+1/Fk→φF_{k+1}/F_k \to \varphi. As a check on the matrix form, F10=(89555534)=(F11F10F10F9)F^{10} = \begin{pmatrix} 89 & 55 \\ 55 & 34 \end{pmatrix} = \begin{pmatrix} F_{11} & F_{10} \\ F_{10} & F_9 \end{pmatrix}.

Worked example — a Markov chain

A town's weather is either sunny or rainy. If today is sunny, tomorrow is sunny with probability 0.9; if today is rainy, tomorrow is sunny with probability 0.5. With xk=(Pr⁡[sunny on day k],Pr⁡[rainy on day k])x_k = (\Pr[\text{sunny on day } k], \Pr[\text{rainy on day } k]),

xk+1=Mxk,M=(0.90.50.10.5).x_{k+1} = Mx_k, \qquad M = \begin{pmatrix} 0.9 & 0.5 \\ 0.1 & 0.5 \end{pmatrix}.

Each column of MM sums to 1 (a column-stochastic or Markov matrix). Trace 1.41.4, determinant 0.45−0.05=0.40.45 - 0.05 = 0.4, so pM(λ)=λ2−1.4λ+0.4=(λ−1)(λ−0.4)p_M(\lambda) = \lambda^2 - 1.4\lambda + 0.4 = (\lambda - 1)(\lambda - 0.4).

  • λ=1\lambda = 1: eigenvector (5,1)(5, 1). Scaled so the entries sum to 1: the steady state s=(5/6,1/6)s = (5/6, 1/6).
  • λ=0.4\lambda = 0.4: eigenvector (−1,1)(-1, 1).

Start on a rainy day, x0=(0,1)=16(5,1)+56(−1,1)x_0 = (0, 1) = \frac{1}{6}(5, 1) + \frac{5}{6}(-1, 1). Then

xk=(5/61/6)+(0.4)k(−5/65/6).x_k = \begin{pmatrix} 5/6 \\ 1/6 \end{pmatrix} + (0.4)^k \begin{pmatrix} -5/6 \\ 5/6 \end{pmatrix}.

Check: x1=(0.5,0.5)x_1 = (0.5, 0.5), x2=(0.7,0.3)x_2 = (0.7, 0.3), x3=(0.78,0.22)x_3 = (0.78, 0.22), each equal to MM times the previous one. After ten days the gap to the steady state is (0.4)10⋅56≈0.0000874(0.4)^{10} \cdot \frac56 \approx 0.0000874; x10≈(0.83325,0.16675)x_{10} \approx (0.83325, 0.16675). The rate of convergence is set by the second eigenvalue, 0.4.

Why 1 is always an eigenvalue of a Markov matrix: the columns of MM sum to 1 means MT(1,…,1)=(1,…,1)M^T(1, \dots, 1) = (1, \dots, 1), so 1 is an eigenvalue of MTM^T, hence of MM (same characteristic polynomial). For a Markov matrix with all entries positive, Perron's theorem adds that the eigenvalue 1 is simple and every other eigenvalue has ∣λ∣<1\lvert\lambda\rvert < 1, so every starting distribution converges to the same steady state.


Chapter 6 — Complex eigenvalues

A real matrix can have a characteristic polynomial with no real roots. Rotation by 90°90°, (0−110)\begin{pmatrix} 0 & -1 \\ 1 & 0\end{pmatrix}, has p(λ)=λ2+1p(\lambda) = \lambda^2 + 1, so λ=±i\lambda = \pm i — no real direction is kept, which is what a rotation should do. Working over C\mathbb{C} restores the theory: every n×nn \times n matrix has nn complex eigenvalues counted with multiplicity.

For a real matrix, non-real eigenvalues come in conjugate pairs: if Av=λvAv = \lambda v then conjugating gives Avˉ=λˉvˉA\bar v = \bar\lambda \bar v.

Worked example.

R=(1−111)=2(cos⁡45°−sin⁡45°sin⁡45°cos⁡45°),pR(λ)=λ2−2λ+2.R = \begin{pmatrix} 1 & -1 \\ 1 & 1 \end{pmatrix} = \sqrt2 \begin{pmatrix} \cos 45° & -\sin 45° \\ \sin 45° & \cos 45° \end{pmatrix}, \qquad p_R(\lambda) = \lambda^2 - 2\lambda + 2.

The roots are λ=1±i\lambda = 1 \pm i. For λ=1+i\lambda = 1 + i: R−(1+i)I=(−i−11−i)R - (1+i)I = \begin{pmatrix} -i & -1 \\ 1 & -i\end{pmatrix}, and by the 2×22 \times 2 trick v=(i,1)v = (i, 1). Check: Rv=(i−1,i+1)Rv = (i - 1, i + 1) and (1+i)(i,1)=(i+i2,1+i)=(i−1,1+i)(1 + i)(i, 1) = (i + i^2, 1 + i) = (i - 1, 1 + i). The other eigenpair is 1−i1 - i with vˉ=(−i,1)\bar v = (-i, 1).

Read the geometry from the polar form 1+i=2 eiπ/41 + i = \sqrt2\, e^{i\pi/4}: the modulus ∣λ∣=2\lvert\lambda\rvert = \sqrt 2 is the scaling and the argument 45°45° is the rotation angle. Each application of RR turns the plane by 45°45° and scales by 2\sqrt2, so iterates spiral outwards; after 8 steps, R8=(2)8I=16IR^8 = (\sqrt2)^8 I = 16I. In general a real 2×22 \times 2 matrix with eigenvalues a±bia \pm bi (b≠0b \neq 0) is similar over R\mathbb{R} to (a−bba)\begin{pmatrix} a & -b \\ b & a\end{pmatrix}, a rotation combined with a scaling by a2+b2\sqrt{a^2 + b^2}.

Theorem 2 still holds with complex eigenvalues: (1+i)+(1−i)=2=tr⁡R(1 + i) + (1 - i) = 2 = \operatorname{tr}R and (1+i)(1−i)=2=det⁡R(1+i)(1-i) = 2 = \det R.


Chapter 7 — The Cayley–Hamilton theorem

Theorem 8 (Cayley–Hamilton). Every square matrix satisfies its own characteristic polynomial: if pA(λ)=λn+cn−1λn−1+⋯+c0p_A(\lambda) = \lambda^n + c_{n-1}\lambda^{n-1} + \dots + c_0, then

pA(A)=An+cn−1An−1+⋯+c1A+c0I=0.p_A(A) = A^n + c_{n-1}A^{n-1} + \dots + c_1 A + c_0 I = 0.

Proof for diagonalizable AA. For a polynomial qq, q(PDP−1)=P q(D) P−1q(PDP^{-1}) = P\,q(D)\,P^{-1} (apply the power rule term by term), and q(D)=diag⁡(q(λ1),…,q(λn))q(D) = \operatorname{diag}(q(\lambda_1), \dots, q(\lambda_n)). With q=pAq = p_A every diagonal entry is pA(λi)=0p_A(\lambda_i) = 0. ∎ The general case follows from the Jordan form, or from a density argument (diagonalizable matrices are dense among complex matrices, and pA(A)p_A(A) depends continuously on AA); see Axler, Chapter 8, or Hoffman and Kunze, Chapter 6.

Common pitfall: The "proof" pA(A)=det⁡(AI−A)=det⁡(0)=0p_A(A) = \det(AI - A) = \det(0) = 0 is wrong. pA(A)p_A(A) is a matrix, obtained by substituting AA into a polynomial; det⁡(AI−A)\det(AI - A) is a number. The substitution is not allowed inside the determinant.

Worked example. For A=(4123)A = \begin{pmatrix} 4 & 1 \\ 2 & 3\end{pmatrix}, pA(λ)=λ2−7λ+10p_A(\lambda) = \lambda^2 - 7\lambda + 10. Indeed

A2=(1871411),A2−7A+10I=(18−28+107−714−1411−21+10)=0.A^2 = \begin{pmatrix} 18 & 7 \\ 14 & 11 \end{pmatrix}, \qquad A^2 - 7A + 10I = \begin{pmatrix} 18 - 28 + 10 & 7 - 7 \\ 14 - 14 & 11 - 21 + 10 \end{pmatrix} = 0.

Two uses:

  • Inverse without elimination. Rearrange: A(7I−A)=10IA(7I - A) = 10I, so A−1=110(7I−A)=110(3−1−24)A^{-1} = \frac{1}{10}(7I - A) = \frac{1}{10}\begin{pmatrix} 3 & -1 \\ -2 & 4 \end{pmatrix}.
  • Reducing powers. A2=7A−10IA^2 = 7A - 10I, so every power of AA is a combination of II and AA. For an n×nn \times n matrix, every power is a combination of I,A,…,An−1I, A, \dots, A^{n-1}.

For BB from Chapter 2, pB(B)=B3−6B2+9B−4I=0p_B(B) = B^3 - 6B^2 + 9B - 4I = 0. In fact the smaller polynomial (λ−4)(λ−1)(\lambda - 4)(\lambda - 1) already kills BB: B2−5B+4I=0B^2 - 5B + 4I = 0. The lowest-degree monic polynomial with q(A)=0q(A) = 0 is the minimal polynomial; a matrix is diagonalizable exactly when its minimal polynomial has no repeated roots.


Chapter 8 — Systems of differential equations

The matrix exponential

A linear system of ordinary differential equations with constant coefficients is

x′(t)=Ax(t),x(0)=x0,x'(t) = Ax(t), \qquad x(0) = x_0,

with x(t)∈Rnx(t) \in \mathbb{R}^n. In one dimension the answer is x(t)=eatx0x(t) = e^{at}x_0. The same works for matrices with the matrix exponential

eAt=I+At+(At)22!+(At)33!+⋯ ,e^{At} = I + At + \frac{(At)^2}{2!} + \frac{(At)^3}{3!} + \cdots,

which converges for every square AA and satisfies ddteAt=AeAt\frac{d}{dt}e^{At} = Ae^{At}. The solution is x(t)=eAtx0x(t) = e^{At}x_0, and it is unique.

If A=PDP−1A = PDP^{-1}, the power rule applies to each term, so

eAt=PeDtP−1,eDt=diag⁡(eλ1t,…,eλnt).e^{At} = P e^{Dt} P^{-1}, \qquad e^{Dt} = \operatorname{diag}(e^{\lambda_1 t}, \dots, e^{\lambda_n t}).

Equivalently, writing x0=∑civix_0 = \sum c_i v_i:

x(t)=c1eλ1tv1+⋯+cneλntvn.x(t) = c_1 e^{\lambda_1 t} v_1 + \dots + c_n e^{\lambda_n t} v_n.

This is the continuous twin of the difference-equation formula, with λk\lambda^k replaced by eλte^{\lambda t}. The system is stable (x(t)→0x(t) \to 0 for every start) exactly when every eigenvalue has negative real part.

Watch out: eA+B=eAeBe^{A + B} = e^A e^B only when AB=BAAB = BA. And eAte^{At} is not the matrix of entry-wise exponentials eaijte^{a_{ij}t}.

Worked example

Two quantities decay and leak into each other:

x1′=−2x1+x2,x2′=x1−2x2,A=(−211−2),x(0)=(10).x_1' = -2x_1 + x_2, \quad x_2' = x_1 - 2x_2, \qquad A = \begin{pmatrix} -2 & 1 \\ 1 & -2 \end{pmatrix}, \quad x(0) = \begin{pmatrix} 1 \\ 0 \end{pmatrix}.

Trace −4-4, determinant 33: pA(λ)=λ2+4λ+3=(λ+1)(λ+3)p_A(\lambda) = \lambda^2 + 4\lambda + 3 = (\lambda + 1)(\lambda + 3). Eigenvectors: (1,1)(1, 1) for −1-1 and (1,−1)(1, -1) for −3-3. The start is (1,0)=12(1,1)+12(1,−1)(1, 0) = \frac12(1,1) + \frac12(1,-1), so

x(t)=12e−t(11)+12e−3t(1−1),eAt=12(e−t+e−3te−t−e−3te−t−e−3te−t+e−3t).x(t) = \frac12 e^{-t}\begin{pmatrix} 1 \\ 1 \end{pmatrix} + \frac12 e^{-3t}\begin{pmatrix} 1 \\ -1 \end{pmatrix}, \qquad e^{At} = \frac12\begin{pmatrix} e^{-t} + e^{-3t} & e^{-t} - e^{-3t} \\ e^{-t} - e^{-3t} & e^{-t} + e^{-3t} \end{pmatrix}.

Reading the answer: the difference x1−x2x_1 - x_2 (the (1,−1)(1,-1) mode) dies fast, like e−3te^{-3t}; the total x1+x2x_1 + x_2 (the (1,1)(1,1) mode) dies slowly, like e−te^{-t}. Both eigenvalues are negative, so the system is stable. Differentiating confirms x′=Axx' = Ax and x(0)=(1,0)x(0) = (1, 0).

For a defective matrix the Jordan block gives extra polynomial factors: for CC from Chapter 4, eCte^{Ct} contains terms te2tte^{2t} as well as e2te^{2t}. A second-order equation y′′+ay′+by=0y'' + a y' + b y = 0 becomes a first-order system with x=(y,y′)x = (y, y'); Exercise 6 does one.


Chapter 9 — Power iteration

Characteristic polynomials are for hand calculation only. Their roots are extremely sensitive to rounding in the coefficients (Wilkinson's famous example has roots 1,2,…,201, 2, \dots, 20, and a change of about 2−232^{-23} in one coefficient turns several of them complex), so numerical software never computes eigenvalues that way. The simplest numerical method is power iteration:

  1. Start with a vector x0x_0 (random, or anything not orthogonal to the target).
  2. Repeat: y=Axky = Ax_k, then xk+1=y/∥y∥x_{k+1} = y / \lVert y\rVert (normalise, to avoid overflow).

Why it works. Suppose AA is diagonalizable with ∣λ1∣>∣λ2∣≥…\lvert\lambda_1\rvert > \lvert\lambda_2\rvert \ge \dots, and x0=∑civix_0 = \sum c_i v_i with c1≠0c_1 \neq 0. Then

Akx0=λ1k(c1v1+c2(λ2λ1)kv2+… ),A^k x_0 = \lambda_1^k \left( c_1 v_1 + c_2 \left(\tfrac{\lambda_2}{\lambda_1}\right)^k v_2 + \dots \right),

and every term except the first shrinks like ∣λ2/λ1∣k\lvert\lambda_2/\lambda_1\rvert^k. The direction converges to v1v_1, and the scale factor converges to λ1\lambda_1.

Worked example. For A=(4123)A = \begin{pmatrix} 4 & 1 \\ 2 & 3\end{pmatrix}, start at x0=(1,0)x_0 = (1, 0) and normalise so the largest entry is 1:

kk y=Axk−1y = Ax_{k-1} xkx_k scale (largest entry of yy)
1 (4,2)(4, 2) (1,0.5)(1, 0.5) 4
2 (4.5,3.5)(4.5, 3.5) (1,0.7778)(1, 0.7778) 4.5
3 (4.7778,4.3333)(4.7778, 4.3333) (1,0.9070)(1, 0.9070) 4.7778
4 (4.9070,4.7209)(4.9070, 4.7209) (1,0.9621)(1, 0.9621) 4.9070
5 (4.9621,4.8863)(4.9621, 4.8863) (1,0.9847)(1, 0.9847) 4.9621

The direction approaches (1,1)(1, 1) and the scale approaches 5. The gap 1−(second entry)1 - (\text{second entry}) goes 0.5,0.222,0.093,0.038,0.0150.5, 0.222, 0.093, 0.038, 0.015: each step multiplies it by roughly 0.4=λ2/λ1=2/50.4 = \lambda_2/\lambda_1 = 2/5, as predicted.

Variations: inverse iteration (power iteration on (A−σI)−1(A - \sigma I)^{-1}) finds the eigenvalue closest to a shift σ\sigma. Production libraries (LAPACK, behind numpy.linalg.eig) use the QR algorithm, which is in effect power iteration on a whole basis at once, kept orthonormal. Google's original PageRank is power iteration on a huge Markov matrix.

Trick: When power iteration converges slowly, the ratio ∣λ2/λ1∣\lvert\lambda_2/\lambda_1\rvert is close to 1. That ratio, not the size of the matrix, controls the number of iterations.


Practice Exercises

1. Find the eigenvalues and eigenvectors of (1221)\begin{pmatrix} 1 & 2 \\ 2 & 1\end{pmatrix}, diagonalize it, and compute its fifth power.

Solution

Trace 2, determinant −3-3: λ2−2λ−3=(λ−3)(λ+1)\lambda^2 - 2\lambda - 3 = (\lambda - 3)(\lambda + 1). Eigenvectors (1,1)(1, 1) for 3 and (1,−1)(1, -1) for −1-1. With P=(111−1)P = \begin{pmatrix} 1 & 1 \\ 1 & -1\end{pmatrix} and D=diag⁡(3,−1)D = \operatorname{diag}(3, -1), A5=PD5P−1=12(35+(−1)535−(−1)535−(−1)535+(−1)5)=(121122122121)A^5 = PD^5P^{-1} = \frac12\begin{pmatrix} 3^5 + (-1)^5 & 3^5 - (-1)^5 \\ 3^5 - (-1)^5 & 3^5 + (-1)^5\end{pmatrix} = \begin{pmatrix} 121 & 122 \\ 122 & 121 \end{pmatrix}.

2. Is T=(231025007)T = \begin{pmatrix} 2 & 3 & 1 \\ 0 & 2 & 5 \\ 0 & 0 & 7 \end{pmatrix} diagonalizable?

Solution

It is triangular, so the eigenvalues are 2,2,72, 2, 7. For λ=2\lambda = 2, T−2I=(031005005)T - 2I = \begin{pmatrix} 0 & 3 & 1 \\ 0 & 0 & 5 \\ 0 & 0 & 5\end{pmatrix} has rank 2, so the eigenspace has dimension 3−2=13 - 2 = 1 (spanned by (1,0,0)(1, 0, 0)). Algebraic multiplicity 2, geometric 1: not diagonalizable.

3. Prove that if Av=λvAv = \lambda v then Akv=λkvA^k v = \lambda^k v for all k≥1k \ge 1, and, when AA is invertible, A−1v=λ−1vA^{-1}v = \lambda^{-1}v. Why is λ≠0\lambda \neq 0 in the second case?

Solution

By induction: Ak+1v=A(λkv)=λkAv=λk+1vA^{k+1}v = A(\lambda^k v) = \lambda^k Av = \lambda^{k+1}v. If AA is invertible, 00 is not an eigenvalue (it would give a nonzero vector in the null space), so λ≠0\lambda \neq 0. Apply A−1A^{-1} to Av=λvAv = \lambda v: v=λA−1vv = \lambda A^{-1}v, so A−1v=λ−1vA^{-1}v = \lambda^{-1}v.

4. Use Cayley–Hamilton to write A3A^3 as a combination of AA and II for A=(4123)A = \begin{pmatrix} 4 & 1 \\ 2 & 3\end{pmatrix}, and check against the formula for AkA^k.

Solution

A2=7A−10IA^2 = 7A - 10I, so A3=7A2−10A=7(7A−10I)−10A=39A−70I=(156−703978117−70)=(86397847)A^3 = 7A^2 - 10A = 7(7A - 10I) - 10A = 39A - 70I = \begin{pmatrix} 156 - 70 & 39 \\ 78 & 117 - 70\end{pmatrix} = \begin{pmatrix} 86 & 39 \\ 78 & 47\end{pmatrix}, the same as in Chapter 5.

5. In the weather chain, start on a sunny day, x0=(1,0)x_0 = (1, 0). Find xkx_k in closed form and x2x_2.

Solution

(1,0)=16(5,1)−16(−1,1)(1, 0) = \frac16(5, 1) - \frac16(-1, 1), so xk=(5/6,1/6)+(0.4)k(1/6,−1/6)x_k = (5/6, 1/6) + (0.4)^k(1/6, -1/6). For k=2k = 2: (5/6+0.16/6, 1/6−0.16/6)=(0.86,0.14)(5/6 + 0.16/6,\ 1/6 - 0.16/6) = (0.86, 0.14). Directly: Mx0=(0.9,0.1)Mx_0 = (0.9, 0.1) and M(0.9,0.1)=(0.81+0.05,0.09+0.05)=(0.86,0.14)M(0.9, 0.1) = (0.81 + 0.05, 0.09 + 0.05) = (0.86, 0.14).

6. Solve y′′+3y′+2y=0y'' + 3y' + 2y = 0 with y(0)=1y(0) = 1, y′(0)=0y'(0) = 0 by writing it as x′=Axx' = Ax with x=(y,y′)x = (y, y').

Solution

A=(01−2−3)A = \begin{pmatrix} 0 & 1 \\ -2 & -3\end{pmatrix}, trace −3-3, determinant 2: λ2+3λ+2=(λ+1)(λ+2)\lambda^2 + 3\lambda + 2 = (\lambda + 1)(\lambda + 2). Eigenvectors (1,−1)(1, -1) for −1-1 and (1,−2)(1, -2) for −2-2. Solve c1(1,−1)+c2(1,−2)=(1,0)c_1(1, -1) + c_2(1, -2) = (1, 0): c1=2c_1 = 2, c2=−1c_2 = -1. So y(t)=2e−t−e−2ty(t) = 2e^{-t} - e^{-2t}. Check: y(0)=1y(0) = 1, y′(0)=−2+2=0y'(0) = -2 + 2 = 0.

7. Explain why power iteration started at x0=(1,−2)x_0 = (1, -2) fails for A=(4123)A = \begin{pmatrix} 4 & 1 \\ 2 & 3\end{pmatrix}, and why this almost never happens in practice.

Solution

(1,−2)(1, -2) is the eigenvector for λ2=2\lambda_2 = 2, so c1=0c_1 = 0 and every iterate stays on that line: the method returns λ=2\lambda = 2, not the dominant 5. With a random start, c1=0c_1 = 0 has probability zero, and in floating point rounding errors introduce a small v1v_1 component that then grows.


Cheat-sheet

Idea Formula or fact
Eigenpair Av=λvAv = \lambda v, v≠0v \neq 0; Eλ=N(A−λI)E_\lambda = N(A - \lambda I)
Characteristic polynomial pA(λ)=det⁡(λI−A)p_A(\lambda) = \det(\lambda I - A), degree nn
2×22 \times 2 λ2−(tr⁡A)λ+det⁡A\lambda^2 - (\operatorname{tr}A)\lambda + \det A
Triangular eigenvalues = diagonal entries
Checks ∑λi=tr⁡A\sum\lambda_i = \operatorname{tr}A, ∏λi=det⁡A\prod\lambda_i = \det A
Multiplicities 1≤1 \le geometric ≤\le algebraic
Distinct eigenvalues eigenvectors independent; nn distinct means diagonalizable
Diagonalize A=PDP−1A = PDP^{-1}, columns of PP = eigenvectors
Powers Ak=PDkP−1A^k = PD^kP^{-1}
Difference equation uk=∑ciλikviu_k = \sum c_i\lambda_i^k v_i, decays if all ∣λi∣<1\lvert\lambda_i\rvert < 1
ODE system x(t)=∑cieλitvix(t) = \sum c_i e^{\lambda_i t}v_i, stable if all real parts <0< 0
Matrix exponential eAt=PeDtP−1e^{At} = Pe^{Dt}P^{-1}
Complex pair a±bia \pm bi rotation by the argument, scaling by a2+b2\sqrt{a^2 + b^2}
Cayley–Hamilton pA(A)=0p_A(A) = 0
Defective geometric < algebraic; Jordan blocks needed
Power iteration converges to v1v_1 at rate ∣λ2/λ1∣\lvert\lambda_2/\lambda_1\rvert

What's next

Two of this post's matrices, (2112)\begin{pmatrix} 2 & 1 \\ 1 & 2 \end{pmatrix} and (−211−2)\begin{pmatrix} -2 & 1 \\ 1 & -2\end{pmatrix}, had perpendicular eigenvectors. That is not luck: they are symmetric. Linear Algebra 05 adds lengths and angles (inner products), proves the spectral theorem — every real symmetric matrix can be diagonalized by an orthogonal change of basis — and then extends the idea to every matrix, square or not, with the singular value decomposition. Along the way: Gram–Schmidt, QR, least squares, positive definite matrices, low-rank approximation and PCA.


References

  • Sheldon Axler, Linear Algebra Done Right, 4th ed., Springer (2024) — Chapter 5 (eigenvalues, invariant subspaces, diagonalizable operators) and Chapter 8 (generalised eigenvectors, Cayley–Hamilton, Jordan form). Open access at linear.axler.net.
  • Gilbert Strang, Introduction to Linear Algebra, 6th ed., Wellesley-Cambridge Press (2023) — chapters on eigenvalues and eigenvectors, diagonalizing a matrix (Fibonacci, Markov matrices) and systems of differential equations.
  • Kenneth Hoffman, Ray Kunze, Linear Algebra, 2nd ed., Prentice-Hall (1971) — Chapter 6 (characteristic values, Cayley–Hamilton) and Chapter 7 (rational and Jordan forms).
  • MIT OpenCourseWare, 18.06 Linear Algebra (Spring 2010), Gilbert Strang — lectures 21–24 (eigenvalues, diagonalization and powers, differential equations and eAte^{At}, Markov matrices).
  • Lloyd N. Trefethen, David Bau III, Numerical Linear Algebra, SIAM (1997) — Lectures 24–28 on eigenvalue problems, power iteration, inverse iteration and the QR algorithm.
  • James H. Wilkinson, Rounding Errors in Algebraic Processes, Prentice-Hall (1963) — the source of the "Wilkinson polynomial" example on the ill-conditioning of polynomial roots.

Note: this post is in progress. Planned additions: a full proof of Cayley–Hamilton for all matrices, a worked 3×33 \times 3 Jordan-form example with eAte^{At}, phase portraits (node, saddle, spiral, centre) for 2×22 \times 2 systems, and Gershgorin's circle theorem for locating eigenvalues without computing them.