Introductory Linear Algebra/Matrix inverses and determinants

From testwiki
Jump to navigation Jump to search

Template:Nav

Template:TOC Template:Clear

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 B and C are both inverses of matrix A. Then, AB=BA=AC=CA=I by definition of matrix inverse. If the matrix inverse of A exists, we have AB=ACA1AB=A1ACIB=ICB=C, which causes a contradiction.

Template:Colored example Template:Colored example Template:Colored exercise Template:Colored proposition

Proof.

  • (self-invertibility) since A is invertible, AA1=A1A=I, and thus A1 is invertible, and its inverse is A
  • (scalar multiplicativity) (cA)(c1A1)=(cc1)(AA1)=1(I)=I, as desired
  • ('reverse multiplicativity') (AB)(B1A1)=A(BB1)A1=AIA1=AA1=I, as desired
  • (interchangibility of inverse and transpose) (AT)(A1)T=(A1A)T=IT=I, as desired

Template:Colored remark Matrix inverse can be used to solve SLE, as follows: Template:Colored proposition

Proof. A𝐱=𝐛A1A𝐱=A1𝐛I𝐱=A1𝐛𝐱=A1𝐛

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: 2×2 case: e.g.

  • type I ERO:(abcd)𝐫1𝐫2(cdab)=(0110)(abcd)=(0×a+1×c0×b+1×d1×a+0×c1×b+0×d)
  • type II ERO:

(abcd)k𝐫1𝐫1(kakbcd)=(k001)(abcd)=(k×a+0×ck×b+0×d0×a+k×c0×b+k×d)

  • type III ERO:

(abcd)k𝐫1+𝐫2𝐫2(abc+kad+kb)=(10k1)(abcd)=(1×a+k×c1×b+0×dk×a+1×ck×b+1×d)

Template:Colored remark Template:Colored example Template:Colored proposition

Proof. The reverse process of each ERO is an ERO of the same type. Let E1 and E2 be the elementary matrices corresponding to these two EROs (an ERO and its reverse process), which are of the same type. Then, E2E1=IE11=E2, as desired (since I can be obtained from I 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 𝐱=A1𝟎=𝟎

(ii) (iii): since the SLE has a unique solution, the RREF of the augmented matrix of the SLE (A|𝟎) has a leading one in each of the first n columns, but not the (n+1)st column, i.e. it is (In|𝟎). It follows that the RREF of A is In, since after arbitrary EROs, the rightmost zero column is still zero column.

(iii) (iv): since RREF of A is In, and RREF of A equals EkE2E1A for some elementary matrices E1,E2,,Ek, it follows that EkE2E1A=In. By definition and general 'reverse multiplicativity' of matrix inverse, we have A=(EkE2E1)1=E11E21Ek1,

i.e. A is a product of elementary matrices

(iv) (i): since A is a product of elementary matrices and an elementary matrix is invertible, it follows that A 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 EkE1(A|In)=(In|B) for some elementary matrices E1,,Ek, since (In|B) is RREF of (A|In) Then, it can be proved that EkE1A=In and EkE1In=B. It follows that BA=(EkE1InE1)A=In, and thus B=A1.

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 3×3 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 4×4 matrix, which cannot be computed by the Rule of Sarrus directly. Template:Colored example Template:Colored proposition

Proof.

  • detO=0c11+0c12++0c1n
  • detIn=1c11+0c12++0c1n=c11=detIn1 (since the submatrix obtained after removing the 1st row and 1st column of In is In1)
  • so, inductively, detIn=detIn1==detI1=1by definition

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.

|a11a12a13a21a22a23a31a32a33|=a11|a22a23a32a33|a12|a21a23a31a33|+a13|a21a22a31a32||a21a22a23a11a12a13a31a32a33|=a11|a22a23a32a33|+a12|a21a23a31a33|a13|a21a22a31a32|=|a11a12a13a21a22a23a31a32a33|

  • (type II ERO) e.g.

|ka11ka12ka13a21a22a23a31a32a33|=ka11|a22a23a32a33|ka12|a21a23a31a33|+ka13|a21a22a31a32|=k(a11|a22a23a32a33|a12|a21a23a31a33|+a13|a21a22a31a32|)=k|a11a12a13a21a22a23a31a32a33|

  • (type III ERO) e.g.

|a11+ka21a11+ka22a11+ka22a21a22a23a31a32a33|=(a11+ka21)|a22a23a32a33|(a12+ka22)|a21a23a31a33|+(a13+ka23)|a21a22a31a32|=a11|a22a23a32a33|a12|a21a23a31a33|+a13|a21a22a31a32||a11a12a13a21a22a23a31a32a33|+ka21|a22a23a32a33|ka22|a21a23a31a33|+ka23|a21a22a31a32||ka21ka22ka23a21a22a23a31a32a33|=|a11a12a13a21a22a23a31a32a33|+k|a21a22a23a21a22a23a31a32a33|0=|a11a12a13a21a22a23a31a32a33|

Template:Colored remark Template:Colored example Template:Colored corollary

Proof. Let A be a square matrix with two identical rows. If we interchange the two identical rows in A, the matrix is still the same, but its determinant is multiplied by 1, i.e. detA=detA2detA=0detA=0. 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: 𝐫i𝐫j) detE=1 and det(EA)=detA=(detE)(detA) (since we are interchanging rows)
  • (type II: k𝐫i𝐫i) detE=k and det(EA)=kdetA=(detE)(detA) (since we are multiplying a row by nonzero constant)
  • (type III: k𝐫j+𝐫i𝐫i) detE=1 and det(EA)=detA=(detE)(detA) (since we are adding a multiple of a row to another row)

