Rank Nullity Theorem
The Rank Nullity Theorem is a result in linear algebra. To provide some background to understand the full claim, let and
be vector spaces and let
be a linear transformation. We define
where
. Additionally, we define
where
. In other words, rank is the dimension of the linear transformation's image, and nullity is the dimension of it's kernel (the word nullity comes from the term "null space" which is used to describe the physical subset of the domain of the linear transformation that maps to the zero vector). The theorem states the following:

Proof: Let and
be vector spaces and let
be linear. We first claim that if
is a basis of
, then
![\[\text{R}(\text{T})=\text{span}(\text{T}(\beta))=\text{span}(\{\text{T}(v_1),\text{T}(v_2),\ldots, \text{T}(v_n)\}).\]](http://latex.artofproblemsolving.com/d/a/7/da7bc35b2f33b2712d9ece7509b3b4e2e5b1e487.png)
By definition we have . Because
is a subspace (this is easy to verify), then the basis of
is contained in
or that it contains

Now we must prove that contains
in order for
. To do this, let
. Then
for some
. Because
is a basis for
, we can use the linearity of
to get
![\[v=\sum_{i=1}^na_iv_i\implies w=\text{T}(v)=\sum_{i=1}^na_i\text{T}(v_i)=\text{T}\left(\sum_{i=1}^na_iv_i\right)\in\text{span}(\text{T}(\beta))\]](http://latex.artofproblemsolving.com/f/3/8/f3800a792687d2b3a6176073d19d1222065f3cfa.png)
so is contained in its basis, which means that the two must be equal, done. With this corollary out of the way, we head to the main course. Obviously this is under the assumption that
is finite, so assume that
and
such that
is a basis for
. We can then extend this basis into
for
. We seek to show that
is a basis for
, because that would mean
which would prove what we want.
To show that is a basis, we have two things to do. We need to show that
generates
and that
is linearly independent, which would satisfy both criteria for a basis. The first part is easy, because since we have
for each
we get

Now we have to show that is linearly independent. Using the linearity of
, we would have
![\[\sum_{i=k+1}^na_i\text{T}(v_i)=0\implies \text{T}\left(\sum_{i=k+1}^na_iv_i\right)=0\]](http://latex.artofproblemsolving.com/1/d/9/1d9d0b81f14efe12278801d367269d9c4b405ee8.png)
so we can conclude that . Then by taking a set of scalars
we get
![\[\sum_{i=k+1}^na_iv_i=\sum_{i=1}^kb_iv_i\implies\sum_{i=k+1}^na_iv_i-\sum_{i=1}^kb_iv_i=0.\]](http://latex.artofproblemsolving.com/f/3/7/f37f49cf02b7af0f105cb1c4311a376181e00b44.png)
Since is a basis of
, we see that this implies that
is linearly independent, completing our work.