We will first show that
\(\row(A) = \row(B)\) as sets. If
\(A\) is reduced to
\(B\text{,}\) then the rows of
\(B\) are linear combinations of the rows of
\(A\text{.}\) (The elementary row operations produce linear combinations of the original rows.) Therefore, any linear combination of the rows of
\(B\) can be written as a linear combination of the rows of
\(A\text{.}\) This proves that
\(\row(B) \subseteq \row(A)\text{.}\) Since all row operations are reversible, we can use row operations to produce
\(A\) from
\(B\text{,}\) and this same argument shows that
\(\row(A) \subseteq \row(B)\text{.}\) This proves that
\(\row(A) = \row(B)\text{.}\)
If the matrix
\(B\) is in REF, the nonzero rows are linearly independent because no nonzero row is a linear combination of the rows below it. Here we are applying the Linear Dependence Lemma (
TheoremΒ 5.1.19) to the nonzero rows from bottom to top. Since the rows of
\(B\) span
\(\row(B)\) by definition, the fact that they are linearly independent means that they form a basis for
\(\row(B)\text{.}\)