Linear-Algebra-Done-Right · Unit 11 · Video 2 · Interactive Practice

Eigenvectors, T − λI and At Most dim V Eigenvalues

IKey Formulas

StatementNameHypotheses
λ\lambda eigenvalue   ⟺  T−λI\iff T - \lambda I not injective   ⟺  \iff not surjective   ⟺  \iff not invertibleEigenvalue testVV finite-dimensional, T∈L(V)T \in \mathcal{L}(V), λ∈F\lambda \in \mathbf{F}
eigenvectors for λ\lambda =null⁡(T−λI)∖{0}= \operatorname{null}(T - \lambda I) \setminus \{0\}Eigenvectors: v≠0v \neq 0 with Tv=λvTv = \lambda vT∈L(V)T \in \mathcal{L}(V), λ\lambda an eigenvalue of TT
v1,…,vmv_1, \ldots, v_m eigenvectors for distinct λ1,…,λm\lambda_1, \ldots, \lambda_m ⇒\Rightarrow linearly independentIndependence of eigenvectorsT∈L(V)T \in \mathcal{L}(V); VV need not be finite-dimensional
number of distinct eigenvalues of TT ≤dim⁡V\leq \dim VEigenvalue boundVV finite-dimensional, T∈L(V)T \in \mathcal{L}(V)

Key Insight: The field decides existence, the dimension caps the count: T(w,z)=(−z,w)T(w, z) = (-z, w) has no eigenvalues over R\mathbf{R} and the two eigenvalues ±i\pm i over C\mathbf{C}, the most any operator on a 22-dimensional space can have.

IIIs TvTv on the Line Through vv?

A nonzero vv is an eigenvector exactly when TvTv lands on the line span⁡(v)\operatorname{span}(v).

IIIWhere T−λIT - \lambda I Stops Being Injective

λ\lambda is an eigenvalue exactly when T−λIT - \lambda I flattens the unit square, sending some v≠0v \neq 0 to 00.

💡 The equivalence of the four conditions needs dim⁡V<∞\dim V < \infty: the backward shift on F∞\mathbf{F}^\infty is surjective, yet 00 is an eigenvalue with eigenvector (1,0,0,…)(1, 0, 0, \ldots).

IVWhy Distinct Eigenvalues Force Independence

Applying T−λkIT - \lambda_k I deletes the vkv_k term and scales each other vjv_j term by λj−λk\lambda_j - \lambda_k, nonzero when the eigenvalues are distinct.

VQuiz Questions

Problem 1 · Test T−λIT - \lambda I for Injectivity

Given: T∈L(R2)T \in \mathcal{L}(\mathbf{R}^2), T(w,z)=(4w+2z, w+3z)T(w, z) = (4w + 2z,\ w + 3z). Find a λ\lambda for which T−λIT - \lambda I is not injective, and an eigenvector for it.

For which λ\lambda is T−λIT - \lambda I not injective?

Which vector is an eigenvector for that λ\lambda?

✅ Correct! (T−5I)(w,z)=(−w+2z, w−2z)(T - 5I)(w, z) = (-w + 2z,\ w - 2z) sends (2,1)(2, 1) to 00, so 55 is an eigenvalue and T(2,1)=(10,5)=5(2,1)T(2, 1) = (10, 5) = 5(2, 1).
❌ Not quite. The coefficients 44 and 33 in the formula are not automatically eigenvalues. For this λ\lambda, solving (T−λI)(w,z)=0(T - \lambda I)(w, z) = 0 gives only (0,0)(0, 0), so T−λIT - \lambda I is injective.
❌ Not quite. (T+2I)(w,z)=(6w+2z, w+5z)(T + 2I)(w, z) = (6w + 2z,\ w + 5z): the second coordinate gives w=−5zw = -5z, then the first gives −28z=0-28z = 0, so only (0,0)(0, 0) goes to 00 — injective.
❌ Not quite. Solve (T−λI)(w,z)=0(T - \lambda I)(w, z) = 0 for each candidate; λ\lambda qualifies only if a nonzero solution exists.
❌ Coordinates swapped. T(1,2)=(8,7)T(1, 2) = (8, 7), which is not a multiple of (1,2)(1, 2). The equation w−2z=0w - 2z = 0 gives w=2zw = 2z, so the first coordinate is twice the second.
❌ That eigenvector belongs to the other eigenvalue. T(1,−1)=(2,−2)=2(1,−1)T(1, -1) = (2, -2) = 2(1, -1): it is an eigenvector for 22, not for 55.
❌ Not quite. T(1,1)=(6,4)T(1, 1) = (6, 4) is not a multiple of (1,1)(1, 1), so (1,1)(1, 1) is not an eigenvector of TT at all.
❌ Not quite. An eigenvector for 55 is a nonzero vector in null⁡(T−5I)\operatorname{null}(T - 5I).
Show solution

