06.09.2021 Views

Measure, Integration & Real Analysis, 2021a

Measure, Integration & Real Analysis, 2021a

Measure, Integration & Real Analysis, 2021a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Section 10C Compact Operators 317<br />

10.77 closed range<br />

If T is a compact operator on a Hilbert space, then T − αI has closed range for<br />

every α ∈ F with α ̸= 0.<br />

Proof<br />

α ̸= 0.<br />

10.78<br />

Suppose T is a compact operator on a Hilbert space V and α ∈ F is such that<br />

Claim: there exists r > 0 such that<br />

‖ f ‖≤r‖(T − αI) f ‖ for all f ∈ ( null(T − αI) ) ⊥ .<br />

To prove the claim above, suppose it is false. Then for each n ∈ Z + , there exists<br />

f n ∈ ( null(T − αI) ) ⊥ such that<br />

‖ f n ‖ = 1 and ‖(T − αI) f n ‖ < 1 n .<br />

Because T is compact, there exists a subsequence Tf n1 , Tf n2 ,...such that<br />

10.79 lim<br />

k→∞<br />

Tf nk = g<br />

for some g ∈ V. Subtracting the equation<br />

10.80 lim<br />

k→∞<br />

(T − αI) f nk = 0<br />

from 10.79 and then dividing by α shows that<br />

lim<br />

k→∞ f n k<br />

= 1 α g.<br />

The equation above implies ‖g‖ = |α|; hence g ̸= 0. Each f nk ∈ ( null(T − αI) ) ⊥ ;<br />

hence we also conclude that g ∈ ( null(T − αI) ) ⊥ . Applying T − αI to both sides of<br />

the equation above and using 10.80 shows that g ∈ null(T − αI). Thus g is a nonzero<br />

element of both null(T − αI) and its orthogonal complement. This contradiction<br />

completes the proof of the claim in 10.78.<br />

To show that range(T − αI) is closed, suppose h 1 , h 2 ,... is a sequence in<br />

range(T − αI) that converges to some h ∈ V. For each n ∈ Z + , there exists<br />

f n ∈ ( null(T − αI) ) ⊥ such that (T − αI) fn = h n . Because h 1 , h 2 ,...is a Cauchy<br />

sequence, 10.78 shows that f 1 , f 2 ,...is also a Cauchy sequence. Thus there exists<br />

f ∈ V such that lim n→∞ f n = f , which implies h =(T − αI) f ∈ range(T − αI).<br />

Hence range(T − αI) is closed.<br />

Suppose T is a compact operator on a Hilbert space V and f ∈ V and α ∈ F \{0}.<br />

An immediate consequence (often useful when investigating integral equations) of<br />

the result above and 10.13(d) is that the equation<br />

Tg − αg = f<br />

has a solution g ∈ V if and only if 〈 f , h〉 = 0 for every h ∈ V such that T ∗ h = αh.<br />

<strong>Measure</strong>, <strong>Integration</strong> & <strong>Real</strong> <strong>Analysis</strong>, by Sheldon Axler

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!