Plugin installed incorrectly. Rename plugin directory '_include' to 'include'.
Plugin installed incorrectly. Rename plugin directory '__include' to 'include'.
lecture_16
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lecture_16 [2015/03/26 10:29] – rupert | lecture_16 [2017/03/30 09:20] (current) – [Chapter 3: Vectors and geometry] rupert | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ==== Corollary | + | === Example: $n=2$, general case === |
| - | If $\def\row{\text{row}}\row_j(A)=c\cdot \row_i(A)$ for some $i\ne j$ and some $c\in \mathbb{R}$, then $\det(A)=0$. | + | If $A=\def\mat#1{\begin{bmatrix}# |
| - | === Proof === | + | Recall that $AJ=(\det A)I_2=JA$; we calculated this earlier when we looked at the inverse of a $2\times 2$ matrix. Hence for a $2\times 2$ matrix $A$, if $\det A\ne0$, then $A^{-1}=\frac1{\det A}J$. |
| - | Let $B$ have the same rows as $A$, except with $\row_i(A)$ in both row $i$ and row $j$. Observe that | + | === Example: |
| - | * row $j$ of $B$ is $c$ times row $j$ of $A$, and all the other rows are equal; and | + | If $\def\mat# |
| - | * $A$ has two equal rows. | + | \[\def\vm# |
| - | Hence using property | + | \vm{-4&3\\4& |
| + | -\vm{1& | ||
| + | \vm{1& | ||
| + | = \mat{-4& | ||
| + | so the adjoint of $A$ is | ||
| + | \[ J=C^T=\mat{-4& | ||
| - | ==== Corollary ==== | + | Observe that $AJ=\mat{3& |
| - | If $E$ has the same rows as $A$ except in row $j$, and $\row_j(E)=\row_j(A)+c\cdot \row_i(A)$ for some $i\ne j$ and some $c\in \mathbb{R}$, then $\det(E)=\det(A)$. | + | This is an illustration of the following theorem, whose proof is omitted: |
| + | |||
| + | ==== Theorem: key property of the adjoint of a square matrix ==== | ||
| + | |||
| + | If $A$ is any $n\times n$ matrix and $J$ is its [[adjoint]], then $AJ=(\det A)I_n=JA$. | ||
| + | |||
| + | ==== Corollary: a formula | ||
| + | |||
| + | If $A$ is any $n\times n$ matrix with $\det(A)\ne 0$, then $A$ is invertible and \[A^{-1}=\frac1{\det A}J\] where $J$ is the adjoint of $A$. | ||
| === Proof === | === Proof === | ||
| - | Let $B$ have the same rows as $A$, except with $c\cdot \row_i(A)$ in row $j$. Observe | + | Divide the equation |
| + | |||
| + | ==== Example ==== | ||
| + | |||
| + | If again we take $A=\mat{3& | ||
| + | |||
| + | ==== Example ($n=4$) ==== | ||
| + | |||
| + | Let $A=\mat{1& | ||
| + | |||
| + | Recall that a matrix with a repeated | ||
| + | We have \[C=\mat{+\vm{2& | ||
| + | so \[J=C^T=\mat{24& | ||
| + | Since $A$ is lower triangular, its determinant is given by multiplying together its diagonal entries: $\det(A)=1\times 2\times 3\times 4=24$. (Note that even if $A$ was not triangular, $\det A$ can be easily found from the matrix of cofactors $C$ by summing the entries of $A$ multiplied by the entries of $C$ (i.e., the minors) along any row or column.) | ||
| + | |||
| + | So \[A^{-1}=\frac1{\det A}J = \frac1{24}\mat{24& | ||
| + | You should check that this really is the inverse, by checking that $AA^{-1}=I_4=A^{-1}A$. | ||
| + | ===== A more efficient way to find $A^{-1}$ ===== | ||
| - | * $\det(B)=0$, by the previous corollary; and | + | Given an $n\times n$ matrix |
| - | * except in row $j$, the rows of $E$, $A$ and $B$ are all equal, and $\row_j(E)=\row_j(A)+\row_j(B)$. | + | \[ \def\m# |
| + | \begin{array}{@{} c|c {}@} % it does autodetection | ||
| + | #1 | ||
| + | \end{array} | ||
| + | \right]}\m{A&I_n}\] | ||
| + | and use [[EROs]] to put this matrix into [[RREF]]. One of two things can happen: | ||
| - | Hence by property 4 of the theorem, we have $\det(E)=\det(A)+\det(B)=\det(A)+0=\det(A)$. ■ | + | * Either you get a row of the form $[0~0~\dots~0~|~*~*~\dots~*]$ which starts with $n$ zeros. You can then conclude that $A$ is not invertible. |
| + | * Or you end up with a matrix of the form $\m{I_n&B}$ for some $n\times n$ matrix $B$. You can then conclude that $A$ is invertible, and $A^{-1}=B$. | ||
| - | We have now seen the effect of each of the three types of [[ERO]] on the determinant of a matrix: | + | ==== Examples ==== |
| - | | + | |
| - | | + | \def\go# |
| - | - replacing row $j$ by "row $j$ ${}+{}$ $c\times {}$ (row $i$)", where $c$ is a non-zero real number | + | \def\ar# |
| + | \ar{R2\to R2-2R1}\go{1& | ||
| + | \end{align*} Conclusion: | ||
| + | | ||
| + | \ar{R2\to R2-2R1}\go{1& | ||
| + | \ar{R1\to R1-3R1}\go{1& | ||
| + | \end{align*} Conclusion: | ||
| + | * Consider | ||
| + | \ar{R1\to R1+R2} | ||
| + | \go{1& | ||
| + | \ar{R2\to R2+2R1,\ R3\to R3-5R1} | ||
| + | \go{1& | ||
| + | \ar{R3\leftrightarrow R2} | ||
| + | \go{1& | ||
| + | \ar{R2\to R2+2R3} | ||
| + | \go{1& | ||
| + | \ar{R1\to R1+3R2,\ R3\to R3-10R2} | ||
| + | \go{1& | ||
| + | \ar{R2\to R2+R3} | ||
| + | \go{1& | ||
| + | \ar{R2\to -R2,\ R3\to -R3} | ||
| + | \go{1& | ||
| + | \end{align*} Conclusion: | ||
| - | Moreover, since $\det(A)=\det(A^T)$, | ||
| - | We can use EROs to put a matrix into upper triangular form, and then finding the determinant is easy: just multiply the diagonal entries together. We just have to keep track of how the determinant is changed by the EROs of types 1 and 2. | ||
| - | ==== Example: using EROs to find the determinant ==== | ||
| - | \begin{align*}\def\vm# | ||
| - | \\& | ||
| - | \\& | ||
| - | \\& | ||
| - | \\& | ||
| - | \\& | ||
| - | \end{align*} | ||
lecture_16.1427365787.txt.gz · Last modified: by rupert
