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