Homepage › Solution manuals › Stephen Friedberg › Linear Algebra › Exercise 2.6.20
Exercise 2.6.20
Answers
- 1.
- Assume that is surjective. We may check whether or not. If , we have that for all since there exist some such that . For the converse, assume that is injective. Suppose, by contradiction, . By the previous exercise we can construct a nonzero linear functional such that for all . Let be the zero functional in . But now we have that , a contradiction. So must be subjective.
- 2.
- Assume that
is surjective. Suppose, by contradiction,
for some
nonzero .
We can construct a nonzero linear functional
such that
. Since
is surjective, we get
some functional
such that .
But this means
a contradiction.
For the converse, assume that is injective and let is a basis for . Since is injective, we have is an independent set in . So we can extend it to be a basis for . Thus for every linear functional we can construct a functional such that by the argument below. First we can construct a function by for and for all . By Exercise 2.6.18 there is a linear functional such that . So now we have for all
By Exercise 2.1.34 we have and get the desired conclusion.