Subtract λ\lambda times each coordinate:

(T−λI)(w,z)=((4−λ)w+2z, w+(3−λ)z).(T - \lambda I)(w, z) = \big((4 - \lambda)w + 2z,\ w + (3 - \lambda)z\big).

Check the candidates. For λ=3\lambda = 3: (w+2z, w)=0(w + 2z,\ w) = 0 forces w=0w = 0, then z=0z = 0. For λ=4\lambda = 4: (2z, w−z)=0(2z,\ w - z) = 0 forces z=0z = 0, then w=0w = 0. For λ=−2\lambda = -2: (6w+2z, w+5z)=0(6w + 2z,\ w + 5z) = 0 gives w=−5zw = -5z and −28z=0-28z = 0, so z=w=0z = w = 0. Each of these is injective, so none of 3,4,−23, 4, -2 is an eigenvalue.

For λ=5\lambda = 5:

(T−5I)(w,z)=(−w+2z, w−2z)=0  ⟺  w=2z.(T - 5I)(w, z) = (-w + 2z,\ w - 2z) = 0 \iff w = 2z.

So null⁡(T−5I)=span⁡((2,1))≠{0}\operatorname{null}(T - 5I) = \operatorname{span}\big((2, 1)\big) \neq \{0\}: T−5IT - 5I is not injective, and 55 is an eigenvalue. The eigenvectors for 55 are t(2,1)t(2, 1) with t≠0t \neq 0. Check: T(2,1)=(8+2, 2+3)=(10,5)=5(2,1)T(2, 1) = (8 + 2,\ 2 + 3) = (10, 5) = 5(2, 1).

(The other eigenvalue is 22, with eigenvectors t(1,−1)t(1, -1), t≠0t \neq 0; two eigenvalues on R2\mathbf{R}^2 is the maximum.)

Problem 2 · A Scaled Rotation, Two Fields

Given: T(w,z)=(−2z, 2w)T(w, z) = (-2z,\ 2w) on F2\mathbf{F}^2. Find its eigenvalues when F=R\mathbf{F} = \mathbf{R} and when F=C\mathbf{F} = \mathbf{C}.

Eigenvalues over R\mathbf{R}:

Eigenvalues over C\mathbf{C}:

✅ Correct! The coordinate equations force λ2=−4\lambda^2 = -4: no real solution, and λ=±2i\lambda = \pm 2i over C\mathbf{C}.
❌ Not quite. TT scales by 22 but also turns every arrow a quarter turn, so in R2\mathbf{R}^2 no TvTv with v≠0v \neq 0 lies on span⁡(v)\operatorname{span}(v). Algebraically, over either field: λ=2\lambda = 2 would need −2z=2w-2z = 2w and 2w=2z2w = 2z, and λ=−2\lambda = -2 would need −2z=−2w-2z = -2w and 2w=−2z2w = -2z; each pair forces w=z=0w = z = 0.
❌ Not quite. T−0I=TT - 0I = T, and T(w,z)=(−2z,2w)=0T(w, z) = (-2z, 2w) = 0 only for (0,0)(0, 0), so TT is injective and 00 is not an eigenvalue.
❌ The scale factor matters. T(1,−i)=(2i,2)T(1, -i) = (2i, 2), while i(1,−i)=(i,1)i(1, -i) = (i, 1). Solving gives λ2=−4\lambda^2 = -4, not λ2=−1\lambda^2 = -1.
❌ The field changed. Over C\mathbf{C} the equation λ2=−4\lambda^2 = -4 has solutions, so TT does have eigenvalues.
❌ Not quite. Write T(w,z)=λ(w,z)T(w, z) = \lambda(w, z) coordinate by coordinate and eliminate ww.
❌ Not quite. Write T(w,z)=λ(w,z)T(w, z) = \lambda(w, z) coordinate by coordinate and eliminate ww.
Show solution

