Plugin installed incorrectly. Rename plugin directory '_include' to 'include'.
Plugin installed incorrectly. Rename plugin directory '__include' to 'include'.
lecture_14_slides
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lecture_14_slides [2017/03/08 17:00] – [Definition: upper triangular matrices] rupert | lecture_14_slides [2017/03/09 10:45] (current) – [Corollary: the determinant of an upper triangular matrix] rupert | ||
|---|---|---|---|
| Line 83: | Line 83: | ||
| Expand $\det(A)$ along the zero row or column | Expand $\det(A)$ along the zero row or column | ||
| - | | + | |
| - | | + | |
| - | | + | |
| - | ==== Definition: upper triangular | + | ==== Definition: |
| - | An $n\times n$ matrix | + | An $n\times n$ matrix is **upper triangular** if all the entries below the main diagonal are zero. |
| - | ==== Definition: diagonal matrices ==== | + | An $n\times n$ matrix is **diagonal** if the only non-zero entries are on its main diagonal. |
| - | + | ||
| - | An $n\times n$ matrix | + | |
| ==== Corollary: the determinant of an upper triangular matrix ==== | ==== Corollary: the determinant of an upper triangular matrix ==== | ||
| - | The determinant of an upper triangular $n\times n$ matrix | + | If $A$ is an upper triangular |
| + | |||
| + | * Every diagonal matrix is upper triangular! | ||
| + | * So it suffices just to prove it for upper triangular matrices. | ||
| ==== Proof by induction on $n$ ==== | ==== Proof by induction on $n$ ==== | ||
| Line 111: | Line 112: | ||
| * So $\det(A)=a_{11}C_{11}=a_{11}a_{22}a_{33}\dots a_{nn}$.■ | * So $\det(A)=a_{11}C_{11}=a_{11}a_{22}a_{33}\dots a_{nn}$.■ | ||
| - | ==== Corollary: the determinant of a diagonal matrix ==== | ||
| - | The determinant of an $n\times n$ diagonal matrix is the product of its diagonal entries: \[\det(A)=a_{11}a_{22}\dots a_{nn}.\] | ||
| - | |||
| - | === Proof === | ||
| - | * Any diagonal matrix is upper triangular, so this is a special case of the last Corollary (about upper triangular matrices).■ | ||
| Line 136: | Line 132: | ||
| - 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)$. | ||
| + | === Corollary on invertibility === | ||
| + | |||
| + | - $A^T$ is invertible if and only if $A$ is invertible | ||
| + | - $AB$ is invertible if and only if **both** $A$ and $B$ are invertible | ||
| + | |||
| + | |||
| + | * Warning: it's not true that $A+B$ is invertible if and only if $A$ and $B$ are invertible! | ||
| ==== Theorem: row/column operations and determinants ==== | ==== Theorem: row/column operations and determinants ==== | ||
| Line 177: | Line 180: | ||
| ==== Corollary === | ==== Corollary === | ||
| - | If $\def\row{\text{row}}\row_i(A)=c\cdot \row_j(A)$ for some $i\ne j$ and some $c\in \mathbb{R}$, | + | If $\def\row{\text{row}}\row_i(A)=c\cdot \row_j(A)$ for some $i\ne j$ and some $c\in \mathbb{R}$, |
| === Proof === | === Proof === | ||
| Line 183: | Line 186: | ||
| * $\row_i(A)-c \cdot\row_j(A)=0$ | * $\row_i(A)-c \cdot\row_j(A)=0$ | ||
| * So $A_{Ri\to Ri-c\,Rj}$ has a zero row | * So $A_{Ri\to Ri-c\,Rj}$ has a zero row | ||
| - | * By Laplace expansion along this row: $\det(A_{Ri\to Ri-c\, | + | * So $\det(A_{Ri\to Ri-c\, |
| * So $\det(A)=\det(A_{Ri\to Ri-c\, | * So $\det(A)=\det(A_{Ri\to Ri-c\, | ||
| Line 205: | Line 208: | ||
| \begin{align*}\vm{1& | \begin{align*}\vm{1& | ||
| - | =12\vm{1& | + | \\&=12\vm{1& |
| - | \\&=\color{blue}{-}12\vm{1& | + | =\color{blue}{-}12\vm{1& |
| - | =-12\vm{1& | + | \\&=-12\vm{1& |
| =-12\vm{1& | =-12\vm{1& | ||
| \\& | \\& | ||
| \end{align*} | \end{align*} | ||
| + | |||
lecture_14_slides.1488992457.txt.gz · Last modified: by rupert
