The determinant of an exponential: det e^A = e^(tr A)
Statement
Prove that for every , . Deduce that for every real matrix .
Hint
Over , every matrix is similar to an upper triangular matrix. Check how behaves under conjugation and on triangular matrices.
Show solutionHide solution
Solution
Idea. Reduce to triangular matrices, where both sides can be computed on the diagonal.
Step 1: conjugation. For invertible and any , , so
(Termwise, and is linear and continuous.)
Step 2: triangularisation. Over (Schur or Jordan form) there are an invertible and an upper triangular with . The same series definition works in , and the identity of step 1 still holds. Hence .
Step 3: triangular matrices. Let be upper triangular with diagonal entries . Powers of are upper triangular and the diagonal of is . So is upper triangular with diagonal entries .
Step 4: conclusion. The determinant of a triangular matrix is the product of its diagonal entries, so
because the trace is invariant under conjugation.
Consequence. For real , is real and . Hence and in particular .
Check. For we have and . For , .
Remark. An alternative proof: satisfies (Jacobi's formula), so .