1

Let $E$ a vector space and $\dim(E)=n$

and let $f,g \in L(E)$

show that $\operatorname{rank}(f\circ g) \leq \operatorname{rank}(f)+\operatorname{rank}(g)-n$

I can see that $\operatorname{Ker}(g) \subset \operatorname{Ker}(f\circ g)$

so $\dim \operatorname{Ker}(g) \leq \dim \operatorname{Ker}(f\circ g)$

by the rank-nullity theorem $\operatorname{rank}(g) \leq \operatorname{rank}(f\circ g)$

I am stuck here.

Bernard
  • 175,478
u100899
  • 327
  • 1
    Did you mean the reverse inequality? If yes, see https://math.stackexchange.com/questions/298836/sylvester-rank-inequality-operatornamerank-a-operatornamerankb-leq-o?noredirect=1&lq=1 – Arnaud D. Aug 10 '18 at 10:04

1 Answers1

4

The reverse inequality is true. To see it, apply the rank-nullity theorem twice. $\DeclareMathOperator{\Im}{Im}$

Observe in the first place that $$\DeclareMathOperator{\rk}{rank}\rk(g\circ f)=\rk\Bigl(g_{\,\bigm\vert_{\,\scriptstyle\Im f}}\Bigr)\quad\text{and}\quad \ker\Bigl(g_{\,\bigm\vert_{\,\scriptstyle\Im f}}\Bigr)=\ker g\cap\Im f, $$ so, by the rank-nullity theorem $$\rk(g\circ f)= \dim(\Im f)-\dim(\ker g\cap\Im f)=\rk f-\dim(\ker g\cap\Im f). $$ Now $\;\ker g\cap\Im f\subset \ker g$, whence $$\dim(\ker g\cap\Im f)\le \dim(\ker g)=n-\rk g, $$ and therefore $$\rk(g\circ f)\ge\rk f-(n-\rk g).$$

Bernard
  • 175,478