Homepage › Solution manuals › Sheldon Axler › Linear Algebra Done Right › Exercise 3.F.16
Exercise 3.F.16
Answers
Proof. Let be a basis of . Define by
Let and . There are scalars such that . We have
Hence satisfies the desired property of taking to . (I think showing the existence of like this wasn’t necessary since the question already presumes the existence of such map, but I kept it anyway)
We but need to prove that , since and have the same dimension. Suppose that . We have that . By Exercise 15, , therefore as desired. □