Basic Analysis – Gently Done Topological Vector Spaces
Basic Analysis – Gently Done Topological Vector Spaces
Basic Analysis – Gently Done Topological Vector Spaces
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 .