In this section we will look a little closer at the case of matrices in general. Since they are so small, it is possible to give general statements about their eigenvalues and eigenvectors. We will also make some remarks about the case when is a symmetric matrix.
First, we express the characteristic polynomial in terms of the determinant and the trace. Recall from Exercise 1.6.15 that the trace of a matrix (written ) equals the sum of the entries along its diagonal.
Let . The characteristic polynomial of is
Furthermore:
If , then has two distinct real eigenvalues.
If , then has a unique real eigenvalue.
If , then has no real eigenvalues.
Write in the form . To find the characteristic polynomial, we expand the following determinant:
Since and , the result follows.
For the statement about the number of real eigenvalues, recall that quadratic polynomials have real roots if and only if their discriminant is . In this case, the discriminant is . ∎
If we were also considering complex eigenvalues, instead of just the real eigenvalues, then the characteristic equation would always have solutions. More generally, the Fundamental Theorem of Algebra says that any non-constant polynomial has a complex root.
Let and suppose that is symmetric. Then, has at least one real eigenvalue. More specifically:
If has just one eigenvalue, then it is a scalar matrix (i.e. for some ).
If has two distinct eigenvalues, then the eigenspaces are two perpendicular lines that pass through the origin.
Since is symmetric, we can write it in the form for some . Then its characteristic polynomial has discriminant
Since are all real numbers, the discriminant is always , so there is always at least one real eigenvalue.
If there is only one eigenvalue, then , which is true if and only if ; in other words as required.
In the second case, we omit the proof that the eigenspaces are perpendicular lines. This is not hard to prove with the theory developed in MATH220. Thus, instead of a formal proof, we illustrate the theorem by examples. ∎
Example 7.3.4.
: We seek the reduced echelon form of , which is . Thus, the eigenvectors are all the non-zero vectors of the form with . That is, the eigenspace is
: The reduced echelon form of is . Thus, the eigenvectors are all the non-zero vectors of the form with . That is, the eigenspace is
Observe that is the line , whereas is the line . They are perpendicular to each other as expected from Theorem 7.3.3.