Exercise 2.6.13

Answers

1.
We can check that f + g and cf are elements in S0 if f and g are elements in S0 since (f + g)(x) = f(x) + g(x) = 0 and (cf)(x) = cf(x) = 0. And the zero function is an element in S0.
2.
Let {v1,v2,,vk} be the basis of W. Since xW we know that {v1,v2,,vk+1 = x} is an independent set and hence we can extend it to a basis {v1,v2,,vn} for V . So we can define a linear transformation T such that f(vi) = δi(k+1). And thus f is the desired functional.
3.
Let W be the subspace span(S). We first prove that W0 = S0. Since every function who is zero at W must be a function who is zero at S. we know W0 S0. On the other hand, if a linear function has the property that f(x) = 0 for all x S, we can deduce that f(y) = 0 for all y W =span(S). Hence we know that W0 S0 and W0 = S0. Since (W0)0 = (S0)0 and span(ψ(S)) = ψ(W) by the fact ψ is an isomorphism, we can just prove that (W0)0 = ψ(W).

Next, by Theorem 2.26 we may assume every element in (W0)0 V ∗∗ has the form x^ for some x. Let x^ is an element in (W0)0. We have that x^(f) = f(x) = 0 if f W0. Now if x is not an element in W, by the previous exercise there exist some functional f W0 such that f(x)0. But this is a contradiction. So we know that x^ is an element in ψ(W) and (W0)0 ψ(W).

For the converse, we may assume that x^ is an element in ψ(W). Thus for all f W0 we have that x^(f) = f(x) = 0 since x is an element in W. So we know that (W0)0 ψ(W) and get the desired conclusion.

4.
It’s natural that if W1 = W2 then we have W10 = W20. For the converse, if W10 = W20 then we have
ψ(W1) = (W10)0 = (W 20)0 = ψ(W 2)

and hence

W1 = ψ1ψ(W 1) = ψ1ψ(W 2) = W2

by the fact that ψ is an isomorphism.

5.
If f is an element in (W1 + W2)0, we have that f(w1 + w2) = 0 for all w1 W1 and w2 W2. So we know that f(w1 + 0) = 0 and f(0 + w2) = 0 for all proper w1 and w2. This means f is an element in W10 W20. For the converse, if f is an element in W10 W20, we have that f(w1 + w2) = f(w1) + f(w2) = 0 for all w1 W1 and w2 W2. Hence we have that f is an element in (W1 + W2)0.
User profile picture
2011-06-27 00:00
Comments