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