For independent subspaces, each vector in their sum has a unique decomposition $v=u_1+\cdots+u_k$ with $u_i\in U_i$. Subtract two decompositions; independence forces equality of the respective components. Uniqueness is of the component vectors; coefficient representations inside a component require choosing a basis there.
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.