DEFINITION 4.3.1 (Range and Null Space)
Let
be finite dimensional vector spaces over the same set of
scalars and
be a linear transformation. We define
-
and
-
We now prove some results associated with the above definitions.
PROPOSITION 4.3.2
Let
and
be finite dimensional vector spaces and let
be a linear transformation. Suppose that
is an ordered basis of
Then
-
is a subspace of
-
-
-
is a subspace of
-
-
is one-one
is the zero
subspace of
is a basis of
-
if and only if
Proof.
The results about
and
can be easily proved.
We thus leave the proof for the readers.
We now assume that
is one-one. We need to show
that
Let
Then by definition,
Also for
any linear transformation (see Proposition
4.1.3),
Thus
So,
is one-one implies
That is,
Let
We need to show that
is one-one.
So, let us assume that for some
Then, by linearity of
This implies,
This in turn implies
Hence,
is one-one.
The other parts can be similarly proved.
height6pt width 6pt depth 0pt
Remark 4.3.3
- The space
is called the RANGE SPACE of
and
is called the NULL SPACE of
- We write
and
-
is called the rank of the linear transformation
and
is called the nullity of
EXAMPLE 4.3.4
Determine the range and null space of the linear transformation
Solution: By Definition
We therefore have
Also, by definition
We now state and prove the rank-nullity Theorem. This result also
follows from Proposition 4.3.2.
THEOREM 4.3.6 (Rank Nullity Theorem)
Let
be a linear
transformation and
be a finite dimensional vector space. Then
or equivalently
Proof.
Let
and
Suppose
is a basis of
Since
is a linearly independent set in
we can
extend it to form a basis of
(see Corollary
3.3.15).
So, there exist vectors
such that
is a basis of
Therefore, by Proposition
4.3.2
We now prove that the set
is linearly independent. Suppose the set is
not linearly independent. Then, there exists scalars,
not all zero such that
That is,
So, by definition of
Hence, there exists scalars
such that
That is,
But the set
is a basis of
and so linearly independent.
Thus by definition of linear independence
In other words, we have shown that
is a basis of
Hence,
height6pt width 6pt depth 0pt
Using the Rank-nullity theorem, we give a short proof of the following result.
COROLLARY 4.3.7
Let
be a linear transformation on a finite dimensional
vector space
Then
Proof.
By Proposition
4.3.2,
is one-one if and only if
By the rank-nullity Theorem
4.3.6
is equivalent to the condition
Or equivalently
is onto.
By definition,
is invertible if
is one-one and onto. But we have
shown that
is one-one if and only if
is onto. Thus, we have
the last equivalent condition.
height6pt width 6pt depth 0pt
Remark 4.3.8
Let
be a finite dimensional vector space and let
be a
linear transformation. If either
is one-one or
is onto, then
is invertible.
The following are some of the consequences of
the rank-nullity theorem. The proof is left as an
exercise for the reader.
COROLLARY 4.3.9
The following are equivalent for an
real matrix
-
- There exist exactly
rows of
that are linearly independent.
- There exist exactly
columns of
that are linearly independent.
- There is a
submatrix of
with non-zero determinant and
every
submatrix of
has zero determinant.
- The dimension of the range space of
is
- There is a subset of
consisting of exactly
linearly independent vectors
such that the system
for
is consistent.
- The dimension of the null space of
A K Lal
2007-09-12