Section 10C

Compact Operators

[22/64%]
Show
LaTeX
Problem 10C.1

Prove that if TT is a compact operator on a Hilbert space VV and e1,e2,…e_{1}, e_{2}, \ldots is an orthonormal sequence in VV, then lim⁡n→∞Ten=0V\lim_{n \rightarrow \infty } T e_{n} = 0_V.

?
Problem 10C.2

Prove that if TT is a compact operator on L2([0,1])L^{2}([0,1]), then lim⁡n→∞n∥T(xn)∥2=0\lim_{n \rightarrow \infty } \sqrt{n}\left\| T\left(x^{n}\right)\right\|_{2} = 0, where xnx^{n} means the element of L2([0,1])L^{2}([0,1]) defined by x↦xnx \mapsto x^{n}.

?
Problem 10C.3

Suppose TT is a compact operator on a Hilbert space VV and f1,f2,…f_{1}, f_{2}, \ldots is a sequence in VV such that lim⁡n→∞⟨fn,g⟩=0\lim_{n \rightarrow \infty } \left\langle f_{n}, g \right\rangle = 0 for every g∈Vg \in V. Prove that lim⁡n→∞∥Tfn∥=0\lim_{n \rightarrow \infty }\left\| T f_{n}\right\| = 0.

?
Problem 10C.4

Suppose h∈L∞(R)h \in L^{\infty }(\mathbb {R}). Define Mh∈B(L2(R))M_{h} \in \mathcal{B}\left(L^{2}(\mathbb {R})\right) by Mhf=fhM_{h} f = f h. Prove that if ∥h∥∞>0\left\| h\right\|_{\infty } > 0, then MhM_{h} is not compact.

?
Problem 10C.5

Suppose (b1,b2,…)∈ℓ∞\left(b_{1}, b_{2}, \ldots \right) \in \ell^{\infty }. Define T:ℓ2→ℓ2T: \ell^{2} \rightarrow \ell^{2} by

T(a1,a2,…)=(a1b1,a2b2,…) T\left(a_{1}, a_{2}, \ldots \right) = \left(a_{1} b_{1}, a_{2} b_{2}, \ldots \right)

Prove that TT is compact if and only if lim⁡n→∞bn=0\lim_{n \rightarrow \infty } b_{n} = 0.

?
Problem 10C.6

Suppose TT is a bounded operator on a Hilbert space VV. Prove that if there exists an orthonormal basis {ek}k∈Γ\left\{ e_{k}\right\}_{k \in \Gamma } of VV such that

∑k∈Γ∥Tek∥2<∞ \sum _{k \in \Gamma }\left\| T e_{k}\right\| ^{2} < \infty

then TT is compact.

?
Problem 10C.7

Suppose TT is a bounded operator on a Hilbert space VV. Prove that if {ek}k∈Γ\left\{ e_{k}\right\}_{k \in \Gamma } and {fj}j∈Ω\left\{ f_{j}\right\}_{j \in \Omega } are orthonormal bases of VV, then

∑k∈Γ∥Tek∥2=∑j∈Ω∥Tfj∥2 \sum _{k \in \Gamma }\left\| T e_{k}\right\| ^{2} = \sum _{j \in \Omega }\left\| T f_{j}\right\| ^{2}
?
Problem 10C.8

Suppose TT is a bounded operator on a Hilbert space. Prove that TT is compact if and only if T∗TT^{*} T is compact.

?
Problem 10C.9

Prove that if TT is a compact operator on an infinite-dimensional Hilbert space, then ∥I−T∥≥1\left\| I-T\right\| \geq 1.

?
Problem 10C.10

Show that if TT is a surjective but not injective operator on a vector space VV, then

null⁡T⫋null⁡T2⫋null⁡T3⫋⋯ \operatorname {null} T \varsubsetneqq \operatorname {null} T^{2} \varsubsetneqq \operatorname {null} T^{3} \varsubsetneqq \cdots
?
Problem 10C.11

Suppose TT is a compact operator on a Hilbert space and α∈F\{0}\alpha \in \mathbf{F} \backslash \left\{ 0\right\}.

?
(a)

Prove that range⁡(T−αI)m−1=range⁡(T−αI)m\operatorname {range}(T-\alpha I)^{m-1} = \operatorname {range}(T-\alpha I)^{m} for some m∈Nm \in \mathbb {N}.

(b)

Prove that null⁡(T−αI)n−1=null⁡(T−αI)n\operatorname {null}(T-\alpha I)^{n-1} = \operatorname {null}(T-\alpha I)^{n} for some n∈Nn \in \mathbb {N}.

(c)

Show that the smallest positive integer mm that works in (a) equals the smallest positive integer nn that works in (b).

Problem 10C.12

