Chapter 8

Operators on Complex Vector Spaces

[75/0%]
Show
LaTeX
Problem 8A.1

Suppose T∈L(V)T \in \mathcal{L}(V). Prove that if dim⁡null⁡T4=8\operatorname {dim}\operatorname {null}T^{4} = 8 and dim⁡null⁡T6=9\operatorname {dim}\operatorname {null}T^{6} = 9, then dim null⁡Tm=9\operatorname {null}T^{m} = 9 for all integers m≥5m \geq 5.

?
Problem 8A.2

Suppose T∈L(V),mT \in \mathcal{L}(V), m is a positive integer, v∈Vv \in V, and Tm−1v≠0T^{m-1} v \neq 0 but Tmv=0T^{m} v = 0. Prove that v,Tv,T2v,…,Tm−1vv, T v, T^{2} v, \ldots , T^{m-1} v is linearly independent.

?
Remark.
?

The result in this exercise is used in the proof of 8.45. Theorem 8.45 (every nilpotent operator has a Jordan basis): suppose T∈L(V)T \in \mathcal{L}(V) is nilpotent. Then there is a basis of VV that is a Jordan basis for TT. Definition 8.44: a basis of VV is called a Jordan basis for TT if with respect to this basis TT has a block diagonal matrix with diagonal blocks A1,…,ApA_{1}, \ldots , A_{p}, in which each AkA_{k} is an upper-triangular matrix with λk\lambda_{k} in every diagonal entry, 11 in every entry of the line directly above the diagonal, and 00 in all other entries.

Problem 8A.3

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

V=null⁡T⊕range⁡T⇔null⁡T2=null⁡T. V = \operatorname {null} T \oplus \operatorname {range} T \Leftrightarrow \operatorname {null} T^{2} = \operatorname {null} T.
?
Problem 8A.4

Suppose T∈L(V),λ∈FT \in \mathcal{L}(V), \lambda \in \mathbf{F}, and mm is a positive integer such that the minimal polynomial of TT is a polynomial multiple of (z−λ)m(z-\lambda )^{m}. Prove that

dim⁡null⁡(T−λI)m≥m. \operatorname {dim} \operatorname {null}(T-\lambda I)^{m} \geq m.
?
Problem 8A.5

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

dim⁡null⁡Tm≤mdim⁡null⁡T. \operatorname {dim}\operatorname {null}T^{m} \leq m \operatorname {dim}\operatorname {null}T.
?
Problem 8A.6

Suppose T∈L(V)T \in \mathcal{L}(V). Show that

V=range⁡T0⊇range⁡T1⊇⋯⊇range⁡Tk⊇range⁡Tk+1⊇⋯ . V = \operatorname {range} T^{0} \supseteq \operatorname {range} T^{1} \supseteq \cdots \supseteq \operatorname {range} T^{k} \supseteq \operatorname {range} T^{k+1} \supseteq \cdots .
?
Problem 8A.7

Suppose T∈L(V)T \in \mathcal{L}(V) and mm is a nonnegative integer such that

range⁡Tm=range⁡Tm+1. \operatorname {range} T^{m} = \operatorname {range} T^{m+1}.

Prove that range Tk=range⁡TmT^{k} = \operatorname {range} T^{m} for all k>mk > m.

?
Problem 8A.8

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

range⁡Tdim⁡V=range⁡Tdim⁡V+1=range⁡Tdim⁡V+2=⋯ . \operatorname {range} T^{\operatorname {dim} V} = \operatorname {range} T^{\operatorname {dim} V+1} = \operatorname {range} T^{\operatorname {dim} V+2} = \cdots .
?
Problem 8A.9

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

null⁡Tm=null⁡Tm+1⇔range⁡Tm=range⁡Tm+1. \operatorname {null}T^{m} = \operatorname {null} T^{m+1} \Leftrightarrow \operatorname {range} T^{m} = \operatorname {range} T^{m+1}.
?
Problem 8A.10

Define T∈L(C2)T \in \mathcal{L}\left(\mathbb {C}^{2}\right) by T(w,z)=(z,0)T(w, z) = (z, 0). Find all generalized eigenvectors of TT.

?
Problem 8A.11

Suppose that T∈L(V)T \in \mathcal{L}(V). Prove that there is a basis of VV consisting of generalized eigenvectors of TT if and only if the minimal polynomial of TT equals (z−λ1)⋯(z−λm)\left(z-\lambda_{1}\right) \cdots \left(z-\lambda_{m}\right) for some λ1,…,λm∈F\lambda_{1}, \ldots , \lambda_{m} \in \mathbf{F}.

