Chapter 5

Eigenvalues and Eigenvectors

[119/0%]
Show
LaTeX
Problem 5A.1

Suppose T∈L(V)T \in \mathcal{L}(V) and UU is a subspace of VV.

?
(a)

Prove that if U⊆null⁡TU \subseteq \operatorname {null}T, then UU is invariant under TT.

(b)

Prove that if range T⊆UT \subseteq U, then UU is invariant under TT.

Problem 5A.2

Suppose that T∈L(V)T \in \mathcal{L}(V) and V1,…,VmV_{1}, \ldots , V_{m} are subspaces of VV invariant under TT. Prove that V1+⋯+VmV_{1}+\cdots +V_{m} is invariant under TT.

?
Problem 5A.3

Suppose T∈L(V)T \in \mathcal{L}(V). Prove that the intersection of every collection of subspaces of VV invariant under TT is invariant under TT.

?
Problem 5A.4

Prove or give a counterexample: If VV is finite-dimensional and UU is a subspace of VV that is invariant under every operator on VV, then U={0}U = \left\{ 0\right\} or U=VU = V.

?
Problem 5A.5

Suppose T∈L(R2)T \in \mathcal{L}\left(\mathbb {R}^{2}\right) is defined by T(x,y)=(−3y,x)T(x, y) = (-3 y, x). Find the eigenvalues of TT.

?
Problem 5A.6

Define T∈L(F2)T \in \mathcal{L}\left(\mathbf{F}^{2}\right) by T(w,z)=(z,w)T(w, z) = (z, w). Find all eigenvalues and eigenvectors of TT.

?
Problem 5A.7

Define T∈L(F3)T \in \mathcal{L}\left(\mathbf{F}^{3}\right) by T(z1,z2,z3)=(2z2,0,5z3)T\left(z_{1}, z_{2}, z_{3}\right) = \left(2 z_{2}, 0,5 z_{3}\right). Find all eigenvalues and eigenvectors of TT.

?
Problem 5A.8

Suppose P∈L(V)P \in \mathcal{L}(V) is such that P2=PP^{2} = P. Prove that if λ\lambda is an eigenvalue of PP, then λ=0\lambda = 0 or λ=1\lambda = 1.

?
Problem 5A.9

Define T:P(R)→P(R)T: \mathcal{P}(\mathbb {R}) \rightarrow \mathcal{P}(\mathbb {R}) by Tp=p′T p = p^{\prime }. Find all eigenvalues and eigenvectors of TT.

?
Problem 5A.10

Define T∈L(P4(R))T \in \mathcal{L}\left(\mathcal{P}_{4}(\mathbb {R})\right) by (Tp)(x)=xp′(x)(T p)(x) = x p^{\prime }(x) for all x∈Rx \in \mathbb {R}. Find all eigenvalues and eigenvectors of TT.

?
Problem 5A.11

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and α∈F\alpha \in \mathbf{F}. Prove that there exists δ>0\delta > 0 such that T−λIT-\lambda I is invertible for all λ∈F\lambda \in \mathbf{F} such that 0<∣α−λ∣<δ0 < \left|\alpha -\lambda \right| < \delta.

?
Problem 5A.12

Suppose V=U⊕WV = U \oplus W, where UU and WW are nonzero subspaces of VV. Define P∈L(V)P \in \mathcal{L}(V) by P(u+w)=uP(u+w) = u for each u∈Uu \in U and each w∈Ww \in W. Find all eigenvalues and eigenvectors of PP.

?
Problem 5A.13

Suppose T∈L(V)T \in \mathcal{L}(V). Suppose S∈L(V)S \in \mathcal{L}(V) is invertible.

?
(a)

Prove that TT and S−1TSS^{-1} T S have the same eigenvalues.

(b)

What is the relationship between the eigenvectors of TT and the eigenvectors of S−1TSS^{-1} T S?

Problem 5A.14

Give an example of an operator on R4\mathbb {R}^{4} that has no (real) eigenvalues.

?
Problem 5A.15

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and λ∈F\lambda \in \mathbf{F}. Show that λ\lambda is an eigenvalue of TT if and only if λ\lambda is an eigenvalue of the dual operator T′∈L(V′)T^{\prime } \in \mathcal{L}\left(V^{\prime }\right).

?
Problem 5A.16

Suppose v1,…,vnv_{1}, \ldots , v_{n} is a basis of VV and T∈L(V)T \in \mathcal{L}(V). Prove that if λ\lambda is an eigenvalue of TT, then

∣λ∣≤nmax⁡{∣M(T)j,k∣:1≤j,k≤n}, \left|\lambda \right| \leq n \max \left\{ \left|\mathcal{M}(T)_{j, k}\right|: 1 \leq j, k \leq n\right\} ,

where M(T)j,k\mathcal{M}(T)_{j, k} denotes the entry in row jj, column kk of the matrix of TT with respect to the basis v1,…,vnv_{1}, \ldots , v_{n}.

?
Remark.
?

See Exercise 19 in Section 6A for a different bound on ∣λ∣\left|\lambda \right|.

Problem 5A.17

Suppose F=R,T∈L(V)\mathbf{F} = \mathbb {R}, T \in \mathcal{L}(V), and λ∈R\lambda \in \mathbb {R}. Prove that λ\lambda is an eigenvalue of TT if and only if λ\lambda is an eigenvalue of the complexification TCT_{\mathrm{C}}.

?
Remark.
?

The complexification TCT_{\mathrm{C}} was defined in Exercise 33 in Section 3B: suppose VV is a real vector space and T∈L(V)T \in \mathcal{L}(V); the complexification TC:VC→VCT_{\mathrm{C}}: V_{\mathrm{C}} \rightarrow V_{\mathrm{C}} is defined by TC(u+iv)=Tu+iTvT_{\mathrm{C}}(u+iv) = Tu+iTv for all u,v∈Vu, v \in V, where VCV_{\mathrm{C}} is the complexification of VV from Exercise 8 in Section 1B.

Problem 5A.18

Suppose F=R,T∈L(V)\mathbf{F} = \mathbb {R}, T \in \mathcal{L}(V), and λ∈C\lambda \in \mathbb {C}. Prove that λ\lambda is an eigenvalue of the complexification TCT_{\mathrm{C}} if and only if λˉ\bar{\lambda } is an eigenvalue of TCT_{\mathrm{C}}.

?
Remark.
?

The complexification TCT_{\mathrm{C}} was defined in Exercise 33 in Section 3B: suppose VV is a real vector space and T∈L(V)T \in \mathcal{L}(V); the complexification TC:VC→VCT_{\mathrm{C}}: V_{\mathrm{C}} \rightarrow V_{\mathrm{C}} is defined by TC(u+iv)=Tu+iTvT_{\mathrm{C}}(u+iv) = Tu+iTv for all u,v∈Vu, v \in V, where VCV_{\mathrm{C}} is the complexification of VV from Exercise 8 in Section 1B.

