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.

118 A. FUNCTIONAL ANALYSIS<br />

Proposition A.2. A subset of a meager set is meager, a countable<br />

union of meager sets is meager, and no meager set has an <strong>in</strong>terior<br />

po<strong>in</strong>t.<br />

Proof. The first two claims are left as exercises for the reader to<br />

verify; the third claim is Baire’s theorem. <br />

The follow<strong>in</strong>g theorem is one of the cornerstones of functional analysis.<br />

Theorem A.3 (Banach). Suppose B1 and B2 are Banach spaces<br />

and T : B1 → B2 a bounded, <strong>in</strong>jective (one-to-one) l<strong>in</strong>ear map. If the<br />

range of T is not meager, <strong>in</strong> particular if it is all of B2, then T has a<br />

bounded <strong>in</strong>verse, and the range is all of B2.<br />

Proof. We denote the norm <strong>in</strong> Bj by ·j. Let<br />

An = {T x | x1 ≤ n}<br />

be the image of the closed ball with radius n, centered at 0 <strong>in</strong> B1. The<br />

balls expand to all of B1 as n → ∞, so the range of T is ∪ ∞ n=1An ⊂<br />

∪ ∞ n=1An. The range not be<strong>in</strong>g meager, at least one An must have an<br />

<strong>in</strong>terior po<strong>in</strong>t y0. Thus we can f<strong>in</strong>d r > 0 so that {y0 + y | y2 < r} ⊂<br />

An. S<strong>in</strong>ce An is symmetric with respect to the orig<strong>in</strong>, also −y0+y ∈ An<br />

if y2 < r. Furthermore, An is convex, as the closure of (the l<strong>in</strong>ear<br />

image of) a convex set. It follows that y = 1<br />

2 ((y0 +y)+(−y0 +y)) ∈ An.<br />

Thus 0 is an <strong>in</strong>terior po<strong>in</strong>t of An. S<strong>in</strong>ce all An are similar (An = nA1),<br />

0 is also an <strong>in</strong>terior po<strong>in</strong>t of A1. This means that there is a number<br />

C > 0, such that any y ∈ B2 for which y2 ≤ C is <strong>in</strong> A1. For<br />

such y we may therefore f<strong>in</strong>d x ∈ B1 with x1 ≤ 1, such that T x is<br />

arbitrarily close to y. For example, we may f<strong>in</strong>d x ∈ B1 with x1 ≤ 1<br />

such that y − T x2 ≤ 1<br />

2 C. For arbitrary non-zero y ∈ B2 we set<br />

˜y = C<br />

y2 y, and then have ˜y2 = C, so we can f<strong>in</strong>d ˜x with ˜x1 ≤ 1<br />

and ˜y − T ˜x2 ≤ 1<br />

2<br />

C. Sett<strong>in</strong>g x = y2<br />

C<br />

˜x we obta<strong>in</strong><br />

(A.1) x1 ≤ 1<br />

C y2 and y − T x2 ≤ 1<br />

2y2. Thus, to any y ∈ B2 we may f<strong>in</strong>d x ∈ B1 so that (A.1) holds (for y = 0,<br />

take x = 0).<br />

We now construct two sequences {xj} ∞ j=0 and {yj} ∞ j=0, <strong>in</strong> B1 respectively<br />

B2, by first sett<strong>in</strong>g y0 = y. If yn is already def<strong>in</strong>ed, we def<strong>in</strong>e<br />

xn and yn+1 so that xn1 ≤ 1<br />

C yn2, yn+1 = yn − T xn, and yn+12 ≤<br />

1<br />

2yn2. We obta<strong>in</strong> yn2 ≤ 2−ny2 and xn1 ≤ 1<br />

C 2−ny2 from this.<br />

Furthermore, T xn = yn+1 − yn, so add<strong>in</strong>g we obta<strong>in</strong> T ( n<br />

j=0 xj) =<br />

y − yn+1 → y as n → ∞. But the series ∞ j=0xj1 converges,<br />

s<strong>in</strong>ce it is dom<strong>in</strong>ated by 1<br />

C y2<br />

∞<br />

j=0 2−j = 2<br />

C y2. S<strong>in</strong>ce B1 is com-<br />

plete, the series ∞<br />

j=0 xj therefore converges to some x ∈ B1 satisfy<strong>in</strong>g<br />

x1 ≤ 2<br />

C y2, and s<strong>in</strong>ce T is cont<strong>in</strong>uous we also obta<strong>in</strong> T x = y. In

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

Saved successfully!

Ooh no, something went wrong!