statement theorem
Matrix determinant lemma
Statement
Let be a commutative ring, let be an invertible matrix over , and let be column vectors. Then where is the determinant.
Remarks
The matrix has rank at most , so the lemma describes the effect of a rank one update on the determinant. It follows from Sylvester's determinant theorem with the matrices and . A variant without inverses is .
Explanations
L1 human
Adding a matrix of rank one, , changes the determinant by a simple factor. The factor is , a single number. So we can update a determinant cheaply when we know the inverse.
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
- Matrix multiplication definition
- Square matrix definition
- Linear map definition
- Invertible matrix definition
- Multilinear map definition
- Alternating multilinear map definition
- Determinant definition
- Matrix determinant lemma statement
Sources
What links here
No node links to this node yet.