|
|
|
|
proof of block determinants
|
(Proof)
|
|
|
If $A^{-1}$ exists, then $$\begin{pmatrix} A & B \\ C & D \end{pmatrix} =\begin{pmatrix} I & O \\ CA^{-1} & I \end{pmatrix}\begin{pmatrix} A & B \\ O & D-CA^{-1}B \end{pmatrix}.$$ So $$\det \begin{pmatrix} A & B \\ C & D \end{pmatrix} =\det \begin{pmatrix} I & O \\ CA^{-1} & I \end{pmatrix}\det \begin{pmatrix} A & B \\ O & D-CA^{-1}B \end{pmatrix}. $$ Each of the first matrices in the decompositions are triangular. Hence their determinants equal $1$ . This means that the determinant of the original matrix equals the determinant of either of the second
matrices in the decomposition. Therefore $$\det \begin{pmatrix} A & B \\ C & D \end{pmatrix} =\det(A)\det(D-CA^{-1}B).$$ The second formula follows by using a similar trick.
|
"proof of block determinants" is owned by georgiosl.
|
|
(view preamble | get metadata)
Cross-references: similar, formula, determinants, decompositions, matrices
This is version 2 of proof of block determinants, born on 2005-08-12, modified 2005-08-13.
Object id is 7315, canonical name is ProofOfBlockDeterminants.
Accessed 6919 times total.
Classification:
| AMS MSC: | 15A15 (Linear and multilinear algebra; matrix theory :: Determinants, permanents, other special matrix functions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|