Assume F=R\mathbf{F} = \mathbb {R} because the case F=C\mathbf{F} = \mathbb {C} follows from 5.27(b) and 8.9. This exercise states that the condition for there to be a basis of VV consisting of generalized eigenvectors of TT is the same as the condition for there to be a basis with respect to which TT has an upper-triangular matrix (see 5.44). Caution: If TT has an upper-triangular matrix with respect to a basis v1,…,vnv_{1}, \ldots , v_{n} of VV, then v1v_{1} is an eigenvector of TT but it is not necessarily true that v2,…,vnv_{2}, \ldots , v_{n} are generalized eigenvectors of TT.

Theorem 5.27(b): if VV is a complex vector space and T∈L(V)T \in \mathcal{L}(V), then the minimal polynomial of TT has the form (z−λ1)⋯(z−λm)\left(z-\lambda_{1}\right) \cdots \left(z-\lambda_{m}\right), where λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} is a list of all eigenvalues of TT, possibly with repetitions.

Theorem 8.9 (a basis of generalized eigenvectors): if F=C\mathbf{F} = \mathbb {C} and T∈L(V)T \in \mathcal{L}(V), then there is a basis of VV consisting of generalized eigenvectors of TT.

Theorem 5.44 (necessary and sufficient condition to have an upper-triangular matrix): suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V). Then TT has an upper-triangular matrix with respect to some basis of VV if and only if the minimal polynomial of TT equals (z−λ1)⋯(z−λm)\left(z-\lambda_{1}\right) \cdots \left(z-\lambda_{m}\right) for some λ1,…,λm∈F\lambda_{1}, \ldots , \lambda_{m} \in \mathbf{F}.

?
Problem 8A.12

Suppose T∈L(V)T \in \mathcal{L}(V) is such that every vector in VV is a generalized eigenvector of TT. Prove that there exists λ∈F\lambda \in \mathbf{F} such that T−λIT-\lambda I is nilpotent.

?
Problem 8A.13

Suppose S,T∈L(V)S, T \in \mathcal{L}(V) and STS T is nilpotent. Prove that TST S is nilpotent.

?
Problem 8A.14

Suppose T∈L(V)T \in \mathcal{L}(V) is nilpotent and T≠0T \neq 0. Prove TT is not diagonalizable.

?
Problem 8A.15

Suppose F=C\mathbf{F} = \mathbb {C} and T∈L(V)T \in \mathcal{L}(V). Prove that TT is diagonalizable if and only if every generalized eigenvector of TT is an eigenvector of TT.

?
Remark.
?

For F=C\mathbf{F} = \mathbb {C}, this exercise adds another equivalence to the list of conditions for diagonalizability in 5.55. Theorem 5.55 (conditions equivalent to diagonalizability): suppose VV is finite-dimensional and T∈L(V)T \in \mathcal{L}(V), and let λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} denote the distinct eigenvalues of TT. Then the following are equivalent: TT is diagonalizable; VV has a basis consisting of eigenvectors of TT; V=E(λ1,T)⊕⋯⊕E(λm,T)V = E(\lambda_{1}, T) \oplus \cdots \oplus E(\lambda_{m}, T); dim⁡V=dim⁡E(λ1,T)+⋯+dim⁡E(λm,T)\operatorname {dim} V = \operatorname {dim} E(\lambda_{1}, T)+\cdots +\operatorname {dim} E(\lambda_{m}, T).

Problem 8A.16
?
(a)

Give an example of nilpotent operators S,TS, T on the same vector space such that neither S+TS+T nor STS T is nilpotent.

(b)

Suppose S,T∈L(V)S, T \in \mathcal{L}(V) are nilpotent and ST=TSS T = T S. Prove that S+TS+T and STS T are nilpotent.

Problem 8A.17

Suppose T∈L(V)T \in \mathcal{L}(V) is nilpotent and mm is a positive integer such that Tm=0T^{m} = 0.

?
(a)

Prove that I−TI-T is invertible and that (I−T)−1=I+T+⋯+Tm−1(I-T)^{-1} = I+T+\cdots +T^{m-1}.

(b)

Explain how you would guess the formula above.

Problem 8A.18

Suppose T∈L(V)T \in \mathcal{L}(V) is nilpotent. Prove that T1+ dim range T=0T^{1+\text{ dim range } T} = 0. If dim⁡\operatorname {dim} range T<dim⁡V−1T < \operatorname {dim} V-1, then this exercise improves 8.16.

?
Problem 8A.19

Suppose T∈L(V)T \in \mathcal{L}(V) is not nilpotent. Show that

V=null⁡Tdim⁡V−1⊕range⁡Tdim⁡V−1. V = \operatorname {null} T^{\operatorname {dim} V-1} \oplus \operatorname {range} T^{\operatorname {dim} V-1}.

For operators that are not nilpotent, this exercise improves 8.4.

?
Problem 8A.20

Suppose VV is an inner product space and T∈L(V)T \in \mathcal{L}(V) is normal and nilpotent. Prove that T=0T = 0.

?
Problem 8A.21

