Proof of the Matrix Determinant Lemma
📂Matrix AlgebraProof of the Matrix Determinant Lemma
Theorem
An invertible matrix satisfies the following for A∈Rn×n and u,v∈Rn.
det(A+uvT)=(1+vTA−1u)detA
Particularly, for the classical adjoint matrix adj(A)=A−1detA, it can be represented as follows.
det(A+uvT)=detA+vTadj(A)u
Proof
Strategy: Deduce directly based on the properties of determinants. Unless otherwise stated, block matrices are fundamentally used according to the dimension of the matrix.
Properties of determinants: Let A,B be n×n matrix, and k be a constant. The determinant satisfies the following properties.
- (b) det(AB)=det(A)det(B)
- (c) det(AB)=det(BA)
Properties of block matrices: Let A=[A1OA2A3] be a block matrix. The following holds for its determinant.
detA=detA1detA3
An identity matrix I∈Rn×n and zero vectors 0∈RT and w:=A−1u∈Rn satisfy the following.
==[IvT01][I+wvT0Tw1][I−vT01][I+wvTvT+vTwvTwvTw+1][I−vT01][I0Tw1+vTw]
Since the determinant of a triangular matrix is the product of its diagonal entries, applying det yields the following based on the properties of determinants (b) and block matrices.
1+vTw=====det[I0Tw1+vTw]det[IvT01]det[I+wvT0Tw1]det[I−vT01]1⋅det[I+wvT0Tw1]⋅1det[I+wvT]⋅det[1]det(I+wvT)
Multiplying both sides by detA yields the following based on the properties of determinants (b) and (c).
⟹(1+vTw)⋅detA=(1+vTA−1u)detA=detA⋅det(I+A−1uvT)det(A+uvT)
Properties of classical adjoint matrices: Especially if A is an invertible matrix, a classical adjoint matrix can be represented as follows.
adj(A)=det(A)A−1
Finally, the following is obtained according to the properties of classical adjoint matrices.
det(A+uvT)=detA+vTadj(A)u
■
This lemma is mainly mentioned in the derivation of the Sherman-Morrison formula.