Observation.

We use rank nullity to show that for a short exact sequence of vector spaces,

the alternating sum of the dimensions of the spaces is 0, i.e. . The exactness of the sequence implies that is injective and is surjective. The former implies that . The latter implies that . Again, the exactness of the sequence implies that . Thus, , as desired.


It can be shown in general that the alternating sum of the dimensions of spaces in an exact sequence is 0. I’ve been told this is useful when dealing with infinite-dimensions.