Problem 5A.19

Show that the forward shift operator T∈L(F∞)T \in \mathcal{L}\left(\mathbf{F}^{\infty }\right) defined by

T(z1,z2,…)=(0,z1,z2,…) T\left(z_{1}, z_{2}, \ldots \right) = \left(0, z_{1}, z_{2}, \ldots \right)

has no eigenvalues.

?
Problem 5A.20

Define the backward shift operator S∈L(F∞)S \in \mathcal{L}\left(\mathbf{F}^{\infty }\right) by

S(z1,z2,z3,…)=(z2,z3,…). S\left(z_{1}, z_{2}, z_{3}, \ldots \right) = \left(z_{2}, z_{3}, \ldots \right).
?
(a)

Show that every element of F\mathbf{F} is an eigenvalue of SS.

(b)

Find all eigenvectors of SS.

Problem 5A.21

Suppose T∈L(V)T \in \mathcal{L}(V) is invertible.

?
(a)

Suppose λ∈F\lambda \in \mathbf{F} with λ≠0\lambda \neq 0. Prove that λ\lambda is an eigenvalue of TT if and only if 1λ\frac{1}{\lambda } is an eigenvalue of T−1T^{-1}.

(b)

Prove that TT and T−1T^{-1} have the same eigenvectors.

Problem 5A.22

Suppose T∈L(V)T \in \mathcal{L}(V) and there exist nonzero vectors uu and ww in VV such that

Tu=3w and Tw=3u T u = 3 w \quad \text{ and } \quad T w = 3 u

Prove that 3 or -3 is an eigenvalue of TT.

?
Problem 5A.23

Suppose VV is finite-dimensional and S,T∈L(V)S, T \in \mathcal{L}(V). Prove that STS T and TST S have the same eigenvalues.

?
Problem 5A.24

Suppose AA is an nn-by- nn matrix with entries in F\mathbf{F}. Define T∈L(Fn)T \in \mathcal{L}\left(\mathbf{F}^{n}\right) by Tx=AxT x = A x, where elements of Fn\mathbf{F}^{n} are thought of as nn-by- 1 column vectors.

?
(a)

Suppose the sum of the entries in each row of AA equals 1. Prove that 1 is an eigenvalue of TT.

(b)

Suppose the sum of the entries in each column of AA equals 1. Prove that 1 is an eigenvalue of TT.

Problem 5A.25

Suppose T∈L(V)T \in \mathcal{L}(V) and u,wu, w are eigenvectors of TT such that u+wu+w is also an eigenvector of TT. Prove that uu and ww are eigenvectors of TT corresponding to the same eigenvalue.

?
Problem 5A.26

Suppose T∈L(V)T \in \mathcal{L}(V) is such that every nonzero vector in VV is an eigenvector of TT. Prove that TT is a scalar multiple of the identity operator.

?
Problem 5A.27

Suppose that VV is finite-dimensional and k∈{1,…,dim⁡V−1}k \in \left\{ 1, \ldots , \operatorname {dim} V-1\right\}. Suppose T∈L(V)T \in \mathcal{L}(V) is such that every subspace of VV of dimension kk is invariant under TT. Prove that TT is a scalar multiple of the identity operator.

?
Problem 5A.28

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Prove that TT has at most 1+dim⁡1+\operatorname {dim} range TT distinct eigenvalues.

?
Problem 5A.29

Suppose T∈L(R3)T \in \mathcal{L}\left(\mathbb {R}^{3}\right) and −4,5-4,5, and 7\sqrt{7} are eigenvalues of TT. Prove that there exists x∈R3x \in \mathbb {R}^{3} such that Tx−9x=(−4,5,7)T x-9 x = (-4,5, \sqrt{7}).

?
Problem 5A.30

Suppose T∈L(V)T \in \mathcal{L}(V) and (T−2I)(T−3I)(T−4I)=0(T-2 I)(T-3 I)(T-4 I) = 0. Suppose λ\lambda is an eigenvalue of TT. Prove that λ=2\lambda = 2 or λ=3\lambda = 3 or λ=4\lambda = 4.

?
Problem 5A.31

Give an example of T∈L(R2)T \in \mathcal{L}\left(\mathbb {R}^{2}\right) such that T4=−IT^{4} = -I.

?
Problem 5A.32

Suppose T∈L(V)T \in \mathcal{L}(V) has no eigenvalues and T4=IT^{4} = I. Prove that T2=−IT^{2} = -I.

?
Problem 5A.33

Suppose T∈L(V)T \in \mathcal{L}(V) and mm is a positive integer.

?
(a)

Prove that TT is injective if and only if TmT^{m} is injective.

(b)

Prove that TT is surjective if and only if TmT^{m} is surjective.

Problem 5A.34

Suppose VV is finite-dimensional and v1,…,vm∈Vv_{1}, \ldots , v_{m} \in V. Prove that the list v1,…,vmv_{1}, \ldots , v_{m} is linearly independent if and only if there exists T∈L(V)T \in \mathcal{L}(V) such that v1,…,vmv_{1}, \ldots , v_{m} are eigenvectors of TT corresponding to distinct eigenvalues.

?
Problem 5A.35

Suppose that λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} is a list of distinct real numbers. Prove that the list eλ1x,…,eλnxe^{\lambda_{1} x}, \ldots , e^{\lambda_{n} x} is linearly independent in the vector space of real-valued functions on R\mathbb {R}.

?
Problem 5A.36

Suppose that λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} is a list of distinct positive numbers. Prove that the list cos⁡(λ1x),…,cos⁡(λnx)\cos \left(\lambda_{1} x\right), \ldots , \cos \left(\lambda_{n} x\right) is linearly independent in the vector space of real-valued functions on R\mathbb {R}.

?
Problem 5A.37

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Define A∈L(L(V))\mathcal{A} \in \mathcal{L}(\mathcal{L}(V)) by

A(S)=TS \mathcal{A}(S) = T S

for each S∈L(V)S \in \mathcal{L}(V). Prove that the set of eigenvalues of TT equals the set of eigenvalues of A\mathcal{A}.

?
Problem 5A.38

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and UU is a subspace of VV invariant under TT. The quotient operator T/U∈L(V/U)T / U \in \mathcal{L}(V / U) is defined by

(T/U)(v+U)=Tv+U (T / U)(v+U) = T v+U

for each v∈Vv \in V.

?
(a)

Show that the definition of T/UT / U makes sense (which requires using the condition that UU is invariant under TT) and show that T/UT / U is an operator on V/UV / U.

(b)

