Definition (Orthogonal vector)
Let be an inner product space. Let , and are said to be orthogonal if
Definition (2.3.1)
A set of vectors in a Hilbert space is orthogonal if all elements of this set are orthogonal to each other.
Proposition (Orthogonal decomposition)
Let be an Inner Product Space, with and . If we set and , then and and are Orthogonal