Survey of Mathematics

3.6 Cayley–Hamilton, Schur, and the Jordan form

Not every matrix can be diagonalized, but every matrix can be made triangular by a unitary change of basis (Schur), satisfies its own characteristic polynomial (Cayley–Hamilton), and is similar to an almost-diagonal matrix of Jordan blocks. The Jordan form says exactly how diagonalization fails.

Taught in 375/376Beyond the courseSpagnolie, Lecture 18 (Schur, Jordan mentioned)Axler, Linear Algebra Done Right, ch. 8Strang, Introduction to Linear Algebra, 8.3MATH 540 (reference)

Chapter 2.8 ended with a warning: the shear [1101]\begin{bmatrix}1&1\\0&1\end{bmatrix} has the eigenvalue 1 twice but only one line of eigenvectors, so it cannot be diagonalized. What is the best we can do for such matrices? This chapter gives three answers of increasing strength. Every complex matrix can be made upper triangular by a rotation of axes (Schur). Every matrix satisfies its own characteristic polynomial (Cayley–Hamilton). And every matrix is similar to a block-diagonal matrix of simple pieces called Jordan blocks, which records exactly how far from diagonalizable it is.

Before you start

Chapter 2.8 (eigenvalues, characteristic polynomial, diagonalization) and 3.1 (the induction in the spectral theorem’s proof).

Quick checkWhy can't the shear [1101]\begin{bmatrix}1&1\\0&1\end{bmatrix} be diagonalized?
Quick checkIn the spectral theorem's proof, after finding one unit eigenvector q1q_1, what happened next?

The picture

Turn on eigenlines: the shear has only the horizontal axis. Every other direction is tilted towards it. The map is “the identity plus a push along the eigenline”: [1101]=I+N\begin{bmatrix}1&1\\0&1\end{bmatrix} = I + N where N=[0100]N = \begin{bmatrix}0&1\\0&0\end{bmatrix} sends (0,1)(0, 1) to (1,0)(1, 0) and (1,0)(1, 0) to OO. That pair of vectors, one sent onto the other and the other to zero, is a Jordan chain, and [1101]\begin{bmatrix}1&1\\0&1\end{bmatrix} is already a Jordan block.

Where this came from· Cayley, Hamilton, Jordan

Arthur Cayley’s 1858 memoir on matrices was the first paper to treat matrices as objects with their own algebra. In it he stated that a matrix satisfies its own characteristic equation, proved this for 2×22 \times 2 matrices and said he had checked 3×33 \times 3 by direct computation. He did not attempt the general case. William Rowan Hamilton had found a special case for quaternions in the 1850s, which is why both names are attached. Ferdinand Georg Frobenius published a general proof in 1878. Camille Jordan gave the normal form now named after him in his 1870 treatise on substitutions (Traité des substitutions et des équations algébriques), and Karl Weierstrass’s work on pairs of quadratic forms around the same time contains a closely related result.

Invariant subspaces and Schur’s theorem

Definition B

Invariant subspace

A subspace WW is invariant under AA if Aw∈WAw \in W for every w∈Ww \in W. Eigenspaces, the null space and the range of AA are invariant.

In one lineA subspace W is invariant under A if A maps W into itself: w in W implies Aw in W.

Why it existsOn an invariant subspace, A can be studied as a smaller map, which is how every structure theorem in this chapter is proved.

Definition T

Schur decomposition

A Schur decomposition of a complex square matrix AA is A=UTU∗A = UTU^* with UU unitary (3.3) and TT upper triangular. The diagonal of TT lists the eigenvalues of AA.

In one lineA = UTU* with U unitary and T upper triangular: every complex matrix is triangular in a suitable orthonormal basis.

Why it existsTriangular matrices show their eigenvalues on the diagonal, and a unitary change of basis is numerically safe.

Theorem T Spagnolie Lecture 18 (stated); Axler 6.38

Schur's theorem

Every complex n×nn \times n matrix AA can be written A=UTU∗A = UTU^* with UU unitary and TT upper triangular.

In one lineEvery complex square matrix has a Schur decomposition A = UTU*.

Why it is truePeel off one unit eigenvector at a time, as in the spectral theorem; without symmetry the rest only stays 'above the diagonal', which is exactly triangular.

