Spectral Theory in Hilbert Space
Spectral Theory in Hilbert Space
Spectral Theory in Hilbert Space
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.