3 Matrices

3.9 Row reduced echelon form

3.9.1 Row operations don’t change the solutions to a matrix equation

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.

Theorem 3.9.1.

Suppose that (A𝐛) results from (A𝐛) by doing a sequence of row operations. Then the matrix equations A𝐱=𝐛 and A𝐱=𝐛 have the same solutions.

Proof.

If the elementary matrices corresponding to these row operations are E1,,Ek then letting E=EkE1 we have

E(A𝐛)=(A𝐛)

and so (because matrix multiplication works columnwise) EA=A and E𝐛=𝐛. Note that E 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 A𝐱=𝐛 if and only if it is a solution of A𝐱=𝐛. If A𝐯=𝐛 then multiplying on the left by E gives EA𝐯=E𝐛, that is, A𝐯=𝐛. If A𝐯=𝐛 then EA𝐯=E𝐛, so multiplying on the left by E1 gives A𝐯=𝐛. ∎

3.9.2 Row reduced echelon form

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.

Definition 3.9.1.

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 (0200) the leading entry in the first row is the 2 in position 1,2 while the second row has no leading entry.

Definition 3.9.2.

A matrix is in row reduced echelon form (RREF) if

  1. 1.

    all leading entries are 1,

  2. 2.

    any rows which are all zero are below any rows which are not all zero,

  3. 3.

    all entries in the same column as a leading entry are zero, and

  4. 4.

    for every i, if row i and i+1 have a leading entry then the leading entry in row i+1 is to the right of that in row i.

Example 3.9.1.
  • (0010) isn’t in RREF: the zero row is at the top.

  • (2000) isn’t in RREF: there is a row in which the left-most non-zero entry is not 1.

  • (0110) 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.

  • (1αβ30012) is in RREF if and only if β=0: the left-most 1 in row 2 is in column 3, but it is not the only non-zero entry in column 3 unless β=0.

  • (100300100000) is in RREF.