ProofAxler 6.38
The idea: Induction on n. Take a unit eigenvector u₁ (one exists over ℂ). Extend to an orthonormal basis. In that basis the first column of A is (λ₁, 0, …, 0). Apply the induction hypothesis to the remaining (n − 1) × (n − 1) block.
For n=1n = 1 there is nothing to prove. Assume the theorem for size n−1n - 1.
Base case: a 1×11 \times 1 matrix is already triangular.
AA has an eigenvalue λ1\lambda_1 with a unit eigenvector u1u_1.
The characteristic polynomial has a complex root (fundamental theorem of algebra, 0.6), and every eigenvalue has an eigenvector.
Let U1=[u1 w2⋯wn]U_1 = [u_1\ w_2 \cdots w_n] be unitary with first column u1u_1.
Any unit vector extends to an orthonormal basis (extend, then Gram–Schmidt, 2.9).
U1∗AU1=[λ1∗0B]U_1^*AU_1 = \begin{bmatrix}\lambda_1 & * \\ 0 & B\end{bmatrix} for some (n−1)×(n−1)(n-1)\times(n-1) matrix BB.
The first column of U1∗AU1U_1^*AU_1 is U1∗Au1=λ1U1∗u1=λ1e1U_1^*Au_1 = \lambda_1 U_1^*u_1 = \lambda_1 e_1, because u1u_1 is the first column of U1U_1.
B=U2T2U2∗B = U_2T_2U_2^* with U2U_2 unitary and T2T_2 upper triangular.
Induction hypothesis on BB.
U∗AU=[λ1∗0T2]=TU^*AU = \begin{bmatrix}\lambda_1 & * \\ 0 & T_2\end{bmatrix} = T, upper triangular. So A=UTU∗A = UTU^*. ■\blacksquare
Combine: U=U1[100U2]U = U_1\begin{bmatrix}1&0\\0&U_2\end{bmatrix} is a product of unitary matrices, hence unitary, and conjugating by it triangularizes the lower block while keeping the first column.
Worked example
Find a Schur decomposition of A=[41−21]A = \begin{bmatrix}4&1\\-2&1\end{bmatrix}.

Solution.

  1. Find one eigenvalue. Trace 55, determinant 4+2=64 + 2 = 6, so λ2−5λ+6=(λ−2)(λ−3)\lambda^2 - 5\lambda + 6 = (\lambda - 2)(\lambda - 3). Take λ1=2\lambda_1 = 2. The proof starts with any eigenvalue.
  2. Find a unit eigenvector. A−2I=[21−2−1]A - 2I = \begin{bmatrix}2&1\\-2&-1\end{bmatrix} gives (1,−2)(1, -2), so u1=15(1,−2)u_1 = \frac1{\sqrt5}(1, -2). Divide by the length 5\sqrt5.
  3. Complete to an orthonormal basis. u2=15(2,1)u_2 = \frac1{\sqrt5}(2, 1), perpendicular to u1u_1. Let U=[u1 u2]=15[12−21]U = [u_1\ u_2] = \frac1{\sqrt5}\begin{bmatrix}1&2\\-2&1\end{bmatrix}. In R2\mathbb R^2, the perpendicular direction is the rotated vector.
  4. Compute T=U∗AUT = U^*AU. Au1=2u1Au_1 = 2u_1 gives the first column (2,0)(2, 0). For the second: Au2=15(9,−3)Au_2 = \frac1{\sqrt5}(9, -3), with u1⋅Au2=9+65=3u_1\cdot Au_2 = \frac{9 + 6}5 = 3 and u2⋅Au2=18−35=3u_2\cdot Au_2 = \frac{18 - 3}5 = 3. So T=[2303]T = \begin{bmatrix}2&3\\0&3\end{bmatrix}. Entry (i,j)(i, j) of U∗AUU^*AU is ui⋅Auju_i\cdot Au_j. The 00 below the diagonal is the proof’s key step: u1u_1 is an eigenvector.
  5. Check. The diagonal 2,32, 3 lists the eigenvalues of AA. A triangular matrix shows its eigenvalues on the diagonal.

Answer. A=UTU∗A = UTU^* with U=15[12−21]U = \frac1{\sqrt5}\begin{bmatrix}1&2\\-2&1\end{bmatrix} and T=[2303]T = \begin{bmatrix}2&3\\0&3\end{bmatrix}. Here AA is not symmetric, so TT cannot be made diagonal by an orthogonal UU, and the 33 in the corner is what is left.

Proof workshopRebuild the proof of Schur's theorem