Suppose T∈L(V)T \in \mathcal{L}(V) is such that null⁡Tdim⁡V−1≠null⁡Tdim⁡V\operatorname {null}T^{\operatorname {dim} V-1} \neq \operatorname {null} T^{\operatorname {dim} V}. Prove that TT is nilpotent and that dim⁡null⁡Tk=k\operatorname {dim}\operatorname {null}T^{k} = k for every integer kk with 0≤k≤dim⁡V0 \leq k \leq \operatorname {dim} V.

?
Problem 8A.22

Suppose T∈L(C5)T \in \mathcal{L}\left(\mathbb {C}^{5}\right) is such that range T4≠range⁡T5T^{4} \neq \operatorname {range} T^{5}. Prove that TT is nilpotent.

?
Problem 8A.23

Give an example of an operator TT on a finite-dimensional real vector space such that 0 is the only eigenvalue of TT but TT is not nilpotent.

?
Remark.
?

This exercise shows that the implication (b)⇒(b) \Rightarrow (a) in 8.17 does not hold without the hypothesis that F=C\mathbf{F} = \mathbb {C}. Theorem 8.17 (eigenvalues of nilpotent operator): suppose T∈L(V)T \in \mathcal{L}(V). Part (a): if TT is nilpotent, then 00 is an eigenvalue of TT and TT has no other eigenvalues. Part (b): if F=C\mathbf{F} = \mathbb {C} and 00 is the only eigenvalue of TT, then TT is nilpotent.

Problem 8A.24

For each item in Example 8.15, find a basis of the domain vector space such that the matrix of the nilpotent operator with respect to that basis has the upper-triangular form promised by 8.18(c).

Theorem 8.18(c): there is a basis of VV with respect to which the matrix of TT has the form [0∗⋱00]\left[\begin{smallmatrix} 0 & & * \\ & \ddots & \\ 0 & & 0 \end{smallmatrix}\right], where all entries on and below the diagonal equal 00.

Example 8.15 (nilpotent operators):

?
(a)

The operator T∈L(F4)T \in \mathcal{L}\left(\mathbf{F}^{4}\right) defined by T(z1,z2,z3,z4)=(0,0,z1,z2)T(z_{1}, z_{2}, z_{3}, z_{4}) = (0, 0, z_{1}, z_{2}) is nilpotent because T2=0T^{2} = 0.

(b)

The operator on F3\mathbf{F}^{3} whose matrix (with respect to the standard basis) is

[−390−79640−6] \left[\begin{smallmatrix} -3 & 9 & 0 \\ -7 & 9 & 6 \\ 4 & 0 & -6 \end{smallmatrix}\right]

is nilpotent, as can be shown by cubing the matrix above to get the zero matrix.

(c)

The operator of differentiation on Pm(R)\mathcal{P}_{m}(\mathbb {R}) is nilpotent because the (m+1)(m+1)th derivative of every polynomial of degree at most mm equals 00.

Problem 8A.25

Suppose that VV is an inner product space and T∈L(V)T \in \mathcal{L}(V) is nilpotent. Show that there is an orthonormal basis of VV with respect to which the matrix of TT has the upper-triangular form promised by 8.18(c).

Theorem 8.18(c): an operator T∈L(V)T \in \mathcal{L}(V) is nilpotent if and only if there is a basis of VV with respect to which the matrix of TT has the form [0∗⋱00]\left[\begin{smallmatrix} 0 & & * \\ & \ddots & \\ 0 & & 0 \end{smallmatrix}\right], where all entries on and below the diagonal equal 00.

?
Problem 8B.1

Define T∈L(C2)T \in \mathcal{L}\left(\mathbb {C}^{2}\right) by T(w,z)=(−z,w)T(w, z) = (-z, w). Find the generalized eigenspaces corresponding to the distinct eigenvalues of TT.

?
Problem 8B.2

Suppose T∈L(V)T \in \mathcal{L}(V) is invertible. Prove that G(λ,T)=G(1λ,T−1)G(\lambda , T) = G\left(\frac{1}{\lambda }, T^{-1}\right) for every λ∈F\lambda \in \mathbf{F} with λ≠0\lambda \neq 0.

?
Problem 8B.3

Suppose T∈L(V)T \in \mathcal{L}(V). Suppose S∈L(V)S \in \mathcal{L}(V) is invertible. Prove that TT and S−1TSS^{-1} T S have the same eigenvalues with the same multiplicities.

?
Problem 8B.4

Suppose dim⁡V≥2\operatorname {dim} V \geq 2 and T∈L(V)T \in \mathcal{L}(V) is such that null⁡Tdim⁡V−2≠null⁡Tdim⁡V−1\operatorname {null}T^{\operatorname {dim} V-2} \neq \operatorname {null} T^{\operatorname {dim} V-1}. Prove that TT has at most two distinct eigenvalues.

?
Problem 8B.5

