For subspaces $U,W\subseteq V$, $V=U\oplus W$ iff $U+W=V$ and $U\cap W=\{0\}$. The first condition gives existence of decompositions, the second gives uniqueness. In finite dimensions, disjointness plus $\dim U+\dim W=\dim V$ is an equivalent test.
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.

