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

TOEPLITZ THEORY<br />

Propositi<strong>on</strong> 5.1.11. ξ is a c<strong>on</strong>tractive ∗-linear mapping from L ∞ to B(H 2 ).<br />

Proof. It is obvious that ξ is c<strong>on</strong>tractive and linear. To show that ξ(φ) ∗ = ξ(φ), let<br />

f, g ∈ H 2 . Then<br />

⟨T φ f, g⟩ = ⟨P (φf), g⟩ = ⟨φf, g⟩ = ⟨f, φg⟩ = ⟨f, P (φg)⟩ = ⟨f, T φ g⟩ = ⟨T ∗ φf, g⟩,<br />

so that ξ(φ) ∗ = T ∗ φ = T φ = ξ(φ).<br />

Remark. ξ is not multiplicative. For example, T z T z ≠ I = T 1 = T |z| 2<br />

is not a homomorphism.<br />

In special cases, ξ is multiplicative.<br />

= T zz . Thus ξ<br />

Propositi<strong>on</strong> 5.1.12. T φ T ψ = T φψ<br />

⇐⇒ either ψ or φ is analytic.<br />

Proof. (⇐) Recall that if f ∈ H 2 and ψ ∈ H ∞ then ψf ∈ H 2 . Thus, T ψ f = P (ψf) =<br />

ψf. So<br />

T φ T ψ f = T φ (ψf) = P (φψf) = T φψ f, i.e., T φ T ψ = T φψ .<br />

Taking adjoints reduces the sec<strong>on</strong>d part to the first part.<br />

(⇒) From a straightforward calculati<strong>on</strong>.<br />

Write M φ for the multiplicati<strong>on</strong> operator <strong>on</strong> L 2 with symbol<br />

(<br />

φ ∈ L ∞ . The<br />

essential range of φ ∈ L ∞ ≡ R(φ) :=the set of all λ for which µ {x : |f(x) − λ| <<br />

)<br />

ϵ} > 0 for any ϵ > 0.<br />

Lemma 5.1.13. If φ ∈ L ∞ (µ) then σ(M φ ) = R(φ).<br />

Proof. If λ /∈ R(φ) then<br />

(<br />

)<br />

∃ ε > 0 such that µ {x : |φ(x) − λ| < ε} = 0, i.e., |φ(x) − λ| ≥ ϵ a.e. [µ].<br />

So<br />

g(x) :=<br />

1<br />

φ(x) − λ ∈ L∞ (X, µ).<br />

Hence M g is the inverse of M φ − λ, i.e., λ /∈ σ(M φ ). For the c<strong>on</strong>verse, suppose<br />

λ ∈ R(φ). We will show that<br />

∃ a sequence {g n } of unit vectors ∈ L 2 with the property ||M φ g n − λg n || → 0,<br />

showing that M φ − λ is not bounded below, and hence λ ∈ σ(M φ ). By assumpti<strong>on</strong>,<br />

{x ∈ T : |φ(x) − λ| ≤ 1 n<br />

} has a positive measure. So we can find a subset<br />

{<br />

E n ⊆ x ∈ T : |φ(x) − λ| ≤ 1 }<br />

n<br />

163

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

Saved successfully!

Ooh no, something went wrong!