Introduction

Recall the inversion problems we are interested in, namely solving for vector or matrix in these equations:

The LU factorization, and in particular the row reduction process yielding row-echelon form, is the perfect tool to solve these equations. Replacing with , we have:

In the process of finding we actually found . Applying the action to both sides:

where and .

Now assume that is in row-echelon form. We can solve these equations for and using the second fundamental technique, called back substitution.

Just as elimination is equivalent to inverting , back substitution is equivalent to inverting . Inverting with eliminations provides the row-echelon form, and inverting with back substitutions provides the reduced row-echelon form.

Reduced row-echelon form

Given in row-echelon form, it is also in reduced row-echelon form (RREF) when the leading nonzero entries in each row are ones, and any column with a leading one has all other entries equal to zero.

Back substitution is the process of applying row-scale and row-add matrix actions to convert a matrix in REF to a matrix in RREF. This is a continuation of “row reduction,” with a difference being that the matrices performing back substitution operations are not lower triangular, they are now upper triangular. Another difference is that we don’t have good reasons (in terms of applications) to record these back substitution matrices, we simply let them act on our matrix, or simultaneously on our matrix and vector (in the case of ) or on our matrix and matrix (in the case of ).

To find the RREF of a matrix in REF, we:

Computing reduced row-echelon form from row-echelon form

  • Act by row-scale matrices to change the leading entries to ones.
  • Act by more row-add matrices to eliminate the entries above leading ones.

Any RREF matrix can be written in terms of block submatrices:

Here is the identity as a submatrix (the size of depends on how many zeros are in ), is some other submatrix, and are zeros filling out the rest of .

center

Preimage of a vector

The RREF of a matrix reveals the complete set of possible inverses (preimages) of a given vector.

Preimage of a vector (part 2)

If we wish to solve an equation and is not yet in reduced row-echelon form, then we must convert to that form, while simultaneously applying the row reductions and pivots to the vector . (This means applying the same invertible transformations to both sides of the equation.) Row reduction is easily performed on and simultaneously by combining them into the augmented matrix and row reducing this instead. (This means: create a matrix by adding as an additional column to , and put a vertical line between them to demarcate the end of .)

Solving linear systems

A linear system looks something like this:

This system is easily represented as the vector inversion problem of , with and given by:

The techniques of elimination and back substitution that we have learned for matrices correspond to the techniques of the same names that you already know for solving systems of equations.

Preimage of a matrix

The technique for inverting a vector can be applied to find the preimage of a matrix simply by inverting the column vectors of that matrix. Namely, given the equation:

notice that if we write and in terms of their column vectors, we have:

In principle, we can simply invert one at a time, in sequence.

In practice, a much faster way to find is to write the augmented matrix and row reduce this matrix.

The most important use of this technique is to find the inverse of an invertible matrix. Given , the inverse is found by computing the preimage of under the action of , in other words by setting and row reducing the augmented matrix .