Cauchy-Schwarz Inequality

Double Complement Returns the Original Subspace

Orthogonal Decomposition

Parallelogram Equality

Properties of Orthogonal Complements

The Orthogonal Complement is a Complementary Subspace