24.03.2013 Views

Bounded Linear Operators on a Hilbert Space

Bounded Linear Operators on a Hilbert Space

Bounded Linear Operators on a 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.

194 <str<strong>on</strong>g>Bounded</str<strong>on</strong>g> <str<strong>on</strong>g>Linear</str<strong>on</strong>g> <str<strong>on</strong>g>Operators</str<strong>on</strong>g> <strong>on</strong> a <strong>Hilbert</strong> <strong>Space</strong><br />

Example 8.15 Suppose that S and T are the right and left shift operators <strong>on</strong> the<br />

sequence space ℓ 2 (N), defined by<br />

S(x1, x2, x3, . . .) = (0, x1, x2, x3, . . .), T (x1, x2, x3, . . .) = (x2, x3, x4, . . .).<br />

Then T = S ∗ , since<br />

〈x, Sy〉 = x2y1 + x3y2 + x4y3 + . . . = 〈T x, y〉.<br />

Example 8.16 Let K : L2 ([0, 1]) → L2 ([0, 1]) be an integral operator of the form<br />

1<br />

Kf(x) =<br />

0<br />

k(x, y)f(y) dy,<br />

where k : [0, 1] × [0, 1] → C. Then the adjoint operator<br />

K ∗ f(x) =<br />

1<br />

0<br />

k(y, x)f(y) dy<br />

is the integral operator with the complex c<strong>on</strong>jugate, transpose kernel.<br />

The adjoint plays a crucial role in studying the solvability of a linear equati<strong>on</strong><br />

Ax = y, (8.11)<br />

where A : H → H is a bounded linear operator. Let z ∈ H be any soluti<strong>on</strong> of the<br />

homogeneous adjoint equati<strong>on</strong>,<br />

A ∗ z = 0.<br />

We take the inner product of (8.11) with z. The inner product <strong>on</strong> the left-hand side<br />

vanishes because<br />

〈Ax, z〉 = 〈x, A ∗ z〉 = 0.<br />

Hence, a necessary c<strong>on</strong>diti<strong>on</strong> for a soluti<strong>on</strong> x of (8.11) to exist is that 〈y, z〉 = 0<br />

for all z ∈ ker A ∗ , meaning that y ∈ (ker A ∗ ) ⊥ . This c<strong>on</strong>diti<strong>on</strong> <strong>on</strong> y is not always<br />

sufficient to guarantee the solvability of (8.11); the most we can say for general<br />

bounded operators is the following result.<br />

Theorem 8.17 If A : H → H is a bounded linear operator, then<br />

ran A = (ker A ∗ ) ⊥ , ker A = (ran A ∗ ) ⊥ . (8.12)<br />

Proof. If x ∈ ran A, there is a y ∈ H such that x = Ay. For any z ∈ ker A ∗ , we<br />

then have<br />

〈x, z〉 = 〈Ay, z〉 = 〈y, A ∗ z〉 = 0.

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

Saved successfully!

Ooh no, something went wrong!