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 impossible, 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
The solutions are . The last equation doesn’t tell us anything so it can be ignored. We can write the solutions in vector form as
In general:
If the last column of the augmented matrix has a leading entry (like in example 1), there are no solutions. Otherwise,
variables corresponding to a column with no leading entry (like in example 2) can be chosen freely, and
the other variables are uniquely determined in terms of these free parameters.
The variables whose column has no leading entry are called free parameters.
Recall that homogeneous system of linear equations is one whose matrix form is . This section is about a set of solutions to such a system called the fundamental solutions. These are the ones you get by putting the system into RREF and then choosing one free parameter to be 1 and the rest to be 0.
Let be a homogeneous linear system where the matrix is in RREF. Suppose that there are leading entries in rows 1 up to of , where and . Let the leading entry in row occur in column , so , and note that because of part 3 of the RREF definition Definition 3.9.2, column of has a 1 in position and zeroes elsewhere. Let the columns of with no leading entry be , so that .
Here is an example. Suppose that
In this case , and as only rows 1 and 2 contain leading entries. The leading entries are in columns 2 and 4, so . Columns 1, 3, and 5 don’t contain leading entries, so and . If the variables in this linear system are then , , and are free parameters as their columns have no leading entry.
There are therefore three fundamental solutions, obtained by setting one free variable to 1 and the rest to 0 (and then working out the values of the other variables and by substituting into the equations).
By substituting into the equations , which are
you can check that the fundamental solution corresponding to is
the fundamental solution in which
and the fundamental solution corresponding to is
It’s possible to write down a general expression for the fundamental solutions of a system : with the notation above, for each the th fundamental solution to is
where and denotes, as usual, the th standard basis vector. We won’t use this expression in MATH0005 so I won’t prove it here.
The reason we are interested in fundamental solutions is that they have an important property: any solution to can be written uniquely as a linear combination of the fundamental solutions. This property is expressed by saying that the fundamental solutions form a basis of the space of solutions of : we will look at bases for the solution space the final chapter of MATH0005.
If is and then the matrix equation has a nonzero solution.
In terms of systems of linear equations, this says that homogeneous linear system with more variables than equations has a nonzero solution.
When we do row operations to to get a RREF matrix, that RREF matrix has at most one leading entry per row. It must therefore contain a column with no leading entry, and so there is a fundamental solution which is not the zero vector as one of its entries is 1. ∎
The number of leading entries in the RREF form of a matrix is called the rank of , and the number of columns with no leading entry is its nullity. The fact that is called the rank-nullity theorem, which we will return to in a more general context in the final chapter of MATH0005 on linear algebra.