Past exam of the algebra 1 and differential equations 1 course of the University of Oxford / 2014 / 3 / a / iv

The dimension formula for a sum of subspaces and the zero intersection implyBut $U+U^{\perp }$ is a vector subspace of the $n$-dimensional space $V$, so its dimension is at most $n$. Equality follows, and the sum is all of $V$. Since the intersection is zero, it is a direct sum:The argument remains valid for a degenerate ambient symmetric bilinear form; it uses the stated intersection hypothesis rather than assuming nondegeneracy everywhere.