Theorem characterizing when a space is the direct sum of two subspaces

Created almost 9 years ago, updated about 8 hours ago

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.