There is no commentSelect some text and then click Comment, or simply add a comment to this page from below to start a discussion.
Determinant 2
Proof of properties.
Notation
Definition
Determinant of identity matrix is one
Antisymmetry
Linearity in each argument: and
Properties
Two equal columns, then determinant equals to zero.
pf: By antisymmetry, Eq.~(2), Therefore
A column of zero, then determinant equals to zero.
pf: By linearity, Eq.~(3),
Therefore (choose ),
Preservation under “column replacement”
pf: By linearity, Eq.~(4), where (use (3) and (5))
If is singular, then .
pf: If is singular, one of is linear combination of other columns, then we can use "column replacement" to zero-out this column, i.e.,
Determinant of upper triangular matrix is the product of its diagonal elements, i.e.,
pf:
If , we have a column of zero and by (6). So LHS equals to RHS, true.
If , we can apply "column replacement" to have
Use induction, either for some and , or we have In either case, we have LHS equals to RHS. So the statement is true.
Remark: Same conclusion applied to lower triangular matrices.
.
pf:
If is singular, is singular, and . So the equality is true.
If is non-singular, , we define a function as
Properties of : a. b. Let , then , where is the permutation matrix that exchanges columns and . Also we have So c. Let , then , where is the identity matrix except . Then Finally, recall that we have , so It is then easy to show that
Summary: It turns out that satisfies exactly the same definitions as , so and . Therefore, .
.
pf:
Observation: If is a permutation matrix, then and , i.e., either both are or both are .
Let , where is the permutation matrix, is lower triangular that has all the diagonals being and is upper triangular. Then , , and