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:03] – rupert | lecture_11_slides [2017/02/27 12:35] (current) – [Proof] rupert | ||
|---|---|---|---|
| Line 6: | Line 6: | ||
| * e.g. $\def\mat# | * e.g. $\def\mat# | ||
| - | * if $a$ is a non-zero scalar, then $C=[\tfrac 1a]$ is an inverse | + | * if $[a]$ is $1\times 1$ and $a\ne 0$, then $C=[\tfrac 1a]$ is an inverse |
| * $I_n$ is its own inverse for any $n$ | * $I_n$ is its own inverse for any $n$ | ||
| * $0_{n\times n}$, $\mat{1& | * $0_{n\times n}$, $\mat{1& | ||
| Line 103: | Line 103: | ||
| If $A=\mat{a& | If $A=\mat{a& | ||
| - | \[ AJ=\delta | + | \[ AJ=(ad-bc) |
| - | where $\delta=ad-bc$. | + | |
| - | * Proof is a calculation! | + | * Proof is an easy calculation! |
| + | * Note that $(ad-bc) I_2=(ad-bc)\mat{1& | ||
| + | * Now just show that $AJ$ and $JA$ both give the same matrix (exercise). | ||
| ==== Definition: the determinant of a $2\times 2$ matrix ==== | ==== Definition: the determinant of a $2\times 2$ matrix ==== | ||
| Line 121: | 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.1488197039.txt.gz · Last modified: by rupert
