24.12.2012 Views

Basic Analysis – Gently Done Topological Vector Spaces

Basic Analysis – Gently Done Topological Vector Spaces

Basic Analysis – Gently Done Topological Vector Spaces

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.

10: Fréchet <strong>Spaces</strong> 125<br />

linear subspace of X. Furthermore, for any given v ∈ V, there is x ∈ X such that<br />

Px = v. Hence<br />

Pv = P 2 x = Px = v<br />

and we see that (1l−P)v = 0. Hence V = ker(1l−P) and it follows that V is also<br />

a linear subspace of X. Now, any x ∈ X can be written as x = Px+(1l−P)x with<br />

Px ∈ V = ranP and (1l − P)x ∈ W = kerP. We have seen above that for any<br />

v ∈ V, we have v = Pv. If also v ∈ W = kerP then Pv = 0, so that v = Pv = 0.<br />

It follows that V ∩W = {0} and so X = V ⊕W.<br />

Now suppose that X is a topological vector space and that P : X → X is a<br />

continuous linear operator such that P 2 = P. Then both V = ranP = ker(1l−P)<br />

and W = kerP are closed subspaces of X and X = V ⊕W.<br />

Conversely, suppose that X is a Fréchet space and X = V ⊕ W, where V<br />

and W are closed linear subspaces of X. Define P : X → V as above so that<br />

P 2 = P and V = ranP = ker(1l−P) and W = kerP. We wish to show that P<br />

is continuous. To see this we will show that P is closed and then appeal to the<br />

closed-graph theorem. Suppose, then, that x n → x and Px n → y. Now, Px n ∈ V<br />

for each n and V is closed, by hypothesis. It follows that y ∈ V and so Py = y.<br />

Furthermore, (1l − P)x n = x n − Px n → x − y and (1l − P)x n ∈ W for each n<br />

and W is closed, by hypothesis. Hence x−y ∈ W and so P(x−y) = 0, that is,<br />

Px = Py. Hence we have Px = Py = y and we conclude that P is closed. Thus<br />

P is a closed linear operator from the Fréchet space X onto the Fréchet space V.<br />

By the closed-graph theorem, it follows that P is continuous. We have therefore<br />

proved the following theorem.<br />

Theorem 10.29 Suppose that V is a closed subspace of a Fréchet space X. Then<br />

there is a closed subspace W such that X = V ⊕W if and only if there exists a<br />

continuous idempotent P with ranP = V.<br />

Definition 10.30 We say that a closed subspace V in a topological vector space is<br />

complemented if there is a closed subspace W such that X = V ⊕W.<br />

Theorem 10.31 Suppose that V is a finite-dimensional subspace of a topological<br />

vector space X. Then V is closed and complemented.<br />

Proof Let v 1 ,...,v m be linearly independent elements of X which span V. Define<br />

ℓ i : V → K by linear extension of the rule ℓ i (v j ) = δ ij for 1 ≤ i,j ≤ m. By<br />

Corollary 6.24, each ℓ i is a continuous linear functional on V. By the Hahn-<br />

Banach theorem, we may extend each of these to continuous linear functionals on<br />

X, which wewillalsodenoteby ℓ i . Then, ifv ∈ V isgivenby v = t 1 v 1 +···+t m v m ,<br />

we have ℓ i (v) = t i and so<br />

v = ℓ 1 (v)v 1 +···+ℓ m (v)v m .

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

Saved successfully!

Ooh no, something went wrong!