Eigenvectors and Eigenvalues
An eigenvector of a square matrix is a nonzero vector the matrix only stretches; its eigenvalue is the stretch factor. The eigenspace of an eigenvalue is the null space of A minus lambda times the identity, the eigenvalues of a triangular matrix are its diagonal entries, and eigenvectors for distinct eigenvalues are linearly independent.
╌╌╌╌
Multiplication by a square matrix moves most vectors in some new direction. For a few special nonzero vectors the direction does not change at all: only lengthens or shortens them, possibly reversing their sign. These are the eigenvectors of .
Two asymmetries in the definition matter. An eigenvector must be nonzero, since holds for every and would make the notion vacuous. An eigenvalue, on the other hand, is allowed to be ; the number is an eigenvalue of exactly when has a nontrivial null space.
Testing a vector and testing a scalar
Deciding whether a given vector is an eigenvector, or whether a given number is an eigenvalue, needs no special theory. Both reduce to a single matrix product or a single homogeneous system.
- Is an eigenvector? Compute and check whether it is a scalar multiple of .
- Is an eigenvalue? Check whether has a nontrivial solution, since is equivalent to . This holds precisely when is singular.
The eigenspace
The set of solutions of is the null space of , a subspace of . When is an eigenvalue this subspace has more than just the zero vector in it.
For the matrix , the eigenspace for is the line through , and the eigenspace for is the line through . On the first line acts as multiplication by ; on the second, as multiplication by . Each eigenspace is an invariant line: maps it into itself.
Eigenspaces can be more than one-dimensional.
Eigenvalues of a triangular matrix
For most matrices, finding eigenvalues means solving the characteristic equation, a polynomial equation in . Triangular matrices are the one large family where the answer is immediate.
The reason is transparent from the structure of . If is upper triangular, then
and this matrix has a free variable (so has a nontrivial solution) exactly when one of the diagonal entries is zero, that is, when equals one of .
For example, the matrices
have eigenvalues and respectively, read straight off their diagonals. Note that has as an eigenvalue, consistent with being singular.
Independence of eigenvectors
Eigenvectors belonging to different eigenvalues cannot combine trivially, so distinct eigenvalues supply independent directions.
A useful consequence: an matrix has at most distinct eigenvalues, because more than eigenvectors for distinct eigenvalues would be an independent set of more than vectors in , which is impossible.
Eigenvectors and difference equations
The reason eigenvalues govern long-term behavior appears already in a first-order difference equation
Here is a sequence of vectors in produced by applying repeatedly. A solution is an explicit formula for that does not require computing the earlier terms. If happens to be an eigenvector with eigenvalue , one solution is immediate:
since . The dynamics along an eigenspace are pure geometric growth or decay at rate . Linear combinations of such solutions are again solutions, so once is written in an eigenvector basis the whole trajectory decouples into independent scalar sequences. The same construction underlies difference equations and Markov chains and the classification of dynamical systems.
Summary
| Question | Reduces to | Tool |
|---|---|---|
| Is an eigenvector? | Is a multiple of ? | one matrix product |
| Is an eigenvalue? | Is singular? | test |
| Find eigenvectors for known | Solve | row reduction |
| Eigenvalues of a triangular matrix | Read the diagonal | none |
| Eigenvalue present? | Is singular? | invertibility test |
Finding the eigenvalues of a general (non-triangular) matrix requires turning into a polynomial equation, the characteristic equation.1
Footnotes
- Lay, Linear Algebra and Its Applications, 5th ed., §5.1 — Eigenvectors and Eigenvalues: the definitions, the eigenspace as the null space of , Theorem 1 on triangular matrices, and Theorem 2 on independence of eigenvectors for distinct eigenvalues. ↩
╌╌ END ╌╌