Eigenvalue and Eigenvector
An eigenvector of a linear transformation is a nonzero vector whose direction is preserved by : the output is a scalar multiple of . The corresponding scalar is the eigenvalue. Eigenvalues reveal the intrinsic scaling behavior of a linear map, independent of any choice of basis.
Definition
Let be a vector space over a field , and let be a linear transformation. A scalar is an eigenvalue of if there exists a nonzero vector such that:
Such a vector is called an eigenvector of corresponding to the eigenvalue .
For a matrix , this becomes , or equivalently with .
The eigenspace of corresponding to an eigenvalue is:
This is a subspace of (it always contains the zero vector). The dimension is the geometric multiplicity of .
Let . To find eigenvalues, solve :
So and .
For : gives , so .
For : gives , so .
The rotation by in : .
The characteristic polynomial is , with discriminant .
- For : the discriminant is negative, so there are no real eigenvalues. Over , the eigenvalues are .
- For : (double), every nonzero vector is an eigenvector.
- For : (double), .
Eigenvalues of specific transformations
If , then the eigenvalues are exactly , with eigenvectors (the standard basis vectors).
For : eigenvalues with eigenvectors , , .
If is upper (or lower) triangular, the eigenvalues are the diagonal entries. This follows from being the product of the diagonal entries of .
For : eigenvalues are .
Let be a projection onto a subspace along a complement (so and , ). Then:
- : eigenspace is (everything in is fixed by ).
- : eigenspace is (everything in is killed by ).
- These are the only eigenvalues, since implies , so .
A linear map is nilpotent if for some . If with , then , so , hence .
The only eigenvalue of a nilpotent operator is . For example, has , eigenvalue with eigenspace (geometric multiplicity , algebraic multiplicity ).
Key properties
Eigenvectors corresponding to distinct eigenvalues are linearly independent. That is, if are distinct eigenvalues of with eigenvectors , then are linearly independent.
Base case : a single eigenvector is nonzero, hence linearly independent.
Inductive step: suppose . Apply : . Subtract times the original: . By the inductive hypothesis, for . Since , we get . Then gives .
Let . The eigenvalues (diagonal of a triangular matrix) are .
Computing eigenvectors: for ; for ; for .
These three eigenvectors are linearly independent (they form a basis of ), confirming the theorem.
Spectrum and trace/determinant relations
The spectrum of (or of the matrix ) is the set of all eigenvalues:
If has eigenvalues (counted with algebraic multiplicity, over the algebraic closure of ), then:
For : , .
Characteristic polynomial: , so .
Check: and .
For : eigenvalues .
, .
Eigenvalues of special matrices
implies , so .
For : eigenvalues . For : eigenvalues (check: , ).
implies , so .
For (permutation matrix): , eigenvalues , eigenvectors and .
A (right) stochastic matrix has nonnegative entries with each row summing to . Then where ... actually, for a right stochastic matrix, columns sum to , so . For a left stochastic matrix (rows sum to ): , so is always an eigenvalue with eigenvector .
For : eigenvalues (with eigenvector after scaling) and .
Eigenvalues under matrix operations
Let have eigenvalue with eigenvector . Then:
- has eigenvalue with eigenvector (for any ).
- has eigenvalue with eigenvector .
- If is invertible, has eigenvalue with eigenvector .
- has eigenvalue for any polynomial .
Let with eigenvalues .
For : has eigenvalues and . Indeed, (this is the Cayley--Hamilton theorem in action).
For : has eigenvalues and .
Geometric and algebraic multiplicity
For an eigenvalue of :
- The algebraic multiplicity is the multiplicity of as a root of the characteristic polynomial.
- The geometric multiplicity .
Always: .
has characteristic polynomial , so with .
But , so , giving .
This matrix is called defective: it cannot be diagonalized because there are not enough linearly independent eigenvectors.
has with and (every nonzero vector is an eigenvector). This matrix is diagonalizable (it is already diagonal).
Summary
Eigenvalues encode essential information about a linear transformation:
- The trace is the sum of eigenvalues, the determinant is the product.
- Invertibility: is invertible iff .
- Nilpotence: is nilpotent iff .
- The gap between geometric and algebraic multiplicity measures the "defect" of the transformation -- the failure to be diagonalizable.
- Eigenvectors for distinct eigenvalues are always linearly independent, which is the foundation for diagonalization.