Intereting Posts

Is this a valid partial fraction decomposition?
Conjugate subgroup strictly contained in the initial subgroup?
The continuity of the expectation of a continuous stochastic procees
Write $-\Delta u = f(x,u,Du)$ as fixed point problem
Map from binary sequences on $\{0,1\}$ into the Cantor set $C$ respects order
Ring Inside an Algebraic Field Extension
Does a limit at infinity exist?
How to prove that $\frac{x^2}{yz+2}+\frac{y^2}{zx+2}+\frac{z^2}{xy+2}\geq \frac{x+y+z}{3}$ holds for any $(x,y,z)\in^3$
Proof that there are infinitely many prime numbers starting with a given digit string
How to integrate this improper integral.
Is the Euler prime of an odd perfect number a palindrome (in base $10$), or otherwise?
Get the equation of a circle when given 3 points
Show that the curve $x^2+y^2-3=0$ has no rational points
Homology of disjoint union is direct sum of homologies
The myth of no prime formula?

I was looking for an answer for this problem in terms of matrices, but I really don’t know how to prove this result. The proposition says that:

Let $A\in M_{m\times k}(\mathbb{C})$, $B\in M_{k\times p}(\mathbb{C})$ and $C\in M_{p\times n}(\mathbb{C})$, then $\textrm{rank}(AB)+\textrm{rank}(BC)\leq \textrm{rank}(B)+\textrm{rank}(ABC)$

- Do these matrix rings have non-zero elements that are neither units nor zero divisors?
- Associativity of Tensor Product
- If I generate a random matrix what is the probability of it to be singular?
- Counting diagonalizable matrices in $\mathcal{M}_{n}(\mathbb{Z}/p\mathbb{Z})$
- a convex function on a 2 dimensional closed convex set
- Lipschitz continuity of inverse

- Understanding minimum polynomials and characteristic polynomials
- Questins on Formulae for Eigenvalues & Eigenvectors of any 2 by 2 Matrix
- Inequality concerning inverses of positive definite matrices
- Finding the kernel of a linear map
- $f(a+b)=f(a)+f(b)$ but $f$ is not linear
- What are some examples of infinite dimensional vector spaces?
- Proving definition of norms induced by vector norms
- What are the rules for basic algebra when modulo real numbers are involved
- Does projection onto a finite dimensional subspace commute with intersection of a decreasing sequence of subspaces: $\cap_i P_W(V_i)=P_W(\cap_i V_i)$?
- deteminant of a block skew-symmetric matrix

Notation:

- $\rho(\cdot)$ stands for rank,
- $\ker(\cdot)$ for null space (aka kernel),
- $\text{im}(\cdot)$ for column space (aka image).

All we need is the following well known identity (see this answer for a proof):

$$\rho(AB)=\rho(B)−\dim(\text{im}(B) \cap \ker(A))

\tag{1}$$

and the following observation: $$\text{im}(BC) \cap \ker(A) \subseteq \text{im}(B)\cap \ker(A)\tag{2}$$ which holds since $\text{im}(BC)\subseteq \text{im}(B)$.

Now we want to write $\rho(ABC)$ in such a way that $\text{im}(BC)\cap \ker(A)$ pops up, so we could make use of $(2)$. Analogously to $(1)$:

$$\rho(ABC)=\rho(BC)−\dim(\text{im}(BC) \cap \ker(A))

\tag{3}.$$

From $(1)$ and $(3)$:

$$\rho(AB)+ \rho(BC) = \rho(B) + \rho(ABC) + \underbrace{\dim(\text{im}(BC) \cap \ker(A))−\dim(\text{im}(B) \cap \ker(A))}_{\leq 0 \text{ due to } (2)}$$ which implies the desired inequality.

- Limit of a summation, using integrals method
- One divided by infinity is not zero?
- How to prove and interpret $\operatorname{rank}(AB) \leq \operatorname{min}(\operatorname{rank}(A), \operatorname{rank}(B))$?
- Which holomorphic function is this the real part of?
- Direct Product of more than 2 Groups
- Best method to solve this PDE
- How to prove gcd of consecutive Fibonacci numbers is 1?
- Probability that one part of a randomly cut equilateral triangle covers the other
- Uniqueness of “Euclidean Expressions” in Euclidean Domains
- Write the closed interval $$ as the union of semi-intervals.
- Proving $1^3+ 2^3 + \cdots + n^3 = \left(\frac{n(n+1)}{2}\right)^2$ using induction
- Prove that 1 less than the number of equivalence classes divides $p-1$ where $p$ is prime
- Homology groups of a tetrahedron
- How do you compute negative numbers to fractional powers?
- complex conjugates of holomorphic functions