orthogonal decomposition theorem
Theorem - Let be an Hilbert space and a closed subspace. Then the orthogonal complement
(http://planetmath.org/Complimentary) of , denoted , is a topological complement of . That means is closed and
Proof :
- •
is closed :
This follows easily from the continuity of the inner product
. If a sequence
of elements in converges to an element , then
which implies that .
- •
:
Since is complete
(http://planetmath.org/Complete) and is closed, is a subspace
of . Therefore, for every , there exists a best approximation of in , which we denote by , that satisfies (see this entry (http://planetmath.org/BestApproximationInInnerProductSpaces)).
This allows one to write as a sum of elements in and
which proves that
Moreover, it is easy to see that
since if then , which means .
We conclude that .