If $V=U_1\oplus\cdots\oplus U_k$, combining a basis of each $U_i$ yields a basis of $V$. Spanning follows from the direct-sum decomposition. A relation among combined basis vectors groups into components, each of which must vanish; independence within each component then kills every coefficient.
Parents
Like how this is organised?
Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.