λ\lambda is an eigenvalue when T(w,z)=λ(w,z)T(w, z) = \lambda(w, z) has a solution with (w,z)≠(0,0)(w, z) \neq (0, 0). Comparing coordinates:

−2z=λw,2w=λz.-2z = \lambda w, \qquad 2w = \lambda z.

If z=0z = 0, the second equation gives w=0w = 0, which is excluded; so z≠0z \neq 0. Substituting w=λ2zw = \tfrac{\lambda}{2} z into the first equation:

−2z=λ⋅λ2z  ⇒  λ2z=−4z  ⇒  λ2=−4.-2z = \lambda \cdot \tfrac{\lambda}{2} z \;\Rightarrow\; \lambda^2 z = -4z \;\Rightarrow\; \lambda^2 = -4.

Over R\mathbf{R}: λ2=−4\lambda^2 = -4 has no solution, so TT has no eigenvalues (geometrically, TT rotates by 90°90\degree and doubles lengths, so TvTv is perpendicular to vv).

Over C\mathbf{C}: λ=2i\lambda = 2i or λ=−2i\lambda = -2i. For λ=2i\lambda = 2i: z=2w2i=−iwz = \tfrac{2w}{2i} = -iw, eigenvector (1,−i)(1, -i), and T(1,−i)=(2i,2)=2i(1,−i)T(1, -i) = (2i, 2) = 2i(1, -i). For λ=−2i\lambda = -2i: eigenvector (1,i)(1, i), and T(1,i)=(−2i,2)=−2i(1,i)T(1, i) = (-2i, 2) = -2i(1, i).

Problem 3 · Eigenvalues and an Eigenvector over C\mathbf{C}

Given: T(w,z)=(w−z, w+z)T(w, z) = (w - z,\ w + z) on C2\mathbf{C}^2. Find its eigenvalues and an eigenvector for λ=1+i\lambda = 1 + i.

The eigenvalues of TT:

An eigenvector for λ=1+i\lambda = 1 + i:

✅ Correct! T(1,−i)=(1+i, 1−i)T(1, -i) = (1 + i,\ 1 - i) and (1+i)(1,−i)=(1+i, −i−i2)=(1+i, 1−i)(1 + i)(1, -i) = (1 + i,\ -i - i^2) = (1 + i,\ 1 - i).
❌ Not quite. Unlike (w,z)↦(−z,w)(w, z) \mapsto (-z, w), this TT also contains w↦ww \mapsto w in the first coordinate. The equations give (1−λ)w=z(1 - \lambda)w = z and w=(λ−1)zw = (\lambda - 1)z, so λ−1\lambda - 1, not λ\lambda, squares to −1-1.
❌ Not quite. TT stretches lengths by 2\sqrt{2}, but the eigenvalue equation is (λ−1)2=−1(\lambda - 1)^2 = -1, whose solutions are 1±i1 \pm i (each of absolute value 2\sqrt{2}).
❌ That is the answer over R\mathbf{R}. Here F=C\mathbf{F} = \mathbf{C}, and (λ−1)2=−1(\lambda - 1)^2 = -1 has two solutions.
❌ Not quite. Compare coordinates in T(w,z)=λ(w,z)T(w, z) = \lambda(w, z) and eliminate one variable.
❌ That eigenvector belongs to 1−i1 - i. T(1,i)=(1−i, 1+i)=(1−i)(1,i)T(1, i) = (1 - i,\ 1 + i) = (1 - i)(1, i).
❌ Not an eigenvector. Its image under TT is not a scalar multiple of it: T(1,1)=(0,2)T(1, 1) = (0, 2) and T(1+i,1)=(i, 2+i)T(1 + i, 1) = (i,\ 2 + i).
❌ Not quite. Solve the first coordinate of (T−(1+i)I)(w,z)=0(T - (1 + i)I)(w, z) = 0 for zz.
Show solution

