Our informal method of solving linear systems is to do certain manipulations to the equations until they are in a form where the solutions are easy to read off. This method only works if the manipulations we do don’t change the set of solutions.
When we introduced row operations, it was because their effect on the augmented matrix of a linear system corresponded to the kind of manipulations we perform when solving such a linear system. We’re now going to prove that these row operations don’t change the set of solutions.
Suppose that results from by doing a sequence of row operations. Then the matrix equations and have the same solutions.
If the elementary matrices corresponding to these row operations are then letting we have
and so (because matrix multiplication works columnwise) and . Note that is a product of invertible matrices, so by Theorem 3.5.3 is itself invertible.
We must show that a column vector is a solution of if and only if it is a solution of . If then multiplying on the left by gives , that is, . If then , so multiplying on the left by gives . ∎
We talked about manipulating equations into a simple form where the solutions could be easily read off. One possible “simple form” is called row reduced echelon form. To define that we need the notion of a leading entry.
The leading entry in a row of a matrix is the first non-zero entry in that row, starting from the left.
Of course, if a row is all zeroes then it doesn’t have a leading entry. In the matrix the leading entry in the first row is the 2 in position while the second row has no leading entry.
A matrix is in row reduced echelon form (RREF) if
all leading entries are 1,
any rows which are all zero are below any rows which are not all zero,
all entries in the same column as a leading entry are zero, and
for every , if row and have a leading entry then the leading entry in row is to the right of that in row .
isn’t in RREF: the zero row is at the top.
isn’t in RREF: there is a row in which the left-most non-zero entry is not 1.
isn’t in RREF: the left-most 1 in row 2 is not to the right of the left-most 1 in the row above it.
is in RREF if and only if : the left-most 1 in row 2 is in column 3, but it is not the only non-zero entry in column 3 unless .
is in RREF.