Eigenvalues, Eigenvectors, and Diagonalization
For a square matrix , an eigenvector satisfies for a scalar eigenvalue — acts on by pure scaling. Diagonalization writes when enough independent eigenvectors exist, turning matrix powers and exponentials into trivial scalar operations. Applies everywhere: differential equations, quantum mechanics, vibrations, PageRank, principal component analysis. Foundational result of linear algebra, crystallized in the 18th–20th centuries.
A matrix is a verb — it transforms vectors. Eigenvectors are the directions on which that verb degenerates into multiplication by a number. If you change to a basis built from eigenvectors, the tangled action of unravels into independent one-dimensional scalings. Diagonalization is a change of viewpoint: the same operator looks like a diagonal matrix when you stand on its natural axes.
Formal Statement
Let be an matrix over a field (typically or ). A scalar is an eigenvalue of if there exists a nonzero vector , the eigenvector, such that
Derivation hint: this is the defining equation; the nonzero requirement excludes the trivial which holds for every . Symbols: = the operator (); = eigenvector (nonzero column); = eigenvalue (scalar); = dimension; = scalar field.
Rearranging [1] gives . A nonzero solution exists iff is singular, i.e.
Derivation hint: a homogeneous system has a nontrivial solution iff ; set . is the characteristic polynomial, a degree- polynomial in . Its roots are exactly the eigenvalues. The eigenspace for is
Derivation hint: collect all eigenvectors for one together with ; this kernel is a subspace because it is a null space. a subspace of whose nonzero members are the eigenvectors. The dimension is the geometric multiplicity; the multiplicity of as a root of is the algebraic multiplicity.
An matrix is diagonalizable over iff it has linearly independent eigenvectors. Equivalently, is diagonalizable iff for every eigenvalue the geometric multiplicity equals the algebraic multiplicity and splits into linear factors over . When this holds,
Derivation hint: place eigenvectors as columns of ; then column-by-column from , and invert . where the columns of are the eigenvectors and the diagonal entries of are the corresponding eigenvalues in matching order.
If is real and symmetric (), then all eigenvalues are real and there exists an orthonormal basis of eigenvectors. Hence
Derivation hint: symmetry forces real eigenvalues and orthogonality of eigenvectors from distinct eigenvalues; Gram–Schmidt handles repeated ones. with orthogonal and real diagonal. Such matrices are always diagonalizable.
Why It Holds / Derivation
Step 1. Suppose has independent eigenvectors with . Form . Then
Derivation hint: matrix–matrix product acts column-by-column; substitute each eigen-relation.
Step 2. Since the are independent, is invertible, so right-multiply by :
Derivation hint: from , multiply both sides on the right by .
Step 3 (converse). If with diagonal, then ; reading column gives , so each column of is an eigenvector, and invertibility of makes them independent.
∎Step 1. Suppose are eigenvectors with distinct eigenvalues , and assume a dependence with not all zero; take the shortest such relation.
Step 2. Apply and also multiply the relation by :
Derivation hint: scales each by ; the second equation is the original times the scalar .
Step 3. Subtract:
Derivation hint: the term cancels because . This is a shorter relation. By minimality each ; distinctness gives , so for , then forces . Contradiction.
∎In 1925 Heisenberg reformulated quantum mechanics using arrays of numbers obeying non-commutative multiplication — what Born and Jordan recognized as matrices. Observables became Hermitian matrices, and the measurable values of a quantity are precisely its eigenvalues; the state collapses onto the corresponding eigenvector. The spectral theorem thus became the mathematical backbone of physical measurement, making eigenvalues among the most physically consequential objects in all of science.
Building Intuition
Picture as a rubber-sheet deformation of the plane. Most arrows you draw get both rotated and stretched. But a few special arrows only stretch — they don't swing. Those are eigenvectors; the stretch factor is the eigenvalue. A negative eigenvalue flips the arrow; stretches; shrinks; collapses the direction entirely (so is singular). In the eigenvector basis the deformation is just "stretch axis 1 by , axis 2 by " — independent one-dimensional scalings, no coupling. Diagonalization is literally the act of tilting your head until the deformation looks like simple axis-aligned stretching.
Worked Examples
Given: .
Step 1 — characteristic polynomial.
Derivation hint: expand the determinant .
Step 2 — eigenvalues. , so .
Step 3 — eigenvectors. For : , giving . For : , giving .
Step 4 — assemble.
Derivation hint: columns of are eigenvectors in the same order as the diagonal of .
Given: the same ; compute acting on .
Step 1 — power rule. Since ,
Derivation hint: ; inner telescope to .
Step 2 — coordinates. Write in the eigenbasis: solve . .
Step 3 — scale and recombine.
Derivation hint: each eigen-component is just multiplied by — that is the whole point of diagonalization.
Common Misconceptions
Distinct eigenvalues are sufficient but NOT necessary for diagonalizability. If an matrix has distinct eigenvalues it is diagonalizable — but a matrix with repeated eigenvalues can still be diagonalizable (the identity matrix has repeated times and is already diagonal). Repeated eigenvalues only threaten diagonalizability; they don't forbid it. Always check whether geometric multiplicity equals algebraic multiplicity.
Eigenvectors are not unique, but eigenvalues are. Any nonzero scalar multiple of an eigenvector is again an eigenvector for the same (the whole line — eigenspace — qualifies). So "the eigenvector" is loose language; normalize () if you need a canonical choice. Also: a eigenvalue is perfectly legitimate (it means is singular), but the zero vector is never an eigenvector.
The shear has characteristic polynomial , so with algebraic multiplicity 2. But
Derivation hint: the only solutions of are multiples of — a single eigenvector direction. Geometric multiplicity 1 algebraic multiplicity 2, so there is no basis of eigenvectors and is not diagonalizable. Such "defective" matrices require the Jordan Canonical Form instead.
Connections
Eigen-theory threads through the entire subject. The Characteristic Polynomial packages eigenvalues as its roots, and the Cayley–Hamilton Theorem says every matrix satisfies its own characteristic equation. The Determinant equals the product of eigenvalues and the Trace equals their sum — instant sanity checks. For non-diagonalizable matrices the Jordan Canonical Form is the nearest substitute, while the Singular Value Decomposition generalizes the spectral theorem to any (even rectangular) matrix. Diagonalization is the engine behind Systems of Linear Differential Equations and the Matrix Exponential.
Real-World Applications
Historical Development
Subtleties & Limits
Practical eigenvalue computation is delicate. Eigenvalues can be ill-conditioned: tiny perturbations to a non-normal matrix can move them enormously (the field of pseudospectra studies this), so naively rooting the characteristic polynomial is numerically disastrous — never do it for large . The general degree- characteristic polynomial has no radical formula (Abel–Ruffini), so all robust eigenvalue methods are iterative (QR, Lanczos, Arnoldi). For very large sparse matrices, computing the full spectrum is infeasible and one settles for a few extremal eigenvalues; efficient, accurate algorithms for clustered or nearly-defective spectra remain an active research frontier in numerical linear algebra.
See Also
Characteristic Polynomial · Cayley–Hamilton Theorem · Spectral Theorem · Jordan Canonical Form · Singular Value Decomposition · Matrix Exponential · Markov Chains · Principal Component Analysis · Quadratic Forms and Definiteness