Woo Young Lee Lecture Notes on Operator Theory
Woo Young Lee Lecture Notes on Operator Theory
Woo Young Lee Lecture Notes on Operator Theory
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