Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Possible Duplicate:
How to prove $\text{Rank}(AB)\leq \min(\text{Rank}(A), \text{Rank}(B))$?

If $A$ is an $m\times n$ matrix and $B$ is a $n \times r$ matrix, prove that the rank of matrix $AB$ is at most $\mathrm{rank}(A)$.

I asked a similar question earlier phrased incorrectly. The above is closer to the actual question generalised.

share|cite|improve this question

marked as duplicate by Jyrki Lahtonen, William, LVK, Chris Eagle, Rudy the Reindeer Sep 9 '12 at 8:51

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

A duplicate (actually at least a triplicate!). Handled here and here – Jyrki Lahtonen Sep 7 '12 at 5:50

$rank(A)$ is the dimension of the column space of $A$. The product $Ab$, where $b$ is any column vector, is a column vector that lies in the column space of $A$. Therefore, all columns of $AB$ must be in the column space of $A$.

share|cite|improve this answer
@JyrkiLahtonen Thank you for pointing out my mistake. – Tunococ Sep 7 '12 at 20:36
is there any mistake currently in this answer? – user166305 Jan 18 at 16:08

The rank of $AB$ is equal to the dimension of the image of $AB,$ and similarly for the rank of $A.$ The image of $A$ contains the image of $AB.$

share|cite|improve this answer

$$\mathcal{C}(A) = \{Ax | x \in \mathbb{R}^n\}$$

$$\mathcal{C}(AB) = \{ABy | y \in \mathbb{R}^r\}$$

Notice how $By$ is an n by 1 vector.

Assume to the contrary that the rank of the latter is strictly greater than the first. Then there exists some $y \in \mathbb{R}^m$ that is in $\mathcal{C}(AB)$, but not $\mathcal{C}(A)$. This implies $\exists z \in \mathbb{R}^r$ such that

$$ ABz = y. $$

But since $Bz$ is an n by 1 vector, this $y$ will also necessarily lie in $\mathcal{C}(A)$. This is a contradiction.

share|cite|improve this answer

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