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:00] – [Proposition: solving $AX=B$] 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 43: | Line 43: | ||
| * and these are usually different because matrix multiplication isn't commutative! | * and these are usually different because matrix multiplication isn't commutative! | ||
| * In particular, $A^{-1}$ definitely doesn' | * In particular, $A^{-1}$ definitely doesn' | ||
| - | ==== Proposition: | ||
| - | |||
| - | If $A$ is an ***invertible*** $n\times n$ matrix and $B$ is an $n\times k$ matrix, then $ AX=B$ has a unique solution: $X=A^{-1}B$. | ||
| - | |||
| - | === Proof === | ||
| - | |||
| - | - Existence: check that $X=A^{-1}B$ really is a solution: | ||
| - | * LHS is $AX=A(A^{-1}B)=(AA^{-1})B=I_nB=B$ | ||
| - | * same as RHS. So $X=A^{-1}B$ is indeed a solution. | ||
| - | - Uniqueness: check there are no other solutions: | ||
| - | * Suppose that $X$ is any solution. Then $AX=B$. | ||
| - | * Multiply by $B^{-1}$ on left: get $A^{-1}AX=A^{-1}B$ | ||
| - | * Since $A^{-1}AX=I_nX=X$, | ||
| - | * Conclusion: $X=A^{-1}B$ is the *only* solution■ | ||
| - | |||
| - | ==== Corollary ==== | ||
| - | |||
| - | If $A$ is an $n\times n$ matrix and there is a non-zero $n\times m$ matrix $K$ so that $AK=0_{n\times m}$, then $A$ is not invertible. | ||
| - | |||
| - | === Proof === | ||
| - | |||
| - | * $AX=0_{n\times m}$ has (at least) two solutions: | ||
| - | * $X=K$, | ||
| - | * and $X=0_{n\times m}$ | ||
| - | * If $A$ was invertible, this would contradict the Proposition. | ||
| - | * So $A$ cannot be invertible. ■ | ||
| - | |||
| - | ==== Example ==== | ||
| - | |||
| - | * Let $A=\mat{1& | ||
| - | * One column of $A$ is $2$ times the other... exploit this. | ||
| - | * Let $K=\mat{-2\\1}$ | ||
| - | * $K$ is non-zero but $AK=\mat{1& | ||
| - | * So $A$ is not invertible, by the Corollary. | ||
| - | |||
| - | ==== Warning ==== | ||
| - | |||
| - | If $A$, $B$ are matrices, then $\frac AB$ doesn' | ||
| - | |||
| - | * Never write this down as it will almost always lead to mistakes. | ||
| - | * In particular, $A^{-1}$ definitely doesn' | ||
| - | |||
| ==== Proposition: | ==== Proposition: | ||
| Line 145: | 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 163: | 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.1488196825.txt.gz · Last modified: by rupert
