Construct the vectors inductively by the Gram-Schmidt process, proving its needed properties directly. Suppose form an orthonormal basis of , and putFor every , taking an inner product with gives . Also , because otherwise would lie in the linear span of its predecessors, contrary to linear independence. DefineIt lies in , has unit norm, and is orthogonal to every with , since those vectors lie in . Writing gives . The same identity shows that span , completing the induction, including the empty sum at .
For uniqueness, any candidate expands in the basis . Orthogonality to every earlier , hence to every earlier , makes its first coefficients zero. Thus . Unit norm forces , and forces the positive sign. This proves uniqueness in the Gram-Schmidt process with positive normalization without assuming a projection theorem or any other major orthogonalization result.
Articles by others on the same topic
There are currently no matching articles.