# Non-zero eigenvalues of $AA^T$ and $A^TA$

As a part of an exercise I have to prove the following:

Let $A$ be an $(n \times m)$ matrix. Let $A^T$ be the transposed matrix of $A$. Then $AA^T$ is an $(n \times n)$ matrix and $A^TA$ is an $(m \times m)$ matrix. $AA^T$ then has a total of $n$ eigenvalues and $A^TA$ has a total of $m$ eigenvalues.

What I need to prove is the following:

$AA^T$ has an eigenvalue $\mu \not = 0$ $\Longleftrightarrow$ $A^TA$ has an eigenvalue $\mu \not = 0$

In other words, they have the same non-zero eigenvalues, and if one has more eigenvalues than the other, then these are all equal to $0$.

How can I prove this?

Thanks and regards.

• In fact, if $n\geq m$ then $\text{det}(\lambda I_n - AA^T )=\lambda^{n-m}\text{det}(\lambda I_m - A^TA ).$ – Ehsan M. Kermani Dec 31 '14 at 22:00

Let $\lambda$ be an eigenvalue of $A^TA$, i.e. $$A^T A x = \lambda x$$ for some $x \neq 0$. We can multiply $A$ from the left and get $$A A^T (Ax) = \lambda (Ax).$$

What can you conclude from this?

• what happens if $x \in ker(A)?$ not that it can happen. – abel Dec 31 '14 at 23:47
• @abel If $Ax=0$, then $\lambda x=0$ and $\lambda=0$. So, if we assume $\lambda\ne0$… – egreg Jan 1 '15 at 0:18
• @egreg, i know; but that needed to be part of the answer. egret you must like linear. this is the second time we meet, the other one at eigenvalues 1, -1, and 4. – abel Jan 1 '15 at 0:21
• Further, same proof holds for any $A$ and $B$ as mentioned by @abel. Given $ABx = \lambda x$, multiplying by $B$, yields $BABx = B \lambda x$ $\Rightarrow$ $BA(Bx) = \lambda (Bx)$. So, $AB$ and $BA$ share the eigenvalues. – kamalbanga Sep 5 '18 at 12:03

in fact, nonzero eigenvalues $AB$ and $BA$ are the same for any rectangular matrices $A$ and $B$. this follows from the fact that $trace((AB)^k) = trace((BA)^k)$ and the coefficients of the characteristic polynomials of a square matrix $A$ are a function of $trace(A^k).$

One proof that comes to mind is to use Sylvester's determinant theorem.

In particular: $$\mu \neq 0 \text{ is an eigenvalue of }A^TA \implies\\ \det(A^TA - \mu I) = 0 \implies\\ \det(I + (-1/\mu)A^TA) = 0 \implies\\ \det(I + A(-1/\mu)A^T) = 0 \implies\\ \det(AA^T - \mu I) = 0 \implies\\ \mu \neq 0 \text{ is an eigenvalue of }AA^T$$