PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Low Entry average rating: No information on entry rating
[parent] 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)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

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 MSC15A15 (Linear and multilinear algebra; matrix theory :: Determinants, permanents, other special matrix functions)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
general case by adityab88 on 2007-12-29 23:30:37
when A inverse does not exist we have a very similar formula:

det (A, B; C, D) = det (DA-CB)

of course A and B have to commute for the above to hold.
[ reply | up ]

Interact
post | correct | update request | add example | add (any)