Theorem.
If , then is the sum of and .
Proof.
Suppose . Since every subspace of V has a complement, there exists a vector space such that . The directness of the sum implies that . Thus, we need only show that . To this end, we conjure a linear map which we will argue is bijective. Injectivity is shown by the fact that since is the complement of . For surjectivity, suppose that . Since , can be represented as a unique sum of some and some , i.e.
where we used the fact that is injective. Thus, for some and is surjective.
A nice thing about this proof is that we never had to invoke any bases. We simply asserted the existence of a complement of without ever constructing it. The crux of this argument is of course the existence of complements. Zorn’s Lemma implies the existence of complements in the infinite-dimensional case, so this proof scales nicely.