Plugin installed incorrectly. Rename plugin directory '_include' to 'include'.
Plugin installed incorrectly. Rename plugin directory '__include' to 'include'.
lecture_14
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lecture_14 [2016/03/09 14:51] – [Corollary] rupert | lecture_14 [2017/03/09 10:49] (current) – [Corollary on invertibility] rupert | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | === Example === | ||
| + | |||
| + | \begin{align*}\def\mat# | ||
| + | &= 1 \cdot (+M_{11}) + 2 \cdot (-M_{12}) + 3 \cdot(+M_{13})\\ | ||
| + | &= M_{11}-2M_{12}+3M_{13}\\ | ||
| + | &= \det\mat{8& | ||
| + | &= (8\cdot 13-9\cdot 12) -2(7\cdot 13-9\cdot 11)+3(7\cdot 12-8\cdot 11)\\ | ||
| + | &=-4 -2(-8)+3(-4)\\ | ||
| + | & | ||
| + | & | ||
| + | |||
| + | From this, we can conclude that $\mat{1& | ||
| + | |||
| === Notation === | === Notation === | ||
| Line 77: | Line 90: | ||
| - If $B$ is another $n\times n$ matrix, then $\det(AB)=\det(A)\det(B)$ | - If $B$ is another $n\times n$ matrix, then $\det(AB)=\det(A)\det(B)$ | ||
| - | ==== Theorem: row/column operations and determinants | + | ==== Corollary on invertibility |
| - | Let $A$ be an $n\times n$ matrix, let $c$ be a scalar | + | - $A^T$ is invertible if and only if $A$ is invertible |
| - | + | - $AB$ is invertible if and only if **both** $A$ and $B$ are invertible | |
| - | $A_{Ri\to x}$ means $A$ but with row $i$ replaced by $x$. | + | |
| - | + | ||
| - | - If $i\ne j$, then $\det(A_{Ri\leftrightarrow Rj})=-\det(A)$ (swapping two rows changes the sign of det). | + | |
| - | - $\det(A_{Ri\to c Ri}) = c\det(A)$ (scaling one row scales $\det(A)$ in the same way) | + | |
| - | - $\det(A_{Ri\to Ri + c Rj}) = \det(A)$ (adding a multiple of one row to another row doesn' | + | |
| - | + | ||
| - | | + | |
| - | + | ||
| - | ==== Corollary ==== | + | |
| - | + | ||
| - | If an $n\times n$ matrix | + | |
| === Proof === | === Proof === | ||
| - | + | | |
| - | If $A$ has two equal rows, row $i$ and row $j$, then $A=A_{Ri\leftrightarrow Rj}$ | + | - We have $\det(AB)=\det(A)\det(B)$. So $AB$ is invertible $\iff$ $\det(AB)\ne 0$ $\iff$ $\det(A)\det(B)\ne0$ $\iff$ $\det(A)\ne0$ and $\det(B)\ne 0$ $ \iff$ $A$ is invertible |
| - | So $\det(A)=\det(A_{Ri\leftrightarrow Rj}) = -\det(A)$, so $2\det(A)=0$, so $\det(A)=0$. | + | |
| - | + | ||
| - | If $A$ has two equal columns, then $A^T$ has two equal rows, so $\det(A)=\det(A^T)=0$. | + | |
| - | + | ||
| - | In either case, $\det(A)=0$. So $A$ is not invertible.■ | + | |
| - | + | ||
| - | === Examples === | + | |
| - | + | ||
| - | | + | |
| - | * Multiplying a row or a column by a constant multiplies the determinant by that constant, so \begin{align*}\vm{ 2& | + | |
| - | * $\det(A_{R1\to R1-R4})=\det(A)$, so \begin{align*}\vm{ 1& | + | |
| - | * Hence \begin{align*}\vm{ 2& | + | |
| - | + | ||
| - | ==== Corollary === | + | |
| - | + | ||
| - | 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$. | + | |
| - | + | ||
| - | === Proof === | + | |
| - | + | ||
| - | Note that $\row_i(A)-c \cdot\row_j(A)=0$. So $A_{Ri\to Ri-c\,Rj}$ has a zero row, and by Laplace expansion along this row we obtain | + | |
| - | + | ||
| - | ==== The effect of EROs on the determinant ==== | + | |
| - | + | ||
| - | We have now seen the effect of each of the three types of [[ERO]] on the determinant of a matrix: | + | |
| - | + | ||
| - | - swapping two rows of the matrix multiplies the determinant by $-1$. By swapping rows repeatedly, we are able to shuffle the rows in an arbitrary fashion, and the determinant will either remain unchanged (if we used an even number of swaps) or be multiplied by $-1$ (if we used an odd number of swaps). | + | |
| - | - multiplying one of the rows of the matrix by $c\in \mathbb{R}$ multiplies the determinant by $c$; and | + | |
| - | - replacing row $j$ by "row $j$ ${}+{}$ $c\times {}$ (row $i$)", where $c$ is a non-zero real number | + | |
| - | + | ||
| - | Moreover, since $\det(A)=\det(A^T)$, | + | |
| - | + | ||
| - | We can use EROs to put a matrix into upper triangular form, and then finding the determinant | + | |
| - | + | ||
| - | ==== Example: using EROs to find the determinant ==== | + | |
| - | + | ||
| - | \begin{align*}\def\vm# | + | |
| - | \\& | + | |
| - | \\& | + | |
| - | \\& | + | |
| - | \\& | + | |
| - | \\& | + | |
| - | \end{align*} | + | |
| - | + | ||
lecture_14.1457535100.txt.gz · Last modified: by rupert