Show that each eigenvalue of T/UT / U is an eigenvalue of TT.

Problem 5A.39

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Prove that TT has an eigenvalue if and only if there exists a subspace of VV of dimension dim⁡V−1\operatorname {dim} V-1 that is invariant under TT.

?
Problem 5A.40

Suppose S,T∈L(V)S, T \in \mathcal{L}(V) and SS is invertible. Suppose p∈P(F)p \in \mathcal{P}(\mathbf{F}) is a polynomial. Prove that

p(STS−1)=Sp(T)S−1 p\left(S T S^{-1}\right) = S p(T) S^{-1}
?
Problem 5A.41

Suppose T∈L(V)T \in \mathcal{L}(V) and UU is a subspace of VV invariant under TT. Prove that UU is invariant under p(T)p(T) for every polynomial p∈P(F)p \in \mathcal{P}(\mathbf{F}).

?
Problem 5A.42

Define T∈L(Fn)T \in \mathcal{L}\left(\mathbf{F}^{n}\right) by T(x1,x2,x3,…,xn)=(x1,2x2,3x3,…,nxn)T\left(x_{1}, x_{2}, x_{3}, \ldots , x_{n}\right) = \left(x_{1}, 2 x_{2}, 3 x_{3}, \ldots , n x_{n}\right).

?
(a)

Find all eigenvalues and eigenvectors of TT.

(b)

Find all subspaces of Fn\mathbf{F}^{n} that are invariant under TT.

Problem 5A.43

Suppose that VV is finite-dimensional, dim⁡V>1\operatorname {dim} V > 1, and T∈L(V)T \in \mathcal{L}(V). Prove that {p(T):p∈P(F)}≠L(V)\left\{ p(T): p \in \mathcal{P}(\mathbf{F})\right\} \neq \mathcal{L}(V).

?
Problem 5B.1

Suppose T∈L(V)T \in \mathcal{L}(V). Prove that 99 is an eigenvalue of T2T^{2} if and only if 33 or −3-3 is an eigenvalue of TT.

?
Problem 5B.2

Suppose VV is a complex vector space and T∈L(V)T \in \mathcal{L}(V) has no eigenvalues. Prove that every subspace of VV invariant under TT is either {0}\left\{ 0\right\} or infinite-dimensional.

?
Problem 5B.3

Suppose nn is a positive integer and T∈L(Fn)T \in \mathcal{L}\left(\mathbf{F}^{n}\right) is defined by

T(x1,…,xn)=(x1+⋯+xn,…,x1+⋯+xn). T\left(x_{1}, \ldots , x_{n}\right) = \left(x_{1}+\cdots +x_{n}, \ldots , x_{1}+\cdots +x_{n}\right).
?
(a)

Find all eigenvalues and eigenvectors of TT.

(b)

Find the minimal polynomial of TT.

Remark.
?

The matrix of TT with respect to the standard basis of Fn\mathbf{F}^{n} consists of all 1 's.

Problem 5B.4

Suppose F=C,T∈L(V),p∈P(C)\mathbf{F} = \mathbb {C}, T \in \mathcal{L}(V), p \in \mathcal{P}(\mathbb {C}), and α∈C\alpha \in \mathbb {C}. Prove that α\alpha is an eigenvalue of p(T)p(T) if and only if α=p(λ)\alpha = p(\lambda ) for some eigenvalue λ\lambda of TT.

?
Problem 5B.5

Give an example of an operator on R2\mathbb {R}^{2} that shows the result in Exercise 4 does not hold if C\mathbb {C} is replaced with R\mathbb {R}.

Exercise 4 (Exercise 5B.4): if F=C\mathbf{F} = \mathbb {C}, T∈L(V)T \in \mathcal{L}(V), p∈P(C)p \in \mathcal{P}(\mathbb {C}), and α∈C\alpha \in \mathbb {C}, then α\alpha is an eigenvalue of p(T)p(T) if and only if α=p(λ)\alpha = p(\lambda ) for some eigenvalue λ\lambda of TT.

?
Problem 5B.6

Suppose T∈L(F2)T \in \mathcal{L}\left(\mathbf{F}^{2}\right) is defined by T(w,z)=(−z,w)T(w, z) = (-z, w). Find the minimal polynomial of TT.

?
Problem 5B.7
?
(a)

Give an example of S,T∈L(F2)S, T \in \mathcal{L}\left(\mathbf{F}^{2}\right) such that the minimal polynomial of STS T does not equal the minimal polynomial of TST S.

(b)

Suppose VV is finite-dimensional and S,T∈L(V)S, T \in \mathcal{L}(V). Prove that if at least one of S,TS, T is invertible, then the minimal polynomial of STS T equals the minimal polynomial of TSTS.

Problem 5B.8

Suppose T∈L(R2)T \in \mathcal{L}\left(\mathbb {R}^{2}\right) is the operator of counterclockwise rotation by 1∘1^{\circ }. Find the minimal polynomial of TT.

?
Remark.
?

Because dim⁡R2=2\operatorname {dim} \mathbb {R}^{2} = 2, the degree of the minimal polynomial of TT is at most 2. Thus the minimal polynomial of TT is not the tempting polynomial x180+1x^{180}+1, even though T180=−IT^{180} = -I.

Problem 5B.9

Suppose T∈L(V)T \in \mathcal{L}(V) is such that with respect to some basis of VV, all entries of the matrix of TT are rational numbers. Explain why all coefficients of the minimal polynomial of TT are rational numbers.

?
Problem 5B.10

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and v∈Vv \in V. Prove that

