Plugin installed incorrectly. Rename plugin directory '_include' to 'include'.
Plugin installed incorrectly. Rename plugin directory '__include' to 'include'.
lecture_11_slides
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lecture_11_slides [2017/02/27 12:08] – [Lemma] rupert | lecture_11_slides [2017/02/27 12:35] (current) – [Proof] rupert | ||
|---|---|---|---|
| Line 103: | Line 103: | ||
| If $A=\mat{a& | If $A=\mat{a& | ||
| - | \[ AJ=\delta | + | \[ AJ=(ad-bc) |
| - | where $\delta=ad-bc$. | + | |
| * Proof is an easy calculation! | * Proof is an easy calculation! | ||
| - | * Note that $\delta I_n=\delta\mat{1& | + | * Note that $(ad-bc) I_2=(ad-bc)\mat{1& |
| * Now just show that $AJ$ and $JA$ both give the same matrix (exercise). | * Now just show that $AJ$ and $JA$ both give the same matrix (exercise). | ||
| Line 123: | Line 122: | ||
| ==== Proof ==== | ==== Proof ==== | ||
| - | * Let $J=\mat{d& | + | * Let $J=\mat{d& |
| - | * By the previous lemma, $AJ=\delta | + | |
| - | If $\delta\ne 0$: | + | If $\det(A)\ne 0$: |
| - | * Multiply by $\frac1{\delta}$: $\quad A(\tfrac1{\delta}J)=I_2=(\tfrac1{\delta}J) A$ | + | * Multiply by $\frac1{\det(A)}$: $\quad A(\tfrac1{\det(A)}J)=I_2=(\tfrac1{\det(A)}J) A$ |
| - | * So $ AB=I_2=BA$, where $B=\tfrac1{\delta}J$ | + | * So $A$ invertible with $A^{-1}=\frac1{\det(A)}J=\frac1{\det(A)}\mat{d& |
| - | * So $A$ invertible with $A^{-1}=B=\frac1{\delta}J=\frac1{\det(A)}\mat{d& | + | |
| - | If $\delta=0$: | + | If $\det(A)=0$: |
| * $AJ=0_{2\times 2}$ | * $AJ=0_{2\times 2}$ | ||
| - | * If $J=0_{2\times 2}$ then $A=0_{2\times 2}$ so $A$ isn't invertible | + | * If $J\ne 0_{2\times 2}$ then (by corollary) |
| - | * If $J\ne 0_{2\times 2}$ then by the previous corollary, | + | * If $J=0_{2\times 2}$ then $A=0_{2\times 2}$, which isn't invertible.■ |
| ==== Using the inverse to solve a matrix equation ==== | ==== Using the inverse to solve a matrix equation ==== | ||
lecture_11_slides.1488197298.txt.gz · Last modified: by rupert
