alternating dimensions of a long exact sequence

Let be a field, be vector spaces and

an exact sequence.

Then

w.l.o.g. we may assume that by extending

where is still exact at and adding/subtracting does not change the sum.

This follows as

and

Exactness shows that

where the fundamental theorem of vectorspace homomorphisms & rank theorem shows

or

Thus