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

HYPONORMAL AND SUBNORMAL THEORY<br />

so<br />

tr [T ∗ m<br />

, T ] = 1,<br />

π Area(σ(T )) = 1 π · π = 1.<br />

To prove Theorem 3.2.3 we need auxiliary lemmas. Recall the Hilbert-Schmidt norm<br />

of X:<br />

[∑ ⟨<br />

∥X∥ 2 ≡ |X| 2 ⟩ ] 1 2<br />

e n , e n<br />

[∑<br />

1<br />

= ⟨X ∗ 2<br />

Xe n , e n ⟩]<br />

= [tr (X ∗ X)] 1 2<br />

.<br />

Lemma 3.2.4. If T ∈ B(H) and P is a finite rank projecti<strong>on</strong> then<br />

Proof. Write<br />

Since P =<br />

[ ] 1 0<br />

,<br />

0 0<br />

tr ( P [T ∗ , T ]P ) ≤ ∥P ⊥ T P ∥ 2 2.<br />

[ ] A B<br />

T = :<br />

C P<br />

[ ] [ ]<br />

ranP ranP<br />

ranP ⊥ →<br />

ranP ⊥ .<br />

P [T ∗ , T ]P = [A ∗ , A] + C ∗ C − BB ∗ .<br />

So by the above remark, tr (P [T ∗ , T ]P ) = tr[A ∗ , A] + ∥C∥ 2 2 − ∥B∥ 2 2. But since A is a<br />

finite-dimensi<strong>on</strong>al operator,<br />

tr[A ∗ , A] = 0.<br />

Hence tr (P [T ∗ , T ]P ) ≤ ∥C∥ 2 2 = ||P ⊥ T P || 2 2.<br />

Lemma 3.2.5. If T ∈ B(H) is an m-multicyclic operator then there exists a sequence<br />

{P k } of finite rank projecti<strong>on</strong>s such that P k ↑ 1(SOT) and<br />

rank ( P ⊥ k T P k<br />

)<br />

≤ m for all k ≥ 1.<br />

Proof. Let g 1 , · · · , g m be the generating vectors for T and let {λ j } be a countable<br />

dense subset of C \ σ(T ); for c<strong>on</strong>venience, arrange {λ j } so that each point is repeated<br />

infinitely often. Let P k be the projecti<strong>on</strong> of H <strong>on</strong>to<br />

∨ {<br />

T j (T − λ 1 ) −1 · · · (T − λ k ) −1 g i : 0 ≤ j ≤ 2k, 1 ≤ i ≤ m } .<br />

Thus P k is finite rank, P k ≤ P k+1 , and<br />

rank [P ⊥ k T P k ] ≤ m for all k ≥ 1.<br />

82

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

Saved successfully!

Ooh no, something went wrong!