Proposition
The orthogonal complement
to a subspace is a subspace.
Proof
The orthogonal complement is defined to be the set of vectors in
that are orthogonal to all vectors in . In quantifiers, By definition of a subspace it is sufficient for us to check that
is closed under addition and multiplication by scalar. In other words, we want to show that For any vector
Therefore
, and which concludes the proof.