Suppose T∈L(V)T \in \mathcal{L}(V) and 3 and 8 are eigenvalues of TT. Let n=dim⁡Vn = \operatorname {dim} V. Prove that V=(null⁡Tn−2)⊕(range⁡Tn−2)V = \left(\operatorname {null} T^{n-2}\right) \oplus \left(\operatorname {range} T^{n-2}\right).

?
Problem 8B.6

Suppose T∈L(V)T \in \mathcal{L}(V) and λ\lambda is an eigenvalue of TT. Explain why the exponent of z−λz-\lambda in the factorization of the minimal polynomial of TT is the smallest positive integer mm such that (T−λI)m∣G(λ,T)=0\left.(T-\lambda I)^{m}\right|_{G(\lambda , T)} = 0.

?
Problem 8B.7

Suppose T∈L(V)T \in \mathcal{L}(V) and λ\lambda is an eigenvalue of TT with multiplicity dd. Prove that G(λ,T)=null⁡(T−λI)dG(\lambda , T) = \operatorname {null}(T-\lambda I)^{d}.

?
Remark.
?

If d<dim⁡Vd < \operatorname {dim} V, then this exercise improves 8.20. Theorem 8.20 (description of generalized eigenspaces): suppose T∈L(V)T \in \mathcal{L}(V) and λ∈F\lambda \in \mathbf{F}. Then G(λ,T)=null⁡(T−λI)dim⁡VG(\lambda , T) = \operatorname {null}(T-\lambda I)^{\operatorname {dim} V}.

Problem 8B.8

Suppose T∈L(V)T \in \mathcal{L}(V) and λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} are the distinct eigenvalues of TT. Prove that

V=G(λ1,T)⊕⋯⊕G(λm,T) V = G\left(\lambda _{1}, T\right) \oplus \cdots \oplus G\left(\lambda _{m}, T\right)

if and only if the minimal polynomial of TT equals (z−λ1)k1…(z−λm)km\left(z-\lambda_{1}\right)^{k_{1}} \ldots \left(z-\lambda_{m}\right)^{k_{m}} for some positive integers k1,…,kmk_{1}, \ldots , k_{m}.

?
Remark.
?

The case F=C\mathbf{F} = \mathbb {C} follows immediately from 5.27(b)5.27(b) and the generalized eigenspace decomposition (8.22); thus this exercise is interesting only when F=R\mathrm{F} = \mathbb {R}. Theorem 5.27(b): if VV is a finite-dimensional complex vector space and T∈L(V)T \in \mathcal{L}(V), then the minimal polynomial of TT has the form (z−λ1)⋯(z−λm)(z-\lambda_{1}) \cdots (z-\lambda_{m}), where λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} is a list of all eigenvalues of TT, possibly with repetitions. Theorem 8.22 (generalized eigenspace decomposition): suppose F=C\mathbf{F} = \mathbb {C} and T∈L(V)T \in \mathcal{L}(V), and let λ1,…,λm\lambda_{1}, \ldots , \lambda_{m} be the distinct eigenvalues of TT. Then G(λk,T)G(\lambda_{k}, T) is invariant under TT and (T−λkI)∣G(λk,T)(T-\lambda_{k} I)|_{G(\lambda_{k}, T)} is nilpotent for each k=1,…,mk = 1, \ldots , m, and V=G(λ1,T)⊕⋯⊕G(λm,T)V = G(\lambda_{1}, T) \oplus \cdots \oplus G(\lambda_{m}, T).

Problem 8B.9

Suppose F=C\mathbf{F} = \mathbb {C} and T∈L(V)T \in \mathcal{L}(V). Prove that there exist D,N∈L(V)D, N \in \mathcal{L}(V) such that T=D+NT = D+N, the operator DD is diagonalizable, NN is nilpotent, and DN=NDD N = N D.

?
Problem 8B.10

Suppose VV is a complex inner product space, e1,…,ene_{1}, \ldots , e_{n} is an orthonormal basis of TT, and T∈L(V)T \in \mathcal{L}(V). Let λ1,…,λn\lambda_{1}, \ldots , \lambda_{n} be the eigenvalues of TT, each included as many times as its multiplicity. Prove that

∣λ1∣2+⋯+∣λn∣2≤∥Te1∥2+⋯+∥Ten∥2. \left|\lambda _{1}\right|^{2}+\cdots +\left|\lambda _{n}\right|^{2} \leq \left\| T e_{1}\right\| ^{2}+\cdots +\left\| T e_{n}\right\| ^{2}.

