Vector space/Finite dimensional/Linear subspace/Direct complement/Fact
Let be a finite-dimensional -vector space and let be a linear subspace.
Then there exists a linear subspace
such that we have the direct sum decomposition
Let be a finite-dimensional -vector space and let be a linear subspace.
such that we have the direct sum decomposition