\operatorname {span}\left(v, T v, \ldots , T^{m} v\right) = \operatorname {span}\left(v, T v, \ldots , T^{\operatorname {dim} V-1} v\right) $$ {#eq-5B.10:Eq} for all integers $m \geq \operatorname {dim} V-1$.
?
Problem 5B.11

Suppose VV is a two-dimensional vector space, T∈L(V)T \in \mathcal{L}(V), and the matrix of TT with respect to some basis of VV is

(acbd) \begin{pmatrix} a & c \\ b & d \end{pmatrix}
?
(a)

Show that T2−(a+d)T+(ad−bc)I=0T^{2}-(a+d) T+(a d-b c) I = 0.

(b)

Show that the minimal polynomial of TT equals

{z−a if b=c=0 and a=d,z2−(a+d)z+(ad−bc) otherwise  \begin{cases} z-a & \text{ if } b = c = 0 \text{ and } a = d, \\ z^{2}-(a+d) z+(a d-b c) & \text{ otherwise } \end{cases}
Problem 5B.12

Define T∈L(Fn)T \in \mathcal{L}\left(\mathbf{F}^{n}\right) by T(x1,x2,x3,…,xn)=(x1,2x2,3x3,…,nxn)T\left(x_{1}, x_{2}, x_{3}, \ldots , x_{n}\right) = \left(x_{1}, 2 x_{2}, 3 x_{3}, \ldots , n x_{n}\right). Find the minimal polynomial of TT.

?
Problem 5B.13

Suppose T∈L(V)T \in \mathcal{L}(V) and p∈P(F)p \in \mathcal{P}(\mathbf{F}). Prove that there exists a unique r∈P(F)r \in \mathcal{P}(\mathbf{F}) such that p(T)=r(T)p(T) = r(T) and deg⁡r\operatorname {deg} r is less than the degree of the minimal polynomial of TT.

?
Problem 5B.14

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V) has minimal polynomial μT(z)=4+5z−6z2−7z3+2z4+z5\mu_T(z) = 4+5 z-6 z^{2}-7 z^{3}+2 z^{4}+z^{5}. Find the minimal polynomial of T−1T^{-1}.

?
Problem 5B.15

Suppose VV is a finite-dimensional complex vector space with dim⁡V>0\operatorname {dim} V > 0 and T∈L(V)T \in \mathcal{L}(V). Define f:C→Rf: \mathbb {C} \rightarrow \mathbb {R} by

f(λ)=dim⁡range⁡(T−λI). f(\lambda ) = \operatorname {dim} \operatorname {range}(T-\lambda I).

Prove that ff is not a continuous function.

?
Problem 5B.16

Suppose a0,…,an−1∈Fa_{0}, \ldots , a_{n-1} \in \mathbf{F}. Let TT be the operator on Fn\mathbf{F}^{n} whose matrix (with respect to the standard basis) is

(0−a010−a11⋱−a2⋱⋮0−an−21−an−1) \begin{pmatrix} 0 & & & & & -a_{0} \\ 1 & 0 & & & & -a_{1} \\ & 1 & \ddots & & & -a_{2} \\ & & \ddots & & & \vdots \\ & & & & 0 & -a_{n-2} \\ & & & & 1 & -a_{n-1} \end{pmatrix}

Here all entries of the matrix are 0 except for all 1's on the line under the diagonal and the entries in the last column (some of which might also be 0). Show that the minimal polynomial of TT is the polynomial

a0+a1z+⋯+an−1zn−1+zn. a_{0}+a_{1} z+\cdots +a_{n-1} z^{n-1}+z^{n}.
?
Remark.
?

The matrix above is called the companion matrix of the polynomial above. This exercise shows that every monic polynomial is the minimal polynomial of some operator. Hence a formula or an algorithm that could produce exact eigenvalues for each operator on each Fn\mathbf{F}^{n} could then produce exact zeros for each polynomial [by 5.27(a)]. Thus there is no such formula or algorithm. However, efficient numeric methods exist for obtaining very good approximations for the eigenvalues of an operator.

Theorem 5.27(a): suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V); then the zeros of the minimal polynomial of TT are the eigenvalues of TT.

Problem 5B.17

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and μT\mu_T is the minimal polynomial of TT. Suppose λ∈F\lambda \in \mathbf{F}. Show that the minimal polynomial of T−λIT-\lambda I is the polynomial qq defined by q(z)=μT(z+λ)q(z) = \mu_{T}(z+\lambda ).

?
Problem 5B.18

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and pp is the minimal polynomial of TT. Suppose λ∈F\{0}\lambda \in \mathbf{F} \backslash \left\{ 0\right\}. Show that the minimal polynomial of λT\lambda T is the polynomial qq defined by q(z)=λdeg⁡pp(zλ)q(z) = \lambda^{\operatorname {deg} p} p\left(\frac{z}{\lambda }\right).

?
Problem 5B.19

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Let E\mathcal{E} be the subspace of L(V)\mathcal{L}(V) defined by

E={q(T):q∈P(F)}. \mathcal{E} = \left\{ q(T): q \in \mathcal{P}(\mathbf{F})\right\} .

Prove that dim⁡E\operatorname {dim} \mathcal{E} equals the degree of the minimal polynomial of TT.

?
Problem 5B.20

Suppose T∈L(F4)T \in \mathcal{L}\left(\mathbf{F}^{4}\right) is such that the eigenvalues of TT are 3,5,8. Prove that

(T−3I)2(T−5I)2(T−8I)2=0 (T-3 I)^{2}(T-5 I)^{2}(T-8 I)^{2} = 0
?
Problem 5B.21

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Prove that the minimal polynomial of TT has degree at most 1+dim⁡range⁡T1+\operatorname {dim}\operatorname {range}T.

?
Remark.
?

If dim⁡range⁡T+1<dim⁡V\operatorname {dim}\operatorname {range}T + 1<\operatorname {dim} V, then this exercise gives a better upper bound than 5.22 for the degree of the minimal polynomial of TT. Theorem 5.22 (existence, uniqueness, and degree of minimal polynomial): suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Then there is a unique monic polynomial p∈P(F)p \in \mathcal{P}(\mathbf{F}) of smallest degree such that p(T)=0p(T) = 0. Furthermore, deg⁡p≤dim⁡V\operatorname {deg} p \leq \operatorname {dim} V.

Problem 5B.22

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Prove that TT is invertible if and only if I∈span⁡(T,T2,…,Tdim⁡V)I \in \operatorname {span}\left(T, T^{2}, \ldots , T^{\operatorname {dim} V}\right).

?
Problem 5B.23

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Let n=dim⁡Vn = \operatorname {dim} V. Prove that if v∈Vv \in V, then span⁡(v,Tv,…,Tn−1v)\operatorname {span}\left(v, T v, \ldots , T^{n-1} v\right) is invariant under TT.

?
Problem 5B.24

Suppose VV is a finite-dimensional complex vector space. Let n=dim⁡Vn = \operatorname {dim} V. Suppose T∈L(V)T \in \mathcal{L}(V) is such that 5 and 6 are eigenvalues of TT and that TT has no other eigenvalues. Prove that (T−5I)n−1(T−6I)n−1=0(T-5 I)^{n-1}(T-6 I)^{n-1} = 0.

?
Problem 5B.25

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and UU is a subspace of VV that is invariant under TT.

?
(a)

Prove that the minimal polynomial of TT is a polynomial multiple of the minimal polynomial of the quotient operator T/UT / U.

(b)

Prove that

(minimal polynomial of T∣U)×(minimal polynomial of T/U) \left(\text{minimal polynomial of } T|_{U}\right) \times \left(\text{minimal polynomial of } T / U\right)

is a polynomial multiple of the minimal polynomial of TT.

Remark.
?

The quotient operator T/UT/U was defined in Exercise 38 in Section 5A: suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and UU is a subspace of VV invariant under TT; the quotient operator T/U∈L(V/U)T/U \in \mathcal{L}(V/U) is defined by (T/U)(v+U)=Tv+U(T/U)(v+U) = Tv+U for each v∈Vv \in V.

