For the given orthonormal basis, the orthogonal projection is
It belongs to , and for every basis vector. Thus . For any , decompose . The summands are orthogonal, so the Pythagorean theorem in an inner-product space for the inner product gives
Equality holds exactly when . Hence is the unique closest point of to . This proves the minimizing property as well as the formula, including and .

Articles by others on the same topic (0)

There are currently no matching articles.