Introductory Linear Algebra/Matrix inverses and determinants
Matrix inverses
Template:Colored em are analogous to the Template:Colored em (or reciprocal) in the number system. Template:Colored definition Template:Colored remark In the number system, the multiplicative inverse, if it exists, is unique. Indeed, the matrix inverse, if it exists, is also unique similarly, as shown in the following proposition. Template:Colored proposition
Proof. Suppose to the contrary, that Template:Colored em matrices and are both inverses of matrix . Then, by definition of matrix inverse. If the matrix inverse of exists, we have which causes a contradiction.
Template:Colored example Template:Colored example Template:Colored exercise Template:Colored proposition
Proof.
- (self-invertibility) since is invertible, , and thus is invertible, and its inverse is
- (scalar multiplicativity) , as desired
- ('reverse multiplicativity') , as desired
- (interchangibility of inverse and transpose) , as desired
Template:Colored remark Matrix inverse can be used to solve SLE, as follows: Template:Colored proposition
Proof.
Then, we will define the Template:Colored em, which is closely related to EROs, and is important for the proof of results related to EROs. Template:Colored definition Template:Colored remark Template:Colored example Template:Colored exercise Template:Colored proposition
Proof. Outline: case: e.g.
- type I ERO:
- type II ERO:
- type III ERO:
Template:Colored remark Template:Colored example Template:Colored proposition
Proof. The reverse process of each ERO is an ERO of the same type. Let and be the elementary matrices corresponding to these two EROs (an ERO and its reverse process), which are of the same type. Then, , as desired (since can be obtained from by performing an ERO and its reverse process together).
Template:Colored remark Template:Colored example Template:Colored exercise Then, we will state a Template:Colored em of invertible matrix theorem, in which some results from the complete version of invertible matrix theorem are removed. Template:Colored theorem
Proof. To prove this, we may establish a cycle of implications, i.e. (i) (ii) (iii) (iv) (i), then, when we pick two arbitrary statements form the four statements, they are equivalent to each other, which means that the four statements are equivalent.
(i) (ii): it follows from the proposition about solving SLE, and
(ii) (iii): since the SLE has a unique solution, the RREF of the augmented matrix of the SLE has a leading one in each of the first columns, but not the st column, i.e. it is . It follows that the RREF of is , since after arbitrary EROs, the rightmost zero column is still zero column.
(iii) (iv): since RREF of is , and RREF of equals for some elementary matrices , it follows that . By definition and general 'reverse multiplicativity' of matrix inverse, we have
- i.e. is a product of elementary matrices
(iv) (i): since is a product of elementary matrices and an elementary matrix is invertible, it follows that is invertible by general 'reverse multiplicativity' of matrix inverse.
Template:Colored remark Template:Colored example Template:Colored exercise The following provides us a convenient and efficient way to find the inverse of a matrix. Template:Colored theorem
Proof. Outline: we can write for some elementary matrices , since is RREF of Then, it can be proved that and . It follows that and thus .
Template:Colored remark Template:Colored example Template:Colored exercise
Determinants
Then, we will discuss the Template:Colored em, which allows characterizing some properties of a Template:Colored em matrix. Template:Colored definition Template:Colored remark Template:Colored example For the formula of determinants of matrices, we have a useful mnemonic device for it, namely the Template:Colored em, as follows: Template:Colored proposition
Proof. It follows from the formula in the above example.
Then, we will given an example about computing the determinant of a matrix, which cannot be computed by the Rule of Sarrus directly. Template:Colored example Template:Colored proposition
Proof.
- (since the submatrix obtained after removing the 1st row and 1st column of is )
- so, inductively,
Indeed, we can compute a determinant by the Template:Colored em along an arbitrary row, as in the following theorem. Template:Colored theorem Template:Colored remark Its proof (for the general case) is complicated, and thus is skipped. Template:Colored example Template:Colored exercise Then, we will discuss several properties of determinants that ease its computation. Template:Colored proposition
Proof. Outline:
- (type I ERO) e.g.
- (type II ERO) e.g.
- (type III ERO) e.g.
Template:Colored remark Template:Colored example Template:Colored corollary
Proof. Let be a square matrix with two identical rows. If we interchange the two identical rows in , the matrix is still the same, but its determinant is multiplied by , i.e. Alternatively, it can be proved by definition and induction.
Template:Colored exercise Then, we will introduce a convenient way to determine invertibility of a matrix. Before introducing the theorem, we have a lemma. Template:Colored lemma
Proof.
- (type I: ) and (since we are interchanging rows)
- (type II: ) and (since we are multiplying a row by nonzero constant)
- (type III: ) and (since we are adding a multiple of a row to another row)
Proof.
- only if part: by simplified invertible matrix theorem, a matrix is invertible is equivalent to is product of elementary matrices. So, if we denote the elementary matrices by , then
- if part: Let in which are elementary matrices and is the RREF of . This Template:Colored em that
- Since , so . Thus, has no zero row (its determinant is zero otherwise). Since is in RREF, it follows that (since is square matrix, if not all columns contain leading ones, then there is at least one zero row lying at its bottom, by definition of RREF). By simplified invertible matrix theorem, is invertible.
After introducing this result, we will give some properties of determinants which can ease the computation of determinants. Template:Colored proposition
Proof.
- (multiplicativity) let in which are elementary matrices and is the RREF of . Then,
- and
- then, it remains to prove that
- if , then
- if , then the last row of is a zero row, so
- the last row of is also a zero row, so
- the result follows
- (invariance of determinant after transpose) we may prove it by induction and cofactor expansion theorem, e.g. vs.
- (determinant of matrix inverse is inverse of matrix determinant) using multiplicativity,
( since is invertible)
Template:Colored example Template:Colored exercise Then, we will introduce Template:Colored em of matrix, which has a notable result related to computation of matrix inverse. Template:Colored definition Template:Colored remark Template:Colored theorem
Proof. The proof is complicated, and so is skipped.
Proof.
Template:Colored example Template:Colored example Template:Colored exercise Then, we will introduce a result that allows us to compute the unique solution of SLE directly, namely Template:Colored em. Template:Colored theorem
Proof. Since is invertible, the unique solution of the SLE is . Using the formula of matrix inverse, we have Thus, for each , ( are entries at the th row of (and at the th column of the cofactor matrix of ), so multiplying the entries as above gives the -th entry of , namely )
Template:Colored example Template:Colored exercise Template:Nav