The directions that refuse to turn
A matrix is a machine that eats a vector and spits out another. For a typical input , the output points somewhere new. But ask: are there directions that leaves pointing the same way, only longer or shorter? A direction where the output is just a scaled copy of the input:
When this holds, is an eigenvector of and the scalar is its eigenvalue ("eigen" is German for "own" — these are the matrix's own directions). The condition is non-negotiable: holds trivially for every , so the zero vector would tell us nothing. Eigenvectors are nonzero by decree.
Geometrically, eigenvectors are the axes the transformation is built around. Drag a direction and watch where sends it — the eigendirections are the ones where the output arrow stays collinear with the input, glowing when you hit them:
These special directions are the map's skeleton — its actual identity, buried under all that matrix arithmetic. Everything else does is just a blend of stretching along them.
Finding the eigenvalues:
How do we hunt down the ? Rearrange the defining equation. becomes , and writing (so we can factor a matrix out):
Now think about what this demands. We need a nonzero killed by the matrix . A matrix has a nonzero vector in its kernel exactly when it is not invertible — when it squashes some direction to zero. And from Determinants, a matrix is non-invertible precisely when its determinant is zero. So:
That's the whole derivation, and I'll be damned if it isn't beautiful: the determinant is a squash-detector, and an eigenvalue is exactly a that makes squash. The expression
is the characteristic polynomial. For a matrix ,
Notice the coefficients are old friends: and . So . Set it to zero, solve the quadratic, and out fall the eigenvalues.
Finding the eigenvectors: the null space of
Once you have an eigenvalue , plug it back in and find the nonzero with . That's just finding the kernel (null space) of the matrix — a homogeneous system you already know how to solve from Gaussian Elimination.
The full set of solutions, , is called the eigenspace of . It's a subspace (kernels always are — proved back in Linear Maps), so it's closed under scaling and addition: if is an eigenvector, so is and so is . Eigenvectors come in entire lines (or planes), never as lone points. By convention we report one clean representative — pick any nonzero specimen from the eigenspace and you're done.
When there are no real eigenvectors: rotation
Here's the twist that exposes what eigenvalues really mean, and it's the kind of thing that should shake you. Take the rotation
Its characteristic polynomial is . Set it to zero: . No real solutions. And of course not — geometrically, a rotation turns every direction off its line. There is no direction it merely stretches, because it rotates everything. The algebra (no real roots) and the geometry (nothing stays put) are saying the identical thing. This is why "no real eigenvalues" isn't a failure — it's a rotation confessing its nature. (Over the complex numbers appear, which is exactly how rotation hides inside the imaginary unit, but real eigenvectors genuinely don't exist here.)
Distinct eigenvalues force independence
One structural fact we'll lean on hard in the next two lessons. Eigenvectors belonging to distinct eigenvalues are linearly independent. Let me prove it for two.
Suppose and with , both eigenvectors nonzero. Assume a dependence:
c_1 v_1 + c_2 v_2 = 0. \tag{1}
Apply to both sides: . Now also multiply (1) by : . Subtract:
Since and , we're forced to . Plug back into (1): , and forces too. The only dependence is the trivial one — they're independent. (The general statement: eigenvectors from distinct eigenvalues are always independent; same trick, induction.)
This is the seed of the next lesson. Distinct eigenvalues hand you a basis of eigenvectors for free, and a basis of eigenvectors is the magic grid in which the matrix goes diagonal. File it away — it fucking detonates immediately. Go do the gauntlet, you beautiful disaster.