Definition
Orthogonal Complement
Let
be an inner product space and a subspace. The orthogonal complement of is
Properties
Subspace
is itself a subspace of .
Direct sum
For finite-dimensional
, meaning every
decomposes uniquely as with , .
Double complement
for finite-dimensional .