See the comment after Exercise 5 in Section 7A. Exercise 7A.5: suppose T∈L(V,W)T \in \mathcal{L}(V, W); suppose e1,…,ene_{1}, \ldots , e_{n} is an orthonormal basis of VV and f1,…,fmf_{1}, \ldots , f_{m} is an orthonormal basis of WW. Prove that ∥Te1∥2+⋯+∥Ten∥2=∥T∗f1∥2+⋯+∥T∗fm∥2\left\| Te_{1}\right\|^{2}+\cdots +\left\| Te_{n}\right\|^{2} = \left\| T^{*}f_{1}\right\|^{2}+\cdots +\left\| T^{*}f_{m}\right\|^{2}. The comment after that exercise notes: the numbers ∥Te1∥2,…,∥Ten∥2\left\| Te_{1}\right\|^{2}, \ldots , \left\| Te_{n}\right\|^{2} in that equation depend on the orthonormal basis e1,…,ene_{1}, \ldots , e_{n}, but the right side does not depend on e1,…,ene_{1}, \ldots , e_{n}; thus the equation shows that the sum on the left side does not depend on which orthonormal basis e1,…,ene_{1}, \ldots , e_{n} is used.

?
Problem 8B.11

Give an example of an operator on C4\mathbb {C}^{4} whose characteristic polynomial equals (z−7)2(z−8)2(z-7)^{2}(z-8)^{2}.

?
Problem 8B.12

Give an example of an operator on C4\mathbb {C}^{4} whose characteristic polynomial equals (z−1)(z−5)3(z-1)(z-5)^{3} and whose minimal polynomial equals (z−1)(z−5)2(z-1)(z-5)^{2}.

?
Problem 8B.13

Give an example of an operator on C4\mathbb {C}^{4} whose characteristic and minimal polynomials both equal z(z−1)2(z−3)z(z-1)^{2}(z-3).

?
Problem 8B.14

Give an example of an operator on C4\mathbb {C}^{4} whose characteristic polynomial equals z(z−1)2(z−3)z(z-1)^{2}(z-3) and whose minimal polynomial equals z(z−1)(z−3)z(z-1)(z-3).

?
Problem 8B.15

Let TT be the operator on C4\mathbb {C}^{4} defined by T(z1,z2,z3,z4)=(0,z1,z2,z3)T\left(z_{1}, z_{2}, z_{3}, z_{4}\right) = \left(0, z_{1}, z_{2}, z_{3}\right). Find the characteristic polynomial and the minimal polynomial of TT.

?
Problem 8B.16

Let TT be the operator on C6\mathbb {C}^{6} defined by

T(z1,z2,z3,z4,z5,z6)=(0,z1,z2,0,z4,0). T\left(z_{1}, z_{2}, z_{3}, z_{4}, z_{5}, z_{6}\right) = \left(0, z_{1}, z_{2}, 0, z_{4}, 0\right).

Find the characteristic polynomial and the minimal polynomial of TT.

?
Problem 8B.17

Suppose F=C\mathbf{F} = \mathbb {C} and P∈L(V)P \in \mathcal{L}(V) is such that P2=PP^{2} = P. Prove that the characteristic polynomial of PP is zm(z−1)nz^{m}(z-1)^{n}, where m=dim⁡null⁡Pm = \operatorname {dim}\operatorname {null}P and n=dim⁡n = \operatorname {dim} range PP.

?
Problem 8B.18

Suppose T∈L(V)T \in \mathcal{L}(V) and λ\lambda is an eigenvalue of TT. Explain why the following four numbers equal each other.

?
(a)

The exponent of z−λz-\lambda in the factorization of the minimal polynomial of TT.

(b)

The smallest positive integer mm such that (T−λI)m∣G(λ,T)=0\left.(T-\lambda I)^{m}\right|_{G(\lambda , T)} = 0.

(c)

The smallest positive integer mm such that

null⁡(T−λI)m=null⁡(T−λI)m+1 \operatorname {null}(T-\lambda I)^{m} = \operatorname {null}(T-\lambda I)^{m+1}
(d)

The smallest positive integer mm such that

range⁡(T−λI)m=range⁡(T−λI)m+1 \operatorname {range}(T-\lambda I)^{m} = \operatorname {range}(T-\lambda I)^{m+1}
Problem 8B.19

Suppose F=C\mathbf{F} = \mathbb {C} and S∈L(V)S \in \mathcal{L}(V) is a unitary operator. Prove that the constant term in the characteristic polynomial of SS has absolute value 1.

?
Problem 8B.20

Suppose that F=C\mathbf{F} = \mathbb {C} and V1,…,VmV_{1}, \ldots , V_{m} are nonzero subspaces of VV such that

V=V1⊕⋯⊕Vm V = V_{1} \oplus \cdots \oplus V_{m}

Suppose T∈L(V)T \in \mathcal{L}(V) and each VkV_{k} is invariant under TT. For each kk, let pkp_{k} denote the characteristic polynomial of T∣Vk\left.T\right|_{V_{k}}. Prove that the characteristic polynomial of TT equals p1⋯pmp_{1} \cdots p_{m}.

?
Problem 8B.21

