The relevant inner products are
Hence and are orthogonal vectors. Dividing by their norms gives the orthonormal basis
of their linear span .
For any orthonormal basis of , bilinearity gives
Together with , these identities prove pairwise orthogonality. The construction subtracts the orthogonal projection onto a finite-dimensional subspace from , leaving the orthogonal projection residual.
Use from i. Their inner products with are
Thus . Its values at are , so
By ii the three polynomials are orthogonal vectors, and normalizing gives
This orthonormal set is a basis of the three-dimensional vector space . It is the result of the Gram-Schmidt process applied to .

Articles by others on the same topic (0)

There are currently no matching articles.