Let $F$ be a field, let $V$ be an $F$-[vector space](/page/Vector%20Space) with zero vector $0_V$, and let $U,W \subset V$ be subspaces. Then $V$ is the internal [direct sum](/page/Direct%20Sum) of $U$ and $W$, written $V = U \oplus W$, if and only if