Suppose UU and WW are subspaces of VV such that V=U⊕WV = U \oplus W. Suppose also that u1,…,umu_1,\dots,u_m is a basis of UU and w1,…,wnw_1,\dots,w_n is a basis of WW.
Prove that

u1,…,um,w1,…,wnu_1,\dots,u_m,w_1,\dots,w_n

Is a basis of VV.


It's clearly spanning since U+W=VU+W = V , so we must show it's independent. Suppose

a1u1+⋯+amum+b1w1+⋯+bnwn=0a_1u_1 + \dots + a_mu_m + b_1w_1 + \dots + b_nw_n = 0

Then

a1u1+⋯+amum=−(b1w1+⋯+bnwn)a_1u_1 + \dots + a_mu_m = -(b_1w_1 + \dots + b_nw_n)

The left side is in UU and the right side is in WW, since U∩W={0}U \cap W = \{0\} (because it's a direct sum) both sides must be zero, and since the uu's and ww's are independent among themselves this implies ak=0a_k = 0 and bk=0b_k = 0 for all kk. This completes the proof of independence, thus they are a basis of VV.