Linear-Algebra-Done-Right · Unit 25 · Video 4 · Interactive Practice

Upper-Triangular Diagonals Count Multiplicities

IKey Formulas

FormulaNameHypotheses
dim⁡null⁡T≤d\dim \operatorname{null} T \le d,  d\ d = number of zeros on the diagonal of M(T)\mathcal{M}(T)Inequality oneM(T)\mathcal{M}(T) upper triangular with respect to a basis v1,…,vnv_1, \dots, v_n of VV, any F\mathbf{F}
M(Tn)\mathcal{M}(T^n) is upper triangular with diagonal λ1n,…,λnn\lambda_1^n, \dots, \lambda_n^nDiagonal of a powersame, with diagonal λ1,…,λn\lambda_1, \dots, \lambda_n
mλ=dλm_\lambda = d_\lambdaMultiplicity == number of times λ\lambda appears on the diagonalF=C\mathbf{F} = \mathbf{C}, M(T)\mathcal{M}(T) upper triangular, λ\lambda an eigenvalue of TT

Key Insight: Each eigenvalue gives only mλ≤dλm_\lambda \le d_\lambda, but both sides add up to n=dim⁡Vn = \dim V over all eigenvalues, so no inequality can be strict.

IICount the Diagonal, Measure the Null Space

For every upper-triangular matrix, the number of times λ\lambda sits on the diagonal is dim⁡null⁡(T−λI)4\dim \operatorname{null}(T - \lambda I)^4.

IIIZeros on the Diagonal Bound the Null Space

The diagonal zeros of AA bound dim⁡null⁡A\dim \operatorname{null} A, often strictly, but dim⁡null⁡An\dim \operatorname{null} A^n reaches the bound.

IVQuiz Questions

Problem 1 · Read the Multiplicity off the Diagonal

Given: T∈L(C5)T \in \mathcal{L}(\mathbf{C}^5) with matrix (210300−120100210000240000−1)\begin{pmatrix} 2 & 1 & 0 & 3 & 0 \\ 0 & -1 & 2 & 0 & 1 \\ 0 & 0 & 2 & 1 & 0 \\ 0 & 0 & 0 & 2 & 4 \\ 0 & 0 & 0 & 0 & -1 \end{pmatrix} in the standard basis — find the multiplicity of the eigenvalue 22.

✅ Correct! The matrix is upper triangular and 22 appears three times on its diagonal, so dim⁡G(2,T)=3\dim G(2, T) = 3.
❌ That is the geometric multiplicity. dim⁡null⁡(T−2I)=1\dim \operatorname{null}(T - 2I) = 1 here, but the multiplicity counts the generalized eigenspace, which is what the diagonal counts.
❌ The copies need not be adjacent. Count every diagonal position holding 22: positions 11, 33 and 44.
❌ −1-1 is also an eigenvalue. The multiplicities of 22 and −1-1 add up to 55.
Show solution

The matrix is upper triangular with diagonal 2,−1,2,2,−12, -1, 2, 2, -1. Over C\mathbf{C}, each eigenvalue appears on the diagonal exactly as many times as its multiplicity, so

dim⁡G(2,T)=d2=3,dim⁡G(−1,T)=d−1=2,\dim G(2, T) = d_2 = 3, \qquad \dim G(-1, T) = d_{-1} = 2,

and 3+2=5=dim⁡C53 + 2 = 5 = \dim \mathbf{C}^5. (Directly, T−2IT - 2I has rank 44, so the geometric multiplicity of 22 is only 11.)

Problem 2 · Zeros on the Diagonal Are Not the Null Space

Given: T∈L(C3)T \in \mathcal{L}(\mathbf{C}^3) with matrix (010001005)\begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 5 \end{pmatrix} in the standard basis — find dim⁡null⁡T\dim \operatorname{null} T and dim⁡null⁡T3\dim \operatorname{null} T^3.

dim⁡null⁡T\dim \operatorname{null} T

dim⁡null⁡T3\dim \operatorname{null} T^3

