31.01.2015 Views

Woo Young Lee Lecture Notes on Operator Theory

Woo Young Lee Lecture Notes on Operator Theory

Woo Young Lee Lecture Notes on Operator Theory

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

CHAPTER 1.<br />

FREDHOLM THEORY<br />

Suppose α(λ ′ ) ≠ n 1 . Since C is c<strong>on</strong>nected there exists an arc Γ lying in C with<br />

endpoints λ 0 and λ ′ . It follows from Theorem 1.8.2 and the fact that C is open that<br />

for each µ ∈ Γ, there exists an open ball S(µ) in C such that<br />

α(λ) is c<strong>on</strong>stant <strong>on</strong> the set S(µ) with the point µ deleted.<br />

Since Γ is compact and c<strong>on</strong>nected there exist points λ 1 , λ 2 , · · · , λ n = λ ′ <strong>on</strong> Γ such<br />

that<br />

S(λ 0 ), S(λ 1 ), . . . , S(λ n ) cover Γ and S(λ i ) ∩ S(λ i+1 ) ≠ ∅ (0 ≤ i ≤ n − 1) (1.14)<br />

We claim that α(λ) = α(λ 0 ) <strong>on</strong> all of S(λ 0 ). Indeed it follows from the Lemma 1.8.1<br />

that<br />

α(λ) ≤ α(λ 0 ) for λ sufficiently close to λ 0 .<br />

Therefore, since α(λ 0 ) is the minimum of α(λ) <strong>on</strong> C,<br />

α(λ) = α(λ 0 ) for λ sufficiently close to λ 0 .<br />

Since α(λ) is c<strong>on</strong>stant for all λ ≠ λ 0 in S(λ 0 ), which is α(λ 0 ). Now α(λ) is c<strong>on</strong>stant<br />

<strong>on</strong> the set S(λ i ) with the point λ i deleted (1 ≤ i ≤ n). Hence it follows from (1.14)<br />

and the observati<strong>on</strong> α(λ) = α(λ 0 ) for all λ ∈ S(λ 0 ) that α(λ) = α(λ 0 ) for all λ ≠ λ ′<br />

in S(λ ′ ) and α(λ ′ ) > n 1 . The result just obtained can be applied to the adjoint. This<br />

completes the proof.<br />

25

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

Saved successfully!

Ooh no, something went wrong!