Det exp formula
Theorem
| $ A\in\mathrm{Matrix}(n,\mathbb C) $ |
| postulate | $\mathrm{det}\left(\mathrm{exp}(A)\right)=\mathrm{e}^{\mathrm{tr}\ A}$ |
Discussion
This is a corollary of Jacobi's formula.
Reference
Wikipedia: Jacobi's formula
Parents
Context
| $ A\in\mathrm{Matrix}(n,\mathbb C) $ |
| postulate | $\mathrm{det}\left(\mathrm{exp}(A)\right)=\mathrm{e}^{\mathrm{tr}\ A}$ |
This is a corollary of Jacobi's formula.
Wikipedia: Jacobi's formula
