8
$\begingroup$

For any real $m \times n$ matrix $A$, it seems that $$\det(I_n + A^{T}A) = \det(I_m + AA^{T}) $$ always holds, where $I_n$ is the identity matrix of size $n$.

Though I have not tried to prove this yet, I'm sure it is a part of well-known results in linear algebra. So my question is, what is the name referring to this fact, and where can I find a reference to it?

$\endgroup$
  • $\begingroup$ @MTurgeon: My question came from preliminary differential geometry, when considering the Riemannian volume form $\sqrt{g}$ of the metric on a graph of a multivariable function. $\endgroup$ – Sangchul Lee Apr 18 '12 at 1:53
  • $\begingroup$ I thought at first that there was no reason for it to have a name. But then I noticed it was familiar, thus my answer below. So I was wrong. $\endgroup$ – M Turgeon Apr 18 '12 at 1:57
  • 2
    $\begingroup$ See this question for proofs of Sylvester's determinant identity. $\endgroup$ – Bill Dubuque Apr 18 '12 at 2:40
8
$\begingroup$

It does: it is a special case of Sylvester's determinant theorem.

$\endgroup$
  • 1
    $\begingroup$ Surely this is what I've been looking for! Thanks so much! $\endgroup$ – Sangchul Lee Apr 18 '12 at 1:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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