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 2.<br />

WEYL THEORY<br />

which tends to 0 with ϵ. It follows that T 0 = 0 and hence that<br />

[ ]<br />

[ ]<br />

0 0<br />

0 0<br />

T = = T ST with S =<br />

0 T 1 0 T1<br />

−1<br />

has a generalized inverse.<br />

Corollary 2.2.16. If T ∈ B(X) is reguloid and has the SVEP then Weyl’s theorem<br />

holds for T .<br />

Proof. Immediate from Theorem 2.2.14.<br />

Lemma 2.2.17. Let T ∈ B(X). If for any λ ∈ C, X T ({λ}) is closed then T has the<br />

SVEP.<br />

Proof. This follows from [Ai, Theorem 2.31] together with the fact that<br />

X T ({λ}) = {x ∈ X : lim<br />

n→∞ ||(T − λI)n x|| 1 n = 0}.<br />

Corollary 2.2.18. If T ∈ B(X) satisfies<br />

X T ({λ}) = N(T − λI) for every λ ∈ C, (2.23)<br />

then T has the SVEP and both T and T ∗ are reguloid. Thus in particular if T satisfies<br />

(2.23) then Weyl’s theorem holds for T .<br />

Proof. If T satisfies the c<strong>on</strong>diti<strong>on</strong> (2.23) then by Lemma 2.2.17, T has the SVEP. The<br />

sec<strong>on</strong>d asserti<strong>on</strong> follows from [Ai, Theorem 3.96]. The last asserti<strong>on</strong> follows at <strong>on</strong>ce<br />

from Corollary 2.2.16.<br />

An operator T ∈ B(X) is said to be paranormal if<br />

||T x|| 2 ≤ ||T 2 x|| ||x|| for every x ∈ X.<br />

It was well known that if T ∈ B(X) is paranormal then the following hold:<br />

(a) T is normaloid;<br />

(b) T has finite ascent;<br />

(c) if x and y are n<strong>on</strong>zero eigenvectors corresp<strong>on</strong>ding to, respectively, distinct<br />

n<strong>on</strong>zero eigenvalues of T , then ||x|| ≤ ||x + y|| ([ChR, Theorem 2,6])<br />

In particular, p-hyp<strong>on</strong>ormal operators are paranormal (cf. [FIY]). An operator T ∈<br />

B(X) is said to be totally paranormal if T − λI is paranormal for every λ ∈ C.<br />

Evidently, every hyp<strong>on</strong>ormal operator is totally paranormal. On the other hand,<br />

every totally paranormal operator satisfies (2.23): indeed, for every x ∈ X and λ ∈ C,<br />

||(T − λI) n x|| 1 n ≥ ||(T − λI)x|| for every n ∈ N.<br />

50

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

Saved successfully!

Ooh no, something went wrong!