Plugin installed incorrectly. Rename plugin directory '_include' to 'include'.
Plugin installed incorrectly. Rename plugin directory '__include' to 'include'.
lecture_11
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lecture_11 [2015/02/24 10:44] – [Proposition: solving $AX=B$ when $A$ is invertible] rupert | lecture_11 [2017/02/28 12:07] (current) – rupert | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ===== Invertibility ===== | + | ==== Proposition: |
| - | We've seen that solving | + | If $A$ is an invertible $n\times n$ matrix |
| - | How can we solve them? | + | === Proof === |
| - | ==== Example | + | First we check that $X=A^{-1}B$ really is a solution to $AX=B$. To see this, note that if $X=A^{-1}B$, then |
| + | \begin{align*} | ||
| + | | ||
| + | \end{align*} | ||
| + | Now we check that the solution is unique. If $X$ and $Y$ are both solutions, then $AX=B$ and $AY=B$, so \[AX=AY.\] Multiplying both sides on the left by $A^{-1}$, we get | ||
| + | \[ A^{-1}AX=A^{-1}AY\implies I_nX=I_nY\implies X=Y.\] | ||
| + | So any two solutions are equal, so $AX=B$ has a unique solution. ■ | ||
| - | Take $A=\def\mat# | + | ==== Corollary |
| - | \[\mat{2& | + | |
| - | and then equate entries to get four linear equations: | + | |
| - | \begin{align*}2x_{11}+4x_{21}& | + | |
| - | which we can solve in the usual way. | + | |
| - | But this is a bit tedious! We will develop a slicker method by first thinking about solving ordinary equations | + | If $A$ is an $n\times n$ matrix and there is a non-zero |
| - | ==== Solving $ax=b$ and $AX=B$ ==== | + | === Proof === |
| - | If $a\ne0$, then solving | + | Since $A0_{n\times m}=0_{n\times m}$ and $AK=0_{n\times m}$, the equation |
| - | Why does this work? If $x=\tfrac1a\cdot b$, then | + | So there is not a unique solution to $AX=B$, for $B$ the zero matrix. If $A$ was invertible, this would contradict the uniqueness statement of the last Proposition. So $A$ cannot be invertible. ■ |
| - | \begin{align*} ax& | + | |
| - | so $ax$ really is equal to $b$, and we do have a solution to $ax=b$. | + | |
| - | What is special about $\tfrac1a$ which made this all work? | + | ==== Examples ==== |
| - | - we have $\tfrac1a | + | |
| - | - and $1b = b$. | + | |
| - | Now for an $n\times k$ matrix $B$, we know that the identity matrix $I_n$ does the same sort of thing as $1$ is doing in the relation $1b=b$: we have $I_nB=B$ for any $n\times | + | ===== $2\times |
| - | \begin{align*} AX&=A(A' | + | |
| - | ==== Example revisited | + | ==== Question |
| - | If $A=\mat{2& | + | |
| - | \[ A\cdot A' | + | |
| - | (You should check this!). So a solution to $AX=B$ where $B=\mat{3& | + | |
| - | Notice that having found the matrix $A'$, then we can solve $AX=C$ easily for any $2\times 2$ matrix $C$: the answer is $X=A' | + | Which $2\times 2$ matrices are invertible? For the invertible matrices, can we find their inverse? |
| - | ==== Definition: invertible | + | ==== Lemma ==== |
| - | {{page> | + | If $A=\mat{a&b\\c&d}$ and $J=\mat{d&-b\\-c&a}$, then we have |
| - | + | \[ AJ=\delta I_2=JA\] | |
| - | ==== Examples ==== | + | where $\delta=ad-bc$. |
| - | + | ||
| - | * $A=\mat{2&4\\0&1}$ is invertible, | + | |
| - | * a $1\times 1$ matrix $A=[a]$ is invertible if and only if $a\ne0$, and if $a\ne0$ | + | |
| - | * $I_n$ is invertible for any $n$, since $I_n\cdot I_n=I_n=I_n\cdot I_n$, so an inverse of $I_n$ is $I_n$. | + | |
| - | * $0_{n\times n}$ is not invertible for any $n$, since $0_{n\times n}\cdot A'=0_{n\times n}$ for any $n\times n$ matrix $A'$, so $0_{n\times n}\cdot A'\ne I_n$. | + | |
| - | | + | |
| - | * $A=\mat{1& | + | |
| - | + | ||
| - | ==== Proposition: | + | |
| - | If $A$ is an invertible $n\times n$ matrix, then $A$ has a //unique// inverse. | + | |
| === Proof === | === Proof === | ||
| - | Suppose $A'$ and $A'' | ||
| - | $AA' | ||
| - | \begin{align*} A'& | ||
| - | So $A' | ||
| - | ==== Definition/ | + | This is a calculation (done in the lectures; you should also check it yourself). ■ |
| - | {{page>the inverse}} | + | ==== Definition: |
| - | === Warning === | + | {{page> |
| - | If $A$ is a matrix then $\frac 1A$ doesn' | + | ==== Theorem: the determinant determines the invertibility (and inverse) of a $2\times 2$ matrix ==== |
| - | ==== Proposition: | + | Let $A=\mat{a& |
| - | If $A$ is an invertible $n\times n$ matrix and $B$ is an $n\times k$ matrix, then the matrix equation \[ AX=B\] has a unique solution: | + | - $A$ is invertible |
| + | - If $A$ is invertible, then $A^{-1}=\frac{1}{\det(A)}\mat{d& | ||
| === Proof === | === Proof === | ||
| - | First we check that $X=A^{-1}B$ really is a solution to $AX=B$. To see this, note that if $X=A^{-1}B$, then | + | If $A=0_{2\times 2}$, then $\det(A)=0$ and $A$ is not invertible. So the statement is true is this special case. |
| - | \begin{align*} | + | |
| - | | + | |
| - | \end{align*} | + | |
| - | Now we check that the solution is unique. If $X$ and $Y$ are both solutions, then $AX=B$ and $AY=B$, so \[AX=AY.\] Multiplying both sides on the left by $A^{-1}$, we get | + | |
| - | \[ A^{-1}AX=A^{-1}AY\implies I_nX=I_nY\implies X=Y.\] | + | |
| - | So any two solutions are equal, so $AX=B$ has a unique solution. ■ | + | |
| - | ==== Corollary ==== | + | Now assume that $A\ne0_{2\times 2}$ and let $J=\mat{d& |
| - | If $A$ is an $n\times n$ matrix and there exist different matrices $X$ and $Y$ so that $AX=AY$, then $A$ is not invertible. | + | By the previous lemma, we have \[AJ=(\det(A))I_2=JA.\] |
| - | === Proof === | + | If $\det(A)\ne0$, |
| + | \[ A\left(\frac1{\det(A)}J\right)=I_2=\left(\frac1{\det(A)}J\right) A,\] | ||
| + | so if we write $B=\frac1{\det(A)}J$ to make this look simpler, then we obtain | ||
| + | \[ AB=I_2=BA,\] | ||
| + | so in this case $A$ is invertible with inverse $B=\frac1{\det(A)}J=\frac1{\det(A)}\mat{d& | ||
| - | Write $B=AX$. The matrix equation | + | If $\det(A)=0$, then $AJ=0_{2\times 2}$ |
| - | ==== Example ==== | ||
| - | We can now see why the matrix $A=\mat{1& | ||
lecture_11.1424774672.txt.gz · Last modified: by rupert
