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.

16 3. HILBERT SPACE<br />

Given a normed space one may of course ask whether there is a<br />

scalar product on the space which gives rise to the given norm <strong>in</strong> the<br />

usual way. Here is a simple criterion.<br />

Lemma 3.3. (parallelogram identity) If u and v are elements of H,<br />

then<br />

u + v 2 + u − v 2 = 2u 2 + 2v 2 .<br />

Proof. A simple calculation gives u±v 2 = 〈u±v, u±v〉 = u 2 ±<br />

(〈u, v〉 + 〈v, u〉) + v 2 . Add<strong>in</strong>g this for the two signs the parallelogram<br />

identity follows. <br />

The name parallelogram identity comes from the fact that the<br />

lemma can be <strong>in</strong>terpreted geometrically, as say<strong>in</strong>g that the sum of the<br />

squares of the lengths of the sides <strong>in</strong> a parallelogram equals the sum<br />

of the squares of the lengths of the diagonals. This is a theorem that<br />

can be found <strong>in</strong> Euclid’s Elements. Given a normed space, Lemma 3.3<br />

shows that a necessary condition for the norm to be associated with<br />

a scalar product is that the parallelogram identity holds for all vectors<br />

<strong>in</strong> the space. It was proved by von Neumann <strong>in</strong> 1929 that this is<br />

also sufficient (Exercise 3.3). We shall soon have another use for the<br />

parallelogram identity.<br />

In practice it is quite common that one has a space with scalar product<br />

which is not complete (such a space is often called a pre-<strong>Hilbert</strong><br />

space). In order to use <strong>Hilbert</strong> space theory, one must then embed<br />

the space <strong>in</strong> a larger space which is complete. The process is called<br />

completion and is fully analogous to the extension of the rational numbers<br />

to the reals, which is also done to make the Cauchy convergence<br />

pr<strong>in</strong>ciple valid. In very brief outl<strong>in</strong>e the process is as follows. Start<strong>in</strong>g<br />

with a (not complete) normed l<strong>in</strong>ear space L let Lc be the set of all<br />

Cauchy sequences <strong>in</strong> L. The set Lc is made <strong>in</strong>to a l<strong>in</strong>ear space <strong>in</strong> the<br />

obvious way. We may embed L <strong>in</strong> Lc by identify<strong>in</strong>g u ∈ L with the<br />

sequence (u, u, u, . . . ). In Lc we may <strong>in</strong>troduce a semi-norm · (i.e.,<br />

a norm except that there may be non-zero elements u <strong>in</strong> the space for<br />

which u = 0) by sett<strong>in</strong>g (u1, u2, . . . ) = limuj. Now let Nc be the<br />

subspace of Lc consist<strong>in</strong>g of all elements with semi-norm 0, and put<br />

H = Lc/Nc, i.e., elements <strong>in</strong> Lc are identified whenever the distance<br />

between them is 0. One may now prove that · <strong>in</strong>duces a norm on H<br />

under which H is complete, and that through the identification above<br />

we may consider the orig<strong>in</strong>al space L as a dense subset of H. If the<br />

orig<strong>in</strong>al norm came from a scalar product, then so will the norm of H.<br />

We leave to the reader to verify the details, us<strong>in</strong>g the h<strong>in</strong>ts provided<br />

(Exercise 3.4).<br />

The process above is satisfactory <strong>in</strong> that it shows that any normed<br />

space may be ‘completed’ (<strong>in</strong> fact, the same process works <strong>in</strong> any metric<br />

space). Equivalence classes of Cauchy sequences are of course rather abstract<br />

objects, but <strong>in</strong> concrete cases one can often identify the elements

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

Saved successfully!

Ooh no, something went wrong!