06.04.2013 Views

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

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.

20 3. HILBERT SPACE<br />

ˆvn = limj→∞〈vnj, en〉 exists. I claim that {vjj} ∞ j=1 converges weakly to<br />

v = ˆvnen. Note that {〈vjj, en〉} ∞ j=1 converges to ˆvn s<strong>in</strong>ce it is a subsequence<br />

of {〈vnj, en〉} ∞ j=1 from j = n on. Furthermore N<br />

n=1 |ˆvn| 2 ≤ C 2<br />

for all N s<strong>in</strong>ce it is the limit as j → ∞ of N<br />

n=1 |〈vNj, en〉| 2 which<br />

by Bessel’s <strong>in</strong>equality is bounded by vNj 2 ≤ C 2 . It follows that<br />

∞<br />

n=1 |ˆvn| 2 ≤ C 2 so that v is actually an element of H.<br />

To show the weak convergence, let u = ûnen be arbitrary <strong>in</strong><br />

H. Suppose ε > 0 given arbitrarily. Writ<strong>in</strong>g u = u ′ + u ′′ where<br />

u ′ = N<br />

n=1 ûnen we may now choose N so large that u ′′ < ε so that<br />

|〈vjj, u ′′ 〉| < Cε. Furthermore |〈v, u ′′ 〉| < Cε and 〈vjj, u ′ 〉 → 〈v, u ′ 〉<br />

so limj→∞|〈vjj, u〉 − 〈v, u〉| ≤ 2Cε. S<strong>in</strong>ce ε > 0 is arbitrary the weak<br />

convergence follows.<br />

The converse is an immediate consequence of the Banach-Ste<strong>in</strong>haus<br />

pr<strong>in</strong>ciple of uniform boundedness.<br />

Theorem 3.10 (Banach-Ste<strong>in</strong>haus). Let ℓ1, ℓ2, . . . be a sequence of<br />

bounded l<strong>in</strong>ear forms on a Banach space B which is po<strong>in</strong>twise bounded,<br />

i.e., such that for each u ∈ B the sequence ℓ1(u), ℓ2(u), . . . is bounded.<br />

Then ℓ1, ℓ2, . . . is uniformly bounded, i.e., there is a constant C such<br />

that |ℓj(u)| ≤ Cu for every u ∈ B and j = 1, 2, . . . .<br />

Assum<strong>in</strong>g Theorem 3.10 (for a proof, see Appendix A), we can<br />

complete the proof of Theorem 3.9, s<strong>in</strong>ce a weakly convergent sequence<br />

v1, v2, . . . can be identified with a sequence of l<strong>in</strong>ear forms ℓ1, ℓ2, . . .<br />

by sett<strong>in</strong>g ℓj(u) = 〈u, vj〉. S<strong>in</strong>ce a convergent sequence of numbers<br />

is bounded it follows that we have a po<strong>in</strong>twise bounded sequence of<br />

l<strong>in</strong>ear functionals. By Theorem 3.10 there is a constant C such that<br />

|〈u, vj〉| ≤ Cu for every u ∈ H and j = 1, 2, . . . . In particular,<br />

sett<strong>in</strong>g u = vj gives vj ≤ C for every j.

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

Saved successfully!

Ooh no, something went wrong!