Lecture 4
Spectral theory: stationary vectors, eigenvalues, eigenspaces, and linear independence.
Spectral Theory
We will start this section with motivating what spectral theory is.
Note (Reminder: what we are looking for)
A matrix usually changes a vector’s direction as well as its length. Spectral theory looks for nonzero vectors that the matrix only scales:
When , the vector stays exactly the same. This is the case we will start with.
A stationary vector
Let
be a Markov matrix. Determine a stationary vector
such that .
Note (Reminder: a probability vector)
Here we use column vectors, so the entries in each column of add up to . The entries of describe how the total probability is split between two states.
The equation means that this split stays the same after one step. An eigenvector can be scaled, but a probability vector also needs nonnegative entries that add up to .
Solution
Let
A stationary vector satisfies . Since ,
Now,
So,
We normalize using :
This gives
The stationary vector is
Note (Reminder: scaling the matrix)
We multiplied by to avoid fractions. The vector stays the same, but its eigenvalue changes: becomes . That is why we subtract from , rather than .
Here is the identity matrix. The row operation above is , and the symbol means that the matrices are row-equivalent.
Remarks
-
The equation
is the eigenvalue equation with .
-
We have
which is a homogeneous system of linear equations.
-
The eigenspace corresponding to is
Eigenvectors, eigenvalues, and eigenspaces
Definition
Let be a vector space over the field , and let
-
A nonzero vector is called an eigenvector of if there exists a scalar such that
-
The scalar is called an eigenvalue of if there exists a nonzero vector satisfying
-
The eigenspace corresponding to is
If is an eigenvalue, then consists of the zero vector together with all eigenvectors corresponding to .
Note (Reminder: the notation)
means the set of linear maps from to itself. We need the same space on both sides because is being compared with a multiple of .
The identity map satisfies , so
This is why finding eigenvectors for a given is a kernel problem. The kernel is a subspace, so it includes even though is not an eigenvector.
Note (The zero vector)
The zero vector is not an eigenvector. Indeed,
So, the equation only defines an eigenvector when .
The number can still be an eigenvalue. This happens when for some nonzero vector .
Eigenvectors with distinct eigenvalues
Theorem
Let be a vector space over , and let
Suppose that are eigenvectors of corresponding to distinct eigenvalues . Then
is linearly independent.
Note (Reminder: what we need to prove)
Linear independence means that
can only happen when every coefficient is zero. We will start with a relation like this and show that all the coefficients have to be zero.
Proof
We prove the statement by induction on .
For , the set consists of a single eigenvector . By definition, , and therefore is linearly independent.
Now assume that any eigenvectors corresponding to distinct eigenvalues are linearly independent. Let
be eigenvectors corresponding to the distinct eigenvalues
Suppose that
Applying to both sides gives
Multiplying the original equation by gives
Subtracting this equation from the previous one gives
Note (Reminder: why we subtract)
The terms cancel. We now have a relation involving only : exactly eigenvectors with distinct eigenvalues. This lets us use the induction hypothesis.
Their coefficients in this new relation are , rather than just .
By the induction hypothesis, the vectors
are linearly independent. Therefore,
Since the eigenvalues are distinct,
and so
Substituting this into the original equation gives
Since , it follows that . All coefficients are zero, so are linearly independent.