Problem 5B.26

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and UU is a subspace of VV that is invariant under TT. Prove that the set of eigenvalues of TT equals the union of the set of eigenvalues of T∣U\left.T\right|_{U} and the set of eigenvalues of T/UT / U.

?
Problem 5B.27

Suppose F=R,V\mathbf{F} = \mathbb {R}, V is finite-dimensional, and T∈L(V)T \in \mathcal{L}(V). Prove that the minimal polynomial of TCT_{\mathrm{C}} equals the minimal polynomial of TT.

?
Remark.
?

The complexification TCT_{\mathrm{C}} was defined in 3B.33: suppose VV is a real vector space and T∈L(V)T \in \mathcal{L}(V); the complexification TC:VC→VCT_{\mathrm{C}}: V_{\mathrm{C}} \rightarrow V_{\mathrm{C}} is defined by TC(u+iv)=Tu+iTvT_{\mathrm{C}}(u+iv) = Tu+iTv for all u,v∈Vu, v \in V, where VCV_{\mathrm{C}} is the complexification of VV from Exercise 8 in Section 1B.

Problem 5B.28

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Prove that the minimal polynomial of T′∈L(V′)T^{\prime } \in \mathcal{L}\left(V^{\prime }\right) equals the minimal polynomial of TT.

?
Remark.
?

The dual map T′T^{\prime } was defined in Section 3F. Definition 3.118 (dual map, T′T'): suppose T∈L(V,W)T \in \mathcal{L}(V, W). The dual map of TT is the linear map T′∈L(W′,V′)T' \in \mathcal{L}(W', V') defined for each φ∈W′\varphi \in W' by T′(φ)=φ∘TT'(\varphi ) = \varphi \circ T.

Problem 5B.29

Show that every operator on a finite-dimensional vector space of dimension at least two has an invariant subspace of dimension two.

?
Remark.
?

Exercise 6 in Section 5C will give an improvement of this result when F=C\mathbf{F} = \mathbb {C}.

Problem 5C.1

Prove or give a counterexample: If T∈L(V)T \in \mathcal{L}(V) and T2T^{2} has an upper-triangular matrix with respect to some basis of VV, then TT has an upper-triangular matrix with respect to some basis of VV.

?
Problem 5C.2

Suppose AA and BB are upper-triangular matrices of the same size, with α1,…,αn\alpha_{1}, \ldots , \alpha_{n} on the diagonal of AA and β1,…,βn\beta_{1}, \ldots , \beta_{n} on the diagonal of BB.

?
(a)

Show that A+BA+B is an upper-triangular matrix with α1+β1,…,αn+βn\alpha_{1}+\beta_{1}, \ldots , \alpha_{n}+\beta_{n} on the diagonal.

(b)

Show that ABA B is an upper-triangular matrix with α1β1,…,αnβn\alpha_{1} \beta_{1}, \ldots , \alpha_{n} \beta_{n} on the diagonal.

Remark.
?

The results in this exercise are used in the proof of 5.81. Theorem 5.81 (eigenvalues of sum and product of commuting operators): suppose VV is a finite-dimensional complex vector space and S,TS, T are commuting operators on VV. Then every eigenvalue of S+TS+T is an eigenvalue of SS plus an eigenvalue of TT, and every eigenvalue of STS T is an eigenvalue of SS times an eigenvalue of TT.

Problem 5C.3

Suppose T∈L(V)T \in \mathcal{L}(V) is invertible and v1,…,vnv_{1}, \ldots , v_{n} is a basis of VV with respect to which the matrix of TT is upper triangular, with λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} on the diagonal. Show that the matrix of T−1T^{-1} is also upper triangular with respect to the basis v1,…,vnv_{1}, \ldots , v_{n}, with

1λ1,…,1λn \frac{1}{\lambda _{1}}, \ldots , \frac{1}{\lambda _{n}}

on the diagonal.

?
Problem 5C.4

Give an example of an operator whose matrix with respect to some basis contains only 0 's on the diagonal, but the operator is invertible.

?
Remark.
?

This exercise and the exercise below show that 5.41 fails without the hypothesis that an upper-triangular matrix is under consideration. Theorem 5.41 (determination of eigenvalues from upper-triangular matrix): suppose T∈L(V)T \in \mathcal{L}(V) has an upper-triangular matrix with respect to some basis of VV. Then the eigenvalues of TT are precisely the entries on the diagonal of that upper-triangular matrix.

Problem 5C.5

Give an example of an operator whose matrix with respect to some basis contains only nonzero numbers on the diagonal, but the operator is not invertible.

?
Problem 5C.6

Suppose F=C,V\mathbf{F} = \mathbb {C}, V is finite-dimensional, and T∈L(V)T \in \mathcal{L}(V). Prove that if k∈{1,…,dim⁡V}k \in \left\{ 1, \ldots , \operatorname {dim} V\right\}, then VV has a kk-dimensional subspace invariant under TT.

?
Problem 5C.7

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and v∈Vv \in V.

?
(a)

Prove that there exists a unique monic polynomial pvp_{v} of smallest degree such that pv(T)v=0p_{v}(T) v = 0.

(b)

Prove that the minimal polynomial of TT is a polynomial multiple of pvp_{v}.

Problem 5C.8

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and there exists a nonzero vector v∈Vv \in V such that T2v+2Tv=−2vT^{2} v+2 T v = -2 v.

?
(a)

Prove that if F=R\mathbf{F} = \mathbb {R}, then there does not exist a basis of VV with respect to which TT has an upper-triangular matrix.

(b)

Prove that if F=C\mathbf{F} = \mathbb {C} and AA is an upper-triangular matrix that equals the matrix of TT with respect to some basis of VV, then −1+i-1+i or −1−i-1-i appears on the diagonal of AA.

Problem 5C.9

Suppose BB is a square matrix with complex entries. Prove that there exists an invertible square matrix AA with complex entries such that A−1BAA^{-1} B A is an upper-triangular matrix.

?
Problem 5C.10

Suppose T∈L(V)T \in \mathcal{L}(V) and v1,…,vnv_{1}, \ldots , v_{n} is a basis of VV. Show that the following are equivalent.

?
(a)

The matrix of TT with respect to v1,…,vnv_{1}, \ldots , v_{n} is lower triangular.

(b)

span⁡(vk,…,vn)\operatorname {span}\left(v_{k}, \ldots , v_{n}\right) is invariant under TT for each k=1,…,nk = 1, \ldots , n.

(c)

Tvk∈span⁡(vk,…,vn)T v_{k} \in \operatorname {span}\left(v_{k}, \ldots , v_{n}\right) for each k=1,…,nk = 1, \ldots , n.

