Let be a matrix over a field in reduced row echelon form. Prove that the row rank of is the number of nonzero rows of .
Recall that the row rank of a matrix is the maximal number of linearly independent rows in it. We proceed by induction on the number of rows of . (Recall our recursive description of reduced row echelon form.) In fact, we can prove this more generally for matrices in row echelon form, and we will prove that the nonzero rows are a maximal linearly independent subset.
For the base case, Let be a matrix. If , then the set of rows of is simply . There are no linearly independent subsets among the rows of , so that the row rank is 0. Likewise, the number of nonzero rows is 0. Suppose now that . Then certainly there is one nonzero row of , which forms a maximal linearly independent subset.
For the inductive step, suppose that the result holds for every row echelon form matrix having rows. Let be a row echelon form matrix having rows, where is also in row echelon form. By the induction hypothesis, the row rank of is the number of nonzero rows. Moreover, the rows of are a maximal linearly independent subset of the rows of . Clearly these remain linearly independent as rows of . Moreover, we can see that if , where are the nonzero rows of , then we must have . Since the nonzero rows of are linearly independent (as rows of ) we have for all . Thus the set of nonzero rows of is a linearly independent set. Certainly this subset is maximal, since every other row is 0. Thus the row rank of is the number of nonzero rows.