statement theorem
Determinant of a matrix exponential
Statement
Let be or , and let be an matrix over . Then where is the matrix exponential, is the determinant and is the trace.
Remarks
If is triangular over with diagonal entries , then is triangular with diagonal entries , and both sides equal . The general case follows by triangularisation over . It shows again that is invertible, because . If , then lies in the special linear group.
Explanations
L1 human
The determinant of the exponential of a matrix is the exponential of its trace. This links the product of the eigenvalues of with the sum of the eigenvalues of . It is the matrix form of the rule .
What this node needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 11 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Identity matrix object
- Matrix definition
- Vector space definition
- Square matrix definition
- Linear map definition
- Matrix exponential definition
- Trace of a matrix definition
- Multilinear map definition
- Alternating multilinear map definition
- Determinant definition
- Determinant of a matrix exponential statement
Sources
- Web https://en.wikipedia.org/wiki/Matrix_exponential, The determinant of the matrix exponential
What links here
No node links to this node yet.