Linear and multilinear algebra; matrix theory Determinants Theorem
Jacobi's formula
Builds on DeterminantAdjugate matrixTrace of a matrixDifferentiable functionCofactorLaplace expansion along a row
Statement
Let be or , let be an open interval, and let be a differentiable map. Then is differentiable, and for all where is the determinant, is the adjugate and is the trace. If is invertible, this equals .
Remarks
The determinant is a polynomial in the entries . By the Laplace expansion along row , its partial derivative with respect to is the cofactor . The chain rule gives . This sum is , because . The second form follows from .
A special case is : the derivative of the determinant at the identity is the trace. For , the formula gives , so .
Going deeper
For a student
The formula says that the differential of at is the linear map . It gives Liouville's formula for the Wronskian of a linear system of differential equations. It also gives the determinant of a matrix exponential, . In Lie theory it says that the derivative of at the identity is the trace.
Reading path
To understand this page from the ground up, read these 17 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Adjugate matrix concept
- Cofactor concept
- Determinant concept
- Differentiable function concept
- Identity matrix object
- Matrix definition
- Trace of a matrix concept
- Vector space definition
- Square matrix definition
- Linear map definition
- Multilinear map definition
- Alternating multilinear map definition
- Determinant definition
- Minor definition
- Cofactor definition
- Laplace expansion along a row statement
- Jacobi's formula statement
Further reading
About this page
| Tag | 357FEAZ0Q4 |
|---|---|
| URI | m2://357FEAZ0Q4 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 15A15 |
| Status | This copy of the site has no build data. Run m2 status 357FEAZ0Q4. |
| About | Determinant |
| Uses | Determinant, Adjugate matrix, Trace of a matrix, Differentiable function, Cofactor, Laplace expansion along a row |
| Same as | |
| Changed | 2 November 2026 |
Markdown Β· JSON Β· Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.