Prove that if f:[0,1]→Ff:[0,1] \rightarrow \mathbf{F} is a continuous function, then there exists a continuous function g:[0,1]→Fg:[0,1] \rightarrow \mathbf{F} such that

f(x)=g(x)+∫0xg f(x) = g(x)+\int _{0}^{x} g

for all x∈[0,1]x \in [0,1].

?
Problem 10C.13

Suppose SS is a bounded invertible operator on a Hilbert space VV and TT is a compact operator on VV.

?
(a)

Prove that S+TS+T has closed range.

(b)

Prove that S+TS+T is injective if and only if S+TS+T is surjective.

(c)

Prove that null⁡(S+T)\operatorname {null}(S+T) and null⁡(S∗+T∗)\operatorname {null}\left(S^{*}+T^{*}\right) are finite-dimensional.

(d)

Prove that dim⁡null⁡(S+T)=dim⁡null⁡(S∗+T∗)\operatorname {dim} \operatorname {null}(S+T) = \operatorname {dim} \operatorname {null}\left(S^{*}+T^{*}\right).

(e)

Prove that there exists R∈B(V)R \in \mathcal{B}(V) such that range RR is finite-dimensional and S+T+RS+T+R is invertible.

Problem 10C.14

Suppose TT is a compact operator on a Hilbert space VV. Prove that range TT is a separable subspace of VV.

?
Problem 10C.15

Suppose TT is a compact operator on a Hilbert space VV and e1,e2,…e_{1}, e_{2}, \ldots is an orthonormal basis of range TT. Let PnP_{n} denote the orthogonal projection of VV onto span⁡{e1,…,en}\operatorname {span}\left\{ e_{1}, \ldots , e_{n}\right\}.

?
(a)

Prove that lim⁡n→∞∥T−PnT∥=0\lim_{n \rightarrow \infty }\left\| T-P_{n} T\right\| = 0.

(b)

Prove that a bounded operator on a Hilbert space VV is compact if and only if it is the limit in B(V)\mathcal{B}(V) of a sequence of bounded operators with finite-dimensional range.

Problem 10C.16

Prove that if TT is a compact operator on a Hilbert space VV, then there exists a sequence S1,S2,…S_{1}, S_{2}, \ldots of invertible operators on VV such that lim⁡n→∞∥T−Sn∥=0\lim_{n \rightarrow \infty }\left\| T-S_{n}\right\| = 0.

?
Problem 10C.17

Suppose TT is a bounded operator on a Hilbert space such that p(T)p(T) is compact for some nonzero polynomial pp with coefficients in F\mathbf{F}. Prove that sp⁡(T)\operatorname {sp}(T) is a countable set.

?
Problem 10C.18

Suppose T∈B(ℓ2)T \in \mathcal{B}\left(\ell^{2}\right) is defined by T(a1,a2,a3,…)=(a2,a3,a4,…)T\left(a_{1}, a_{2}, a_{3}, \ldots \right) = \left(a_{2}, a_{3}, a_{4}, \ldots \right). Suppose also that α∈F\alpha \in \mathbf{F} and ∣α∣<1\left|\alpha \right| < 1.

?
(a)

Show that the geometric multiplicity of α\alpha as an eigenvalue of TT equals 1.

(b)

Show that the algebraic multiplicity of α\alpha as an eigenvalue of TT equals ∞\infty.

Remark.
?

Suppose TT is a bounded operator on a Hilbert space. The algebraic multiplicity of an eigenvalue α\alpha of TT is defined to be the dimension of the subspace

⋃n=1∞null⁡(T−αI)n \bigcup _{n = 1}^{\infty } \operatorname {null}(T-\alpha I)^{n}

As an easy example, if TT is the left shift as defined in the next exercise, then the eigenvalue 00 of TT has geometric multiplicity 1 but algebraic multiplicity ∞\infty. The definition above of algebraic multiplicity is equivalent on finite-dimensional spaces to the common definition involving the multiplicity of a root of the characteristic polynomial. However, the definition used here is cleaner (no determinants needed) and has the advantage of working on infinite-dimensional Hilbert spaces.

Problem 10C.19

Prove that the geometric multiplicity of an eigenvalue of a normal operator on a Hilbert space equals the algebraic multiplicity of that eigenvalue.

?
Problem 10C.20

Prove that every nonzero eigenvalue of a compact operator on a Hilbert space has finite algebraic multiplicity.

?
Problem 10C.21

Prove that if TT is a compact operator on a Hilbert space and α\alpha is a nonzero eigenvalue of TT, then the algebraic multiplicity of α\alpha as an eigenvalue of TT equals the algebraic multiplicity of α‾\overline{\alpha } as an eigenvalue of T∗T^{*}.

?
Problem 10C.22

Prove that if VV is a separable Hilbert space, then C(V)\mathcal{C}(V), the Banach space of compact operators on VV, is separable.

?