Suppose p,q∈P(C)p, q \in \mathcal{P}(\mathbb {C}) are monic polynomials with the same zeros and qq is a polynomial multiple of pp. Prove that there exists T∈L(Cdeg⁡q)T \in \mathcal{L}\left(\mathbb {C}^{\operatorname {deg} q}\right) such that the characteristic polynomial of TT is qq and the minimal polynomial of TT is pp.

?
Remark.
?

This exercise implies that every monic polynomial is the characteristic polynomial of some operator.

Problem 8B.22

Suppose AA and BB are block diagonal matrices of the form

A=[A10⋱0Am],B=[B10⋱0Bm] A =\left[\begin{smallmatrix} A_{1} & & 0 \\ & \ddots & \\ 0 & & A_{m} \end{smallmatrix}\right], \quad B =\left[\begin{smallmatrix} B_{1} & & 0 \\ & \ddots & \\ 0 & & B_{m} \end{smallmatrix}\right]

where AkA_{k} and BkB_{k} are square matrices of the same size for each k=1,…,mk = 1, \ldots , m. Show that ABA B is a block diagonal matrix of the form

AB=[A1B10⋱0AmBm] A B =\left[\begin{smallmatrix} A_{1} B_{1} & & 0 \\ & \ddots & \\ 0 & & A_{m} B_{m} \end{smallmatrix}\right]
?
Problem 8B.23

Suppose F=R,T∈L(V)\mathbf{F} = \mathbb {R}, T \in \mathcal{L}(V), and λ∈C\lambda \in \mathbb {C}.

?
(a)

Show that u+iv∈G(λ,TC)u+i v \in G\left(\lambda , T_{\mathrm{C}}\right) if and only if u−iv∈G(λˉ,TC)u-i v \in G\left(\bar{\lambda }, T_{\mathrm{C}}\right).

(b)

Show that the multiplicity of λ\lambda as an eigenvalue of TCT_{\mathrm{C}} equals the multiplicity of λˉ\bar{\lambda } as an eigenvalue of TCT_{\mathrm{C}}.

(c)

Use (b) and the result about the sum of the multiplicities (8.25) to show that if dim⁡V\operatorname {dim} V is an odd number, then TCT_{\mathrm{C}} has a real eigenvalue.

Theorem 8.25 (sum of the multiplicities equals dim⁡V\operatorname {dim} V): suppose F=C\mathbf{F} = \mathbb {C} and T∈L(V)T \in \mathcal{L}(V). Then the sum of the multiplicities of all eigenvalues of TT equals dim⁡V\operatorname {dim} V.

(d)

Use (c) and the result about real eigenvalues of TCT_{\mathrm{C}} (Exercise 17 in Section 5A) to show that if dim⁡V\operatorname {dim} V is an odd number, then TT has an eigenvalue (thus giving an alternative proof of 5.34).

Exercise 17 in Section 5A (Exercise 5A.17): if F=R\mathbf{F} = \mathbb {R}, T∈L(V)T \in \mathcal{L}(V), and λ∈R\lambda \in \mathbb {R}, then λ\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 8C.1

Suppose T∈L(C3)T \in \mathcal{L}\left(\mathbb {C}^{3}\right) is the operator defined by T(z1,z2,z3)=(z2,z3,0)T\left(z_{1}, z_{2}, z_{3}\right) = \left(z_{2}, z_{3}, 0\right). Prove that TT does not have a square root.

?
Problem 8C.2

Define T∈L(F5)T \in \mathcal{L}\left(\mathbf{F}^{5}\right) by T(x1,x2,x3,x4,x5)=(2x2,3x3,−x4,4x5,0)T\left(x_{1}, x_{2}, x_{3}, x_{4}, x_{5}\right) = \left(2 x_{2}, 3 x_{3},-x_{4}, 4 x_{5}, 0\right).

?
(a)

Show that TT is nilpotent.

(b)

Find a square root of I+TI+T.

Problem 8C.3

Suppose VV is a complex vector space. Prove that every invertible operator on VV has a cube root.

?
Problem 8C.4

Suppose VV is a real vector space. Prove that the operator −I-I on VV has a square root if and only if dim⁡V\operatorname {dim} V is an even number.

?
Problem 8C.5

Suppose T∈L(C2)T \in \mathcal{L}\left(\mathbb {C}^{2}\right) is the operator defined by T(w,z)=(−w−z,9w+5z)T(w, z) = (-w-z, 9 w+5 z). Find a Jordan basis for TT.

?
Problem 8C.6

Find a basis of P4(R)\mathcal{P}_{4}(\mathbb {R}) that is a Jordan basis for the differentiation operator DD on P4(R)\mathcal{P}_{4}(\mathbb {R}) defined by Dp=p′D p = p^{\prime }.

?
Problem 8C.7