Template:Colored theorem

Proof.

  • only if part: by simplified invertible matrix theorem, a matrix A is invertible is equivalent to A is product of elementary matrices. So, if we denote the elementary matrices by E1,,Ek, then

A=E1E2EkdetA=(detE1)det(E2E3Eka matrix)(not  since determinant function is many-to-one)=(detE1)det(E2)det(E3Ek)==(detE1)det(E2)(detEk)

  • if part: Let A=E1EkR in which E1,,Ek are elementary matrices and R is the RREF of A. This Template:Colored em that

detA=(detE1)(detEk)(detR).

Since detA0, so detR0. Thus, R has no zero row (its determinant is zero otherwise). Since R is in RREF, it follows that R=I (since R 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, A 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 A=E1EkR in which E1,,Ek are elementary matrices and R is the RREF of A. Then,

det(AB)=(E1EkRB)=(detE1)(detEk)det(RB),

and

(detA)(detB)=(detE1)(detEk)(detR)(detB).

  • then, it remains to prove that det(RB)=(detR)(detB)
  • if R=I, then det(RB)=detB=(detR)(detB)
  • if RI, then the last row of R is a zero row, so detR=0=(detR0)(detB)
  • the last row of RB is also a zero row, so det(RB)=0=(detR)(detB)
  • the result follows
  • (invariance of determinant after transpose) we may prove it by induction and cofactor expansion theorem, e.g. |123456789| vs. |147258369|
  • (determinant of matrix inverse is inverse of matrix determinant) using multiplicativity,

AA1=I(detA)(det(A1))=detI=1det(A1)=(detA)1 (detA0 since A 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.

Template:Colored corollary

Proof. A(adjA)=(detA)InA(1detAadjA)=InA1=1detAadjA

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 A is invertible, the unique solution of the SLE is 𝐱=A1𝐛. Using the formula of matrix inverse, we have A1𝐛=1Δ(adjA)𝐛. Thus, for each k{1,2,,n}, xk=1Δ(c1kb1+c2kb2++cnkbn)=ΔkΔ (c1k,c2k,,cnk are entries at the kth row of adjA (and at the kth column of the cofactor matrix of A), so multiplying the entries as above gives the (k,1)-th entry of 𝐱, namely xk)

Template:Colored example Template:Colored exercise Template:Nav