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.

By Theorem 3.8.3, there is an invertible matrix E such that

E(A𝐛)=(A𝐛)

and so (because matrix multiplication works columnwise, Theorem 3.2.3) EA=A and E𝐛=𝐛.

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𝐯=𝐛. Conversely 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. The simple form we will use is called row reduced echelon form. To define it we need the notion of a leading entry.

Definition 3.9.1.

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 (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, violating condition 2

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

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

  • (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 (as required by condition 3) unless β=0.

  • (100300100000) is in RREF.