Remark.
?

A square matrix is called lower triangular if all entries above the diagonal are 00.

Problem 5C.11

Suppose F=C\mathbf{F} = \mathbb {C} and VV is finite-dimensional. Prove that if T∈L(V)T \in \mathcal{L}(V), then there exists a basis of VV with respect to which TT has a lower-triangular matrix.

?
Problem 5C.12

Suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V) has an upper-triangular matrix with respect to some basis of VV, and UU is a subspace of VV that is invariant under TT.

?
(a)

Prove that T∣U\left.T\right|_{U} has an upper-triangular matrix with respect to some basis of UU.

(b)

Prove that the quotient operator T/UT / U has an upper-triangular matrix with respect to some basis of V/UV / U.

Remark.
?

The quotient operator T/UT/U was defined in Exercise 38 in Section 5A: suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and UU is a subspace of VV invariant under TT; the quotient operator T/U∈L(V/U)T/U \in \mathcal{L}(V/U) is defined by (T/U)(v+U)=Tv+U(T/U)(v+U) = Tv+U for each v∈Vv \in V.

Problem 5C.13

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Suppose there exists a subspace UU of VV that is invariant under TT such that T∣U\left.T\right|_{U} has an uppertriangular matrix with respect to some basis of UU and also T/UT / U has an upper-triangular matrix with respect to some basis of V/UV / U. Prove that TT has an upper-triangular matrix with respect to some basis of VV.

?
Problem 5C.14

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Prove that TT has an uppertriangular matrix with respect to some basis of VV if and only if the dual operator T′T^{\prime } has an upper-triangular matrix with respect to some basis of the dual space V′V^{\prime }.

?
Problem 5D.1

Suppose VV is a finite-dimensional complex vector space and T∈L(V)T \in \mathcal{L}(V).

?
(a)

Prove that if T4=IT^{4} = I, then TT is diagonalizable.

(b)

Prove that if T4=TT^{4} = T, then TT is diagonalizable.

(c)

Give an example of an operator T∈L(C2)T \in \mathcal{L}\left(\mathbb {C}^{2}\right) such that T4=T2T^{4} = T^{2} and TT is not diagonalizable.

Problem 5D.2

Suppose T∈L(V)T \in \mathcal{L}(V) has a diagonal matrix AA with respect to some basis of VV. Prove that if λ∈F\lambda \in \mathbf{F}, then λ\lambda appears on the diagonal of AA precisely dim⁡E(λ,T)\operatorname {dim} E(\lambda , T) times.

?
Problem 5D.3

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Prove that if the operator TT is diagonalizable, then V=null⁡T⊕range⁡TV =\operatorname {null}T \oplus \operatorname {range}T.

?
Problem 5D.4

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Prove that the following are equivalent.

?
(a)

V=null⁡T⊕range⁡TV = \operatorname {null} T \oplus \operatorname {range} T.

(b)

V=null⁡T+range⁡TV =\operatorname {null}T+\operatorname {range} T.

(c)

null⁡T  ∩range⁡T={0}\operatorname {null}T \; \cap \operatorname {range} T = \left\{ 0\right\}.

Problem 5D.5

Suppose VV is a finite-dimensional complex vector space and T∈L(V)T \in \mathcal{L}(V). Prove that TT is diagonalizable if and only if

V=null⁡(T−λI)⊕range⁡(T−λI) V = \operatorname {null}(T-\lambda I) \oplus \operatorname {range}(T-\lambda I)

for every λ∈C\lambda \in \mathbb {C}.

?
Problem 5D.6

Suppose T∈L(F5)T \in \mathcal{L}\left(\mathbf{F}^{5}\right) and dim⁡E(8,T)=4\operatorname {dim} E(8, T) = 4. Prove that T−2IT-2 I or T−6IT-6 I is invertible.

?
Problem 5D.7

Suppose T∈L(V)T \in \mathcal{L}(V) is invertible. Prove that

E(λ,T)=E(1λ,T−1) E(\lambda , T) = E\left(\frac{1}{\lambda }, T^{-1}\right)

for every λ∈F\lambda \in \mathbf{F} with λ≠0\lambda \neq 0.

?
Problem 5D.8

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Let λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} denote the distinct nonzero eigenvalues of TT. Prove that

dim⁡E(λ1,T)+⋯+dim⁡E(λm,T)≤dim⁡range⁡T. \operatorname {dim} E(\lambda _{1}, T)+\cdots +\operatorname {dim} E(\lambda _{m}, T) \leq \operatorname {dim} \operatorname {range} T.
?
Problem 5D.9

Suppose R,T∈L(F3)R, T \in \mathcal{L}\left(\mathbf{F}^{3}\right) each have 2, 6, 7 as eigenvalues. Prove that there exists an invertible operator S∈L(F3)S \in \mathcal{L}\left(\mathbf{F}^{3}\right) such that R=S−1TSR = S^{-1} T S.

?
Problem 5D.10

Find R,T∈L(F4)R, T \in \mathcal{L}\left(\mathbf{F}^{4}\right) such that RR and TT each have 2, 6, 7 as eigenvalues, RR and TT have no other eigenvalues, and there does not exist an invertible operator S∈L(F4)S \in \mathcal{L}\left(\mathbf{F}^{4}\right) such that R=S−1TSR = S^{-1} T S.

?
Problem 5D.11

Find T∈L(C3)T \in \mathcal{L}\left(\mathbb {C}^{3}\right) such that 6 and 7 are eigenvalues of TT and such that TT does not have a diagonal matrix with respect to any basis of C3\mathbb {C}^{3}.

?
Problem 5D.12

Suppose T∈L(C3)T \in \mathcal{L}\left(\mathbb {C}^{3}\right) is such that 6 and 7 are eigenvalues of TT. Furthermore, suppose TT does not have a diagonal matrix with respect to any basis of C3\mathbb {C}^{3}. Prove that there exists (z1,z2,z3)∈C3\left(z_{1}, z_{2}, z_{3}\right) \in \mathbb {C}^{3} such that

T(z1,z2,z3)=(6+8z1,7+8z2,13+8z3). T\left(z_{1}, z_{2}, z_{3}\right) = \left(6+8 z_{1}, 7+8 z_{2}, 13+8 z_{3}\right).
?
Problem 5D.13

Suppose AA is a diagonal matrix with distinct entries on the diagonal and BB is a matrix of the same size as AA. Show that AB=BAA B = B A if and only if BB is a diagonal matrix.

?
Problem 5D.14
?
(a)

Give an example of a finite-dimensional complex vector space and an operator TT on that vector space such that T2T^{2} is diagonalizable but TT is not diagonalizable.

(b)

