Let \( V \) be an inner product space . Then, for \( A \subset V \),
\[ A^{\perp} := \{ y \in H : x \perp y \ \forall x \in A \} \]defines the orthogonal complement of \( A \).
Remarks
- Since the inner product is continuous, the orthogonal complement is a closed subspace.