Gram-Schmidt Procedure
The Gram-Schmidt procedure allows us to transform a set of linearly independent vectors into a set of orthonormal vectors that span the same space spanned by the original set.
Let
That is, the spanning set stays the same even when one of the elements is expressed as a linear combination of the others.
Since
and since
it follows from the theorem linear combinations of spanning set elements that
(not sure what was done here)
Gram-Schmidt Procedure
Let
Then
(see span)
Let
(see projection)
Then
so