Consider the system where
,
,
and .
As we have seen, one way to solve this system is to transform the
augmented matrix
to one in reduced row-echelon form using elementary row operations.
In the table below, each row shows the current matrix and the elementary
row operation
to be applied to give the matrix in the next row. The elementary
matrix corresponding to the operation is shown in the right-most column.
Matrix
Elementary row operation
Elementary matrix
This table tells us that
,
,
, and
.
Looking at the last set of equalities, we see that
.
The left-hand side is rather messy. But we know that
there is a single matrix such that .
Can we obtain from ? The answer is “yes”
because of the associativity of matrix multiplication:
For matrices such that the product
is defined, .
Therefore, .
So we can first compute , then compute
, and then , which gives us .
Performing the calculations gives
. One can verify that
and .
Remark:
If one does not need to specify each of the elementary matrices, one could have
obtained directly by applying the same sequence of elementary
row operations to the identity matrix. (Try this.)
The matrix is called a left-inverse of because
when it is multiplied to the left of ,
we get the identity matrix.
Incidentally, if you multiply
to the right of , i.e. computing instead of ,
you also get the identity matrix. This is not a coincidence.
The above example illustrates a couple of ideas.
First, performing a sequence of elementary row operations corresponds to
applying a sequence of linear transformation to both sides of ,
which in turn can be written as a single linear transformation since
composition of linear transformations results in a linear transformation.
The matrix represents this single linear transformation.
Second, any time we row reduce a square matrix
that ends in the identity matrix,
the matrix that corresponds to the linear transformation that encapsulates
the entire sequence gives a left inverse of .
This means that left inverses of square matrices can be found via
row reduction.