Skip to main content Contents Index
Prev Up Next \(\newcommand{\markedPivot}[1]{\boxed{#1}}
\newcommand{\IR}{\mathbb{R}}
\newcommand{\IC}{\mathbb{C}}
\renewcommand{\P}{\mathcal{P}}
\renewcommand{\Im}{\operatorname{Im}}
\newcommand{\RREF}{\operatorname{RREF}}
\newcommand{\vspan}{\operatorname{span}}
\newcommand{\setList}[1]{\left\{#1\right\}}
\newcommand{\setBuilder}[2]{\left\{#1\,\middle|\,#2\right\}}
\newcommand{\unknown}{\,{\color{gray}?}\,}
\newcommand{\drawtruss}[2][1]{
\begin{tikzpicture}[scale=#1, every node/.style={scale=#1}]
\draw (0,0) node[left,magenta]{C} --
(1,1.71) node[left,magenta]{A} --
(2,0) node[above,magenta]{D} -- cycle;
\draw (2,0) --
(3,1.71) node[right,magenta]{B} --
(1,1.71) -- cycle;
\draw (3,1.71) -- (4,0) node[right,magenta]{E} -- (2,0) -- cycle;
\draw[blue] (0,0) -- (0.25,-0.425) -- (-0.25,-0.425) -- cycle;
\draw[blue] (4,0) -- (4.25,-0.425) -- (3.75,-0.425) -- cycle;
\draw[thick,red,->] (2,0) -- (2,-0.75);
#2
\end{tikzpicture}
}
\newcommand{\trussNormalForces}{
\draw [thick, blue,->] (0,0) -- (0.5,0.5);
\draw [thick, blue,->] (4,0) -- (3.5,0.5);
}
\newcommand{\trussCompletion}{
\trussNormalForces
\draw [thick, magenta,<->] (0.4,0.684) -- (0.6,1.026);
\draw [thick, magenta,<->] (3.4,1.026) -- (3.6,0.684);
\draw [thick, magenta,<->] (1.8,1.71) -- (2.2,1.71);
\draw [thick, magenta,->] (1.6,0.684) -- (1.5,0.855);
\draw [thick, magenta,<-] (1.5,0.855) -- (1.4,1.026);
\draw [thick, magenta,->] (2.4,0.684) -- (2.5,0.855);
\draw [thick, magenta,<-] (2.5,0.855) -- (2.6,1.026);
}
\newcommand{\trussCForces}{
\draw [thick, blue,->] (0,0) -- (0.5,0.5);
\draw [thick, magenta,->] (0,0) -- (0.4,0.684);
\draw [thick, magenta,->] (0,0) -- (0.5,0);
}
\newcommand{\trussStrutVariables}{
\node[above] at (2,1.71) {\(x_1\)};
\node[left] at (0.5,0.866) {\(x_2\)};
\node[left] at (1.5,0.866) {\(x_3\)};
\node[right] at (2.5,0.866) {\(x_4\)};
\node[right] at (3.5,0.866) {\(x_5\)};
\node[below] at (1,0) {\(x_6\)};
\node[below] at (3,0) {\(x_7\)};
}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 1.2 Row Reduction of Matrices (LE2)
Learning Outcomes
Subsection 1.2.1 Class Activities
Definition 1.2.1 .
Two systems of linear equations (and their corresponding augmented matrices) are said to be equivalent if they have the same solution set.
For example, both of these systems share the same solution set \(\setList{ \left[\begin{array}{c} 1 \\ 1\end{array}\right] }\text{.}\)
\begin{alignat*}{3}
3x_1 &\,-\,& 2x_2 &\,=\,& 1 \\
x_1 &\,+\,& 4x_2 &\,=\,& 5
\end{alignat*}
\begin{alignat*}{3}
3x_1 &\,-\,& 2x_2 &\,=\,& 1 \\
4x_1 &\,+\,& 2x_2 &\,=\,& 6
\end{alignat*}
Therefore these augmented matrices are equivalent (even though they’re not equal ), which we denote with \(\sim\text{:}\)
\begin{equation*}
\left[\begin{array}{cc|c}
3 & -2 & 1\\
1 & 4 & 5\\
\end{array}\right]
\not=
\left[\begin{array}{cc|c}
3 & -2 & 1\\
4 & 2 & 6\\
\end{array}\right]
\end{equation*}
\begin{equation*}
\left[\begin{array}{cc|c}
3 & -2 & 1\\
1 & 4 & 5\\
\end{array}\right]
\sim
\left[\begin{array}{cc|c}
3 & -2 & 1\\
4 & 2 & 6\\
\end{array}\right]
\end{equation*}
Activity 1.2.2 .
Consider whether these matrix manipulations (A) must keep or (B) could change the solution set for the corresponding linear system.
(a)
Swapping two rows, for example:
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3 \\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 4 & 5 & 6 \\ 1 & 2 & 3 \end{array}\right]
\end{equation*}
\begin{align*}
x +2y \amp= 3 \amp 4x + 5y \amp= 6\\
4x + 5y \amp= 6 \amp x +2y \amp= 3
\end{align*}
(b)
Swapping two columns, for example:
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3
\\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 2 & 1 & 3
\\ 5 & 4 & 6 \end{array}\right]
\end{equation*}
\begin{align*}
x +2y \amp= 3 \amp 2x + y \amp= 6\\
4x + 5y \amp= 6 \amp 5x +4y \amp= 3
\end{align*}
(c)
Add a constant to every term of a row, for example:
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3
\\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 1+6 & 2+6 & 3+6
\\ 4 & 5 & 6 \end{array}\right]
\end{equation*}
\begin{align*}
x +2y \amp= 3 \amp 7x + 8y \amp= 9\\
4x + 5y \amp= 6 \amp 4x +5y \amp= 3
\end{align*}
(d)
Multiply a row by a nonzero constant, for example:
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3
\\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 3 & 6 & 9
\\ 4 & 5 & 6 \end{array}\right]
\end{equation*}
\begin{align*}
x +2y \amp= 3 \amp 3x + 6y \amp= 9\\
4x + 5y \amp= 6 \amp 4x +5y \amp= 3
\end{align*}
(e)
Add a constant multiple of one row to another row, for example:
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3
\\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 1 & 2 & 3
\\ 4+3 & 5+6 & 6+9 \end{array}\right]
\end{equation*}
\begin{align*}
x +2y \amp= 3 \amp \unknown x +\unknown y \amp= \unknown \\
4x + 5y \amp= 6 \amp \unknown x +\unknown y \amp= \unknown
\end{align*}
(f)
Replace a column with zeros, for example:
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3
\\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 1 & 0 & 3
\\ 4 & 0 & 6 \end{array}\right]
\end{equation*}
\begin{align*}
x +2y \amp= 3 \amp \unknown x +\unknown y \amp= \unknown \\
4x + 5y \amp= 6 \amp \unknown x +\unknown y \amp= \unknown
\end{align*}
(g)
Replace a row with zeros, for example:
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3
\\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 1 & 2 & 3
\\ 0 & 0 & 0 \end{array}\right]
\end{equation*}
\begin{align*}
x +2y \amp= 3 \amp \unknown x +\unknown y \amp= \unknown \\
4x + 5y \amp= 6 \amp \unknown x +\unknown y \amp= \unknown
\end{align*}
Definition 1.2.3 .
The following three row operations produce equivalent augmented matrices.
Swap two rows, for example, \(R_1\leftrightarrow R_2\text{:}\)
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3 \\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 4 & 5 & 6 \\ 1 & 2 & 3 \end{array}\right]
\end{equation*}
Multiply a row by a nonzero constant, for example, \(2R_1\rightarrow R_1\text{:}\)
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3 \\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 2(1) & 2(2) & 2(3) \\ 4 & 5 & 6 \end{array}\right]
\end{equation*}
Add a constant multiple of one row to another row, for example, \(R_2-4R_1\rightarrow R_2\text{:}\)
\begin{equation*}
\left[\begin{array}{cc|c} 1 & 2 & 3 \\ 4 & 5 & 6 \end{array}\right]
\sim
\left[\begin{array}{cc|c} 1 & 2 & 3 \\ 4-4(1) & 5-4(2) & 6-4(3) \end{array}\right]
\end{equation*}
Observe that we will use the following notation: (Combination of old rows) \(\rightarrow\) (New row).
Activity 1.2.4 .
Each of the following linear systems has the same solution set.
A)
\begin{alignat*}{4}
x &\,+\,& 2y &\,+\,& z &\,=\,& 3 \\
-x &\,-\,& y &\,+\,& z &\,=\,& 1 \\
2x &\,+\,& 5y &\,+\,& 3z &\,=\,& 7
\end{alignat*}
B)
\begin{alignat*}{4}
2x &\,+\,& 5y &\,+\,& 3z &\,=\,& 7 \\
-x &\,-\,& y &\,+\,& z &\,=\,& 1 \\
x &\,+\,& 2y &\,+\,& z &\,=\,& 3
\end{alignat*}
C)
\begin{alignat*}{4}
x & & &\,-\,& z &\,=\,& 1 \\
& & y &\,+\,& 2z &\,=\,& 4 \\
& & y &\,+\,& z &\,=\,& 1
\end{alignat*}
D)
\begin{alignat*}{4}
x &\,+\,& 2y &\,+\,& z &\,=\,& 3 \\
& & y &\,+\,& 2z &\,=\,& 4 \\
2x &\,+\,& 5y &\,+\,& 3z &\,=\,& 7
\end{alignat*}
E)
\begin{alignat*}{4}
x & & &\,-\,& z &\,=\,& 1 \\
& & y &\,+\,& z &\,=\,& 1 \\
& & & & z &\,=\,& 3
\end{alignat*}
F)
\begin{alignat*}{4}
x &\,+\,& 2y &\,+\,& z &\,=\,& 3 \\
& & y &\,+\,& 2z &\,=\,& 4 \\
& & y &\,+\,& z &\,=\,& 1
\end{alignat*}
Sort these six equivalent linear systems from most complicated to simplest (in your opinion).
Activity 1.2.5 .
Here we’ve written the sorted linear systems from
Activity 1.2.4 as augmented matrices.
\begin{alignat*}{3}
\left[\begin{array}{ccc|c} 2 & 5 & 3 & 7 \\ -1 & -1 & 1 & 1 \\ 1 & 2 & 1 & 3 \end{array}\right] & \sim &
\left[\begin{array}{ccc|c} \markedPivot{1} & 2 & 1 & 3 \\ -1 & -1 & 1 & 1 \\ 2 & 5 & 3 & 7 \end{array}\right] & \sim &
\left[\begin{array}{ccc|c} \markedPivot{1} & 2 & 1 & 3 \\ 0 & 1 & 2 & 4 \\ 2 & 5 & 3 & 7 \end{array}\right]\sim \\
\sim \left[\begin{array}{ccc|c} \markedPivot{1} & 2 & 1 & 3 \\ 0 & \markedPivot{1} & 2 & 4 \\ 0 & 1 & 1 & 1 \end{array}\right] & \sim &
\left[\begin{array}{ccc|c} \markedPivot{1} & 0 & -1 & 1 \\ 0 & \markedPivot{1} & 2 & 4 \\ 0 & 1 & 1 & 1 \end{array}\right] & \sim &
\left[\begin{array}{ccc|c} \markedPivot{1} & 0 & -1 & 1 \\ 0 & \markedPivot{1} & 1 & 1 \\ 0 & 0 & -1 & -3 \end{array}\right]
\end{alignat*}
Assign the following row operations to each step used to manipulate each matrix to the next:
\begin{equation*}
R_3-1R_2\to R_3
\end{equation*}
\begin{equation*}
R_2+1R_1\to R_2
\end{equation*}
\begin{equation*}
R_1\leftrightarrow R_3
\end{equation*}
\begin{equation*}
R_3-2R_1\to R_3
\end{equation*}
\begin{equation*}
R_1-2R_3\to R_1
\end{equation*}
Definition 1.2.6 .
A matrix is in reduced row echelon form (RREF ) if
The leftmost nonzero term of each row is 1. We call these terms pivots .
Each pivot is to the right of every higher pivot.
Each term that is either above or below a pivot is 0.
All zero rows (rows whose terms are all 0) are at the bottom of the matrix.
Every matrix has a unique reduced row echelon form. If \(A\) is a matrix, we write \(\RREF(A)\) for the reduced row echelon form of that matrix.
Activity 1.2.7 .
Recall that a matrix is in reduced row echelon form (RREF ) if
The leftmost nonzero term of each row is 1. We call these terms pivots .
Each pivot is to the right of every higher pivot.
Each term that is either above or below a pivot is 0.
All zero rows (rows whose terms are all 0) are at the bottom of the matrix.
For each matrix, mark the leading terms, and label it as RREF or not RREF. For the ones not in RREF, determine which rule is violated and how it might be fixed.
\begin{equation*}
A=\left[\begin{array}{ccc|c} 1 & 0 & 0 & 3 \\ 0 & 0 & 1 & -1 \\ 0 & 0 & 0 & 0 \end{array}\right]
\end{equation*}
\begin{equation*}
B=\left[\begin{array}{ccc|c} 1 & 2 & 4 & 3 \\ 0 & 0 & 1 & -1 \\ 0 & 0 & 0 & 0 \end{array}\right]
\end{equation*}
\begin{equation*}
C=\left[\begin{array}{ccc|c} 0 & 0 & 0 & 0 \\ 1 & 2 & 0 & 3 \\ 0 & 0 & 1 & -1 \end{array}\right]
\end{equation*}
Activity 1.2.8 .
Recall that a matrix is in reduced row echelon form (RREF ) if
The leftmost nonzero term of each row is 1. We call these terms pivots .
Each pivot is to the right of every higher pivot.
Each term that is either above or below a pivot is 0.
All zero rows (rows whose terms are all 0) are at the bottom of the matrix.
For each matrix, mark the leading terms, and label it as RREF or not RREF. For the ones not in RREF, determine which rule is violated and how it might be fixed.
\begin{equation*}
D=\left[\begin{array}{ccc|c} 1 & 0 & 2 & -3 \\ 0 & 3 & 3 & -3 \\ 0 & 0 & 0 & 0 \end{array}\right]
\end{equation*}
\begin{equation*}
E=\left[\begin{array}{ccc|c} 0 & 1 & 0 & 7 \\ 1 & 0 & 0 & 4 \\ 0 & 0 & 0 & 0 \end{array}\right]
\end{equation*}
\begin{equation*}
F=\left[\begin{array}{ccc|c} 1 & 0 & 0 & 4 \\ 0 & 1 & 0 & 7 \\ 0 & 0 & 1 & 0 \end{array}\right]
\end{equation*}
Activity 1.2.10 .
Consider the matrix
\begin{equation*}
\left[\begin{array}{cccc}2 & 6 & -1 & 6 \\ 1 & 3 & -1 & 2 \\ -1 & -3 & 2 & 0 \end{array}\right].
\end{equation*}
Which row operation is the best choice for the first move in converting to RREF?
Add row 3 to row 2 (\(R_2+R_3 \rightarrow R_2\) )
Add row 2 to row 3 (\(R_3+R_2 \rightarrow R_3\) )
Swap row 1 to row 2 (\(R_1 \leftrightarrow R_2\) )
Add -2 row 2 to row 1 (\(R_1-2R_2 \rightarrow R_1\) )
Activity 1.2.11 .
Consider the matrix
\begin{equation*}
\left[\begin{array}{cccc} \markedPivot{1} & 3 & -1 & 2 \\ 2 & 6 & -1 & 6 \\ -1 & -3 & 2 & 0 \end{array}\right].
\end{equation*}
Which row operation is the best choice for the next move in converting to RREF?
Add row 1 to row 3 (\(R_3+R_1 \rightarrow R_3\) )
Add -2 row 1 to row 2 (\(R_2-2R_1 \rightarrow R_2\) )
Add 2 row 2 to row 3 (\(R_3+2R_2 \rightarrow R_3\) )
Add 2 row 3 to row 2 (\(R_2+2R_3 \rightarrow R_2\) )
Activity 1.2.12 .
Consider the matrix
\begin{equation*}
\left[\begin{array}{cccc}\markedPivot{1} & 3 & -1 & 2 \\ 0 & 0 & 1 & 2 \\ 0 & 0 & 1 & 2 \end{array}\right].
\end{equation*}
Which row operation is the best choice for the next move in converting to RREF?
Add row 1 to row 2 (\(R_2+R_1 \rightarrow R_2\) )
Add -1 row 3 to row 2 (\(R_2-R_3 \rightarrow R_2\) )
Add -1 row 2 to row 3 (\(R_3-R_2 \rightarrow R_3\) )
Add row 2 to row 1 (\(R_1+R_2 \rightarrow R_1\) )
Activity 1.2.14 .
Complete the following RREF calculation (multiple row operations may be needed for certain steps):
\begin{equation*}
A=
\left[\begin{array}{cccc}2 & 3 & 2 & 3 \\ -2 & 1 & 6 & 1 \\ -1 & -3 & -4 & 1 \end{array}\right]
\sim \left[\begin{array}{cccc}\markedPivot{1} & \unknown & \unknown & \unknown \\ -2 & 1 & 6 & 1 \\ -1 & -3 & -4 & 1 \end{array}\right]
\sim \left[\begin{array}{cccc}\markedPivot{1} & \unknown & \unknown & \unknown \\ 0 & \unknown & \unknown & \unknown \\ 0 & \unknown & \unknown & \unknown \end{array}\right]
\end{equation*}
\begin{equation*}
\sim \left[\begin{array}{cccc}\markedPivot{1} & \unknown & \unknown & \unknown \\ 0 & \markedPivot{1} & \unknown & \unknown \\ 0 & \unknown & \unknown & \unknown \end{array}\right]
\sim \left[\begin{array}{cccc}\markedPivot{1} & 0 & \unknown & \unknown \\ 0 & \markedPivot{1} & \unknown & \unknown \\ 0 & 0 & \unknown & \unknown \end{array}\right]
\sim \cdots
\sim \left[\begin{array}{cccc}\markedPivot{1} & 0 & -2 & 0 \\ 0 & \markedPivot{1} & 2 & 0 \\ 0 & 0 & 0 & 1 \end{array}\right]
\end{equation*}
Activity 1.2.15 .
Consider the matrix
\begin{equation*}
A=\left[\begin{array}{cccc} 2 & 4 & 2 & -4 \\ -2 & -4 & 1 & 1 \\ 3 & 6 & -1 & -4 \end{array}\right].
\end{equation*}
Compute \(\RREF(A)\text{.}\)
Activity 1.2.16 .
Consider the non-augmented and augmented matrices
\begin{equation*}
A=\left[\begin{array}{cccc} 2 & 4 & 2 & -4 \\ -2 & -4 & 1 & 1 \\ 3 & 6 & -1 & -4 \end{array}\right]\hspace{2em}
B=\left[\begin{array}{ccc|c} 2 & 4 & 2 & -4 \\ -2 & -4 & 1 & 1 \\ 3 & 6 & -1 & -4 \end{array}\right].
\end{equation*}
Can \(\RREF(A)\) be used to find \(\RREF(B)\text{?}\)
Yes, \(\RREF(A)\) and \(\RREF(B)\) are exactly the same.
Yes, \(\RREF(A)\) may be slightly modified to find \(\RREF(B)\text{.}\)
No, a new calculuation is required.
Activity 1.2.17 .
Free browser-based technologies for mathematical computation are available online.
In the dropdown on the right, you can select a number of different languages. Select "Octave" for the Matlab-compatible syntax used by this text.
Type rref([1,3,2;2,5,7])
and then press the Evaluate button to compute the \(\RREF\) of \(\left[\begin{array}{ccc} 1 & 3 & 2 \\ 2 & 5 & 7 \end{array}\right]\text{.}\)
Activity 1.2.18 .
In the HTML version of this text, code cells are often embedded for your convenience when RREFs need to be computed.
Try this out to compute \(\RREF\left[\begin{array}{cc|c} 2 & 3 & 1 \\ 3 & 0 & 6 \end{array}\right]\text{.}\)
Subsection 1.2.2 Videos
Figure 2. Video: Row reduction
Exercises 1.2.3 Exercises
Subsection 1.2.4 Mathematical Writing Explorations
Exploration 1.2.19 .
Prove that Gauss-Jordan Elimination preserves the solution set of a system of linear equations in \(n\) variables. Make sure your proof includes each of the following. Just because I’ve used bullet points here does not mean you should use bullet points in your proof.
Write an arbitrary system of linear equations in \(n\) variables. Your notation should be unambiguous.
Label an element of your solution set. You won’t know what it is exactly, so you’ll have to use a variable. Remember what it means (by definition!) to be in the solution set.
Describe the three operations used in Gauss-Jordan Elimination.
Consider all three operations in Gauss-Jordan Elimination. After each one is used, show that the element of the solution set you picked still satisfies the definition.
Exploration 1.2.20 .
Let
\(M_{2,2}\) indicate the set of all
\(2 \times 2\) matrices with real entries. Show that equivalence of matrices as defined in this section is an equivalence relation, as in exploration
Exploration 1.1.19
Subsection 1.2.5 Sample Problem and Solution