Compare coordinates in T(w,z)=λ(w,z)T(w, z) = \lambda(w, z) with (w,z)≠(0,0)(w, z) \neq (0, 0):

w−z=λw,w+z=λz,w - z = \lambda w, \qquad w + z = \lambda z,

that is, z=(1−λ)wz = (1 - \lambda)w and w=(λ−1)zw = (\lambda - 1)z. If z=0z = 0 then w=0w = 0, excluded, so z≠0z \neq 0. Substituting the second into the first:

z=(1−λ)(λ−1)z=−(λ−1)2z  ⇒  (λ−1)2=−1  ⇒  λ=1±i.z = (1 - \lambda)(\lambda - 1)z = -(\lambda - 1)^2 z \;\Rightarrow\; (\lambda - 1)^2 = -1 \;\Rightarrow\; \lambda = 1 \pm i.

For λ=1+i\lambda = 1 + i: z=(1−λ)w=−iwz = (1 - \lambda)w = -iw, so the eigenvectors are (w,−iw)(w, -iw) with w≠0w \neq 0; taking w=1w = 1 gives (1,−i)(1, -i). Check:

T(1,−i)=(1+i, 1−i),(1+i)(1,−i)=(1+i, −i−i2)=(1+i, 1−i). ✓T(1, -i) = (1 + i,\ 1 - i), \qquad (1 + i)(1, -i) = (1 + i,\ -i - i^2) = (1 + i,\ 1 - i).\ \checkmark

For λ=1−i\lambda = 1 - i the same steps give z=iwz = iw and the eigenvector (1,i)(1, i). Since 1+i≠1−i1 + i \neq 1 - i, the list (1,−i),(1,i)(1, -i), (1, i) is linearly independent, a basis of C2\mathbf{C}^2.

Problem 4 · What Distinctness Buys

Given: VV is a 33-dimensional vector space over F\mathbf{F} and T∈L(V)T \in \mathcal{L}(V). Which statement must be true?

✅ Correct! Eigenvectors for distinct eigenvalues are linearly independent, and a linearly independent list of length dim⁡V=3\dim V = 3 is a basis.
❌ The word "distinct" matters. If vv is an eigenvector for λ\lambda, so is 2v2v, and the list v,2vv, 2v is linearly dependent.
❌ The bound is an upper bound. At most dim⁡V=3\dim V = 3; the identity operator II has the single eigenvalue 11.
❌ That is the converse, and it fails. For T=IT = I, any basis v1,v2,v3v_1, v_2, v_3 is an independent list of eigenvectors, all for the eigenvalue 11.
Show solution

(a) True. By the theorem, eigenvectors v1,v2,v3v_1, v_2, v_3 for distinct eigenvalues form a linearly independent list. A linearly independent list in VV whose length equals dim⁡V\dim V is a basis of VV, and here the length is 3=dim⁡V3 = \dim V.

(b) False. If Tv=λvTv = \lambda v with v≠0v \neq 0, then T(2v)=λ(2v)T(2v) = \lambda(2v), so 2v2v is also an eigenvector. The relation 2⋅v+(−1)⋅(2v)=02 \cdot v + (-1) \cdot (2v) = 0 has the nonzero coefficients 22 and −1-1, so the list v,2vv, 2v is linearly dependent.

(c) False. The theorem gives at most dim⁡V=3\dim V = 3 distinct eigenvalues, not exactly 33. The identity operator has only the eigenvalue 11, since Iv=vIv = v for every vv and Iv=λvIv = \lambda v with v≠0v \neq 0 forces λ=1\lambda = 1.

(d) False. This reverses the theorem. With T=IT = I, every nonzero vector is an eigenvector for 11, so a basis v1,v2,v3v_1, v_2, v_3 is a linearly independent list of eigenvectors whose eigenvalues are all equal.

Solved: 0 / 4