Tap the lines in the order a proof would write them. Each line can only use what is already above it.

    Same idea elsewhere· Spectral theorem as a special case

    If AA is Hermitian, then T=U∗AUT = U^*AU is Hermitian too, and an upper-triangular Hermitian matrix must be diagonal (the entries above the diagonal equal the conjugates of those below, which are 0). So Schur’s theorem contains the spectral theorem of 3.1.

    Cayley–Hamilton

    Theorem T Apostol 4.x exercises; Frobenius 1878; Strang 6.2

    Cayley–Hamilton theorem

    Let p(λ)=det⁡(λI−A)=λn+cn−1λn−1+⋯+c0p(\lambda) = \det(\lambda I - A) = \lambda^n + c_{n-1}\lambda^{n-1} + \dots + c_0. Then p(A)=An+cn−1An−1+⋯+c0Ip(A) = A^n + c_{n-1}A^{n-1} + \dots + c_0 I is the zero matrix.

    In one lineEvery square matrix satisfies its own characteristic polynomial: if p(λ) = det(λI − A), then p(A) = 0.

    Why it is trueThe adjugate identity (λI − A)·adj(λI − A) = p(λ)I holds for every number λ; comparing coefficients of each power of λ and telescoping gives p(A) = 0.

    Watch out· The tempting one-line proof is wrong

    “Substitute λ=A\lambda = A: p(A)=det⁡(AI−A)=det⁡(0)=0p(A) = \det(AI - A) = \det(0) = 0.” This confuses a number with a matrix: p(A)p(A) is a matrix, while det⁡(⋯ )\det(\cdots) is a number, and substituting a matrix into λI\lambda I inside a determinant is not defined. The real proof is below.

    ProofStrang 6.2, the adjugate proof
    The idea: Use the cofactor matrix: (λI − A)·adj(λI − A) = det(λI − A)·I = p(λ)I for every λ. The adjugate's entries are polynomials in λ of degree ≤ n − 1, so write adj(λI − A) = B_{n−1}λ^{n−1} + … + B_0 with constant matrices B_k. Compare coefficients of each power of λ, multiply the k-th equation by A^k, and add: the left side telescopes to 0.
    For every number λ\lambda: (λI−A)adj⁡(λI−A)=p(λ) I(\lambda I - A)\operatorname{adj}(\lambda I - A) = p(\lambda)\,I.
    The cofactor formula for the inverse (2.7): M adj⁡(M)=det⁡(M) IM\,\operatorname{adj}(M) = \det(M)\,I for any square MM, where adj⁡M\operatorname{adj}M, the adjugate, is the transpose of the cofactor matrix. This holds even when MM is not invertible.
    Write adj⁡(λI−A)=Bn−1λn−1+⋯+B1λ+B0\operatorname{adj}(\lambda I - A) = B_{n-1}\lambda^{n-1} + \dots + B_1\lambda + B_0, with constant matrices BkB_k.
    Each entry of the adjugate is a determinant of an (n−1)×(n−1)(n-1)\times(n-1) submatrix of λI−A\lambda I - A, so it is a polynomial in λ\lambda of degree at most n−1n - 1. Collect equal powers.
    Bn−1=IB_{n-1} = I,  Bk−1−ABk=ckI\ B_{k-1} - AB_k = c_k I for 1≤k≤n−11 \le k \le n - 1,  −AB0=c0I\ -AB_0 = c_0 I.
    Expand the left side and match coefficients of λn,λn−1,…,λ0\lambda^n, \lambda^{n-1}, \dots, \lambda^0 with p(λ)Ip(\lambda)I. Two polynomials agreeing for every λ\lambda have equal coefficients.
    AnBn−1=AnA^nB_{n-1} = A^n,  AkBk−1−Ak+1Bk=ckAk\ A^kB_{k-1} - A^{k+1}B_k = c_kA^k,  −AB0=c0I\ -AB_0 = c_0 I.
    Multiply the equation for λk\lambda^k by AkA^k on the left (and the first one by AnA^n).
    0=An+cn−1An−1+⋯+c1A+c0I=p(A)0 = A^n + c_{n-1}A^{n-1} + \dots + c_1A + c_0I = p(A). ■\blacksquare
    Add all these equations. On the left each AkBk−1A^kB_{k-1} appears once with ++ and once with −-, so everything cancels (a telescoping sum).
    Worked example
    Verify Cayley–Hamilton for A=[1234]A = \begin{bmatrix}1&2\\3&4\end{bmatrix} and use it to find A−1A^{-1}.

    Solution.

    1. Characteristic polynomial. p(λ)=λ2−(tr⁡A)λ+det⁡A=λ2−5λ−2p(\lambda) = \lambda^2 - (\operatorname{tr}A)\lambda + \det A = \lambda^2 - 5\lambda - 2. For 2×22 \times 2: trace 5, determinant 4−6=−24 - 6 = -2 (2.8).
    2. Compute A2A^2. A2=[7101522]A^2 = \begin{bmatrix}7&10\\15&22\end{bmatrix}. Row times column.
    3. Check p(A)p(A). A2−5A−2I=[7−5−210−1015−1522−20−2]=0A^2 - 5A - 2I = \begin{bmatrix}7 - 5 - 2 & 10 - 10\\ 15 - 15 & 22 - 20 - 2\end{bmatrix} = 0. The theorem in action.
    4. Solve for A−1A^{-1}. A2−5A=2IA^2 - 5A = 2I, so A(A−5I)=2IA(A - 5I) = 2I and A−1=12(A−5I)=12[−423−1]A^{-1} = \frac12(A - 5I) = \frac12\begin{bmatrix}-4&2\\3&-1\end{bmatrix}. Factor out AA; possible because the constant term −2≠0-2 \ne 0, which is the same as det⁡A≠0\det A \ne 0.

    Answer. A−1=[−211.5−0.5]A^{-1} = \begin{bmatrix}-2&1\\1.5&-0.5\end{bmatrix}. In general Cayley–Hamilton writes A−1A^{-1}, and every power AkA^k, as a polynomial in AA of degree less than nn.

    Your answerFor A=[1234]A = \begin{bmatrix}1&2\\3&4\end{bmatrix}, Cayley–Hamilton gives A2=5A+2IA^2 = 5A + 2I. Use it (twice) to find the top-left entry of A3A^3.
    Definition B

    Minimal polynomial

    The minimal polynomial mAm_A is the monic polynomial (leading coefficient 1) of smallest degree with mA(A)=0m_A(A) = 0. By Cayley–Hamilton it has degree at most nn, and it divides every polynomial that kills AA, including the characteristic polynomial (divide and look at the remainder, which kills AA and has smaller degree, so it is 0).

    In one lineThe monic polynomial of smallest degree with m(A) = 0; it divides the characteristic polynomial and has the same roots.

    Why it existsIt detects diagonalizability: A is diagonalizable exactly when its minimal polynomial has no repeated roots.

    Quick checkWhat is the minimal polynomial of the shear [1101]\begin{bmatrix}1&1\\0&1\end{bmatrix}?

    The shear shows the pattern. The criterion we will use is: over C\mathbb C, a matrix is diagonalizable exactly when its minimal polynomial has no repeated roots. One direction is quick. If A=Pdiag⁡(μ1,…,μn)P−1A = P\operatorname{diag}(\mu_1, \dots, \mu_n)P^{-1} and λ1,…,λs\lambda_1, \dots, \lambda_s are its distinct eigenvalues, then (A−λ1I)⋯(A−λsI)=P diag⁡(… ) P−1(A - \lambda_1I)\cdots(A - \lambda_sI) = P\,\operatorname{diag}(\dots)\,P^{-1} has a zero in every diagonal slot (each μi\mu_i equals some λj\lambda_j, which zeroes that factor), so this product kills AA. The minimal polynomial divides it, and the product has no repeated roots, so neither does the minimal polynomial. The other direction comes from the Jordan form below: a block Jk(λ)J_k(\lambda) has minimal polynomial (t−λ)k(t - \lambda)^k, because Jk(λ)−λIJ_k(\lambda) - \lambda I is a shift that needs exactly kk applications to reach 0. So a block of size 2 or more forces a repeated root.

    Generalized eigenvectors and the Jordan form

    Definition B

    Generalized eigenvector

    A non-zero vv is a generalized eigenvector of AA for λ\lambda if (A−λI)kv=O(A - \lambda I)^k v = O for some k≥1k \ge 1. A Jordan chain of length kk is v1,…,vkv_1, \dots, v_k with (A−λI)v1=O(A - \lambda I)v_1 = O and (A−λI)vj=vj−1(A - \lambda I)v_j = v_{j-1} for j≥2j \ge 2: each vector is pushed onto the previous one, and the first onto OO.

    In one lineA vector v with (A − λI)^k v = O for some k ≥ 1: killed by A − λI after enough repetitions, though maybe not after one.

    Why it existsWhen there are too few eigenvectors, generalized eigenvectors fill the gap, and together they always form a basis.

    Definition B

    Jordan block

    The Jordan block Jk(λ)J_k(\lambda) is the k×kk \times k matrix

    Jk(λ)=[λ1λ⋱⋱1λ].J_k(\lambda) = \begin{bmatrix}\lambda & 1 & & \\ & \lambda & \ddots & \\ & & \ddots & 1 \\ & & & \lambda\end{bmatrix}.

    In the basis of a Jordan chain v1,…,vkv_1, \dots, v_k, the map AA has exactly this matrix: Av1=λv1Av_1 = \lambda v_1 and Avj=λvj+vj−1Av_j = \lambda v_j + v_{j-1}.

    In one lineJ_k(λ) is the k×k matrix with λ on the diagonal, 1 directly above it, and 0 elsewhere; it is λI plus a 'push' along a chain.

    Why it existsIt is the simplest possible non-diagonalizable matrix, and every matrix is built from these.

    Definition B

    Jordan form

    The Jordan form of AA is a block-diagonal matrix J=diag⁡(Jk1(λ1),…,Jks(λs))J = \operatorname{diag}\big(J_{k_1}(\lambda_1), \dots, J_{k_s}(\lambda_s)\big) with A=PJP−1A = PJP^{-1} for some invertible PP, whose columns are Jordan chains.

    In one lineEvery complex square matrix is similar to a block-diagonal matrix of Jordan blocks, unique up to the order of the blocks.

    Why it existsIt is the complete answer to 'how close to diagonal can A be made': diagonal exactly when every block is 1×1.

    Theorem B Axler 8.60; Strang 8.3

    Jordan normal form theorem

    Every complex square matrix AA is similar to a matrix in Jordan form. The number and sizes of the blocks for each eigenvalue are determined by AA: the number of blocks for λ\lambda equals dim⁡N(A−λI)\dim N(A - \lambda I) (the number of independent eigenvectors), and the number of blocks of size at least jj equals dim⁡N(A−λI)j−dim⁡N(A−λI)j−1\dim N(A - \lambda I)^j - \dim N(A - \lambda I)^{j-1}.

    In one lineEvery complex square matrix is similar to a Jordan form, unique up to reordering the blocks.

    Why it is trueℂⁿ splits into generalized eigenspaces, one per eigenvalue; on each, A − λI is nilpotent, and a nilpotent map always has a basis of chains.

    Beyond the course: for understanding· About the proof

    The full proof takes a chapter of Axler (chapter 8) and is a core part of MATH 540. Its two steps: (1) Cn\mathbb C^n is the direct sum of the generalized eigenspaces G(λ)=N((A−λI)n)G(\lambda) = N\big((A - \lambda I)^n\big), one for each eigenvalue, each invariant under AA (this uses the factorisation of the characteristic polynomial and Cayley–Hamilton); (2) on each G(λ)G(\lambda), the map N=A−λIN = A - \lambda I is nilpotent (Nm=0N^m = 0), and every nilpotent map has a basis made of chains v,Nv,N2v,…v, Nv, N^2v, \dots. The dimension formula in the theorem comes from counting chains by length. Here we use the theorem and compute with it.

    Worked example
    Find the Jordan form of A=[210020003]A = \begin{bmatrix}2&1&0\\0&2&0\\0&0&3\end{bmatrix}.

    Solution. The method: read off eigenvalues, count eigenvectors for each, then build chains. The step-through shows each stage.

    Answer. J=J2(2)⊕J1(3)J = J_2(2) \oplus J_1(3): a block of size 2 for the eigenvalue 2 and a block of size 1 for 3, where ⊕\oplus means “place these blocks along the diagonal”. Here P=IP = I because AA was already in Jordan form.

    Worked example
    A 5×55 \times 5 matrix has the single eigenvalue 4, with dim⁡N(A−4I)=2\dim N(A - 4I) = 2, dim⁡N(A−4I)2=4\dim N(A - 4I)^2 = 4 and dim⁡N(A−4I)3=5\dim N(A - 4I)^3 = 5. Find its Jordan form.

    Solution.

    1. Number of blocks. dim⁡N(A−4I)=2\dim N(A - 4I) = 2, so there are 2 blocks. The theorem: blocks for λ\lambda = number of independent eigenvectors.
    2. Blocks of size at least 2. dim⁡N(A−4I)2−dim⁡N(A−4I)=4−2=2\dim N(A - 4I)^2 - \dim N(A - 4I) = 4 - 2 = 2. Every block of size 2 or more contributes one new vector to the null space when we go from the first power to the second.
    3. Blocks of size at least 3. dim⁡N(A−4I)3−dim⁡N(A−4I)2=5−4=1\dim N(A - 4I)^3 - \dim N(A - 4I)^2 = 5 - 4 = 1. Only one block is as big as 3.
    4. Blocks of size at least 4. The null space has dimension 5 at power 3, which is the whole space, so the next difference is 00. No block is of size 4 or more.
    5. Read off sizes. Two blocks in total, both of size at least 2, exactly one of size at least 3 and none of size 4: sizes 33 and 22. Check: 3+2=53 + 2 = 5.

    Answer. J=J3(4)⊕J2(4)J = J_3(4) \oplus J_2(4): a block of size 3 and a block of size 2, each with 4 on the diagonal.

    Your answerIn the example above, what is the size of the largest Jordan block?
    Worked example
    Find the Jordan form of A=[31−11]A = \begin{bmatrix}3&1\\-1&1\end{bmatrix}.

    Solution.

    1. Eigenvalues. p(λ)=λ2−4λ+4=(λ−2)2p(\lambda) = \lambda^2 - 4\lambda + 4 = (\lambda - 2)^2. Trace 4, determinant 3+1=43 + 1 = 4.
    2. Eigenvectors. A−2I=[11−1−1]A - 2I = \begin{bmatrix}1&1\\-1&-1\end{bmatrix} has rank 1, so only one eigenvector, v1=(1,−1)v_1 = (1, -1). Fewer eigenvectors than the repetition: one block of size 2.
    3. Chain. Solve (A−2I)v2=v1(A - 2I)v_2 = v_1: x+y=1x + y = 1, so v2=(1,0)v_2 = (1, 0) works. Any solution will do; it is not unique.
    4. Assemble. P=[11−10]P = \begin{bmatrix}1&1\\-1&0\end{bmatrix}, J=[2102]J = \begin{bmatrix}2&1\\0&2\end{bmatrix}, and AP=PJAP = PJ. Check: Av1=2v1Av_1 = 2v_1 and Av2=(3,−1)=2v2+v1Av_2 = (3, -1) = 2v_2 + v_1.

    Answer. AA is similar to J2(2)J_2(2): it is ”2I2I plus a push”, a scaled shear in the basis v1,v2v_1, v_2.

    Worked example
    Use Cayley–Hamilton to write A5A^5 as αA+βI\alpha A + \beta I for A=[01−12]A = \begin{bmatrix}0&1\\-1&2\end{bmatrix}.

    Solution.

    1. Characteristic polynomial. Trace 22, determinant 0+1=10 + 1 = 1, so p(λ)=λ2−2λ+1p(\lambda) = \lambda^2 - 2\lambda + 1. 2×22 \times 2 formula (2.8).
    2. Apply the theorem. A2−2A+I=0A^2 - 2A + I = 0, so A2=2A−IA^2 = 2A - I. Cayley–Hamilton: p(A)=0p(A) = 0.
    3. Climb one power at a time. Multiply by AA and substitute A2A^2 again: A3=2A2−A=2(2A−I)−A=3A−2IA^3 = 2A^2 - A = 2(2A - I) - A = 3A - 2I. Then A4=3A2−2A=3(2A−I)−2A=4A−3IA^4 = 3A^2 - 2A = 3(2A - I) - 2A = 4A - 3I. Then A5=4A2−3A=4(2A−I)−3A=5A−4IA^5 = 4A^2 - 3A = 4(2A - I) - 3A = 5A - 4I. Each time, the A2A^2 that appears is replaced by 2A−I2A - I, so the degree never exceeds 1.
    4. Check the pattern and the numbers. Ak=kA−(k−1)IA^k = kA - (k-1)I, and 5A−4I=[−45−56]5A - 4I = \begin{bmatrix}-4&5\\-5&6\end{bmatrix}. Direct multiplication of AA five times gives the same matrix.

    Answer. A5=5A−4I=[−45−56]A^5 = 5A - 4I = \begin{bmatrix}-4&5\\-5&6\end{bmatrix}.

    Worked example
    What is the minimal polynomial of diag⁡(2,2,3)\operatorname{diag}(2, 2, 3), and of [210020003]\begin{bmatrix}2&1&0\\0&2&0\\0&0&3\end{bmatrix}?

    Solution.

    1. Candidates. Both matrices have characteristic polynomial (λ−2)2(λ−3)(\lambda - 2)^2(\lambda - 3), so by the division argument the minimal polynomial divides it. The only possibilities with roots 2 and 3 are (λ−2)(λ−3)(\lambda - 2)(\lambda - 3) and (λ−2)2(λ−3)(\lambda - 2)^2(\lambda - 3). The minimal polynomial has the same roots as the characteristic polynomial, and divides it.
    2. Test the short one on the diagonal matrix. (D−2I)(D−3I)=diag⁡(0,0,1)⋅diag⁡(−1,−1,0)=0(D - 2I)(D - 3I) = \operatorname{diag}(0,0,1)\cdot\operatorname{diag}(-1,-1,0) = 0. Diagonal matrices multiply entry by entry, and each entry is 0.
    3. Test the short one on the other matrix. (A−2I)(A−3I)=[010000001][−1100−10000]=[0−10000000]≠0(A - 2I)(A - 3I) = \begin{bmatrix}0&1&0\\0&0&0\\0&0&1\end{bmatrix}\begin{bmatrix}-1&1&0\\0&-1&0\\0&0&0\end{bmatrix} = \begin{bmatrix}0&-1&0\\0&0&0\\0&0&0\end{bmatrix} \ne 0. The block J2(2)J_2(2) survives one factor of A−2IA - 2I.
    4. So the longer one is needed. (A−2I)2(A−3I)=0(A - 2I)^2(A - 3I) = 0. It is the characteristic polynomial, which kills AA by Cayley–Hamilton.

    Answer. First matrix: (λ−2)(λ−3)(\lambda - 2)(\lambda - 3), no repeated root, diagonalizable. Second: (λ−2)2(λ−3)(\lambda - 2)^2(\lambda - 3), a repeated root, not diagonalizable.

    Quick checkWhich matrix is NOT diagonalizable?
    Your answerA 5×55 \times 5 matrix has the single eigenvalue 4 and dim⁡N(A−4I)=2\dim N(A - 4I) = 2. How many Jordan blocks does it have?
    Worked example
    Prove that the eigenvalues of an upper triangular matrix are its diagonal entries, and use Schur's theorem to show that tr⁡A\operatorname{tr}A is the sum of the eigenvalues.

    Solution.

    1. Subtract λ\lambda on the diagonal. If TT is upper triangular, so is λI−T\lambda I - T, with diagonal entries λ−t11,…,λ−tnn\lambda - t_{11}, \dots, \lambda - t_{nn}. λI\lambda I only changes the diagonal.
    2. Determinant of a triangular matrix. det⁡(λI−T)=(λ−t11)⋯(λ−tnn)\det(\lambda I - T) = (\lambda - t_{11})\cdots(\lambda - t_{nn}). The determinant of a triangular matrix is the product of its diagonal entries (2.7).
    3. Roots. The roots of this polynomial, the eigenvalues, are t11,…,tnnt_{11}, \dots, t_{nn}. A product is zero exactly when a factor is.
    4. Use Schur. A=UTU∗A = UTU^* with TT triangular, and U∗=U−1U^* = U^{-1}, so AA is similar to TT and has the same characteristic polynomial. Similar matrices share the characteristic polynomial (2.8).
    5. Compare traces. tr⁡A=tr⁡(UTU∗)=tr⁡(TU∗U)=tr⁡T\operatorname{tr}A = \operatorname{tr}(UTU^*) = \operatorname{tr}(TU^*U) = \operatorname{tr}T. tr⁡(XY)=tr⁡(YX)\operatorname{tr}(XY) = \operatorname{tr}(YX), with X=UX = U and Y=TU∗Y = TU^*.
    6. Read off. tr⁡T=t11+⋯+tnn\operatorname{tr}T = t_{11} + \cdots + t_{nn}, the sum of the eigenvalues counted with repetition. Step 3.

    Answer. Eigenvalues of a triangular matrix sit on its diagonal, and tr⁡A\operatorname{tr}A is the sum of the eigenvalues. The same argument gives det⁡A\det A as their product. ■\blacksquare

    Your answerA 3×33 \times 3 matrix has a Schur form TT with diagonal 2,5,−12, 5, -1. What is det⁡A\det A?
    Worked example Axler 8
    Let N=J4(0)N = J_4(0). Compute NjN^j for j=1,…,4j = 1, \dots, 4, find dim⁡N(Nj)\dim N(N^j), and explain how this counts Jordan blocks.

    Solution.

    1. What NN does. NN has 1s directly above the diagonal, so Ne1=ONe_1 = O and Nej=ej−1Ne_j = e_{j-1} for j≥2j \ge 2. Column jj of NN is ej−1e_{j-1}.
    2. Powers. NjN^j sends eie_i to ei−je_{i-j} if i>ji > j and to OO if i≤ji \le j. So N2N^2 has 1s two above the diagonal, N3N^3 has a single 1 in the top-right corner, and N4=0N^4 = 0. Apply NN repeatedly: each application moves the basis vector one step down the chain.
    3. Null spaces. N(Nj)=span⁡(e1,…,ej)N(N^j) = \operatorname{span}(e_1, \dots, e_j), of dimension jj, for j≤4j \le 4. Exactly e1,…,eje_1, \dots, e_j reach OO in jj steps.
    4. Count the blocks. For one block of size 4, dim⁡N(Nj)−dim⁡N(Nj−1)=1\dim N(N^j) - \dim N(N^{j-1}) = 1 for j=1,2,3,4j = 1, 2, 3, 4 and 00 afterwards. Each power adds one new vector until the chain runs out.
    5. Many blocks. For a sum of blocks the dimensions add. Going from power j−1j - 1 to jj, a block of size at least jj adds exactly 1 and a smaller block adds 0. So the difference counts the blocks of size at least jj, which is the formula in the Jordan theorem.

    Answer. dim⁡N(Nj)=j\dim N(N^j) = j for j≤4j \le 4, and the differences count blocks by size. ■\blacksquare

    Quick checkIn a Schur decomposition A=UTU∗A = UTU^*, what does the diagonal of TT list?
    Proof workshopRebuild the Cayley–Hamilton proofStrang 6.2

    Tap the lines in the order a proof would write them. Each line can only use what is already above it.

      Where it is used

      Python labA Jordan block is fragile
      import numpy as np
      
      # a Jordan block J_2(1) = [[1, 1], [0, 1]], with a tiny change eps in the bottom-left corner
      for eps in (0.0, 1e-12, 1e-8, 1e-4):
          A = np.array([[1.0, 1.0], [eps, 1.0]])
          vals = np.linalg.eigvals(A)
          print(f"eps = {eps:.0e}   eigenvalues = {np.round(vals, 8)}   shift from 1 = {abs(vals[0] - 1):.1e}")
      
      # the same change to a diagonalizable matrix barely matters
      D = np.array([[1.0, 0.0], [1e-8, 3.0]])
      print("diagonalizable:", np.linalg.eigvals(D))

      Try this. Run it. A change of size 10−1210^{-12} in one entry moves the eigenvalues by 10−610^{-6}, a million times more: the shift is about ε\sqrt{\varepsilon}, because the eigenvalues of the perturbed block solve (λ−1)2=ε(\lambda - 1)^2 = \varepsilon. The last line shows a diagonalizable matrix shrugging off a change of 10−810^{-8}. Try changing eps in the list to 1e-16 and see that the computer's own rounding errors already do this to any Jordan block.

      Used inside maths· Inside maths: matrix exponentials and repeated roots (Unit 7)

      For a Jordan block, J=λI+NJ = \lambda I + N with Nk=0N^k = 0, so etJ=eλt(I+tN+t22N2+…)e^{tJ} = e^{\lambda t}\big(I + tN + \frac{t^2}{2}N^2 + \dots\big) stops after kk terms. That is why repeated roots of a linear ODE’s characteristic equation produce solutions ert,tert,t2ert,…e^{rt}, te^{rt}, t^2e^{rt}, \dots: the powers of tt count positions along a Jordan chain. MATH 376 used this rule; 7.4 derives it.

      Used in the real world· Engineering: defective systems and resonance-like growth

      In control engineering, a system x˙=Ax\dot x = Ax whose matrix has a Jordan block for an eigenvalue with zero real part grows like tt instead of staying bounded, even though no eigenvalue has a positive real part. Stability analyses must therefore look at Jordan structure (or at the minimal polynomial), not only at eigenvalues. Numerically, the Jordan form is never computed for real data: an arbitrarily small perturbation can change it (it is badly conditioned, 3.5), which is why software uses the Schur form instead.

      Traps

      Watch out· Repeated eigenvalue does not mean not diagonalizable

      2I2I has the eigenvalue 2 three times and is diagonal. What matters is whether there are as many independent eigenvectors as the repetition. Count dim⁡N(A−λI)\dim N(A - \lambda I).

      Watch out· Cayley–Hamilton is not 'plug A into det'

      p(A)=0p(A) = 0 is a statement about a matrix polynomial; the proof needs the adjugate (or Schur), not substitution into a determinant.

      Problems

      check

      Write the Jordan form of a matrix whose characteristic polynomial is (λ−1)2(λ−5)(\lambda - 1)^2(\lambda - 5) and which has exactly two independent eigenvectors.

      Solution

      Two eigenvectors: one for λ=5\lambda = 5 and only one for λ=1\lambda = 1. So J=diag⁡(J2(1),J1(5))=[110010005]J = \operatorname{diag}\big(J_2(1), J_1(5)\big) = \begin{bmatrix}1&1&0\\0&1&0\\0&0&5\end{bmatrix}.

      check

      What is the minimal polynomial of diag⁡(2,2,3)\operatorname{diag}(2, 2, 3)?

      Solution

      (λ−2)(λ−3)(\lambda - 2)(\lambda - 3): it kills AA, and no polynomial of degree 1 does. No repeated roots, matching “diagonalizable”.

      use

      Use Cayley–Hamilton to express A4A^4 as αA+βI\alpha A + \beta I for A=[01−23]A = \begin{bmatrix}0&1\\-2&3\end{bmatrix}.

      Solution

      p(λ)=λ2−3λ+2p(\lambda) = \lambda^2 - 3\lambda + 2, so A2=3A−2IA^2 = 3A - 2I. A3=3A2−2A=7A−6IA^3 = 3A^2 - 2A = 7A - 6I. A4=7A2−6A=15A−14IA^4 = 7A^2 - 6A = 15A - 14I.

      use

      Find the Jordan form of [54−11]\begin{bmatrix}5&4\\-1&1\end{bmatrix}.

      Solution

      p=λ2−6λ+9=(λ−3)2p = \lambda^2 - 6\lambda + 9 = (\lambda - 3)^2; A−3I=[24−1−2]A - 3I = \begin{bmatrix}2&4\\-1&-2\end{bmatrix} has rank 1, so one eigenvector: J=[3103]J = \begin{bmatrix}3&1\\0&3\end{bmatrix}.

      prove

      Prove that the eigenvalues of an upper triangular matrix are its diagonal entries.

      Solution

      λI−T\lambda I - T is upper triangular with diagonal λ−tii\lambda - t_{ii}, and the determinant of a triangular matrix is the product of its diagonal (2.7). So det⁡(λI−T)=∏(λ−tii)\det(\lambda I - T) = \prod(\lambda - t_{ii}), whose roots are the tiit_{ii}.

      prove

      Prove that the trace of AA is the sum of its eigenvalues using Schur’s theorem.

      Solution

      A=UTU∗A = UTU^* is similar to TT, and similar matrices have equal traces (tr⁡(PMP−1)=tr⁡(M)\operatorname{tr}(PMP^{-1}) = \operatorname{tr}(M), since tr⁡(XY)=tr⁡(YX)\operatorname{tr}(XY) = \operatorname{tr}(YX)). The trace of TT is the sum of its diagonal, which lists the eigenvalues with multiplicity.

      stretchAxler 8

      Let N=Jk(0)N = J_k(0). Compute NjN^j for j=1,…,kj = 1, \dots, k and show dim⁡N(Nj)=j\dim N(N^j) = j for j≤kj \le k. Explain how this gives the block-counting formula in the Jordan theorem.

      Solution

      NN sends e1↦Oe_1 \mapsto O, ej↦ej−1e_j \mapsto e_{j-1}. So NjN^j kills e1,…,eje_1, \dots, e_j and shifts the rest down by jj; Nk=0N^k = 0. Hence N(Nj)=span⁡(e1,…,ej)N(N^j) = \operatorname{span}(e_1, \dots, e_j), dimension jj. For a sum of blocks, each block of size ≥j\ge j adds exactly 1 to dim⁡N(Nj)−dim⁡N(Nj−1)\dim N(N^j) - \dim N(N^{j-1}), and smaller blocks add 0, which is the formula.

      Summary

      • Schur: every complex matrix is UTU∗UTU^* with UU unitary and TT upper triangular (eigenvalues on the diagonal). Hermitian matrices give diagonal TT: the spectral theorem.
      • Cayley–Hamilton: p(A)=0p(A) = 0, proved with the adjugate and a telescoping sum. It writes A−1A^{-1} and all powers of AA as polynomials of degree <n< n.
      • Minimal polynomial: the smallest monic polynomial killing AA; AA is diagonalizable iff it has no repeated roots.
      • Jordan form: A=PJP−1A = PJP^{-1} with JJ made of blocks λI+N\lambda I + N; the number of blocks for λ\lambda is dim⁡N(A−λI)\dim N(A - \lambda I).
      • Jordan blocks explain the tertte^{rt} solutions of ODEs; in numerical work the Schur form is used instead.

      Watch and read

      The same ideas explained by someone else. Use these when an explanation here does not land.

      Where this sits

      Comes from
      2.8 Eigenvalues and eigenvectors
      3.1 Symmetric matrices and the spectral theorem
      3.3 Orthogonal matrices, rotations and reflections
      Leads to
      3.7 Dual spaces and quotient spaces
      Same idea elsewhere
      MATH 375: Lecture 18 stated the Schur decomposition without proof and mentioned the Jordan form; Spagnolie wrote on Piazza that Jordan form was only touched. This chapter does both properly.
      MATH 376: When a linear ODE's characteristic equation has a repeated root r, the solutions include $t e^{rt}$. That extra $t$ is a Jordan block of size 2.
      MATH 540: Jordan form, minimal polynomials and generalized eigenspaces are core topics of 540; Axler's chapter 8 is the standard treatment.