MAT3040 Advanced Linear Algebra ·

Statement

If U1,U2,U3U_1,U_2,U_3 are subspaces of VV with pairwise intersections Ui∩Uj={0}U_i\cap U_j=\{0\}, then U1+U2+U3U_1+U_2+U_3 is a direct sum.

Proposed proof

Suppose u1+u2+u3=0,ui∈Ui. u_1+u_2+u_3=0,\qquad u_i\in U_i. Rearranging gives u1=−(u2+u3)u_1=-(u_2+u_3), so u1∈U1∩(U2+U3)u_1\in U_1\cap(U_2+U_3). Since the pairwise intersections are zero, U1∩(U2+U3)=(U1∩U2)+(U1∩U3)={0}+{0}={0}. \begin{aligned} U_1\cap(U_2+U_3) &=(U_1\cap U_2)+(U_1\cap U_3)\\ &=\{0\}+\{0\}=\{0\}. \end{aligned} Therefore u1=0u_1=0. The relation becomes u2=−u3u_2=-u_3, so u2∈U2∩U3={0}u_2\in U_2\cap U_3=\{0\}, and hence u2=u3=0u_2=u_3=0. The only relation is the trivial one, so the sum is direct. □\square