Suppose we start with a linear system with matrix form then put the augmented matrix into RREF. Suppose the resulting matrix in RREF is . The whole point of RREF was that the solutions of are the same as those of but it should be “easy” to find the solutions of . How do we actually find those solutions?
Here is an augmented matrix in RREF
If the variables are called then the corresponding equations are
The last equation is false, so there are no solutions to this linear system.
Here is the same augmented matrix with a different final column.
In this case, if the variables are , the equations are
Clearly we can choose any value for and this will uniquely determine the values of the other three variables through the equations . The general solution is
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 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
which has no solutions, so the system is inconsistent. Let’s prove the second part of the claim.
Suppose is a system of linear equations whose augmented matrix is in RREF and does not have a leading entry in the final column. Let be , let be the free variables, and let be the pivot variables. Then for any list of numbers there is exactly one solution to in which for all .
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.
The nonzero equations corresponding to the first rows of the augmented matrix take the form
(3.9) |
for . (The coefficient of is 1 because leading entries in a RREF matrix are 1, and no pivot variables except appear in the th 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 be any numbers. If for then equations (3.9) hold if and only if the pivot variables have the values
Thus there is exactly one solution where the free variables have the values . ∎
To give the general solution of a system of linear equations means to identify the free variables by putting the system into RREF and then give an expression for the pivot variables in terms of the free variables. Here is another example of finding a general solution of a system of linear equations.
Consider the system of linear equations
By doing row operations to the corresponding augmented matrix, you can reach the RREF matrix
with corresponding system of linear equations
There is one free variable, , which can take any value. The general solution is
We can now show that homogeneous linear systems with more variables than equations have nonzero solutions (that is, solutions other than the zero vector ).
If is and then the matrix equation has a nonzero solution.
When we do row operations to to get a RREF matrix, that RREF matrix has at most one leading entry in each of its 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. ∎