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.
By Theorem 3.8.3, there is an invertible matrix such that
and so (because matrix multiplication works columnwise, Theorem 3.2.3) and .
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, . Conversely 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. The simple form we will use is called row reduced echelon form. To define it we need the notion of a leading entry.
The leading entry in a nonzero 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, violating condition 2
isn’t in RREF: there is a row in which the left-most non-zero entry is not 1 which breaks condition 1.
isn’t in RREF because of condition 4: 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 (as required by condition 3) unless .
is in RREF.