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
![$ {\cal R}(T)$](img1881.png)
and
![$ {\cal N}(T)$](img1884.png)
can be easily proved.
We thus leave the proof for the readers.
We now assume that
![$ T$](img1656.png)
is one-one. We need to show
that
Let
![$ {\mathbf u}\in {\cal N}(T).$](img1892.png)
Then by definition,
![$ \; T({\mathbf u}) = {\mathbf 0}.$](img1893.png)
Also for
any linear transformation (see Proposition
4.1.3),
![$ T({\mathbf 0}) = {\mathbf 0}.$](img1894.png)
Thus
![$ T({\mathbf u}) = T({\mathbf 0}).$](img1895.png)
So,
![$ T$](img1656.png)
is one-one implies
![$ {\mathbf u}= {\mathbf 0}.$](img1013.png)
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
![$ \dim(V) = n$](img1954.png)
and
![$ \dim ({\cal N}(T)) = r.$](img1955.png)
Suppose
![$ \{u_1, u_2, \ldots, u_r \}$](img1956.png)
is a basis of
![$ {\cal N}(T).$](img1936.png)
Since
![$ \{u_1, u_2, \ldots, u_r \}$](img1956.png)
is a linearly independent set in
![$ V,$](img951.png)
we can
extend it to form a basis of
![$ V$](img942.png)
(see Corollary
3.3.15).
So, there exist vectors
![$ \{u_{r+1}, u_{r+2}, \ldots, u_n \}$](img1957.png)
such that
![$ \{u_1,
\ldots, u_r, u_{r+1}, \ldots, u_n \}$](img1958.png)
is a basis of
![$ V.$](img944.png)
Therefore, by Proposition
4.3.2
We now prove that the set
![$ \{ T(u_{r+1}), T(u_{r+2}), \ldots, T(u_n)
\}$](img1962.png)
is linearly independent. Suppose the set is
not linearly independent. Then, there exists scalars,
![$ \alpha_{r+1},
\alpha_{r+2}, \ldots, \alpha_n,$](img1963.png)
not all zero such that
That is,
So, by definition of
Hence, there exists scalars
![$ \alpha_i, \; 1 \leq i \leq r$](img1968.png)
such that
That is,
But the set
![$ \{ u_1, u_2, \ldots, u_n \}$](img1971.png)
is a basis of
![$ V$](img942.png)
and so linearly independent.
Thus by definition of linear independence
In other words, we have shown that
![$ \{ T(u_{r+1}), T(u_{r+2}), \ldots, T(u_n)
\}$](img1962.png)
is a basis of
![$ {\cal R}(T).$](img1889.png)
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,
![$ T$](img1656.png)
is one-one if and only if
![$ {\cal N}(T) = \{{\mathbf 0}\}.$](img1891.png)
By the rank-nullity Theorem
4.3.6
![$ {\cal N}(T) = \{{\mathbf 0}\}$](img1975.png)
is equivalent to the condition
![$ \dim ( {\cal R}(T)) = \dim (V).$](img1976.png)
Or equivalently
![$ T$](img1656.png)
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