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 />

1.8 The Punctured Neighborhood Theorem<br />

If T ∈ B(X, Y ) then<br />

(a) T is said to be upper semi-Fredholm if T (X) is closed and α(T ) < ∞;<br />

(b) T is said to be lower semi-Fredholm if T (X) is closed and β(T ) < ∞.<br />

(c) T is said to be semi-Fredholm if it is upper or lower semi-Fredholm.<br />

Theorem 1.6.1 remains true for semi-Fredholm operators. Thus we have:<br />

Lemma 1.8.1. Suppose T ∈ B(X, Y ) is semi-Fredholm. If ||S|| < γ(T ) then<br />

(i) T + S has a closed range;<br />

(ii) α(T + S) ≤ α(T ), β(T + S) ≤ β(T );<br />

(iii) index (T + S) = index T .<br />

Proof. This follows from a slight change of the argument for Theorem 1.6.1.<br />

We are ready for the punctured neighborhood theorem; this proof is due to Harte<br />

and <str<strong>on</strong>g>Lee</str<strong>on</strong>g> [HaL1].<br />

Theorem 1.8.2. (Punctured Neighborhood Theorem) If T ∈ B(X) is semi-Fredholm<br />

then there exists ρ > 0 such that α(T −λI) and β(T −λI) are c<strong>on</strong>stant in the annulus<br />

0 < |λ| < ρ.<br />

Proof. Assume that T is upper semi-Fredholm and α(T ) < ∞. First we argue<br />

Indeed,<br />

Next we claim that<br />

(T − λI) −1 (0) ⊂<br />

∞∩<br />

T n (X) =: T ∞ (X). (1.11)<br />

n=1<br />

x ∈ (T − λI) −1 (0) =⇒ T x = λx, and hence x ∈ T (X)<br />

=⇒ Note that λx = T x ∈ T (T X) = T 2 (X)<br />

=⇒ By inducti<strong>on</strong>, x ∈ T n (X) for all n.<br />

T ∞ (X) is closed:<br />

indeed, since T n is upper semi-Fredholm for all n, T n (X) is closed and hence T ∞ (X)<br />

is closed.<br />

If S commutes with T , so that also S(T ∞ (X)) ⊂ T ∞ (X), we shall write ˜S :<br />

T ∞ (X) → T ∞ (X). We claim that<br />

To see this, let y ∈ T ∞ (X) and thus<br />

˜T : T ∞ (X) → T ∞ (X) is <strong>on</strong>to. (1.12)<br />

∃ x n ∈ T n (X) such that T x n = y (n = 1, 2, . . .).<br />

23

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

Saved successfully!

Ooh no, something went wrong!