Let 
and 
be vector spaces over a field 
, and let 
be a linear transformation.
Assuming the dimension of 
is finite, then
 |
where 
is the dimension of 
, 
is the kernel, and 
is the image.
Note that 
is called the nullity of 
and 
is called the rank of 
.
