B.3 Matrix Identities
For square, invertible matrices and , the following are equivalent:
The proofs are by construction:
The Woodbury inversion lemma.
For any “conformable” matrices and , it is clearly the case that
We now find an alternative expression for using the above equation and the fact that is its inverse:
Finally, let and in the above equation. Then
equation (B.17)
(B.17)
This final form is known as the Woodbury matrix-inversion lemma. Notice that we have assumed squareness and invertibility for and , but not or .
The special case in which and are vectors, and , and (without further loss of generality) , is known as the Sherman-Morrison formula:
equation (B.18)
(B.18)