Suppose T∈L(V)T \in \mathcal{L}(V) is nilpotent and v1,…,vnv_{1}, \ldots , v_{n} is a Jordan basis for TT. Prove that the minimal polynomial of TT is zm+1z^{m+1}, where mm is the length of the longest consecutive string of 1's that appears on the line directly above the diagonal in the matrix of TT with respect to v1,…,vnv_{1}, \ldots , v_{n}.

?
Problem 8C.8

Suppose T∈L(V)T \in \mathcal{L}(V) and v1,…,vnv_{1}, \ldots , v_{n} is a basis of VV that is a Jordan basis for TT. Describe the matrix of T2T^{2} with respect to this basis.

?
Problem 8C.9

Suppose T∈L(V)T \in \mathcal{L}(V) is nilpotent. Explain why there exist v1,…,vn∈Vv_{1}, \ldots , v_{n} \in V and nonnegative integers m1,…,mnm_{1}, \ldots , m_{n} such that (a) and (b) below both hold.

?
(a)

Tm1v1,…,Tv1,v1,…,Tmnvn,…,Tvn,vnT^{m_{1}} v_{1}, \ldots , T v_{1}, v_{1}, \ldots , T^{m_{n}} v_{n}, \ldots , T v_{n}, v_{n} is a basis of VV.

(b)

Tm1+1v1=⋯=Tmn+1vn=0T^{m_{1}+1} v_{1} = \cdots = T^{m_{n}+1} v_{n} = 0.

Problem 8C.10

Suppose T∈L(V)T \in \mathcal{L}(V) and v1,…,vnv_{1}, \ldots , v_{n} is a basis of VV that is a Jordan basis for TT. Describe the matrix of TT with respect to the basis vn,…,v1v_{n}, \ldots , v_{1} obtained by reversing the order of the vv 's.

?
Problem 8C.11

Suppose T∈L(V)T \in \mathcal{L}(V). Explain why every vector in each Jordan basis for TT is a generalized eigenvector of TT.

?
Problem 8C.12

Suppose T∈L(V)T \in \mathcal{L}(V) is diagonalizable. Show that M(T)\mathcal{M}(T) is a diagonal matrix with respect to every Jordan basis for TT.

?
Problem 8C.13

Suppose T∈L(V)T \in \mathcal{L}(V) is nilpotent. Prove that if v1,…,vnv_{1}, \ldots , v_{n} are vectors in VV and m1,…,mnm_{1}, \ldots , m_{n} are nonnegative integers such that

Tm1v1,…,Tv1,v1,…,Tmnvn,…,Tvn,vn is a basis of V T^{m_{1}} v_{1}, \ldots , T v_{1}, v_{1}, \ldots , T^{m_{n}} v_{n}, \ldots , T v_{n}, v_{n} \text{ is a basis of } V

and

Tm1+1v1=⋯=Tmn+1vn=0, T^{m_{1}+1} v_{1} = \cdots = T^{m_{n}+1} v_{n} = 0,

then Tm1v1,…,TmnvnT^{m_{1}} v_{1}, \ldots , T^{m_{n}} v_{n} is a basis of null⁡T\operatorname {null}T. This exercise shows that n=dim⁡null⁡Tn = \operatorname {dim}\operatorname {null}T. Thus the positive integer nn that appears above depends only on TT and not on the specific Jordan basis chosen for TT.

?
Problem 8C.14

Suppose F=C\mathbf{F} = \mathbb {C} and T∈L(V)T \in \mathcal{L}(V). Prove that there does not exist a direct sum decomposition of VV into two nonzero subspaces invariant under TT if and only if the minimal polynomial of TT is of the form (z−λ)dim⁡V(z-\lambda )^{\operatorname {dim} V} for some λ∈C\lambda \in \mathbb {C}.

?
Problem 8D.1

Suppose VV is an inner product space and v,w∈Vv, w \in V. Define an operator T∈L(V)T \in \mathcal{L}(V) by Tu=⟨u,v⟩wT u = \left\langle u, v \right\rangle w. Find a formula for tr⁡T\operatorname {tr} T.

?
Problem 8D.2

Suppose P∈L(V)P \in \mathcal{L}(V) satisfies P2=PP^{2} = P. Prove that

tr⁡P=dim⁡range⁡P. \operatorname {tr} P = \operatorname {dim} \operatorname {range} P.
?
Problem 8D.3

Suppose T∈L(V)T \in \mathcal{L}(V) and T5=TT^{5} = T. Prove that the real and imaginary parts of tr⁡T\operatorname {tr} T are both integers.

?
Problem 8D.4

Suppose VV is an inner product space and T∈L(V)T \in \mathcal{L}(V). Prove that

tr⁡T∗=tr⁡T‾. \operatorname {tr} T^{*} = \overline{\operatorname {tr} T}.
?
Problem 8D.5

Suppose VV is an inner product space. Suppose T∈L(V)T \in \mathcal{L}(V) is a positive operator and tr⁡T=0\operatorname {tr} T = 0. Prove that T=0T = 0.

