Let $V$ be the vector space, and let $V = U_1 \oplus \cdots \oplus U_n$. This is the direct sum.
- Let $\beta_i$ be the basis of $U_i$. I want to show that $\beta_1 \cup \cdots \cup \beta_n$ is the basis for $V$.
- Let $W \subset V$, then show that $W = (W \cap U_1) \oplus \cdots \oplus (W \cap U_m)$.
Suppose that $$\sum_{i=1}^n\sum_{j=1}^{m_i}a_{ij}\mathbf e_{ij}=\mathbf 0$$ Then, for each $i$, $\sum_{j=1}^{m_i}a_{ij}\mathbf e_{ij}\in U_i$ but since $V=U_1\oplus\cdots\oplus U_n$, $U_{i_1}\cap U_{i_2}=\{\mathbf0\}$ for all $i_1,i_2$. Hence, $\sum_{j=1}^{m_i}a_{ij}\mathbf e_{ij}=\mathbf 0$ and by the linear independence of each $\beta_i$, we get $a_{ij}=0$ for all $i,j$ i.e. $\beta_1\cup\cdots\cup\beta_n$ is linearly independent.