Uniqueness in the Gram-Schmidt process with positive normalization
ID: uniqueness-in-the-gram-schmidt-process-with-positive-normalization
For a linearly independent ordered family in a real inner product space, require each unit vector to lie in the span of the first inputs and be orthogonal to all earlier inputs. That orthogonal part of the successive span is one-dimensional. Subtracting the earlier orthonormal components gives its nonzero generator . Every possible unit choice is therefore . Since , the positive normalization fixes the sign uniquely. This distinguishes uniqueness of the normalized ordered construction from the many possible orthonormal bases of the whole space.
New to topics? Read the docs here!