I proceed to define the orthogonal decomposition for some vector

- Every
has a unique sum in the form above, so long as is a subspace of
Concerning
If
See Best Approximation, but in essence
I proceed to define the orthogonal decomposition for some vector

If
See Best Approximation, but in essence