Suppose F=C,k\mathbf{F} = \mathbb {C}, k is a positive integer, and T∈L(V)T \in \mathcal{L}(V) is invertible. Prove that TT is diagonalizable if and only if TkT^{k} is diagonalizable.

Problem 5D.15

Suppose VV is a finite-dimensional complex vector space, T∈L(V)T \in \mathcal{L}(V), and pp is the minimal polynomial of TT. Prove that the following are equivalent.

?
(a)

TT is diagonalizable.

(b)

There does not exist λ∈C\lambda \in \mathbb {C} such that pp is a polynomial multiple of (z−λ)2(z-\lambda )^{2}.

(c)

pp and its derivative p′p^{\prime } have no zeros in common.

(d)

The greatest common divisor of pp and p′p^{\prime } is the constant polynomial 1.

Remark.
?

The greatest common divisor of pp and p′p^{\prime } is the monic polynomial qq of largest degree such that pp and p′p^{\prime } are both polynomial multiples of qq. The Euclidean algorithm for polynomials (look it up) can quickly determine the greatest common divisor of two polynomials, without requiring any information about the zeros of the polynomials. Thus the equivalence of (a) and (d) above shows that we can determine whether TT is diagonalizable without knowing anything about the zeros of pp.

Problem 5D.16

Suppose that T∈L(V)T \in \mathcal{L}(V) is diagonalizable. Let λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} denote the distinct eigenvalues of TT. Prove that a subspace UU of VV is invariant under TT if and only if there exist subspaces U1,…,UmU_{1}, \ldots , U_{m} of VV such that Uk⊆E(λk,T)U_{k} \subseteq E(\lambda_{k}, T) for each kk and U=U1⊕⋯⊕UmU = U_{1} \oplus \cdots \oplus U_{m}.

?
Problem 5D.17

Suppose VV is finite-dimensional. Prove that L(V)\mathcal{L}(V) has a basis consisting of diagonalizable operators.

?
Problem 5D.18

Suppose that T∈L(V)T \in \mathcal{L}(V) is diagonalizable and UU is a subspace of VV that is invariant under TT. Prove that the quotient operator T/UT / U is a diagonalizable operator on V/UV / U.

?
Remark.
?

The quotient operator T/UT/U was defined in Exercise 38 in Section 5A: suppose VV is finite-dimensional, T∈L(V)T \in \mathcal{L}(V), and UU is a subspace of VV invariant under TT; the quotient operator T/U∈L(V/U)T/U \in \mathcal{L}(V/U) is defined by (T/U)(v+U)=Tv+U(T/U)(v+U) = Tv+U for each v∈Vv \in V.

Problem 5D.19

Prove or give a counterexample: If T∈L(V)T \in \mathcal{L}(V) and there exists a subspace UU of VV that is invariant under TT such that T∣U\left.T\right|_{U} and T/UT / U are both diagonalizable, then TT is diagonalizable.

?
Remark.
?

See Exercise 13 in Section 5C for an analogous statement about upper-triangular matrices.

Problem 5D.20

Suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Prove that TT is diagonalizable if and only if the dual operator T′T^{\prime } is diagonalizable.

?
Problem 5D.21

The Fibonacci sequence F0,F1,F2,…F_{0}, F_{1}, F_{2}, \ldots is defined by

F0=0,F1=1, and Fn=Fn−2+Fn−1 for n≥2 F_{0} = 0, F_{1} = 1, \text{ and } F_{n} = F_{n-2}+F_{n-1} \text{ for } n \geq 2

Define T∈L(R2)T \in \mathcal{L}\left(\mathbb {R}^{2}\right) by T(x,y)=(y,x+y)T(x, y) = (y, x+y).

?
(a)

Show that Tn(0,1)=(Fn,Fn+1)T^{n}(0,1) = \left(F_{n}, F_{n+1}\right) for each nonnegative integer nn.

(b)

Find the eigenvalues of TT.

(c)

Find a basis of R2\mathbb {R}^{2} consisting of eigenvectors of TT.

(d)

Use the solution to (c) to compute Tn(0,1)T^{n}(0,1). Conclude that

Fn=15[(1+52)n−(1−52)n] F_{n} = \frac{1}{\sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^{n}-\left(\frac{1-\sqrt{5}}{2}\right)^{n}\right]

for each nonnegative integer nn.

(e)

Use (d) to conclude that if nn is a nonnegative integer, then the Fibonacci number FnF_{n} is the integer that is closest to

15(1+52)n \frac{1}{\sqrt{5}}\left(\frac{1+\sqrt{5}}{2}\right)^{n}
Remark.
?

Each FnF_{n} is a nonnegative integer, even though the right side of the formula in (d) does not look like an integer. The number

φ:=1+52 \varphi := \frac{1+\sqrt{5}}{2}

is called the golden ratio.

Problem 5D.22

Suppose T∈L(V)T \in \mathcal{L}(V) and AA is an nn-by-nn matrix that is the matrix of TT with respect to some basis of VV. Prove that if

∣Aj,j∣>∑k=1k≠jn∣Aj,k∣ \left|A_{j, j}\right| > \sum _{\substack {k = 1 \\ k \neq j}}^{n}\left|A_{j, k}\right|

for each j∈{1,…,n}j \in \left\{ 1, \ldots , n\right\}, then TT is invertible.

?
Remark.
?

This exercise states that if the diagonal entries of the matrix of TT are large compared to the nondiagonal entries, then TT is invertible.

Problem 5D.23

Suppose the definition of the Gershgorin disks is changed so that the radius of the kth k^{\text{th }} disk is the sum of the absolute values of the entries in column (instead of row) kk of AA, excluding the diagonal entry. Show that the Gershgorin disk theorem (5.67) still holds with this changed definition.

Definition 5.66 (Gershgorin disks): suppose T∈L(V)T \in \mathcal{L}(V) and v1,…,vnv_{1}, \ldots , v_{n} is a basis of VV. Let AA denote the matrix of TT with respect to this basis. A Gershgorin disk of TT with respect to the basis v1,…,vnv_{1}, \ldots , v_{n} is a set of the form {z∈F:∣z−Aj,j∣≤∑k=1,k≠jn∣Aj,k∣}\left\{ z \in \mathbf{F}: \left|z-A_{j, j}\right| \leq \sum_{k = 1, k \neq j}^{n}\left|A_{j, k}\right|\right\}, where j∈{1,…,n}j \in \left\{ 1, \ldots , n\right\}.

Theorem 5.67 (Gershgorin disk theorem): suppose T∈L(V)T \in \mathcal{L}(V) and v1,…,vnv_{1}, \ldots , v_{n} is a basis of VV. Then each eigenvalue of TT is contained in some Gershgorin disk of TT with respect to the basis v1,…,vnv_{1}, \ldots , v_{n}.

