Gram-Schmidt Process
Dependencies:
-
Inner product space
-
Orthogonality and orthonormality
-
Span
-
Linear independence
The Gram-Schmidt process takes a set of linearly independent vectors as input
and outputs a set of orthogonal vectors which have the same span.
Let be a linearly independent set of vectors from an inner product space.
Then the Gram-Schmidt process outputs where
Then:
Also, scaling each by a (possibly different) non-zero scalar maintains orthogonality and does not change the span.
Proof by induction
Let and .
Let the predicate be the 'logical and' of the following statements:
- .
- .
- .
Base case:
.
- .
- Since is linearly independent, .
- The third part of is trivially true.
Therefore, holds.
Inductive step:
Assume is true (inductive hypothesis).
Part 1
Since, each of is a linear combination of .
Their linear combination is also a linear combination of .
Therefore, .
Since, each of is a linear combination of .
Their linear combination is also a linear combination of .
Therefore, .
Therefore, ,
which is part 1 of .
Part 2
means is linearly dependent, which is a contradiction.
Therefore, .
Combining this fact with part 2 of , we get ,
which is the part 2 of .
Part 3
Let .
Combining the above fact with part 3 of , we get part 3 of .
Therefore, is true by mathematical induction.
Dependency for:
-
Standard normal random vector on vector space
-
Symmetric operator iff hermitian
-
Symmetric operator on V has a basis of orthonormal eigenvectors
-
Joining orthogonal linindep sets
Info:
- Depth: 6
- Number of transitive dependencies: 8
Transitive dependencies:
-
Group
-
Ring
-
Field
-
Vector Space
-
Linear independence
-
Span
-
Inner product space
-
Orthogonality and orthonormality