3 Matrices

3.11 Solving RREF systems

Suppose we start with a linear system with matrix form A⁢𝐱=𝐛 then put the augmented matrix (A∣𝐛) into RREF. Suppose the resulting matrix in RREF is (A′∣𝐛′). The whole point of RREF was that the solutions of A⁢𝐱=𝐛 are the same as those of A′⁢𝐱=𝐛′ but it should be “easy” to find the solutions of A′⁢𝐱=𝐛′. How do we actually find those solutions?

Example 3.11.1.

Here is an augmented matrix in RREF

(10200014000001000001)

If the variables are called x,y,z,w then the corresponding equations are

x+2⁢z =0
y+4⁢z =0
w =0
0 =1

The last equation is false, so there are no solutions to this linear system.

Example 3.11.2.

Here is the same augmented matrix with a different final column.

(10202014030001400000)

In this case, if the variables are x,y,z,w, the equations are

x+2⁢z =2
y+4⁢z =3
w =4
0 =0

The solutions are x=2−2⁢z,y=3−4⁢z,w=4. The last 0=0 equation doesn’t tell us anything so it can be ignored. We can write the solutions in vector form as

(xyzw) =(2−2⁢z3−4⁢zz4)
=(2304)+z⁢(−2−410)

In general, for an augmented matrix in row reduced echelon form:

  • •

    If the last column of the augmented matrix has a leading entry (like in the first example above), there are no solutions. Otherwise,

  • •

    variables corresponding to a column with no leading entry (like z in the second example) can be chosen freely, and

  • •

    the other variables are uniquely determined in terms of these free variables.

Variables whose column has no leading entry are called free variables and variables whose column does contain a leading entry are called pivot variables.

It’s easy to see why the first bullet point is true: in that case the row with a leading entry in its final column would correspond to an equation saying

0=1

which has no solutions, so the system is inconsistent. Let’s prove the second part of the claim.

Theorem 3.11.1.

Suppose R⁢𝐱=𝐛 is a system of linear equations whose augmented matrix is in RREF and does not have a leading entry in the final column. Let R be m×n, let xj1,…,xjk be the free variables, and let xi1,…,xil be the pivot variables. Then for any list of numbers a1,…,ak there is exactly one solution to R⁢𝐱=𝐛 in which xjp=ap for all 1⩽p⩽k.

The point of this theorem is to make precise the idea that in a RREF linear system, the values of the free variables can be chosen arbitrarily, and these choices completely determine the values of the other (pivot) variables.

Proof.

The l nonzero equations corresponding to the first l rows of the augmented matrix take the form

xiq+∑p=1krq,jp⁢xjp=bq (3.12)

for 1⩽q⩽l. (The coefficient of xiq is 1 because leading entries in a RREF matrix are 1, and no pivot variables except xiq appear in the qth equation with nonzero coefficient because pivot variables correspond to columns with a leading entry, and by the definition of RREF every other entry in those columns must be zero).

Now let a1,…,ak be any numbers. If xjp=ap for 1⩽p⩽k then the equations (3.12) force

xiq=bq−∑p=1krq,jp⁢ap.

All values of the free and pivot variables are determined, so there is exactly one such solution. ∎

Example 3.11.3.

Consider the system of linear equations

2⁢x1+x2+x3−2⁢x4 =3
x1+x3−2⁢x+4 =2
x1+2⁢x3−4⁢x4 =1
3⁢x1+x2+3⁢x3−6⁢x4 =4.

By doing row operations to the corresponding augmented matrix, you can reach the RREF matrix

(100030100−2001−2−100000)

with corresponding system of linear equations

x1 =3
x2 =−2
x3−2⁢x4 =−1.

There is one free variable, x4, which can take any value. The general solution is

(x1x2x3x4)=(3−22⁢x4−1x4).

We can now show that homogeneous linear systems with more variables than equations have nonzero solutions (that is, solutions other than the zero vector 𝟎).

Proposition 3.11.2.

If A is m×n and n>m then the matrix equation A⁢𝐱=𝟎 has a nonzero solution.

Proof.

When we do row operations to A to get a RREF matrix, that RREF matrix has at most one leading entry in each of its m rows. Since there are more columns than rows, there must be a column with no leading entry. The corresponding variable is a free variable, so there is a solution in which it is nonzero. ∎