Methods from Coordinates and bases
All methods from Coordinates and bases.
Reduce a spanning set to a basis
For a finite set :
- Form the matrix .
- Row reduce to echelon form.
- Keep the original vectors whose columns correspond to pivot columns of the echelon form.
The remaining original vectors form a basis for .
Row operations identify which columns are redundant, but the basis must use the corresponding columns of the original matrix. Removing the redundant vectors preserves the span.
- [1]:Basis
- [2]:Span
- [3]:The homogeneous-system test
- [4]:Eight vectors in
Extend an independent set to a basis
For an independent set :
- Form the matrix with columns
where are the standard basis vectors. 2. Row reduce this matrix to echelon form. 3. Keep the original columns corresponding to all pivot columns.
The resulting vectors form a basis for containing .
The standard basis supplies candidate vectors outside the current span. The pivot columns keep the given independent vectors and add only the candidates needed to reach dimension . As before, take the columns from the original matrix: row reduction changes the vectors but not the pivot positions.
Compute a coordinate vector
To find for an ordered basis :
- Solve
for the coefficients. 2. Place the coefficients in the order determined by :
Step 1 is a span membership problem and its solution is unique because is independent.