# Linear Algebra/Row Equivalence

We will close this section and this chapter by proving that every matrix is row equivalent to one and only one reduced echelon form matrix. The ideas that appear here will reappear, and be further developed, in the next chapter.
The underlying theme here is that one way to understand a mathematical situation is by being able to classify the cases that can happen. We have met this theme several times already. We have classified solution sets of linear systems into the no-elements, one-element, and infinitely-many elements cases. We have also classified linear systems with the same number of equations as unknowns into the nonsingular and singular cases. We adopted these classifications because they give us a way to understand the situations that we were investigating. Here, where we are investigating row equivalence, we know that the set of all matrices breaks into the row equivalence classes. When we finish the proof here, we will have a way to understand each of those classes— its matrices can be thought of as derived by row operations from the unique reduced echelon form matrix in that class.
To understand how row operations act to transform one matrix into another, we consider the effect that they have on the parts of a matrix. The crucial observation is that row operations combine the rows linearly.

## Definition 2.1

A linear combination of $x_{1},\ldots ,x_{m}$ is an expression of the form $c_{1}x_{1}+c_{2}x_{2}+\,\cdots \,+c_{m}x_{m}$ where the $c$'s are scalars.
(We have already used the phrase "linear combination" in this book. The meaning is unchanged, but the next result's statement makes a more formal definition in order.)

## Lemma 2.2 (Linear Combination Lemma)

A linear combination of linear combinations is a linear combination.

## Proof

Given the linear combinations $c_{1,1}x_{1}+\dots +c_{1,n}x_{n}$ through $c_{m,1}x_{1}+\dots +c_{m,n}x_{n}$, consider a combination of those
    $d_{1}(c_{1,1}x_{1}+\dots +c_{1,n}x_{n})\,+\dots +\,d_{m}(c_{m,1}x_{1}+\dots +c_{m,n}x_{n})$
where the $d$'s are scalars along with the $c$'s. Distributing those $d$'s and regrouping gives
    $=(d_{1}c_{1,1}+\dots +d_{m}c_{m,1})x_{1}\,+\dots +\,(d_{1}c_{1,n}+\dots +d_{m}c_{m,n})x_{n}$
which is a linear combination of the $x$'s.
In this subsection we will use the convention that, where a matrix is named with an upper case roman letter, the matching lower-case greek letter names the rows.
    $A={\begin{pmatrix}\cdots \alpha _{1}\cdots \\\cdots \alpha _{2}\cdots \\\vdots \\\cdots \alpha _{m}\cdots \end{pmatrix}}\qquad B={\begin{pmatrix}\cdots \beta _{1}\cdots \\\cdots \beta _{2}\cdots \\\vdots \\\cdots \beta _{m}\cdots \end{pmatrix}}$

## Corollary 2.3

Where one matrix reduces to another, each row of the second is a linear combination of the rows of the first.
The proof below uses induction on the number of row operations used to reduce one matrix to the other. Before we proceed, here is an outline of the argument (readers unfamiliar with induction may want to compare this argument with the one used in the "${\text{General}}={\text{Particular}}+{\text{Homogeneous}}$" proof). First, for the base step of the argument, we will verify that the proposition is true when reduction can be done in zero row operations. Second, for the inductive step, we will argue that if being able to reduce the first matrix to the second in some number $t\geq 0$ of operations implies that each row of the second is a linear combination of the rows of the first, then being able to reduce the first to the second in $t+1$ operations implies the same thing. Together, this base step and induction step prove this result because by the base step the proposition is true in the zero operations case, and by the inductive step the fact that it is true in the zero operations case implies that it is true in the one operation case, and the inductive step applied again gives that it is therefore true in the two operations case, etc.

## Proof

We proceed by induction on the minimum number of row operations that take a first matrix $A$ to a second one $B$.
In the base step, that zero reduction operations suffice, the two matrices are equal and each row of $B$ is obviously a combination of $A$'s rows: ${\vec {\beta }}_{i}=0\cdot {\vec {\alpha }}_{1}+\dots +1\cdot {\vec {\alpha }}_{i}+\dots +0\cdot {\vec {\alpha }}_{m}$.
For the inductive step, assume the inductive hypothesis: with $t\geq 0$, if a matrix can be derived from $A$ in $t$ or fewer operations then its rows are linear combinations of the $A$'s rows. Consider a $B$ that takes $t+1$ operations. Because there are more than zero operations, there must be a next-to-last matrix $G$ so that $A\longrightarrow \cdots \longrightarrow G\longrightarrow B$. This $G$ is only $t$ operations away from $A$ and so the inductive hypothesis applies to it, that is, each row of $G$ is a linear combination of the rows of $A$.
If the last operation, the one from $G$ to $B$, is a row swap then the rows of $B$ are just the rows of $G$ reordered and thus each row of $B$ is also a linear combination of the rows of $A$. The other two possibilities for this last operation, that it multiplies a row by a scalar and that it adds a multiple of one row to another, both result in the rows of $B$ being linear combinations of the rows of $G$. But therefore, by the Linear Combination Lemma, each row of $B$ is a linear combination of the rows of $A$.
With that, we have both the base step and the inductive step, and so the proposition follows.

## Example 2.4

In the reduction
    ${\begin{pmatrix}0&2\\1&1\end{pmatrix}}{\xrightarrow[]{\rho _{1}\leftrightarrow \rho _{2}}}{\begin{pmatrix}1&1\\0&2\end{pmatrix}}{\xrightarrow[]{(1/2)\rho _{2}}}{\begin{pmatrix}1&1\\0&1\end{pmatrix}}{\xrightarrow[]{-\rho _{2}+\rho _{1}}}{\begin{pmatrix}1&0\\0&1\end{pmatrix}}$
call the matrices $A$, $D$, $G$, and $B$. The methods of the proof show that there are three sets of linear relationships.
    ${\begin{aligned}\delta _{1}&=0\cdot \alpha _{1}+1\cdot \alpha _{2}\\\delta _{2}&=1\cdot \alpha _{1}+0\cdot \alpha _{2}\end{aligned}}\qquad {\begin{aligned}\gamma _{1}&=0\cdot \alpha _{1}+1\cdot \alpha _{2}\\\gamma _{2}&=(1/2)\alpha _{1}+0\cdot \alpha _{2}\end{aligned}}\qquad {\begin{aligned}\beta _{1}&=(-1/2)\alpha _{1}+1\cdot \alpha _{2}\\\beta _{2}&=(1/2)\alpha _{1}+0\cdot \alpha _{2}\end{aligned}}$
The prior result gives us the insight that Gauss' method works by taking linear combinations of the rows. But to what end; why do we go to echelon form as a particularly simple, or basic, version of a linear system? The answer, of course, is that echelon form is suitable for back substitution, because we have isolated the variables. For instance, in this matrix
    $R={\begin{pmatrix}2&3&7&8&0&0\\0&0&1&5&1&1\\0&0&0&3&3&0\\0&0&0&0&2&1\end{pmatrix}}$
$x_{1}$ has been removed from $x_{5}$'s equation. That is, Gauss' method has made $x_{5}$'s row independent of $x_{1}$'s row.
Independence of a collection of row vectors, or of any kind of vectors, will be precisely defined and explored in the next chapter. But a first take on it is that we can show that, say, the third row above is not comprised of the other rows, that $\rho _{3}\neq c_{1}\rho _{1}+c_{2}\rho _{2}+c_{4}\rho _{4}$. For, suppose that there are scalars $c_{1}$, $c_{2}$, and $c_{4}$ such that this relationship holds.
    ${\begin{array}{rl}{\begin{pmatrix}0&0&0&3&3&0\end{pmatrix}}&=c_{1}{\begin{pmatrix}2&3&7&8&0&0\end{pmatrix}}\\&\quad +c_{2}{\begin{pmatrix}0&0&1&5&1&1\end{pmatrix}}\\&\quad +c_{4}{\begin{pmatrix}0&0&0&0&2&1\end{pmatrix}}\end{array}}$
The first row's leading entry is in the first column and narrowing our consideration of the above relationship to consideration only of the entries from the first column $0=2c_{1}+0c_{2}+0c_{4}$ gives that $c_{1}=0$. The second row's leading entry is in the third column and the equation of entries in that column $0=7c_{1}+1c_{2}+0c_{4}$, along with the knowledge that $c_{1}=0$, gives that $c_{2}=0$. Now, to finish, the third row's leading entry is in the fourth column and the equation of entries in that column $3=8c_{1}+5c_{2}+0c_{4}$, along with $c_{1}=0$ and $c_{2}=0$, gives an impossibility.
The following result shows that this effect always holds. It shows that what Gauss' linear elimination method eliminates is linear relationships among the rows.

## Lemma 2.5

In an echelon form matrix, no nonzero row is a linear combination of the other rows.

## Proof

Let $R$ be in echelon form. Suppose, to obtain a contradiction, that some nonzero row is a linear combination of the others.
    $\rho _{i}=c_{1}\rho _{1}+\ldots +c_{i-1}\rho _{i-1}+c_{i+1}\rho _{i+1}+\ldots +c_{m}\rho _{m}$
We will first use induction to show that the coefficients $c_{1}$, ..., $c_{i-1}$ associated with rows above $\rho _{i}$ are all zero. The contradiction will come from consideration of $\rho _{i}$ and the rows below it.
The base step of the induction argument is to show that the first coefficient $c_{1}$ is zero. Let the first row's leading entry be in column number $\ell _{1}$ and consider the equation of entries in that column.
    $\rho _{i,\ell _{1}}=c_{1}\rho _{1,\ell _{1}}+\ldots +c_{i-1}\rho _{i-1,\ell _{1}}+c_{i+1}\rho _{i+1,\ell _{1}}+\ldots +c_{m}\rho _{m,\ell _{1}}$
The matrix is in echelon form so the entries $\rho _{2,\ell _{1}}$, ..., $\rho _{m,\ell _{1}}$, including $\rho _{i,\ell _{1}}$, are all zero.
    $0=c_{1}\rho _{1,\ell _{1}}+\dots +c_{i-1}\cdot 0+c_{i+1}\cdot 0+\dots +c_{m}\cdot 0$
Because the entry $\rho _{1,\ell _{1}}$ is nonzero as it leads its row, the coefficient $c_{1}$ must be zero.
The inductive step is to show that for each row index $k$ between $1$ and $i-2$, if the coefficient $c_{1}$ and the coefficients $c_{2}$, ..., $c_{k}$ are all zero then $c_{k+1}$ is also zero. That argument, and the contradiction that finishes this proof, is saved for Problem 11.
We can now prove that each matrix is row equivalent to one and only one reduced echelon form matrix. We will find it convenient to break the first half of the argument off as a preliminary lemma. For one thing, it holds for any echelon form whatever, not just reduced echelon form.

## Lemma 2.6

If two echelon form matrices are row equivalent then the leading entries in their first rows lie in the same column. The same is true of all the nonzero rows— the leading entries in their second rows lie in the same column, etc.
For the proof we rephrase the result in more technical terms. Define the form of an $m\!\times \!n$ matrix to be the sequence $\langle \ell _{1},\ell _{2},\ldots \,,\ell _{m}\rangle$ where $\ell _{i}$ is the column number of the leading entry in row $i$ and $\ell _{i}=\infty$ if there is no leading entry in that row. The lemma says that if two echelon form matrices are row equivalent then their forms are equal sequences.

## Proof

Let $B$ and $D$ be echelon form matrices that are row equivalent. Because they are row equivalent they must be the same size, say $m\!\times \!n$. Let the column number of the leading entry in row $i$ of $B$ be $\ell _{i}$ and let the column number of the leading entry in row $j$ of $D$ be $k_{j}$. We will show that $\ell _{1}=k_{1}$, that $\ell _{2}=k_{2}$, etc., by induction.
This induction argument relies on the fact that the matrices are row equivalent, because the Linear Combination Lemma and its corollary therefore give that each row of $B$ is a linear combination of the rows of $D$ and vice versa:
    $\beta _{i}=s_{i,1}\delta _{1}+s_{i,2}\delta _{2}+\dots +s_{i,m}\delta _{m}\quad {\text{and}}\quad \delta _{j}=t_{j,1}\beta _{1}+t_{j,2}\beta _{2}+\dots +t_{j,m}\beta _{m}$
where the $s$'s and $t$'s are scalars.
The base step of the induction is to verify the lemma for the first rows of the matrices, that is, to verify that $\ell _{1}=k_{1}$. If either row is a zero row then the entire matrix is a zero matrix since it is in echelon form, and therefore both matrices are zero matrices (by Corollary 2.3), and so both $\ell _{1}$ and $k_{1}$ are $\infty$. For the case where neither $\beta _{1}$ nor $\delta _{1}$ is a zero row, consider the $i=1$ instance of the linear relationship above.
    ${\begin{array}{rl}\beta _{1}&=s_{1,1}\delta _{1}+s_{1,2}\delta _{2}+\dots +s_{1,m}\delta _{m}\\{\begin{pmatrix}0&\cdots &b_{1,\ell _{1}}&\cdots &\end{pmatrix}}&=s_{1,1}{\begin{pmatrix}0&\cdots &d_{1,k_{1}}&\cdots &\end{pmatrix}}\\&\quad +s_{1,2}{\begin{pmatrix}0&\cdots &0&\cdots &\end{pmatrix}}\\&\quad \vdots \\&\quad +s_{1,m}{\begin{pmatrix}0&\cdots &0&\cdots &\end{pmatrix}}\end{array}}$
First, note that $\ell _{1}<k_{1}$ is impossible: in the columns of $D$ to the left of column $k_{1}$ the entries are all zeroes (as $d_{1,k_{1}}$ leads the first row) and so if $\ell _{1}<k_{1}$ then the equation of entries from column $\ell _{1}$ would be $b_{1,\ell _{1}}=s_{1,1}\cdot 0+\dots +s_{1,m}\cdot 0$, but $b_{1,\ell _{1}}$ isn't zero since it leads its row and so this is an impossibility. Next, a symmetric argument shows that $k_{1}<\ell _{1}$ also is impossible. Thus the $\ell _{1}=k_{1}$ base case holds.
The inductive step is to show that if $\ell _{1}=k_{1}$, and $\ell _{2}=k_{2}$, ..., and $\ell _{r}=k_{r}$, then also $\ell _{r+1}=k_{r+1}$ (for $r$ in the interval $1\,..\,m-1$). This argument is saved for Problem 12.
That lemma answers two of the questions that we have posed: (i) any two echelon form versions of a matrix have the same free variables, and consequently, and (ii) any two echelon form versions have the same number of free variables. There is no linear system and no combination of row operations such that, say, we could solve the system one way and get $y$ and $z$ free but solve it another way and get $y$ and $w$ free, or solve it one way and get two free variables while solving it another way yields three.
We finish now by specializing to the case of reduced echelon form matrices.

## Theorem 2.7

Each matrix is row equivalent to a unique reduced echelon form matrix.

## Proof

Clearly any matrix is row equivalent to at least one reduced echelon form matrix, via Gauss-Jordan reduction. For the other half, that any matrix is equivalent to at most one reduced echelon form matrix, we will show that if a matrix Gauss-Jordan reduces to each of two others then those two are equal.
Suppose that a matrix is row equivalent to two reduced echelon form matrices $B$ and $D$, which are therefore row equivalent to each other. The Linear Combination Lemma and its corollary allow us to write the rows of one, say $B$, as a linear combination of the rows of the other $\beta _{i}=c_{i,1}\delta _{1}+\cdots +c_{i,m}\delta _{m}$. The preliminary result, Lemma 2.6, says that in the two matrices, the same collection of rows are nonzero. Thus, if $\beta _{1}$ through $\beta _{r}$ are the nonzero rows of $B$ then the nonzero rows of $D$ are $\delta _{1}$ through $\delta _{r}$. Zero rows don't contribute to the sum so we can rewrite the relationship to include just the nonzero rows.
    $\beta _{i}=c_{i,1}\delta _{1}+\dots +c_{i,r}\delta _{r}\qquad (*)$
The preliminary result also says that for each row $j$ between $1$ and $r$, the leading entries of the $j$-th row of $B$ and $D$ appear in the same column, denoted $\ell _{j}$. Rewriting the above relationship to focus on the entries in the $\ell _{j}$-th column
    ${\begin{array}{rl}{\begin{pmatrix}&\cdots &b_{i,\ell _{j}}&\cdots &\end{pmatrix}}&=c_{i,1}{\begin{pmatrix}&\cdots &d_{1,\ell _{j}}&\cdots &\end{pmatrix}}\\&\quad +c_{i,2}{\begin{pmatrix}&\cdots &d_{2,\ell _{j}}&\cdots &\end{pmatrix}}\\&\quad \vdots \\&\quad +c_{i,r}{\begin{pmatrix}&\cdots &d_{r,\ell _{j}}&\cdots &\end{pmatrix}}\end{array}}$
gives this set of equations for $i=1$ up to $i=r$.
    ${\begin{array}{rl}b_{1,\ell _{j}}&=c_{1,1}d_{1,\ell _{j}}+\cdots +c_{1,j}d_{j,\ell _{j}}+\cdots +c_{1,r}d_{r,\ell _{j}}\\&\vdots \\b_{j,\ell _{j}}&=c_{j,1}d_{1,\ell _{j}}+\cdots +c_{j,j}d_{j,\ell _{j}}+\cdots +c_{j,r}d_{r,\ell _{j}}\\&\vdots \\b_{r,\ell _{j}}&=c_{r,1}d_{1,\ell _{j}}+\cdots +c_{r,j}d_{j,\ell _{j}}+\cdots +c_{r,r}d_{r,\ell _{j}}\end{array}}$
Since $D$ is in reduced echelon form, all of the $d$'s in column $\ell _{j}$ are zero except for $d_{j,\ell _{j}}$, which is $1$. Thus each equation above simplifies to $b_{i,\ell _{j}}=c_{i,j}d_{j,\ell _{j}}=c_{i,j}\cdot 1$. But $B$ is also in reduced echelon form and so all of the $b$'s in column $\ell _{j}$ are zero except for $b_{j,\ell _{j}}$, which is $1$. Therefore, each $c_{i,j}$ is zero, except that $c_{1,1}=1$, and $c_{2,2}=1$, ..., and $c_{r,r}=1$.
We have shown that the only nonzero coefficient in the linear combination labelled ($*$) is $c_{j,j}$, which is $1$. Therefore $\beta _{j}=\delta _{j}$. Because this holds for all nonzero rows, $B=D$.
We end with a recap. In Gauss' method we start with a matrix and then derive a sequence of other matrices. We defined two matrices to be related if one can be derived from the other. That relation is an equivalence relation, called row equivalence, and so partitions the set of all matrices into row equivalence classes.
(There are infinitely many matrices in the pictured class, but we've only got room to show two.) We have proved there is one and only one reduced echelon form matrix in each row equivalence class. So the reduced echelon form is a canonical form for row equivalence: the reduced echelon form matrices are representatives of the classes.
We can answer questions about the classes by translating them into questions about the representatives.

## Example 2.8

We can decide if matrices are interreducible by seeing if Gauss-Jordan reduction produces the same reduced echelon form result. Thus, these are not row equivalent
    ${\begin{pmatrix}1&-3\\-2&6\end{pmatrix}}\qquad {\begin{pmatrix}1&-3\\-2&5\end{pmatrix}}$
because their reduced echelon forms are not equal.
    ${\begin{pmatrix}1&-3\\0&0\end{pmatrix}}\qquad {\begin{pmatrix}1&0\\0&1\end{pmatrix}}$

## Example 2.9

Any nonsingular $3\!\times \!3$ matrix Gauss-Jordan reduces to this.
    ${\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\end{pmatrix}}$

## Example 2.10

We can describe the classes by listing all possible reduced echelon form matrices. Any $2\!\times \!2$ matrix lies in one of these: the class of matrices row equivalent to this,
    ${\begin{pmatrix}0&0\\0&0\end{pmatrix}}$
the infinitely many classes of matrices row equivalent to one of this type
    ${\begin{pmatrix}1&a\\0&0\end{pmatrix}}$
where $a\in \mathbb {R}$ (including $a=0$), the class of matrices row equivalent to this,
    ${\begin{pmatrix}0&1\\0&0\end{pmatrix}}$
and the class of matrices row equivalent to this
    ${\begin{pmatrix}1&0\\0&1\end{pmatrix}}$
(this is the class of nonsingular $2\!\times \!2$ matrices).

## Exercises

    This exercise is recommended for all readers.

### Problem 1

Decide if the matrices are row equivalent.
* ${\begin{pmatrix}1&2\\4&8\end{pmatrix}},{\begin{pmatrix}0&1\\1&2\end{pmatrix}}$
* ${\begin{pmatrix}1&0&2\\3&-1&1\\5&-1&5\end{pmatrix}},{\begin{pmatrix}1&0&2\\0&2&10\\2&0&4\end{pmatrix}}$
* ${\begin{pmatrix}2&1&-1\\1&1&0\\4&3&-1\end{pmatrix}},{\begin{pmatrix}1&0&2\\0&2&10\\\end{pmatrix}}$
* ${\begin{pmatrix}1&1&1\\-1&2&2\end{pmatrix}},{\begin{pmatrix}0&3&-1\\2&2&5\end{pmatrix}}$
* ${\begin{pmatrix}1&1&1\\0&0&3\end{pmatrix}},{\begin{pmatrix}0&1&2\\1&-1&1\end{pmatrix}}$

### Problem 2

Describe the matrices in each of the classes represented in Example 2.10.

### Problem 3

Describe all matrices in the row equivalence class of these.
* ${\begin{pmatrix}1&0\\0&0\end{pmatrix}}$
* ${\begin{pmatrix}1&2\\2&4\end{pmatrix}}$
* ${\begin{pmatrix}1&1\\1&3\end{pmatrix}}$

### Problem 4

How many row equivalence classes are there?

### Problem 5

Can row equivalence classes contain different-sized matrices?

### Problem 6

How big are the row equivalence classes?
* Show that the class of any zero matrix is finite.
* Do any other classes contain only finitely many members?
    This exercise is recommended for all readers.

### Problem 7

Give two reduced echelon form matrices that have their leading entries in the same columns, but that are not row equivalent.
    This exercise is recommended for all readers.

### Problem 8

Show that any two $n\!\times \!n$ nonsingular matrices are row equivalent. Are any two singular matrices row equivalent?
    This exercise is recommended for all readers.

### Problem 9

Describe all of the row equivalence classes containing these.
* $2\!\times \!2$ matrices
* $2\!\times \!3$ matrices
* $3\!\times \!2$ matrices
* $3\!\times \!3$ matrices

### Problem 10

* Show that a vector ${\vec {\beta }}_{0}$ is a linear combination of members of the set $\{{\vec {\beta }}_{1},\ldots ,{\vec {\beta }}_{n}\}$ if and only if there is a linear relationship ${\vec {0}}=c_{0}{\vec {\beta }}_{0}+\cdots +c_{n}{\vec {\beta }}_{n}$ where $c_{0}$ is not zero. (Hint. Watch out for the ${\vec {\beta }}_{0}={\vec {0}}$ case.)
* Use that to simplify the proof of Lemma 2.5.
    This exercise is recommended for all readers.

### Problem 11

Finish the proof of Lemma 2.5.
* First illustrate the inductive step by showing that $c_{2}=0$.
* Do the full inductive step: where $1\leq n<i-1$, assume that $c_{k}=0$ for $1<k<n$ and deduce that $c_{n+1}=0$ also.
* Find the contradiction.

### Problem 12

Finish the induction argument in Lemma 2.6.
* State the inductive hypothesis, Also state what must be shown to follow from that hypothesis.
* Check that the inductive hypothesis implies that in the relationship $\beta _{r+1}=s_{r+1,1}\delta _{1}+s_{r+2,2}\delta _{2}+\dots +s_{r+1,m}\delta _{m}$ the coefficients $s_{r+1,1},\,\ldots \,,s_{r+1,r}$ are each zero.
* Finish the inductive step by arguing, as in the base case, that $\ell _{r+1}<k_{r+1}$ and $k_{r+1}<\ell _{r+1}$ are impossible.

### Problem 13

Why, in the proof of Theorem 2.7, do we bother to restrict to the nonzero rows? Why not just stick to the relationship that we began with, $\beta _{i}=c_{i,1}\delta _{1}+\dots +c_{i,m}\delta _{m}$, with $m$ instead of $r$, and argue using it that the only nonzero coefficient is $c_{i,i}$, which is $1$?
    This exercise is recommended for all readers.

### Problem 14

Three truck drivers went into a roadside cafe. One truck driver purchased four sandwiches, a cup of coffee, and ten doughnuts for $$8.45$. Another driver purchased three sandwiches, a cup of coffee, and seven doughnuts for $$6.30$. What did the third truck driver pay for a sandwich, a cup of coffee, and a doughnut? (Trono 1991)

### Problem 15

The fact that Gaussian reduction disallows multiplication of a row by zero is needed for the proof of uniqueness of reduced echelon form, or else every matrix would be row equivalent to a matrix of all zeros. Where is it used?
    This exercise is recommended for all readers.

### Problem 16

The Linear Combination Lemma says which equations can be gotten from Gaussian reduction from a given linear system.
* Produce an equation not implied by this system.
    ${\begin{array}{*{2}{rc}r}3x&+&4y&=&8\\2x&+&y&=&3\end{array}}$
* Can any equation be derived from an inconsistent system?

### Problem 17

Extend the definition of row equivalence to linear systems. Under your definition, do equivalent systems have the same solution set? (Hoffman & Kunze 1971)
    This exercise is recommended for all readers.

### Problem 18

In this matrix
    ${\begin{pmatrix}1&2&3\\3&0&3\\1&4&5\end{pmatrix}}$
the first and second columns add to the third.
* Show that remains true under any row operation.
* Make a conjecture.
* Prove that it holds.
Solutions

## Footnotes

* ↑ More information on mathematical induction is in the appendix.
* ↑ More information on canonical representatives is in the appendix.

## References

* Hoffman, Kenneth; Kunze, Ray (1971), Linear Algebra (Second ed.), Prentice Hall
* Trono, Tony (compilier) (1991), University of Vermont Mathematics Department High School Prize Examinations 1958-1991, mimeograhed printing