For a basis of the real vector space , the Gram-Schmidt process constructs an orthonormal basis successively:The inner product makes orthogonal to all earlier . Moreover , since otherwise would be a linear combination of its predecessors, contrary to linear independence. Induction gives . Starting with a basis of a linear subspace and extending it to a basis of gives the same construction with the first vectors spanning .
The orthogonal complement is . For every , set . Then and . If , then , so by definiteness of the inner product. Thus the direct sum isThis also covers and .
For the polynomial space, the form is immediately a symmetric bilinear form, and . A nonzero polynomial of degree of a polynomial at most two cannot have three distinct roots of a polynomial, so this form is an inner product for . For , the nonzero polynomial has . Therefore, among the stipulated positive integers,
Articles by others on the same topic
There are currently no matching articles.