Chapter 7: Eigenvalues and diagonalization
7.4Diagonalization
Let , and suppose we want . Multiplying out copies of is hopeless by hand, and the entries of the partial products show no obvious pattern. But has two eigenvectors,
and they form a basis of . In this basis only scales: it doubles the first coordinate and triples the second, so multiplies them by and . All that remains is to convert coordinates back. This section finds which operators admit such a basis, by a test in terms of two kinds of multiplicity, and then uses such bases for matrix powers, linear recurrences, and the long-run behavior of linear dynamical systems.
Throughout, is a finite-dimensional vector space over a field with , and .
7.4.1Diagonalizable operators
Definition 7.4.1 (Diagonalizable). An operator is diagonalizable if there is a basis of for which is a diagonal matrix. A matrix is diagonalizable if it is similar to a diagonal matrix, that is, if
for some invertible and some diagonal . Such a factorization is a diagonalization of .
The lecture defines a diagonalizable operator as one with a basis of eigenvectors. The next theorem shows that this is the same notion, and that the matrix and operator versions agree. A basis of consisting of eigenvectors of is called an eigenbasis for .
Theorem 7.4.2 (Diagonalizable means an eigenbasis). Let be a basis of and . Then
In particular, is diagonalizable if and only if has an eigenbasis for , and then the diagonal entries of are the eigenvalues of the vectors of the eigenbasis, in order.
For the following are equivalent:
- (I) is diagonalizable;
- (II)the operator on is diagonalizable;
- (III) has a basis of eigenvectors of .
More precisely, if is invertible with columns and
Uses. Definition 2.3.1 (Matrix of a linear map), Definition 1.6.14 (Coordinates), Definition 7.2.6 (Eigenvalue, eigenvector), Example 2.4.10 (Diagonal matrices), Corollary 3.5.25 (The invertible matrix theorem), Proposition 2.3.16 (The matrix of )
Techniques. Translate between maps and matrices (Technique 2.3.27)
By Definition 2.3.1, the -th column of is the coordinate vector . Since coordinates are unique (Definition 1.6.14),
For matrices, let be invertible with columns and
(I) (III). If , the columns of form a basis of by Corollary 3.5.25, and by the previous paragraph they are eigenvectors of . Conversely, if is a basis of with , the matrix with these columns is invertible (Corollary 3.5.25), and with
(II) (III). The eigenvectors of are by definition those of , so this is the first part of the theorem applied to . □
Remark 7.4.3 (Two readings of ). The proof read column by column: scales the columns of . There is also the reading of Section 4.5. If is the list of columns of , then , and Theorem 4.5.17 gives
Read from right to left, says: convert standard coordinates into eigenbasis coordinates (), scale each coordinate by its eigenvalue (), and convert back (). Diagonalization is the strongest instance of Technique 4.5.33: the operator is as simple as an operator can be, and the basis that achieves this is made of the operator’s own eigenvectors.
Example 7.4.4 (Diagonalizing a matrix). Let , the matrix of the introduction. By Theorem 7.2.9, is an eigenvalue exactly when
vanishes, so the eigenvalues are and . Row reducing,
so and . The vectors and are not parallel, so they form an eigenbasis, and by Theorem 7.4.2
To check the work it is enough to verify : both sides equal . The order of the columns is our choice. Swapping them swaps the diagonal entries of , and rescaling a column of by changes nothing in . So a diagonalization is far from unique, but is unique up to the order of its entries (Theorem 7.4.16 will show why).
In Example 7.4.4 the two eigenvalues were different, and that alone guaranteed the eigenbasis.
Uses. Theorem 7.2.21 (Eigenvectors for distinct eigenvalues are independent), Theorem 4.1.10 (Independent lists are short), Theorem 7.4.2 (Diagonalizable means an eigenbasis)
The converse fails: for , is diagonal, with the single eigenvalue . Repeated eigenvalues are allowed as long as each one comes with enough eigenvectors.
Example 7.4.6 (A repeated eigenvalue with enough eigenvectors). The matrix
These three vectors form a basis of : the sum is direct (Corollary 7.2.23), so concatenating bases gives an independent list (Theorem 4.4.13), of length . Hence
Obstructions to diagonalizability
There are two ways an operator can fail to be diagonalizable: it may have too few eigenvalues in , or an eigenvalue may have too few eigenvectors. The simplest instance of the second failure is an operator with one eigenvalue.
Uses. Theorem 7.4.2 (Diagonalizable means an eigenbasis), Definition 7.2.6 (Eigenvalue, eigenvector)
Techniques. Check it on a basis (Technique 2.2.7)
Example 7.4.8 (Shears and nilpotent matrices). Let , a shear, over any field. Then
More generally, let be nilpotent and nonzero, say . If with , then , so ; and is an eigenvalue, because is not injective (otherwise would be injective too, while on ). So is the only eigenvalue, and is not diagonalizable. The same argument works for an upper triangular matrix with all diagonal entries equal to : its only eigenvalue is , because is triangular with diagonal entries , hence invertible for (Proposition 5.3.15, Theorem 5.4.7). So it is diagonalizable only if it equals .
These are the minimal counterexamples of Technique 1.4.18 for diagonalizability. In particular, being invertible () and being diagonalizable are unrelated: is invertible but not diagonalizable, and is diagonal but not invertible.
Example 7.4.9 (Rotations: the field matters). Let , the rotation by a right angle. By Example 7.2.18 its eigenvalues are the square roots of in .
- Over there are none, so there are no eigenvectors at all, and is not diagonalizable over .
Over the eigenvalues and are distinct, with eigenvectors and , so by Corollary 7.4.5
- Over , where , it is diagonalizable with eigenvalues and ; over there are no eigenvalues.
- Over , is the swap , whose only eigenvalue is (Example 7.2.17). Since , it is not diagonalizable over , by Proposition 7.4.7. Over every field with the swap is diagonalizable, with eigenbasis .
So “diagonalizable” is a property of a matrix together with a field. The real matrix fails for lack of eigenvalues, while over the matrix fails for lack of eigenvectors.
Exercise 7.4.10. Without computing any eigenvectors, decide which of the following real matrices are diagonalizable over , and which over .
Uses. Corollary 7.4.5 (Distinct eigenvalues give a diagonalization), Proposition 7.4.7 (One eigenvalue), Theorem 7.2.9 (Eigenvalues and invertibility), Proposition 5.3.15 (Triangular matrices)
The matrices and are upper triangular, so is triangular with diagonal entries , and by Proposition 5.3.15 and Theorem 7.2.9 the eigenvalues are the diagonal entries. For they are and , which are distinct, so is diagonalizable over , and over , by Corollary 7.4.5. For the only eigenvalue is , over either field, and , so is diagonalizable over neither field (Proposition 7.4.7).
For ,
Finally is diagonal, so it is diagonalizable over both fields (take ), even though it has only one eigenvalue.
7.4.2Algebraic and geometric multiplicity
The obstructions above suggest counting, for each eigenvalue, how many times it “should” occur on the diagonal and how many independent eigenvectors it actually has. The first count comes from the characteristic polynomial, the second from the eigenspace.
Recall from Section 7.3 that the characteristic polynomial of is the monic polynomial
Definition 7.4.12 (Geometric multiplicity). Let . The geometric multiplicity of for is
and for a matrix ,
We drop the subscript when the operator is clear. Both multiplicities are defined for every , and by Theorem 7.3.6 and Theorem 7.2.9 each is positive exactly when is an eigenvalue. The geometric multiplicity is computed by row reduction, through a rank.
Lemma 7.4.13 (Geometric multiplicity through a rank). For every basis of and every ,
In particular, for every matrix of , and similar matrices have the same geometric multiplicities.
Uses. Theorem 4.2.11 (Rank–nullity), Proposition 4.2.15 (Rank through any matrix), Definition 2.3.1 (Matrix of a linear map), Theorem 4.5.25 (Similar matrices are one operator in two bases)
Example 7.4.14 (The multiplicities of a diagonal matrix). Let
and by Proposition 7.1.34, . On the other hand
For the shear , , so , while
Theorem 7.4.15 (Geometric multiplicity is at most algebraic multiplicity). For every ,
If is an eigenvalue of , then
Uses. Theorem 4.1.16 (Extending to a basis), Proposition 4.5.35 (Preserved subspaces give block triangular matrices), Definition 7.2.13 (Eigenspace), Theorem 5.4.26 (Block-triangular matrices), Definition 7.3.4 (Characteristic polynomial), Definition 7.1.24 (Multiplicity of a root), Proposition 4.1.21 (Dimensions of subspaces)
Techniques. Choose a basis adapted to a preserved subspace (Technique 4.5.36)
Let
Let . Choose a basis of and extend it to a basis
for some and
is block upper triangular with entries in , and by Theorem 5.4.26
So divides , and by Definition 7.1.24.
If is an eigenvalue, then contains a nonzero vector, so . □
The lecture calls Theorem 7.4.15 the “AM–GM inequality”, as a joke: the inequality between the arithmetic and geometric means has the same letters in the same order. The proof is Technique 4.5.36 applied to the most obvious invariant subspace of , an eigenspace.
We can now say exactly when is diagonalizable. Let be the distinct eigenvalues of . Every eigenvector lies in some , the sum of these eigenspaces is direct (Corollary 7.2.23), and has degree . So
where the first inequality is Theorem 7.4.15 term by term, and the second is Proposition 7.1.27, since the are distinct roots of . Diagonalizability turns out to mean that the left end equals the right end, which forces both inequalities to be equalities.
Theorem 7.4.16 (Criteria for diagonalizability). Let be the distinct eigenvalues of (). The following are equivalent.
- (I) is diagonalizable.
- (II)
. - (III)
. - (IV) splits over , and for .
In that case, for every eigenbasis the matrix has on its diagonal exactly times.
Proof, part 1 of 2: (I) (II) (III) (I).
Uses. Theorem 7.4.2 (Diagonalizable means an eigenbasis), Corollary 7.2.23 (Eigenspaces are independent), Theorem 4.4.13 (Bases and dimension of a sum), Proposition 4.1.21 (Dimensions of subspaces), Proposition 4.4.2 (Sums are the smallest containing subspaces)
Techniques. Proving TFAE (Technique 2.7.1), Dimension counting (Technique 4.2.24), Glue bases of the summands (Technique 4.4.14)
Write . By Corollary 7.2.23 the sum is direct, whatever is.
(I) (II). Let be an eigenbasis. Each vector of is an eigenvector, whose eigenvalue is one of the , so it lies in . So , which is a subspace (Proposition 4.4.2), contains a basis of , hence contains its span . Thus , and the sum is direct.
(II) (III). By Theorem 4.4.13(c),
(III) (I). Choose a basis of each and concatenate them. Since is a direct sum, the concatenation is a basis of by Theorem 4.4.13(b), so
So far nothing used the characteristic polynomial: (I), (II), and (III) are statements about eigenvectors only. Condition (IV) brings in the polynomial, through the squeeze (7.4.1).
Proof, part 2 of 2: (III) (IV).
Uses. Theorem 7.4.15 (Geometric multiplicity is at most algebraic multiplicity), Proposition 7.1.27 (Multiplicities add up to at most the degree), Proposition 7.1.34 (Roots of a split polynomial), Theorem 7.3.6 (Eigenvalues are the roots of the characteristic polynomial), Proposition 7.1.4 (Degree of a product), Example 7.4.14 (The multiplicities of a diagonal matrix)
Write and . By Theorem 7.4.15, for each , so , with equality if and only if for every . By Theorem 7.3.6 the are distinct roots of , so by Proposition 7.1.27,
We claim that if and only if splits. If , write . Comparing degrees (Proposition 7.1.4), , and comparing leading coefficients, which are for and , gives . So splits. Conversely, if splits, then by Proposition 7.1.34 the multiplicities of its distinct roots add up to , and its roots are exactly the eigenvalues (Theorem 7.3.6). So .
Now (III) says . Since
For the last claim, if is an eigenbasis, is a diagonal matrix of , and by Example 7.4.14 and Lemma 7.4.13, occurs on its diagonal times. □
Algorithm 7.4.18 (Diagonalizing a matrix)
- Input
- .
- Output
- An invertible and a diagonal with , or the conclusion that is not diagonalizable over .
The algorithm is correct by Theorem 7.4.16, (I) (III), and the proof of (III) (I) shows that the columns found in step 2 form a basis. In step 1 one can stop early if does not split, and in step 2 as soon as some is less than the multiplicity of as a root.
Example 7.4.19 (Two matrices that differ in one entry). Let
Both are upper triangular with diagonal , so
has rank , so , with
For ,
has rank , so
Example 7.4.20 (The Fibonacci matrix over several fields). Let , so that
- Over , has no roots (). So has no eigenvalues and is not diagonalizable: does not split.
- Over ,
, so splits with the single root , of algebraic multiplicity . But has rank (its second row is times its first in ), so . Not diagonalizable: the multiplicities differ. - Over ,
, so has the distinct eigenvalues and , and is diagonalizable by Corollary 7.4.5. - Over , the roots and are distinct, and is diagonalizable; Section 7.4.4 uses this to find the Fibonacci numbers.
The discriminant of explains the pattern: the roots are whenever , they coincide when , and they lie in when is a square there, as is in .
Exercise 7.4.21. Let
Find and for every eigenvalue , and decide whether is diagonalizable. Which single entry of above the diagonal can you change to make diagonalizable?
Uses. Definition 7.4.11 (Algebraic multiplicity), Lemma 7.4.13 (Geometric multiplicity through a rank), Theorem 7.4.16 (Criteria for diagonalizability), Proposition 5.3.15 (Triangular matrices)
The matrix is upper triangular with diagonal
has rank , so by Lemma 7.4.13, and gives . Since , is not diagonalizable (Theorem 7.4.16); equivalently,
The only nonzero off-diagonal entry is , and replacing it by gives a diagonal matrix. Changing any other entry above the diagonal keeps upper triangular with the same diagonal, so still
Below the diagonal the answer is different, because the characteristic polynomial can change. Setting makes the top left block , with eigenvalues and (Example 7.2.8); the new matrix has the eigenvalues and is diagonalizable, as one checks with Theorem 7.4.16.
7.4.3Computing with a diagonalization
A diagonalization turns questions about into questions about the scalars on the diagonal of , because conjugating by respects products.
Technique 7.4.22 (Diagonalize, solve, conjugate back). If with diagonal, then , and more generally every expression built from by sums, products, and scalar multiples is with in place of . Diagonal matrices are computed entry by entry, so a problem about splits into problems about scalars. The recipe: diagonalize; solve the problem for , one diagonal entry at a time; conjugate back by . In operator language, pass to eigenbasis coordinates, where is independent scalings, solve there, and translate back.
Reach for it when a problem involves powers or polynomials of a matrix (closed forms for , square roots, ), a linear recurrence , or a linear differential equation . If is not diagonalizable, the same recipe works with a triangular or Jordan form in place of (Section 7.5, Section 10.3), at the price of harder computations with that form. The canonical example is Proposition 7.4.23.
Used in 15 places and 4 practice exercises
Proposition 7.4.23, Exercise 7.4.27, Theorem 7.4.30, Proposition 7.4.33, Proposition 7.4.34, Exercise 7.4.36, Exercise 7.4.44, Exercise 7.4.46, Exercise 7.4.52, Exercise 7.7.11, Problem 7.8, Problem 7.13, Problem 7.16, Exercise 8.2.16, Exercise 8.2.32; 4 practice exercises.
Proposition 7.4.23 (Powers and polynomials of a diagonalizable matrix). Let with
If every is nonzero, then is invertible,
Uses. Proposition 2.4.14 (Algebra of matrices), Example 2.4.10 (Diagonal matrices), Definition 7.2.26 (Polynomials in an operator), Proposition 2.5.17 (Algebra of inverses)
Techniques. Diagonalize, solve, conjugate back (Technique 7.4.22)
We show by induction on . For both sides are . If it holds for , then by associativity (Proposition 2.4.14)
Diagonal matrices multiply entry by entry (Example 2.4.10), so
If every , let
Example 7.4.24 (A closed form for ). For
for every . At this returns , and at it returns . Every entry of is a combination , and for large the term dominates.
Often only is needed, and then is unnecessary. Expand in the eigenbasis, ; then
The second paragraph of Example 7.4.24 proved a matrix identity by checking it on eigenvectors. For diagonalizable operators this is a general method.
Technique 7.4.25 (Test an identity on eigenvectors). To show that two operators built from a diagonalizable are equal, such as or , it is enough to show that they agree on each vector of an eigenbasis. On an eigenvector with eigenvalue , every polynomial in acts as the scalar (Proposition 7.2.28), so the check becomes an identity between scalars, one eigenvalue at a time. This is Technique 2.2.7 with the most convenient basis.
Reach for it when the hypothesis says “diagonalizable” and the claim is an identity between polynomials in , or between and another operator with the same eigenvectors. The canonical example is Proposition 7.4.26. Without diagonalizability the method fails: the shear satisfies on its only eigenvector line, but kills that line without being .
Used in 10 places and 1 practice exercise
Proposition 7.4.26, Exercise 7.4.49, Exercise 7.4.52, Exercise 7.7.7, Proposition 8.2.20, Proposition 8.2.24, Exercise 8.2.33, Notation 8.3.10, Exercise 8.3.40, Exercise 8.3.43; 1 practice exercise.
Proposition 7.4.26 (Polynomials that kill a diagonalizable operator). Let be diagonalizable with distinct eigenvalues , and let . Then if and only if for . In particular,
Uses. Proposition 7.2.28 (Polynomials act on eigenvectors by their values), Theorem 7.4.2 (Diagonalizable means an eigenbasis), Proposition 7.2.27 (Evaluating polynomials at an operator)
Techniques. Test an identity on eigenvectors (Technique 7.4.25), Check it on a basis (Technique 2.2.7)
For instance, a diagonalizable whose eigenvalues lie in satisfies
Uses. Proposition 7.4.23 (Powers and polynomials of a diagonalizable matrix), Proposition 2.4.23 (Transpose of a product), Definition 7.4.1 (Diagonalizable), Theorem 7.4.16 (Criteria for diagonalizability)
Techniques. Diagonalize, solve, conjugate back (Technique 7.4.22)
Write with
since and
By the last part of Theorem 7.4.16, the eigenvalues of a diagonalizable matrix are its diagonal entries in any diagonalization. So the eigenvalues of are
7.4.4Linear recurrences
The Fibonacci numbers , ,
so with , as in Exercise 2.4.47. Diagonalizing gives a closed formula.
Example 7.4.28 (Binet’s formula). By Example 7.4.20, has the distinct real eigenvalues and , the roots of . Eigenvectors are and : for instance
The second coordinate is Binet’s formula
Since , the term has absolute value at most , so is the integer nearest to . For instance , and . The eigenvalue of larger absolute value controls the growth.
The same formula appeared in Exercise 1.6.39 without any matrices, by finding a basis of geometric sequences of the space of all solutions. The two arguments are the same argument seen from two sides: the map identifies the solution space with , and under it, shifting a sequence one step to the left becomes multiplication by . The eigenvectors and correspond to the geometric sequences and , which the left shift multiplies by and (Example 7.2.20). We now do this for every recurrence of finite order.
Fix and , and consider sequences
The characteristic polynomial of the recurrence is
a companion matrix of (compare Definition 7.3.23; conventions differ by a transpose and the order of the basis). For , , it is with the basis reversed.
Proposition 7.4.29 (The matrix of a recurrence). With the notation above:
- (a)if and
, then , so ; - (b)the eigenvalues of are the roots of in , and for each root ,
; - (c) is diagonalizable if and only if has distinct roots in .
Uses. Definition 7.2.6 (Eigenvalue, eigenvector), Definition 7.2.13 (Eigenspace), Theorem 7.4.16 (Criteria for diagonalizability)
(a) The first coordinates of are
(b) Let and
The first equations hold if and only if for all , that is, with
(c) By (b), for each root of in , so the sum of the geometric multiplicities is the number of distinct roots of in . By Theorem 7.4.16, (I) (III), is diagonalizable if and only if this number is . □
So never has two independent eigenvectors for the same eigenvalue: a repeated root of always destroys diagonalizability. When the roots are distinct, the solutions are combinations of geometric sequences.
Theorem 7.4.30 (Recurrences with distinct characteristic roots). Suppose has distinct roots . Then the geometric sequences , , form a basis of . That is, every solution of (7.4.2) is
for unique , which are determined by .
Proof (diagonalize the matrix of the recurrence).
Uses. Proposition 7.4.29 (The matrix of a recurrence), Theorem 7.2.21 (Eigenvectors for distinct eigenvalues are independent), Corollary 7.4.5 (Distinct eigenvalues give a diagonalization), Proposition 7.2.28 (Polynomials act on eigenvectors by their values)
Techniques. Diagonalize, solve, conjugate back (Technique 7.4.22)
Write
Let , and write
The first coordinate of is , and the first coordinate of each is , so
They are independent: if for all , then the cases say , so all . Hence they form a basis of , the are unique, and they are the coordinates of
Proof (count dimensions in the solution space).
Uses. Theorem 4.1.10 (Independent lists are short), Example 7.2.24 (Independence for free), Definition 4.5.1 (Isomorphism)
Techniques. Dimension counting (Technique 4.2.24)
Let ,
Since , each geometric sequence lies in . These sequences are eigenvectors of the left shift on with the distinct eigenvalues , so they are independent (Example 7.2.24(a)). By Theorem 4.1.10(b) they form a basis of the -dimensional space , and the coefficients of a solution are its coordinates in this basis, which are unique. Applying , they are determined by . □
The first proof computes: it finds the by solving one linear system, , whose matrix has rows
7.4.5Discrete dynamical systems
A discrete linear dynamical system is a sequence of states in with for a fixed , so . If has an eigenbasis with eigenvalues , and
Each eigen-component evolves on its own, by repeated multiplication by its eigenvalue. Over or , a component with dies out, one with grows, and the components with the largest eventually dominate.
Example 7.4.32 (Migration between two cities). Each year, of the population of city 1 moves to city 2, and of the population of city 2 moves to city 1; nobody else moves, and the total population is constant. With the populations in year ,
Here
Whatever the initial distribution, the populations approach a split of the total . The limit is the component of in , and the deviation from it halves every year. The columns of add up to , which is why is an eigenvalue (the rows of add up to zero) and why the total is preserved. Such matrices are the subject of Section 11.1.
Proposition 7.4.33 (Long-run behavior). Let be diagonalizable, with an eigenbasis and corresponding eigenvalues . Let
- (a)If for every , then for every , and entry by entry.
(b)Suppose is an eigenvalue with for every . Then
the component of in . In particular, if , then converges to the component of in .
Uses. Proposition 7.2.28 (Polynomials act on eigenvectors by their values), Theorem 7.4.16 (Criteria for diagonalizability)
Techniques. Diagonalize, solve, conjugate back (Technique 7.4.22)
Since
(a) If , then
(b) Dividing by ,
The first sum does not depend on , and in the second , so each term tends to as in (a). The first sum lies in , and the second in the sum of the other eigenspaces; since is the direct sum of the eigenspaces (Theorem 7.4.16), the first sum is the component of in . □
In Example 7.4.32, and the other eigenvalue is . In Example 7.4.28, dominates , so
7.4.6Systems of linear differential equations Beyond 21-242
Differential equations are not part of 21-242.
The continuous analog of is the system , where is differentiable and the derivative is taken coordinate by coordinate. For this is , whose solutions are
Proposition 7.4.34 (Solving ). Let
for some , namely
Uses. Theorem 7.4.2 (Diagonalizable means an eigenbasis)
Techniques. Diagonalize, solve, conjugate back (Technique 7.4.22)
Let . Each coordinate of is a fixed linear combination of the coordinates of , so is differentiable with , and similarly . Hence
multiplying by or . The system consists of the separate equations , whose solutions are exactly
For and , Example 7.4.4 gives , so
In matrix form, the solution is
Exercises
Exercise 7.4.35. For each matrix over , find an invertible and a diagonal with , or show that none exist.
- (a).
- (b).
- (c).
Uses. Algorithm 7.4.18 (Diagonalizing a matrix), Theorem 7.2.9 (Eigenvalues and invertibility), Proposition 7.4.7 (One eigenvalue)
(a)
Check:
(b)
(c)
To see that nothing was missed,
Exercise 7.4.36. Let .
- (a)Find a formula for valid for every .
- (b)Find all with .
Uses. Proposition 7.4.23 (Powers and polynomials of a diagonalizable matrix), Proposition 7.2.30 (Kernels and images of commuting operators are invariant), Proposition 7.2.7 (Invariant lines are spanned by eigenvectors), Theorem 7.4.2 (Diagonalizable means an eigenbasis)
Techniques. Diagonalize, solve, conjugate back (Technique 7.4.22), Look for invariant subspaces among kernels and images of commuting operators (Technique 7.2.31)
(a)
and both eigenvalues are nonzero, so by Proposition 7.4.23, for every ,
At this is , and at it is , which one checks is .
(b) Let and . If , then . By Proposition 7.2.30(b), each eigenspace and is -invariant, so by Proposition 7.2.7, and for some . Then
and the four square roots are with
Exercise 7.4.37. For which is the matrix
diagonalizable?
Uses. Theorem 7.4.16 (Criteria for diagonalizability), Lemma 7.4.13 (Geometric multiplicity through a rank), Theorem 7.4.15 (Geometric multiplicity is at most algebraic multiplicity), Proposition 5.3.15 (Triangular matrices)
is upper triangular, so
are , , . The second is a multiple of the third, so the rank is the rank of , which is if and if . So is diagonalizable if and only if , whatever and are. The entries and couple the eigenvalue to the eigenvalue , which does no harm because the two eigenvalues are different; the entry couples the eigenvalue to itself, as in a shear.
Exercise 7.4.38. Let and . Prove or disprove:
- (a)If is diagonalizable, then is invertible.
- (b)If is invertible, then is diagonalizable.
- (c)If is diagonalizable, then is diagonalizable.
- (d)If and are diagonalizable, then so is .
- (e)If is diagonalizable and is similar to , then is diagonalizable.
Uses. Example 7.4.8 (Shears and nilpotent matrices), Proposition 7.4.7 (One eigenvalue), Proposition 4.5.24 (Similarity is an equivalence relation), Corollary 7.4.5 (Distinct eigenvalues give a diagonalization)
Techniques. Finding counterexamples and minimal examples (Technique 1.4.18)
The counterexamples below are . For , enlarge each to a block diagonal matrix by adding the block in (b) and a zero block in (c) and (d). A block diagonal matrix with diagonalizable blocks is diagonalizable (combine eigenbases of the blocks), the enlarged shear still has as its only eigenvalue without being , and the enlarged nilpotent matrices are still nilpotent and nonzero.
(a) False: the zero matrix is diagonal, so diagonalizable, but not invertible.
(b) False: the shear is invertible but not diagonalizable (Example 7.4.8).
(c) False: has , which is diagonal, while is nonzero and nilpotent, so not diagonalizable (Example 7.4.8).
(d) False: has the distinct eigenvalues and (it is triangular), so it is diagonalizable (Corollary 7.4.5), and is diagonal; their sum is .
(e) True: if is similar to a diagonal and is similar to , then is similar to by transitivity (Proposition 4.5.24).
Exercise 7.4.39. Find the error in the following argument.
“Every is diagonalizable. By the Fundamental Theorem of Algebra,
Uses. Theorem 7.2.21 (Eigenvectors for distinct eigenvalues are independent), Example 7.4.8 (Shears and nilpotent matrices)
Uses. Proposition 4.3.16 (Rank-one matrices), Example 4.3.18 (Powers of a rank-one matrix), Theorem 4.2.11 (Rank–nullity), Corollary 7.2.23 (Eigenspaces are independent), Theorem 7.4.16 (Criteria for diagonalizability), Example 7.4.8 (Shears and nilpotent matrices)
Techniques. Write a rank-one matrix as (Technique 4.3.17)
By Proposition 4.3.16, with nonzero, and (Example 4.3.18). Then
By rank–nullity,
Suppose . Then is an eigenvector with the nonzero eigenvalue , so
Suppose . Then (Example 4.3.18), and , so is a nonzero nilpotent matrix, which is not diagonalizable (Example 7.4.8).
Uses. Example 7.2.17 (Reflections, and the field ), Theorem 7.4.16 (Criteria for diagonalizability), Proposition 7.4.7 (One eigenvalue), Example 4.5.31 (The trace of transposition)
Techniques. Study a linear map on a space of matrices (Technique 4.2.29)
Since , every eigenvalue of satisfies , so (Example 7.2.17). The eigenspace is the space of symmetric matrices, , and is the space of skew-symmetric matrices, .
Suppose . A symmetric matrix is determined by its entries with , which are arbitrary, so ; a basis is and for . A skew-symmetric matrix has , so and ; it is determined by its entries with , which are arbitrary, so
Suppose . Then , so is the only eigenvalue of . Since ,
- (a)Show that if is diagonalizable, then .
- (b)Give an example of a non-diagonalizable with , and one with .
Uses. Theorem 7.4.16 (Criteria for diagonalizability), Theorem 4.4.7 (Criteria for direct sums), Theorem 4.2.11 (Rank–nullity), Theorem 4.4.19 (Dimension of a sum)
(a) Let be an eigenbasis, and split it into the vectors with eigenvalue and the vectors with eigenvalue . The former lie in . For the latter,
so , and the sum is direct (Theorem 4.4.7).
(b) The shear is invertible, so and , and ; but is not diagonalizable. For the second, has
- (a)Let be diagonalizable. Show that and are similar if and only if .
- (b)Show that (a) fails if only one of is assumed diagonalizable.
Uses. Theorem 7.4.16 (Criteria for diagonalizability), Example 7.4.14 (The multiplicities of a diagonal matrix), Proposition 7.1.34 (Roots of a split polynomial), Theorem 7.4.2 (Diagonalizable means an eigenbasis), Proposition 4.5.24 (Similarity is an equivalence relation), Lemma 7.4.13 (Geometric multiplicity through a rank), Example 7.4.8 (Shears and nilpotent matrices)
Techniques. Rule out similarity with an invariant (Technique 4.5.29)
(a) Similar matrices have the same characteristic polynomial (Section 7.3), which proves “only if”. Conversely, let and with diagonal, and suppose . Since similar matrices have equal characteristic polynomials,
(b) is diagonal and the shear is not diagonalizable, and
Exercise 7.4.44. Let be the Fibonacci numbers, and work in .
- (a)Using Example 7.4.20, show that in for all .
- (b)Deduce that in for all , that is, the Fibonacci numbers modulo repeat with period dividing .
Uses. Example 7.4.20 (The Fibonacci matrix over several fields), Theorem 7.4.30 (Recurrences with distinct characteristic roots), Exercise 1.1.51
Techniques. Diagonalize, solve, conjugate back (Technique 7.4.22)
(a) In ,
(b) By Fermat’s little theorem (Exercise 1.1.51), in . So
Exercise 7.4.45. Find a closed formula for the sequence of real numbers with , , , and
Uses. Theorem 7.4.30 (Recurrences with distinct characteristic roots)
The characteristic polynomial is
Subtracting the first equation from the third gives , so ; then and , so . Hence . Check:
Exercise 7.4.46. Two quantities evolve by
- (a)Find in closed form in terms of .
- (b)Show that if are not both , then and both quantities eventually grow by about per step.
- (c)For which does ?
Uses. Proposition 7.4.33 (Long-run behavior), Theorem 7.4.2 (Diagonalizable means an eigenbasis)
Techniques. Diagonalize, solve, conjugate back (Technique 7.4.22)
(a) The system is with . Here
(b) If are not both , then
(c) If , the -coordinate is
Uses. Lemma 7.4.13 (Geometric multiplicity through a rank), Theorem 3.3.17 (Uniqueness of the reduced row echelon form), Theorem 7.4.16 (Criteria for diagonalizability), Example 3.5.3 (A rank that depends on the field)
Let be the distinct eigenvalues of over ; by hypothesis they are real, so they are also its eigenvalues over , and has no other real eigenvalues. For each , is a real matrix. Row reducing over produces a matrix in reduced row echelon form by a sequence of row operations with real scalars. The same operations are complex row operations, so this real matrix is also the RREF of over (Theorem 3.3.17). The rank is the number of pivots, so has the same rank over and over , and by Lemma 7.4.13,
Since is diagonalizable over ,
Uses. Proposition 7.2.28 (Polynomials act on eigenvectors by their values), Exercise 7.2.55, Theorem 7.4.16 (Criteria for diagonalizability), Proposition 7.4.7 (One eigenvalue), Proposition 4.5.27 (Similarity invariants), Proposition 5.4.17 (Similar matrices have equal determinants)
If with , then , so . For every ,
and
If only one of is an eigenvalue, then by Proposition 7.4.7. Otherwise
So the solutions are and the matrices with . Geometrically,
Exercise 7.4.49. Let
- (a)Show that is diagonalizable. (Use the Lagrange polynomials for the nodes : show that and that .)
- (b)Deduce that every with for some is diagonalizable over .
- (c)Let be prime. Deduce that every with is diagonalizable over .
Uses. Definition 3.4.26 (Lagrange polynomials), Proposition 3.4.27 (Lagrange’s formula), Proposition 7.2.27 (Evaluating polynomials at an operator), Theorem 7.1.20 (Factor theorem), Proposition 7.1.27 (Multiplicities add up to at most the degree), Corollary 7.2.23 (Eigenspaces are independent), Theorem 7.4.16 (Criteria for diagonalizability), Exercise 1.1.51, Proposition 7.1.34 (Roots of a split polynomial)
Techniques. Test an identity on eigenvectors (Technique 7.4.25)
(a) By Proposition 3.4.27 with all values , the unique polynomial of degree at most with value at every node is ; the constant is such a polynomial, so . Evaluating at (Proposition 7.2.27(a)),
Next, vanishes at the distinct nodes , , so by the factor theorem (applied times, as in Proposition 7.1.27) divides ; since ,
So
(b) The numbers , , are distinct roots of , so by Proposition 7.1.34 (or the factor theorem, repeatedly)
(c) By Fermat’s little theorem (Exercise 1.1.51), for in , so for every , including . So the distinct elements of are roots of , and as in (b),
Exercise 7.4.50. Let be diagonalizable with distinct eigenvalues , and let be a -invariant subspace. Show that
and deduce that the restriction of to is diagonalizable.
Uses. Definition 3.4.26 (Lagrange polynomials), Proposition 7.2.28 (Polynomials act on eigenvectors by their values), Proposition 7.2.27 (Evaluating polynomials at an operator), Theorem 7.4.16 (Criteria for diagonalizability), Corollary 7.2.23 (Eigenspaces are independent), Theorem 4.4.13 (Bases and dimension of a sum), Proposition 7.4.26 (Polynomials that kill a diagonalizable operator), Exercise 7.4.49
Techniques. Look for invariant subspaces among kernels and images of commuting operators (Technique 7.2.31)
First proof. Let be the Lagrange polynomials for the distinct nodes (Definition 3.4.26). Let . Since (Theorem 7.4.16), with , and by Proposition 7.2.28
Since is -invariant, it is -invariant (Proposition 7.2.27(d)), so
Second proof. By Proposition 7.4.26, for
Uses. Proposition 7.2.30 (Kernels and images of commuting operators are invariant), Exercise 7.4.50, Theorem 7.4.16 (Criteria for diagonalizability), Theorem 4.4.13 (Bases and dimension of a sum)
Techniques. Look for invariant subspaces among kernels and images of commuting operators (Technique 7.2.31)
Let be the distinct eigenvalues of , so that
The hypothesis is needed. If is a common eigenbasis, then and are diagonal, hence commute, so . Thus and , which are both diagonalizable (distinct eigenvalues) but do not commute (, ), have no common eigenbasis.
Uses. Exercise 7.4.49, Proposition 7.4.23 (Powers and polynomials of a diagonalizable matrix), Proposition 4.5.27 (Similarity invariants), Proposition 7.2.28 (Polynomials act on eigenvectors by their values)
Techniques. Diagonalize, solve, conjugate back (Technique 7.4.22), Test an identity on eigenvectors (Technique 7.4.25)
Since and
For , if and otherwise. So both sides count the nonzero , and .
Exercise 7.4.53. Let be a finite-dimensional complex vector space and . Show that is diagonalizable if and only if
Uses. Exercise 7.4.42, Proposition 4.4.16 (Complements exist), Definition 4.4.24 (Projection along a complement), Proposition 4.4.26 (Properties of projections), Theorem 7.3.27 (Existence of eigenvalues over ), Corollary 7.2.23 (Eigenspaces are independent), Theorem 7.4.16 (Criteria for diagonalizability)
Techniques. Extremal choice and minimal counterexamples (Technique 1.5.9)
Only if. If is an eigenbasis for , it is also one for , since gives
If. Let be the sum of the eigenspaces of ; it is the direct sum of the eigenspaces of the finitely many eigenvalues (Corollary 7.2.23). Suppose, for contradiction, that . Choose a complement , so and (Proposition 4.4.16), and let be the projection onto along (Definition 4.4.24). The map , , is an operator on the nonzero complex space , so it has an eigenvector (Theorem 7.3.27): for some . Since , this says , and since and fixes (Proposition 4.4.26(b)), . Write
the sum over the eigenvalues of . For ,
Then
The hypothesis is needed only for the one that the argument produces, but that is not known in advance. Over the statement fails: the rotation by a right angle has for every real and is not diagonalizable over .
More practice
The practice bank has 24 exercises on this section’s topics.