Homepage › Solution manuals › Sheldon Axler › Linear Algebra Done Right › Exercise 3.F.22
Exercise 3.F.22
Answers
Proof. Suppose . Let and . By definition of sum of subspaces, we have that . Thus
Taking implies that . Similarly, taking implies that . Hence and .
To prove the inclusion in the other direction, suppose . Let . There are and such that . We have
Since was arbitrary, . Hence , as desired. □