We will look at 3 subspaces associated to a matrix: The row space, the column space, and the null space. They provide important information about the matrix and the linear transformation associated to it. In this section, we'll discuss the row space of a matrix. We'll also discuss algorithms for finding a basis for a subspace spanned by a set of vectors, determining whether a set of vectors is independent, and adding vectors to an independent set to get a basis.
A lot of what follows generalizes to matrices with entries in a commutative ring with identity, but we will almost always stick to matrices over a field in this section.
Definition. Let A be an matrix with entries in a field F. The row vectors of A are the vectors in
corresponding to the rows of A. The row space
of A is the subspace of
spanned by the row vectors of A.
For example, consider the real matrix
The row vectors are ,
, and
. The row space is
the subspace of
spanned by these vectors. Since the first
two vectors are the standard basis vectors for
, the row space is
.
Lemma. Let A be a matrix with entries in a
field. If E is an elementary row operation, then
has the same row space as A.
Proof. If E is an operation of the form , then
and A have the same
rows (except for order), so it's clear that their row vectors have
the same span. Hence, the matrices have the same row space.
If E is an operation of the form where
, then A and
agree except in the i-th row. We
have
Note that the vectors , ...,
, ...,
are the rows of
. So this equation says any linear
combination of the rows
, ...,
of A is a linear
combination of the rows of
. This means that the row space of
A is contained in the row space of
.
Going the other way, a linear combination of the rows
, ...,
, ...,
of
looks like this:
But this is a linear combination of the rows
, ...,
of A, so the row space of
is contained in the
row space of A. Hence, A and
have the same row space.
Finally, suppose E is a row operation of the form , where
. Then
This shows that the row space of A is contained in the row space of
.
Conversely,
Hence, the row space of is contained in the row space of
A.
Definition. Two matrices over a field are row equivalent if one can be obtained from the other via elementary row operations.
Since row operations preserve row space, row equivalent matrices have the same row space. In particular, a matrix and its row reduced echelon form have the same row space.
The next proposition describes some of the components of a vector in the row space of a row-reduced echelon matrix R. Such a vector is a linear combination of the nonzero rows of R.
Proposition. Let be a row
reduced echelon matrix over a field with nonzero rows
, ...,
. Suppose the leading entries of R occur at
Suppose and
Then for all k.
Proof.
But the only nonzero element in column is the leading entry
. Therefore, the only nonzero term in the sum is
.
This result looks a bit technical, but it becomes obvious if you
consider an example. Here's a row reduced echelon matrix over :
Here's a vector in the row space, a linear combination of the nonzero rows:
The leading entries occur in columns ,
, and
. The
,
, and
components of the vector are
You can see from the picture why this happens. The coefficients a, b, c multiply the leading entries. The leading entries are all 1's, and they're the only nonzero elements in their columns. So in the components of the vector corresponding to those columns, you get a, b, and c.
Corollary. The nonzero rows of a row reduced echelon matrix over a field are independent.
Proof. Suppose R is a row reduced echelon
matrix with nonzero rows , ...,
. Suppose the leading
entries of R occur at
, where
. Suppose
The proposition implies that for all k.
Therefore,
are independent.
Corollary. The nonzero rows of a row reduced echelon matrix over a field form a basis for the row space of the matrix.
Proof. The nonzero rows span the row space,
and are independent, by the preceding corollary.
Algorithm. Let V be a finite-dimensional
vector space, and let be vectors in V. Find a
basis for
, the subspace
spanned by the
.
Let M be the matrix whose i-th row is . The row space of M
is W. Let R be a row-reduced echelon matrix which is row equivalent
to M. Then R and M have the same row space W, and the nonzero rows of
R form a basis for W.
Example. Consider the vectors ,
, and
in
. Find a basis for the subspace
spanned by the vectors.
Construct a matrix with the as its rows and row reduce:
The vectors and
form a basis for
.
Example. Determine the dimension of the
subspace of spanned by
,
, and
.
Form a matrix using the vectors as the rows and row reduce:
The subspace has dimension 3, since the row reduced echelon matrix
has 3 nonzero rows.
Definition. The rank of a matrix over a field is the dimension of its row space.
Example. Find the rank of the following matrix
over :
Row reduce the matrix:
The row reduced echelon matrix has 2 nonzero rows. Therefore, the
original matrix has rank 2.
I'll need the following fact about matrix multiplication for the proof of the next lemma. Consider the following multiplication:
In doing the multiplication, each multiplies the
corresponding row
. The result is a linear combination of the
's with the
's as coefficients. Here's the
picture:
Therefore,
If instead of a single row vector on the left I have an entire matrix, here's what I get:
Hence, the rows of the product are linear
combinations of the rows ,
, ...
.
Proposition. Let M and N be matrices over a field F which are compatible for multiplication. Then
Proof. The preceding discussion shows that the
rows of are linear combinations of the rows of N. Therefore,
the rows of
are all contained in the row space of N.
The row space of N is a subspace, so it's closed under taking linear
combinations of vectors. Hence, any linear combination of the rows of
is in the row space of N. Therefore, the row space of
is contained in the row space of N.
From this, it follows that the dimension of the row space of
is less than or equal to the dimension of the row space of N --- that
is,
.
I already have one algorithm for testing whether a set of vectors in
is independent. That algorithm involves constructing
a matrix with the vectors as the columns, then
row reducing. The algorithm will also produce a linear combination of
the vectors which adds up to the zero vector if the set is dependent.
If all you care about is whether or not a set of vectors in
is independent --- i.e. you don't care about a possible dependence
relation --- the results on rank can be used to give an alternative
algorithm. In this approach, you construct a matrix with the given
vectors as the rows.
Algorithm. Let V be a finite-dimensional
vector space, and let be vectors in V. Determine
whether the set
is independent.
Let M be the matrix whose i-th row is . Let R be a row
reduced echelon matrix which is row equivalent to M. If R has m
nonzero rows, then
is independent. Otherwise,
the set is dependent.
If R has p nonzero rows, then R and M have rank p. (They have the
same rank, because they have the same row space.) Suppose . Since
spans, some subset of
is a basis. However, a basis must contain
elements. Therefore,
must be
independent.
Any independent subset of the row space must contain elements. Hence, if
,
must be dependent.
Example. Determine whether the vectors ,
, and
in
are independent.
Form a matrix with the vectors as the rows and row reduce:
The row reduced echelon matrix has only two nonzero rows. Hence, the
vectors are dependent.
I already know that every matrix can be row reduced to a row reduced echelon matrix. The next result completes the discussion by showing that the row reduced echelon form is unique
Proposition. Every matrix over a field can be row reduced to a unique row reduced echelon matrix.
Proof. Suppose M row reduces to R, a row
reduced echelon matrix with nonzero rows . Suppose
the leading coefficients of R occur at
, where
.
Let W be the row space of R and let . Since
, ...
span the row space W,
we have
Claim: The first nonzero component of v must
occur in column , for some
.
Suppose is the first
which is nonzero. Since the
terms before
are zero, we have
The first nonzero element of is a 1 at
. The first nonzero element in
lies to the right of column
. Thus,
for
, and
. Evidently, this is the first nonzero component of
v. This proves the claim.
This establishes that if a row reduced echelon matrix
is row equivalent to M, its leading coefficients must lie in the same
columns as those of R. For the rows of
are elements of W, and
the claim applies.
Next, I'll show that the nonzero rows of are the same as the
nonzero row of R.
Consider, for instance, the first nonzero rows of R and
. Their first nonzero components are 1's lying in column
. Moreover, both
and
have zeros in columns
,
, ... .
Suppose . Then
is a nonzero
vector in W whose first nonzero component is not in column
,
, ..., which is a contradiction.
The same argument applies to show that for all k.
Therefore,
.
In my discussion of bases, I showed that every independent set is a subset of a basis. To put it another way, you can add vectors to an independent set to get a basis.
Here's how to find specific vectors to add to an independent set to get a basis.
Example. The following set of vectors in is independent:
Add vectors to the set to make a basis for .
If I make a matrix with these vectors as rows and row reduce, the row reduced echelon form will have the same row space (i.e. the same span) as the original set of vectors:
Since there are three nonzero rows and the original set had three vectors, the original set of vectors is indeed independent.
By examining the row reduced echelon form, I see that the vectors
and
will not be linear
combinations of the others. Reason: A nonzero linear combination of
the rows of the row reduced echelon form must have a nonzero entry in
at least one of the first, third, or fourth columns, since those are
the columns containing the leading entries.
In other words, I'm choosing standard basis vectors with a 1's in
positions not occupied by leading entries in the row reduced echelon
form. Therefore, I can add and
to the set and get a new independent set:
There are 5 vectors in this set, so it is a basis for .
Copyright 2023 by Bruce Ikenaga