Section 2.5 Theory
In this section.
Subsection 2.5.1 Reduced matrices
While there are many different sequences of row operations we could use to obtain a row equivalent RREF matrix, we have the following.
Theorem 2.5.1. Uniqueness of RREF.
For each matrix, there is one unique RREF matrix to which it is row equivalent.
Remark 2.5.2.
The same is not true about REF. When we are row reducing, there is usually a point where we reach REF but are not yet at RREF. From this point on as we further progress toward RREF, every matrix we produce will be both in REF and row equivalent to the original matrix. So a matrix can be row equivalent to many REF matrices.
Remark 2.5.3.
We have defined the rank of a matrix to be the number of leading ones in the RREF of the matrix. If we did not have uniqueness of RREFs, there would be ambiguity in this definition from the possibility that different RREFs for a given starting matrix could have different numbers of leading ones. With the above theorem, we now know that there is no such possibility; the mathematical jargon for this certainty is to say that the definition of rank is well-defined.
Though rank is defined in terms of the RREF of a matrix, from our experience row reducing we can see that row operations cannot increase or decrease the number of leading ones that we will ultimately end up with.
Proposition 2.5.4. Rank from REF.
The rank of a matrix is equal to the number of leading ones in any REF matrix to which it is row equivalent.
Subsection 2.5.2 Solving systems using matrices
Using row operations to simplify and solve systems of equations works precisely because of the following.
Theorem 2.5.5.
Row equivalent matrices represent systems of equations that have the same solution set.
Proof.
We will delay proving this theorem until after we have developed more matrix theory. (See Theorem 6.5.10 in Subsection 6.5.4.)
The reason for this is that elementary row operations do not change the information inherently contained in the equations represented by the rows of a matrix. They modify and combine how this information is expressed, but no new information can be introduced through the elementary row operations, and also no information is ever lost.
When determining solution sets, our experience in Discovery guide 2.1 leads us to the following.
Proposition 2.5.6. Patterns of consistent/inconsistent systems.
- A system is inconsistent precisely when the RREF for its augmented matrix has a leading one in the “equals” column.
- A consistent system has one unique solution precisely when the RREF for its augmented matrix has a leading one in every variable column.
- A consistent system has infinite solutions when it requires parameters to solve; that is, when the RREF for its augmented matrix has at least one variable column that does not contain a leading one.
Warning 2.5.7.
Ending up with a row of zeros in the RREF for a system's augmented matrix does not indicate that parameters will be needed. It is possible for the RREF matrix for a consistent system to both satisfy Statement 2 of Proposition 2.5.6 and to have a row of zeros.
We can restate Statement 2 and Statement 3 of Proposition 2.5.6 using the notion of rank: a consistent system has a unique solution precisely when the rank of its augmented matrix is equal to the number of variables, and has infinite solutions precisely when the rank of its augmented matrix is strictly less than the number of variables. For the infinite solutions case, we can be precise about the number of parameters required.
Proposition 2.5.8. Number of required parameters.
For a consistent system, the number of parameters required to express the general solution in parametric form satisfies
We should also record what we learned about homogeneous systems in Discovery 2.4.
Theorem 2.5.9. Consistency of homogeneous systems.
A homogeneous system always has the trivial solution \(x_1=0, x_2=0, \dotsc, x_n=0\) in its solution set. Thus, every homogeneous system is consistent.
In light of this, for a homogeneous system, we can ignore Statement 1 of Proposition 2.5.6. Also, from our experience solving homogeneous systems so far, in Statement 2 and Statement 3 of Proposition 2.5.6 we can replace the words “augmented matrix” with “coefficient matrix”.