?
Problem 5E.1

Give an example of two commuting operators S,TS, T on F4\mathbf{F}^{4} such that there is a subspace of F4\mathbf{F}^{4} that is invariant under SS but not under TT and there is a subspace of F4\mathbf{F}^{4} that is invariant under TT but not under SS.

?
Problem 5E.2

Suppose E\mathcal{E} is a subset of L(V)\mathcal{L}(V) and every element of E\mathcal{E} is diagonalizable. Prove that there exists a basis of VV with respect to which every element of E\mathcal{E} has a diagonal matrix if and only if every pair of elements of E\mathcal{E} commutes.

?
Remark.
?

This exercise extends 5.76, which considers the case in which E\mathcal{E} contains only two elements. For this exercise, E\mathcal{E} may contain any number of elements, and E\mathcal{E} may even be an infinite set. Theorem 5.76 (simultaneous diagonalizability is equivalent to commutativity): two diagonalizable operators on the same vector space have diagonal matrices with respect to the same basis if and only if the two operators commute.

Problem 5E.3

Suppose S,T∈L(V)S, T \in \mathcal{L}(V) are such that ST=TSS T = T S. Suppose p∈P(F)p \in \mathcal{P}(\mathbf{F}).

?
(a)

Prove that null⁡p(S)\operatorname {null}p(S) is invariant under TT.

(b)

Prove that range⁡p(S)\operatorname {range}p(S) is invariant under TT.

Remark.
?

See 5.18 for the special case S=TS = T. Theorem 5.18 (null space and range of p(T)p(T) are invariant under TT): suppose T∈L(V)T \in \mathcal{L}(V) and p∈P(F)p \in \mathcal{P}(\mathbf{F}). Then null⁡p(T)\operatorname {null}p(T) and range⁡p(T)\operatorname {range}p(T) are invariant under TT.

Problem 5E.4

Prove or give a counterexample: If AA is a diagonal matrix and BB is an upper-triangular matrix of the same size as AA, then AA and BB commute.

?
Problem 5E.5

Prove that a pair of operators on a finite-dimensional vector space commute if and only if their dual operators commute.

?
Remark.
?

See 3.118 for the definition of the dual of an operator. Definition 3.118 (dual map, T′T'): suppose T∈L(V,W)T \in \mathcal{L}(V, W). The dual map of TT is the linear map T′∈L(W′,V′)T' \in \mathcal{L}(W', V') defined for each φ∈W′\varphi \in W' by T′(φ)=φ∘TT'(\varphi ) = \varphi \circ T.

Problem 5E.6

Suppose VV is a finite-dimensional complex vector space and S,T∈L(V)S, T \in \mathcal{L}(V) commute. Prove that there exist α,λ∈C\alpha , \lambda \in \mathbb {C} such that

range⁡(S−αI)+range⁡(T−λI)≠V \operatorname {range}(S-\alpha I)+\operatorname {range}(T-\lambda I) \neq V
?
Problem 5E.7

Suppose VV is a complex vector space, S∈L(V)S \in \mathcal{L}(V) is diagonalizable, and T∈L(V)T \in \mathcal{L}(V) commutes with SS. Prove that there is a basis of VV such that SS has a diagonal matrix with respect to this basis and TT has an upper-triangular matrix with respect to this basis.

?
Problem 5E.8

Suppose m=3m = 3 in Example 5.72 and Dx,DyD_{x}, D_{y} are the commuting partial differentiation operators on P3(R2)\mathcal{P}_{3}\left(\mathbb {R}^{2}\right) from that example. Find a basis of P3(R2)\mathcal{P}_{3}\left(\mathbb {R}^{2}\right) with respect to which DxD_{x} and DyD_{y} each have an upper-triangular matrix.

?
Remark.
?

Example 5.72: for a nonnegative integer mm, let Pm(R2)\mathcal{P}_{m}\left(\mathbb {R}^{2}\right) denote the real vector space of polynomials (with real coefficients) in two variables and of degree at most mm. Writing p=∑j+k≤maj,kxjyk∈Pm(R2)p = \sum_{j+k \leq m} a_{j,k} x^{j} y^{k} \in \mathcal{P}_{m}\left(\mathbb {R}^{2}\right), define Dx,Dy∈L(Pm(R2))D_{x}, D_{y} \in \mathcal{L}\left(\mathcal{P}_{m}\left(\mathbb {R}^{2}\right)\right) by Dxp=∂p/∂x=∑j+k≤mjaj,kxj−1ykD_{x} p = \partial p/\partial x = \sum_{j+k \leq m} j a_{j,k} x^{j-1} y^{k} and Dyp=∂p/∂y=∑j+k≤mkaj,kxjyk−1D_{y} p = \partial p/\partial y = \sum_{j+k \leq m} k a_{j,k} x^{j} y^{k-1}. These partial differentiation operators commute: DxDy=DyDxD_{x} D_{y} = D_{y} D_{x}.

Problem 5E.9

Suppose VV is a finite-dimensional nonzero complex vector space. Suppose that E⊆L(V)\mathcal{E} \subseteq \mathcal{L}(V) is such that SS and TT commute for all S,T∈ES, T \in \mathcal{E}.

?
(a)

Prove that there is a vector in VV that is an eigenvector for every element of E\mathcal{E}.

(b)

Prove that there is a basis of VV with respect to which every element of E\mathcal{E} has an upper-triangular matrix.

Remark.
?

This exercise extends 5.78 and 5.80, which consider the case in which E\mathcal{E} contains only two elements. For this exercise, E\mathcal{E} may contain any number of elements, and E\mathcal{E} may even be an infinite set. Theorem 5.78 (common eigenvector for commuting operators): every pair of commuting operators on a finite-dimensional nonzero complex vector space has a common eigenvector. Theorem 5.80 (commuting operators are simultaneously upper triangularizable): suppose VV is a finite-dimensional complex vector space and S,TS, T are commuting operators on VV. Then there is a basis of VV with respect to which both SS and TT have upper-triangular matrices.

Problem 5E.10

Give an example of two commuting operators S,TS, T on a finite-dimensional real vector space such that S+TS+T has a eigenvalue that does not equal an eigenvalue of SS plus an eigenvalue of TT and STS T has a eigenvalue that does not equal an eigenvalue of SS times an eigenvalue of TT.

?
Remark.
?

This exercise shows that 5.81 does not hold on real vector spaces. Theorem 5.81 (eigenvalues of sum and product of commuting operators): suppose VV is a finite-dimensional complex vector space and S,TS, T are commuting operators on VV. Then every eigenvalue of S+TS+T is an eigenvalue of SS plus an eigenvalue of TT, and every eigenvalue of STS T is an eigenvalue of SS times an eigenvalue of TT.