Intereting Posts

Prove that the dihedral group $D_4$ can not be written as a direct product of two groups
Regularity of elliptic PDE with coefficients in some Sobolev space
Can $ \int_0^{\pi/2} \ln ( \sin(x)) \; dx$ be evaluated with “complex method”?
The Matching Problem/Derangements – n letters to n people
Finding the range of a $y=-x^2(x+5)(x-3)$ without calculus?
Prime numbers divide an element from a set
Concept of Linearity
Programs for precocious prodigies
Show that these two numbers have the same number of digits
SOS: Proof of the AM-GM inequality
$A$ a ring, ($\exists n\in\mathbb{N},n\geq 2,\ \forall x\in A$, $x^n=x$) $\Rightarrow$ A is commutative?
Determinant of a Special Symmetric Matrix
If you have two envelopes, and …
2013 Putnam A1 Proof understanding (geometry)
An application of Eisenstein's criterion

If $A$ is a $m \times n$ matrix and $B$ a $n \times k$ matrix, prove that

$$\text{rank}(AB)\ge\text{rank}(A)+\text{rank}(B)-n.$$

Also show when equality occurs.

- Product of repeated cosec.
- Integral $\int_0^\pi \theta^2 \ln^2\big(2\cos\frac{\theta}{2}\big)d \theta$.
- How do you find the value of $\sum_{r=0}^{44} \tan^2(2r+1)$?
- Connecting square vertexes with minimal road
- $\mathrm{lcm}(1, 2, 3, \ldots, n)$?
- Functional equation book for olympiad

- Analog of $(a+b)^2 \leq 2(a^2 + b^2)$
- Rectangle with lattice points
- Show that for all real numbers $a$ and $b$, $\,\, ab \le (1/2)(a^2+b^2)$
- $a,b,c>0,a+b+c=21$ prove that $a+\sqrt{ab} +\sqrt{abc} \leq 28$
- In proof by induction, what does it mean when condition for inductive step is lesser than the propsition itself?
- Prove that $ \left(1+\frac a b \right) \left(1+\frac b c \right)\left(1+\frac c a \right) \geq 2\left(1+ \frac{a+b+c}{\sqrt{abc}}\right)$.
- Solving $x\; \leq \; \sqrt{20\; -\; x}$
- 2011 AIME Problem 12, probability round table
- Proving that one of $a(1-b), b(1-c), c(1-a) \le \frac{1}{4}$
- permutation of $9$ digit

Recall Linear Transformations Isomorphic to Matrix Space.

Using Rank–nullity theorem, $\operatorname{rank}(A)+\operatorname{nullity}(A)=n,\operatorname{rank}(B)+\operatorname{nullity}(B)=k$ and $\operatorname{rank}(AB)+\operatorname{nullity}(AB)=k.$

So, $\operatorname{rank}(A)+\operatorname{rank}(B)+\operatorname{nullity}(A)+\operatorname{nullity}(B)=n+\operatorname{rank}(AB)+\operatorname{nullity}(AB)$

$\implies \operatorname{rank}(AB)-\operatorname{rank}(A)-\operatorname{rank}(B)+n=\operatorname{nullity}(A)+\operatorname{nullity}(B)-\operatorname{nullity}(AB)$

$\geq \operatorname{nullity}(A)$[Since $Bv_2=0$ for $v_2\in Mat_{k\times 1}(F)\implies ABv_2=0$] $\geq 0.$

We claim $\dim \ker\,A+\dim\ker B \geq \dim\ker AB$.

Let $\beta=\{\alpha_1,\dots,\alpha_r \}$ be basis for $\ker B$. It is not hard to see that $\ker B\subseteq \ker AB$ so we can extend $\beta $ to basis for $\ker AB$. Suppose $\{\alpha_1,\dots,\alpha_r,\alpha_{r+1},\dots,\alpha_n \ \}$ be basis for $\ker AB$. So $B(\alpha_{i})\neq 0$ for $i \in \{r<i<n+1\}$. It is easily seen that $\{B(\alpha_{r+1}),\dots,B(\alpha_{n})\}$ is linear independent. We have $\dim\ker A\geq n-r$.

$$\dim\ker A+\dim\ker B \geqslant n-r+r =n \Longrightarrow\dim\ker A+\dim\ker B \geqslant \dim\ker AB$$

As noted in the other answer, it suffices to show $\dim\ \operatorname{Ker}(A)+\dim\ \operatorname{Ker}(B) \geq \dim\ \operatorname{Ker}(AB)$. This is equivalent to showing that $\dim\ \operatorname{Ker}(AB)/\operatorname{Ker}(B) \leq \dim\ \operatorname{Ker}(A)$. To do this, use the first isomorphism theorem for vector spaces on the linear map $\operatorname{Ker}(AB) \rightarrow \operatorname{Ker}(A)$ defined by $x \mapsto Bx$. This shows that $\operatorname{Ker}(AB)/\operatorname{Ker}(B)$ is isomorphic to a subspace of $\operatorname{Ker}(A)$, which proves the inequality.

- Notation: Why write the differential first?
- Can this inequality proof be demystified?
- If P is k-c.c. and C is club in k in M then C contains a club in M
- An open interval as a union of closed intervals
- Finite Product of Closed Maps Need Not Be Closed
- Express $\sin^8\theta+\sin^6\theta+\sin^4\theta+\sin^2\theta-2$ as a single term in terms of $\sin\theta$
- Convergence of random variables in probability but not almost surely.
- Identities for other coefficients of the characteristic polynomial
- Characterisation of one-dimensional Sobolev space
- A number system
- How many elements in a number field of a given norm?
- Prove that every triangle is the orthogonal projection of an equilateral one
- In a non-commutative monoid, is the left inverse of an element also the right inverse?
- Odds of anyone in a group getting picked twice in a row
- The longest word in Weyl group and positive roots.