Homepage › Solution manuals › Stephen Friedberg › Linear Algebra › Exercise 2.6.13
Exercise 2.6.13
Answers
- 1.
- We can check that and are elements in if and are elements in since and . And the zero function is an element in .
- 2.
- Let be the basis of . Since we know that is an independent set and hence we can extend it to a basis for . So we can define a linear transformation such that . And thus is the desired functional.
- 3.
- Let
be the subspace span.
We first prove that .
Since every function who is zero at
must be a function who is zero at .
we know .
On the other hand, if a linear function has the property that
for all ,
we can deduce that
for all span.
Hence we know that
and .
Since
and span
by the fact
is an isomorphism, we can just prove that .
Next, by Theorem 2.26 we may assume every element in has the form for some . Let is an element in . We have that if . Now if is not an element in , by the previous exercise there exist some functional such that . But this is a contradiction. So we know that is an element in and .
For the converse, we may assume that is an element in . Thus for all we have that since is an element in . So we know that and get the desired conclusion.
- 4.
- It’s natural that if
then we have . For
the converse, if
then we have
and hence
by the fact that is an isomorphism.
- 5.
- If is an element in , we have that for all and . So we know that and for all proper and . This means is an element in . For the converse, if is an element in , we have that for all and . Hence we have that is an element in .