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
(B.14)
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:
(B.15)