Homepage › Solution manuals › Sheldon Axler › Linear Algebra Done Right › Exercise 3.D.7
Exercise 3.D.7
Answers
Proof. _(a)_ Let . Then
Hence is closed under addition. Similarly, is closed under scalar multiplication. Therefore is indeed a subspace of .
_(b)_ Let be a subspace of such that and let be a basis of . We will show that and are isomorphic.
Define by
To prove is injective, let such that . Let . There are scalars such that
Then
Hence . Therefore is injective.
To prove surjectivity, let . Define by
We have that and it is easy to see that . Hence is surjective, that is, an isomorphism between and .
Therefore . □