Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

As the title says, am searching for a proof of

If $A,B \in \mathbb{R}^{n\times n}$ and $AB=0$ then $\mathrm{rank}(A)+\mathrm{rank}(B) \leq n$

I am doing this as preparation for an upcoming exam and can't figure a way to start. Please just post small hints as answers. I will try to go from there.

Thank you

ftiaronsem

share|improve this question
3  
If $AB=0$, then the image of $B$ is contained in the kernel of $A$. –  Chris Eagle Jan 4 '11 at 17:41
add comment

1 Answer 1

up vote 6 down vote accepted

By the Rank-Nullity Theorem, $\mathrm{rank}(A)+\mathrm{nullity}(A)=n$. The problem would be solved if you could show that $\mathrm{rank}(B)\leq\mathrm{nullity}(A)$. Presumably, $AB=0$ will play a role in that, since the result is false otherwise (if $A$ and $B$ were both invertible, for example, then $AB\neq 0$, and $\mathrm{rank}(A)+\mathrm{rank}(B) = 2n\gt n$).

share|improve this answer
    
Yeah, I think I got it: –  ftiaronsem Jan 4 '11 at 18:58
    
Lets take a Vector $v \in R^{x \times x}$. $(AB)v = A(Bv)$. Now there are two cases. First $v \in ker(B)$ Than there is nothing to do for $A$. Secondly $v \in Img(B) \Rightarrow (Bv) \in ker(A) \Rightarrow Img(B) \in ker(A)$. So, as Chris sayed, the image of $B$ is contained in the kernel of $A$. However the kernel of $A$ might be larger, which is why we get $dim(Img(B)) \leq dim(ker(A))$. This concludes in $ n = dim(Img(A))+dim(ker(A)) \geq dim(Img(A))+dim(Img(B))$, which is what we wanted to proof. Hopefully this correct ... –  ftiaronsem Jan 4 '11 at 19:10
    
Thank you so much. And one more thing ;-). Is $nullity(A)=dim(ker(A))$? –  ftiaronsem Jan 4 '11 at 19:12
1  
@ftiaronsem: Yes, $\mathrm{nullity}(A)=\dim(\ker(A))$. But your argument above is confused. It doesn't matter where $v$ is, $Bv$ lies in the image of $B$ (could be zero, of course). Also, the kernel of $B$ and the image of $B$ are not necessarily mutually exclusive, nor do they have to cover all possibilities (e.g., $B=\left(\begin{array}{cc}0&1\\0&0\end{array}\right)$). The only thing you need to do is show that the image of $B$ is contained in the kernel of $A$, which will automatically give $\dim(\mathrm{Im}(B))\leq\dim(\mathrm{ker}(A))$. Also, "proof" is the noun; "wanted to prove". –  Arturo Magidin Jan 4 '11 at 19:16
1  
@ftiaronsem: Yes, that is much cleaner; you might want to say a word or two about why $v\in\mathrm{Im}(B)$ implies $Av=0$ ("there exists $w$ such that $Bw=v$, so $Av = A(Bw) = (AB)w = 0$ by assumption") as that makes the role of the hypothesis $AB=0$ crystal clear. Otherwise, fine. –  Arturo Magidin Jan 4 '11 at 19:44
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.