Okay, I’m back in Kentucky, and things should get back up to speed. For the near future I’ll be talking more about linear endomorphisms — transformations from a vector space to itself.
The absolute simplest thing that a linear transformation can do to a vector is to kill it off entirely. That is, given a linear transformation , it’s possible that for some vectors . This is just what we mean by saying that is in the kernel . We’ve seen before that the vectors in the kernel form a subspace of
What other simple things could do to the vector ? One possibility is that does nothing to at all. That is, . We can call this vector a “fixed point” of the transformation . Notice that if is a fixed point, then so is any scalar multiple of . Indeed, by the linearity of . Similarly, if and are both fixed points, then . Thus the fixed points of also form a subspace of .
What else could happen? Well, notice that the two above cases are related. The condition that is in the kernel can be written . The condition that it’s a fixed point can be written . Each one says that the action of on is to multiply it by some fixed scalar. Let’s change that scalar and see what happens.
We’re now considering a linear transformation and a vector so that for some scalar . That is, hasn’t changed the direction of , but only its length. We call such a vector an “eigenvector” of , and the corresponding scalar its “eigenvalue”. In contexts where our vector space is a space of functions, it’s common (especially among quantum physicists) to use the term “eigenfunction” instead of eigenvector, and even weirder applications of the “eigen-” prefix, but these are almost always just special cases of eigenvectors.
Now it turns out that the eigenvectors associated to any particular eigenvalue form a subspace of . If we assume that and are both eigenvectors with eigenvalue , and that is another scalar, then we can check
We call the subspace of eigenvectors with eigenvalue the -eigenspace of . Notice here that the -eigenspace is the kernel of , and the -eigenspace is the subspace of fixed points. The eigenspace makes sense for all scalars , but any given eigenspace might be trivial, just as the transformation might have a trivial kernel.
Now, all of this is basically definitional. What’s surprising is how much of the behavior of any linear transformation is caught up in the behavior of its eigenvalues. We’ll see this more and more as we go further.