Let be subspaces of a vector space V such that and
Prove that if , then
Now, is quite simple since their intersection is empty.
Now, since all the subspaces inside W1 and W2 doesn't intersect with one another by the defintion of direct sum, that means
This looks too simple, is that right?