Linear-Algebra-Done-Right · Unit 11 · Video 2 · Interactive Practice
| Statement | Name | Hypotheses |
|---|---|---|
| eigenvalue not injective not surjective not invertible | Eigenvalue test | finite-dimensional, , |
| eigenvectors for | Eigenvectors: with | , an eigenvalue of |
| eigenvectors for distinct linearly independent | Independence of eigenvectors | ; need not be finite-dimensional |
| number of distinct eigenvalues of | Eigenvalue bound | finite-dimensional, |
Key Insight: The field decides existence, the dimension caps the count: has no eigenvalues over and the two eigenvalues over , the most any operator on a -dimensional space can have.
A nonzero is an eigenvector exactly when lands on the line .
is an eigenvalue exactly when flattens the unit square, sending some to .
💡 The equivalence of the four conditions needs : the backward shift on is surjective, yet is an eigenvalue with eigenvector .
Applying deletes the term and scales each other term by , nonzero when the eigenvalues are distinct.
Problem 1 · Test for Injectivity
Given: , . Find a for which is not injective, and an eigenvector for it.
For which is not injective?
Which vector is an eigenvector for that ?
Subtract times each coordinate:
Check the candidates. For : forces , then . For : forces , then . For : gives and , so . Each of these is injective, so none of is an eigenvalue.
For :
So : is not injective, and is an eigenvalue. The eigenvectors for are with . Check: .
(The other eigenvalue is , with eigenvectors , ; two eigenvalues on is the maximum.)
Problem 2 · A Scaled Rotation, Two Fields
Given: on . Find its eigenvalues when and when .
Eigenvalues over :
Eigenvalues over :
is an eigenvalue when has a solution with . Comparing coordinates:
If , the second equation gives , which is excluded; so . Substituting into the first equation:
Over : has no solution, so has no eigenvalues (geometrically, rotates by and doubles lengths, so is perpendicular to ).
Over : or . For : , eigenvector , and . For : eigenvector , and .
Problem 3 · Eigenvalues and an Eigenvector over
Given: on . Find its eigenvalues and an eigenvector for .
The eigenvalues of :
An eigenvector for :
Compare coordinates in with :
that is, and . If then , excluded, so . Substituting the second into the first:
For : , so the eigenvectors are with ; taking gives . Check:
For the same steps give and the eigenvector . Since , the list is linearly independent, a basis of .
Problem 4 · What Distinctness Buys
Given: is a -dimensional vector space over and . Which statement must be true?
(a) True. By the theorem, eigenvectors for distinct eigenvalues form a linearly independent list. A linearly independent list in whose length equals is a basis of , and here the length is .
(b) False. If with , then , so is also an eigenvector. The relation has the nonzero coefficients and , so the list is linearly dependent.
(c) False. The theorem gives at most distinct eigenvalues, not exactly . The identity operator has only the eigenvalue , since for every and with forces .
(d) False. This reverses the theorem. With , every nonzero vector is an eigenvector for , so a basis is a linearly independent list of eigenvectors whose eigenvalues are all equal.
Solved: 0 / 4