Using rank-nullity theorem to show alternating sum of dimensions = 0

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
3 replies · 2K views
bmanbs2
Messages
22
Reaction score
0

Homework Statement



Consider integer sequence [tex]n_{1},...,n_{r}[/tex] and matrices [tex]A_{1},...,A_{n-1}[/tex]. Assume [tex]im\left(A_{i}\right) = ker\left(A_{i+1}\right)[/tex]

Using the rank-nullity theorem, show that [tex]\sum^{n}_{i=1}\left(-1\right)^{i}d_{i} = 0[/tex]


Homework Equations



The rank-nullity theorem states that if [tex]v[/tex] and [tex]w[/tex] are vector spaces and [tex]A[/tex] is the linear map A: v -> w, then
[tex]dim\left(im\left(A\right)\right) + dim\left(ker\left(A\right)\right) = dim\left(v\right)[/tex]

The Attempt at a Solution



I know that the relation [tex]im\left(A_{i}\right) = ker\left(A_{i+1}\right)[/tex] means that [tex]\sum^{n}_{i even}d_{i}[/tex] = [tex]\sum^{n}_{i odd}d_{i}[/tex], but I don't know how to get there.
 
Physics news on Phys.org
First, apply rank-nullity on A1,...,An. You'll get n equations. Adding up those equations should get you the answer...
 
Thanks for the reply, but I want to make sure I'm setting up the equations properly.

So far I have that
[tex]im\left(A_{i-1}\right) + im\left(A_{i}\right) = d_{i}[/tex]
[tex]im\left(A_{i}\right) + im\left(A_{i+1}\right) = d_{i+1}[/tex]

Subtracting the system of equations gives
[tex]im\left(A_{i-1}\right) - im\left(A_{i+1}\right) = d_{i} - d_{i+1}[/tex]

That may then be continued for [tex]2 \leq i \leq n-1[/tex], but I'm not sure how to make it all equal zero.
 
OK, I was wrong about adding up the equations. But what you have looks good:

[tex]im(A_{i-1})+im(A_i)=d_i[/tex].

Now, you have to calculate

[tex]-d_1+d_2-d_3+d_4-...[/tex]

Just substitute every di in the above addition by [tex]im(A_{i-1})+im(A_i)[/tex], and make a little calculation.