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.

8 1. LINEAR SPACES<br />

Exercises for Chapter 1<br />

Exercise 1.1. Let L be a real l<strong>in</strong>ear space, and let V be the set<br />

of ordered pairs (u, v) of elements of L with addition def<strong>in</strong>ed componentwise.<br />

Show that V becomes a complex l<strong>in</strong>ear space if one def<strong>in</strong>es<br />

(x + iy)(u, v) = (xu − yv, xv + yu) for real x, y. Also show that L can<br />

be ‘identified’ with the subset of elements of V of the form (u, 0), <strong>in</strong><br />

the sense that there is a one-to-one correspondence between the two<br />

sets preserv<strong>in</strong>g the l<strong>in</strong>ear operations (for real scalars).<br />

Exercise 1.2. Let M be an arbitrary set and let C M be the set<br />

of complex-valued functions def<strong>in</strong>ed on M. Show that C M , provided<br />

with the obvious def<strong>in</strong>itions of the l<strong>in</strong>ear operations, is a complex l<strong>in</strong>ear<br />

space.<br />

Exercise 1.3. Prove Proposition 1.2.<br />

Exercise 1.4. Let M be a non-empty subset of R n . Which of the<br />

follow<strong>in</strong>g choices of L make it <strong>in</strong>to a l<strong>in</strong>ear subspace of C M ?<br />

(1) L = {u ∈ C M | |u(x)| < 1 for all x ∈ M}.<br />

(2) L = C(M) = {u ∈ C M | u is cont<strong>in</strong>uous <strong>in</strong> M}.<br />

(3) L = {u ∈ C(M) | u is bounded on M}.<br />

(4) L = L(M) = {u ∈ C M | u is Lebesgue <strong>in</strong>tegrable over M}.<br />

Exercise 1.5. Let L be a l<strong>in</strong>ear space and uj ∈ L, j = 1, . . . , k.<br />

Show that [u1, u2, . . . , uk] is a l<strong>in</strong>ear subspace of L.<br />

Exercise 1.6. Show that if e1, . . . , en is a basis for L, then for<br />

each u ∈ L there are uniquely determ<strong>in</strong>ed complex numbers x1, . . . , xn,<br />

called coord<strong>in</strong>ates for u, such that u = x1e1 + · · · + xnen.<br />

Exercise 1.7. Verify that L is <strong>in</strong>f<strong>in</strong>ite dimensional if and only if<br />

every l<strong>in</strong>early <strong>in</strong>dependent subset of L can be extended to a l<strong>in</strong>early<br />

<strong>in</strong>dependent subset of L with arbitrarily many elements. Then show<br />

that u1, . . . , uk are l<strong>in</strong>early <strong>in</strong>dependent if and only if λ1u1+· · ·+λkuk =<br />

0 only for λ1 = · · · = λk = 0. Also show that C M is f<strong>in</strong>ite-dimensional<br />

if and only if the set M has f<strong>in</strong>itely many elements.<br />

Exercise 1.8. Let M be an open subset of R n . Verify that L is<br />

<strong>in</strong>f<strong>in</strong>ite-dimensional for each of the choices of L <strong>in</strong> Exercise 1.4 which<br />

make L <strong>in</strong>to a l<strong>in</strong>ear space.<br />

Exercise 1.9. Prove all statements <strong>in</strong> the penultimate paragraph<br />

of the chapter.<br />

Exercise 1.10. Prove that if L is a l<strong>in</strong>ear space and V a subspace,<br />

then L/V is a well def<strong>in</strong>ed l<strong>in</strong>ear space.<br />

Exercise 1.11. Prove Theorem 1.4.

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

Saved successfully!

Ooh no, something went wrong!