?
Problem 8D.6

Suppose VV is an inner product space and P,Q∈L(V)P, Q \in \mathcal{L}(V) are orthogonal projections. Prove that tr⁡(PQ)≥0\operatorname {tr}(P Q) \geq 0.

?
Problem 8D.7

Suppose T∈L(C3)T \in \mathcal{L}\left(\mathbb {C}^{3}\right) is the operator whose matrix is

[51−12−2160−40−2857−681] \left[\begin{smallmatrix} 51 & -12 & -21 \\ 60 & -40 & -28 \\ 57 & -68 & 1 \end{smallmatrix}\right]

Someone tells you (accurately) that -48 and 24 are eigenvalues of TT. Without using a computer or writing anything down, find the third eigenvalue of TT.

?
Problem 8D.8

Prove or give a counterexample: If S,T∈L(V)S, T \in \mathcal{L}(V), then tr⁡(ST)=(tr⁡S)(tr⁡T)\operatorname {tr}(S T) = (\operatorname {tr} S)(\operatorname {tr} T).

?
Problem 8D.9

Suppose T∈L(V)T \in \mathcal{L}(V) is such that tr⁡(ST)=0\operatorname {tr}(S T) = 0 for all S∈L(V)S \in \mathcal{L}(V). Prove that T=0T = 0.

?
Problem 8D.10

Prove that the trace is the only linear functional τ:L(V)→F\tau : \mathcal{L}(V) \rightarrow \mathbf{F} such that

τ(ST)=τ(TS) \tau (S T) = \tau (T S)

for all S,T∈L(V)S, T \in \mathcal{L}(V) and τ(I)=dim⁡V\tau (I) = \operatorname {dim} V.

?
Problem 8D.11

Suppose VV and WW are inner product spaces and T∈L(V,W)T \in \mathcal{L}(V, W). Prove that if e1,…,ene_{1}, \ldots , e_{n} is an orthonormal basis of VV and f1,…,fmf_{1}, \ldots , f_{m} is an orthonormal basis of WW, then

tr⁡(T∗T)=∑k=1n∑j=1m∣⟨Tek,fj⟩∣2. \operatorname {tr}\left(T^{*} T\right) = \sum _{k = 1}^{n} \sum _{j = 1}^{m}\left| \left\langle T e_{k}, f_{j} \right\rangle \right|^{2}.

The numbers ⟨Tek,fj⟩\left\langle T e_{k}, f_{j} \right\rangle are the entries of the matrix of TT with respect to the orthonormal bases e1,…,ene_{1}, \ldots , e_{n} and f1,…,fmf_{1}, \ldots , f_{m}. These numbers depend on the bases, but tr⁡(T∗T)\operatorname {tr}\left(T^{*} T\right) does not depend on a choice of bases. Thus this exercise shows that the sum of the squares of the absolute values of the matrix entries does not depend on which orthonormal bases are used.

?
Problem 8D.12

Suppose VV and WW are finite-dimensional inner product spaces.

?
(a)

Prove that ⟨S,T⟩=tr⁡(T∗S)\left\langle S, T \right\rangle = \operatorname {tr}\left(T^{*} S\right) defines an inner product on L(V,W)\mathcal{L}(V, W).

(b)

Suppose e1,…,ene_{1}, \ldots , e_{n} is an orthonormal basis of VV and f1,…,fmf_{1}, \ldots , f_{m} is an orthonormal basis of WW. Show that the inner product on L(V,W)\mathcal{L}(V, W) from (a) is the same as the standard inner product on Fmn\mathbf{F}^{m n}, where we identify each element of L(V,W)\mathcal{L}(V, W) with its matrix (with respect to the bases just mentioned) and then with an element of Fmn\mathbf{F}^{m n}.

Caution: The norm of a linear map T∈L(V,W)T \in \mathcal{L}(V, W) as defined by 7.86 is not the same as the norm that comes from the inner product in (a) above. Unless explicitly stated otherwise, always assume that ∥T∥\left\| T\right\| refers to the norm as defined by 7.86. The norm that comes from the inner product in (a) is called the Frobenius norm or the Hilbert-Schmidt norm.

Definition 7.86 (norm of a linear map, ∥⋅∥\left\| \cdot \right\|): suppose T∈L(V,W)T \in \mathcal{L}(V, W). Then the norm of TT, denoted by ∥T∥\left\| T\right\|, is defined by ∥T∥=max⁡{∥Tv∥:v∈V and ∥v∥≤1}\left\| T\right\| = \max \left\{ \left\| Tv\right\| : v \in V \text{ and } \left\| v\right\| \leq 1\right\}.

Problem 8D.13

Find S,T∈L(P(F))S, T \in \mathcal{L}(\mathcal{P}(\mathbf{F})) such that ST−TS=IS T-T S = I.

?