[Math] If V is finite-dimensional, then dimW + dimW⊥ = dimV.

linear algebra

Hey guys I need some help with proving this:

If $V $ is a finite-dimensional vector space, and $W, W^\perp$ are the usual subspace and orthogonal complement. Then $\dim W + \dim W^\perp = \dim V$. In this example we'll consider $V$ to be $\mathbb R^n$. How should I go about tackling this proof?

Best Answer

the orthogonal space is the null space of the system. Nullity +rank =n. Now nullity is n minus row rank once we look at the reduced echelon form of the system. Row rank is just dimension of our original subspace.