✅ Correct! dim⁡null⁡T=1<2=d\dim \operatorname{null} T = 1 < 2 = d, a strict inequality one; but dim⁡null⁡T3=dim⁡G(0,T)=d0=2\dim \operatorname{null} T^3 = \dim G(0, T) = d_0 = 2.
❌ That is the diagonal count dd. Inequality one only says dim⁡null⁡T≤d\dim \operatorname{null} T \le d; here TT has rank 22.
❌ Not quite. Find the rank of the matrix: are its three rows independent?
❌ Not quite. null⁡T3=G(0,T)\operatorname{null} T^3 = G(0, T), and its dimension is the number of zeros on the diagonal.
Show solution

T(z1,z2,z3)=(z2, z3, 5z3)T(z_1, z_2, z_3) = (z_2,\ z_3,\ 5z_3), which is 00 exactly when z2=z3=0z_2 = z_3 = 0: null⁡T=span⁡(e1)\operatorname{null} T = \operatorname{span}(e_1) has dimension 11.

The diagonal is 0,0,50, 0, 5, so d0=2d_0 = 2 and the multiplicity of 00 is 22. Since dim⁡C3=3\dim \mathbf{C}^3 = 3, null⁡T3=G(0,T)\operatorname{null} T^3 = G(0, T), so dim⁡null⁡T3=2\dim \operatorname{null} T^3 = 2. Directly: T3(z1,z2,z3)=(5z3,25z3,125z3)T^3(z_1, z_2, z_3) = (5z_3, 25z_3, 125z_3), which vanishes exactly when z3=0z_3 = 0.

Problem 3 · A Different Upper-Triangular Matrix

Given: T∈L(C4)T \in \mathcal{L}(\mathbf{C}^4) has an upper-triangular matrix with diagonal 1,3,1,11, 3, 1, 1; with respect to another basis TT has an upper-triangular matrix whose first diagonal entry is 33 — find its other three diagonal entries.

✅ Correct! 33 has multiplicity 11 and 11 has multiplicity 33, numbers defined without any basis; every upper-triangular matrix of TT shows them that many times.
❌ 33 appears only once on every upper-triangular matrix of TT. Its multiplicity is 11, read off the first matrix.
❌ They are determined. The multiplicity dim⁡G(λ,T)\dim G(\lambda, T) does not depend on a basis, and it equals the diagonal count in every upper-triangular matrix.
Show solution

From the first matrix, dim⁡G(1,T)=3\dim G(1, T) = 3 and dim⁡G(3,T)=1\dim G(3, T) = 1. These are dimensions of null spaces of (T−λI)4(T - \lambda I)^4, so they do not depend on a basis.

In the second upper-triangular matrix, 11 must appear 33 times and 33 once. The 33 is already in the first position, so the remaining diagonal entries are 1,1,11, 1, 1.

Problem 4 · Separated Zeros

Given: T∈L(C4)T \in \mathcal{L}(\mathbf{C}^4) has an upper-triangular matrix with diagonal 0,5,0,50, 5, 0, 5 and unknown entries above the diagonal — find dim⁡null⁡T4\dim \operatorname{null} T^4.

✅ Correct! null⁡T4=G(0,T)\operatorname{null} T^4 = G(0, T), whose dimension is the number of zeros on the diagonal, d0=2d_0 = 2, wherever they sit.
❌ Every diagonal zero counts. The theorem counts all positions holding 00, adjacent or not.
❌ That is true for dim⁡null⁡T\dim \operatorname{null} T, not for T4T^4. The power dim⁡V\dim V removes the dependence on the entries above the diagonal.
❌ T4≠0T^4 \neq 0. The diagonal of M(T4)\mathcal{M}(T^4) is 0,625,0,6250, 625, 0, 625, so T4T^4 has rank at least 22.
Show solution

dim⁡V=4\dim V = 4, so null⁡T4=G(0,T)\operatorname{null} T^4 = G(0, T), and its dimension is the multiplicity of 00. The multiplicity equals the number of times 00 appears on the diagonal of any upper-triangular matrix of TT:

dim⁡null⁡T4=d0=2.\dim \operatorname{null} T^4 = d_0 = 2.

By contrast, dim⁡null⁡T\dim \operatorname{null} T is 11 or 22 depending on the entries above the diagonal (inequality one only bounds it by 22).

Solved: 0 / 4