06.04.2013 Views

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

Spectral Theory in Hilbert Space

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

A. FUNCTIONAL ANALYSIS 119<br />

other words, we can solve T x = y for any y ∈ B2, so the <strong>in</strong>verse of<br />

T is def<strong>in</strong>ed everywhere, and the <strong>in</strong>verse is bounded by 2 , so it is<br />

C<br />

cont<strong>in</strong>uous. The proof is complete. <br />

In these notes we do not actually use Banach’s theorem, but the<br />

follow<strong>in</strong>g simple corollary (which is actually equivalent to Banach’s<br />

theorem). Recall that a l<strong>in</strong>ear map T : B1 → B2 is called closed if the<br />

graph {(u, T u) | u ∈ D(T )} is a closed subset of B1 ⊕B2. Equivalently,<br />

if uj → u <strong>in</strong> B1 and T uj → v <strong>in</strong> B2 implies that u ∈ D(T ) and T u = v.<br />

Corollary A.4 (Closed graph theorem). Suppose T is a closed<br />

l<strong>in</strong>ear operator T : B1 → B2, def<strong>in</strong>ed on all of B1. Then T is bounded.<br />

Proof. The graph {(u, T u) | u ∈ B1} is by assumption a Banach<br />

space with norm (u, T u) = u1 + T u2, where ·j denotes the<br />

norm of Bj. The map (u, T u) ↦→ u is l<strong>in</strong>ear, def<strong>in</strong>ed <strong>in</strong> this Banach<br />

space, with range equal to B1, and it has norm ≤ 1. It is obviously<br />

<strong>in</strong>jective, so by Banach’s theorem the <strong>in</strong>verse is bounded, i.e., there is<br />

a constant so that (u, T u) ≤ Cu1. Hence also T u2 ≤ Cu1, so<br />

that T is bounded. <br />

In Chapter 3 we used the Banach-Ste<strong>in</strong>haus theorem, Theorem 3.10.<br />

S<strong>in</strong>ce no extra effort is <strong>in</strong>volved, we prove the follow<strong>in</strong>g slightly more<br />

general theorem.<br />

Theorem A.5 (Banach-Ste<strong>in</strong>haus; uniform boundedness pr<strong>in</strong>ciple).<br />

Suppose B is a Banach space, L a normed l<strong>in</strong>ear space, and M<br />

a subset of the set L(B, L) of all bounded, l<strong>in</strong>ear maps from B <strong>in</strong>to L.<br />

Suppose M is po<strong>in</strong>twise bounded, i.e., for each x ∈ B there exists a<br />

constant Cx such that T xB ≤ Cx for every T ∈ M. Then M is uniformly<br />

bounded, i.e., there is a constant C such that T xB ≤ CxL<br />

for all x ∈ B and all T ∈ M.<br />

Proof. Put Fn = {x ∈ B | T xB ≤ n for all T ∈ M}. Then<br />

Fn is closed, as the <strong>in</strong>tersection of the closed sets which are <strong>in</strong>verse<br />

images of the closed <strong>in</strong>terval [0, n] under a cont<strong>in</strong>uous function B1 ∋<br />

x ↦→ T xL ∈ R. The assumption means that ∪ ∞ n=1Fn = B. By<br />

Baire’s theorem at least one Fn must have an <strong>in</strong>terior po<strong>in</strong>t. S<strong>in</strong>ce Fn<br />

is convex (if x, y ∈ Fn and 0 ≤ t ≤ 1, then tT x + (1 − t)T yL ≤<br />

tT xL + (1 − t)T yL ≤ n) and symmetric with respect to the orig<strong>in</strong><br />

it follows, like <strong>in</strong> the proof of Banach’s theorem, that 0 is an <strong>in</strong>terior<br />

po<strong>in</strong>t <strong>in</strong> Fn. Thus, for some r > 0 we have T xL ≤ n for all T ∈ M, if<br />

xB ≤ r. By homogeneity follows that T xL ≤ n<br />

r xB for all T ∈ M<br />

and x ∈ B.

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

Saved successfully!

Ooh no, something went wrong!