Matrix determinant lemma

From testwiki
Jump to navigation Jump to search

Template:Short description In mathematics, in particular linear algebra, the matrix determinant lemma computes the determinant of the sum of an invertible matrix A and the dyadic product, uTemplate:ThinspvT, of a column vector u and a row vector vT.[1][2]

Statement

Suppose A is an invertible square matrix and u, v are column vectors. Then the matrix determinant lemma states that

det(๐€+๐ฎ๐ฏT)=(1+๐ฏT๐€1๐ฎ)det(๐€).

Here, uvT is the outer product of two vectors u and v.

The theorem can also be stated in terms of the adjugate matrix of A:

det(๐€+๐ฎ๐ฏT)=det(๐€)+๐ฏTadj(๐€)๐ฎ,

in which case it applies whether or not the matrix A is invertible.

Proof

First the proof of the special case A = I follows from the equality:[3]

(๐ˆ0๐ฏT1)(๐ˆ+๐ฎ๐ฏT๐ฎ01)(๐ˆ0๐ฏT1)=(๐ˆ๐ฎ01+๐ฏT๐ฎ).

The determinant of the left hand side is the product of the determinants of the three matrices. Since the first and third matrix are triangular matrices with unit diagonal, their determinants are just 1. The determinant of the middle matrix is our desired value. The determinant of the right hand side is simply (1 + vTu). So we have the result:

det(๐ˆ+๐ฎ๐ฏT)=1+๐ฏT๐ฎ.

Then the general case can be found as:

det(๐€+๐ฎ๐ฏT)=det(๐€)det(๐ˆ+(๐€1๐ฎ)๐ฏT)=det(๐€)(1+๐ฏT(๐€1๐ฎ)).

Application

If the determinant and inverse of A are already known, the formula provides a numerically cheap way to compute the determinant of A corrected by the matrix uvT. The computation is relatively cheap because the determinant of A + uvT does not have to be computed from scratch (which in general is expensive). Using unit vectors for u and/or v, individual columns, rows or elements[4] of A may be manipulated and a correspondingly updated determinant computed relatively cheaply in this way.

When the matrix determinant lemma is used in conjunction with the Shermanโ€“Morrison formula, both the inverse and determinant may be conveniently updated together.

Generalization

Suppose A is an invertible n-by-n matrix and U, V are n-by-m matrices. Then

det(๐€+๐”๐•T)=det(๐ˆ๐ฆ+๐•T๐€1๐”)det(๐€).

In the special case ๐€=๐ˆ๐ง this is the Weinsteinโ€“Aronszajn identity.

Given additionally an invertible m-by-m matrix W, the relationship can also be expressed as

det(๐€+๐”๐–๐•T)=det(๐–1+๐•T๐€1๐”)det(๐–)det(๐€).

See also

References

Template:Reflist