I see on Wikipedia that the product of two commuting symmetric positive definite matrices is also positive definite. Does the same result hold for the product of two positive semidefinite matrices?
My proof of the positive definite case falls apart for the semidefinite case because of the possibility of division by zero…
Best Answer
You have to be careful about what you mean by "positive (semi-)definite" in the case of non-Hermitian matrices. In this case I think what you mean is that all eigenvalues are positive (or nonnegative). Your statement isn't true if "$A$ is positive definite" means $x^T A x > 0$ for all nonzero real vectors $x$ (or equivalently $A + A^T$ is positive definite). For example, consider $$ A = \pmatrix{ 1 & 2\cr 2 & 5\cr},\ B = \pmatrix{1 & -1\cr -1 & 2\cr},\ AB = \pmatrix{-1 & 3\cr -3 & 8\cr},\ (1\ 0) A B \pmatrix{1\cr 0\cr} = -1$$
Let $A$ and $B$ be positive semidefinite real symmetric matrices. Then $A$ has a positive semidefinite square root, which I'll write as $A^{1/2}$. Now $A^{1/2} B A^{1/2}$ is symmetric and positive semidefinite, and $AB = A^{1/2} (A^{1/2} B)$ and $A^{1/2} B A^{1/2}$ have the same nonzero eigenvalues.