Plugin installed incorrectly. Rename plugin directory '_include' to 'include'.
Plugin installed incorrectly. Rename plugin directory '__include' to 'include'.
lecture_13
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| lecture_13 [2015/03/03 10:28] – [Theorem: the determinant determines the invertibility (and inverse) of a $2\times 2$ matrix] rupert | lecture_13 [2017/03/07 15:08] (current) – [Step 3: the determinant of a $3\times 3$ matrix using Laplace expansion along the first row] rupert | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ==== Corollary | + | ==== Example |
| - | If $A$ is an $n\times n$ matrix and $X$ is a non-zero $n\times k$ matrix with $AX=0_{n\times k}$, then $A$ is not invertible. | + | |
| - | === Proof === | + | Let's solve the matrix |
| - | Apply the previous corollary (from the end of lecture 11) to $X$ and to the matrix $Y=0_{n\times k}$: we have $X\ne Y$ but $AY=A0_{n\times k}=0_{n\times k}$, so $AX=AY$. ■ | + | |
| - | ==== Example ==== | + | Write $A=\mat{1& |
| - | The matrix $\newcommand{\mat}[1]{\begin{bmatrix}# | ||
| - | ===== $2\times 2$ matrices: determinants and invertibility ===== | + | Hence the solution is $X=A^{-1}\mat{4& |
| - | ==== Question ==== | ||
| - | Which $2\times 2$ matrices are invertible? For the invertible matrices, can we find their inverse? | + | ====== The transpose of a matrix ====== |
| - | ==== Lemma ==== | + | We defined this in tutorial sheet 4: |
| - | If $A=\mat{a& | + | {{page> |
| - | \[ AJ=\delta I_2=JA\] | + | ==== Exercise: simple properties of the transpose ==== |
| - | where $\delta=ad-bc$. | + | Prove that for any matrix |
| - | === Proof === | + | * $(A^T)^T=A$; and |
| + | * $(A+B)^T=A^T+B^T$ if $A$ and $B$ are matrices of the [[same size]]; and | ||
| + | * $(cA)^T=c(A^T)$ for any [[scalar]] $c$. | ||
| + | |||
| + | In tutorial sheet 4, we proved: | ||
| - | This is a calculation (done in the lectures; you should also check it yourself). ■ | + | ==== Lemma: transposes and row-column multiplication ==== |
| - | ==== Definition: the determinant of a $2\times | + | If $a$ is a $1\times |
| + | \[ ab=b^Ta^T.\] | ||
| - | {{page> | + | ==== Observation: |
| - | ==== Theorem: the determinant determines the invertibility | + | Formally, for any matrix $A$ and any $i,j$, we have |
| + | \begin{align*}\def\col# | ||
| + | \row i(A^T)&=\col i(A)^T\\\col j(A^T)&=\row j(A)^T | ||
| + | .\end{align*} | ||
| - | Let $A=\mat{a& | + | ==== Theorem: the transpose reverses the order of matrix |
| - | - $A$ is invertible if and only if $\det(A)\ne0$. | + | If $A$ and $B$ are matrices and the [[matrix product]] |
| - | - If $A$ is invertible, then $A^{-1}=\frac{1}{\det(A)}\mat{d& | + | \[ (AB)^T=B^TA^T.\] |
| === Proof === | === Proof === | ||
| - | If $A=0_{2\times 2}$, then $\det(A)=0$ and $A$ is not invertible. So the statement | + | If $AB$ is defined, then $A$ is $n\times m$ and $B$ is $m\times k$ for some $n,m,k$, so $B^T$ is $k\times m$ and $A^T$ is $m\times n$, so $B^TA^T$ is defined. Moreover, in this case $B^TA^T$ is an $k\times n$ matrix, and $AB$ is an $n\times k$ matrix, so $(AB)^T$ is a $k\times n$ matrix. Hence $B^TA^T$ has the same size as $(AB)^T$. To show that they are equal, we calculate, using the fact that the transpose swaps rows with columns: |
| + | \begin{align*} | ||
| + | \text{the }(i, | ||
| + | \\&= \row j(A)\cdot\col i(B) | ||
| + | \\& | ||
| + | \\& | ||
| + | \\& | ||
| + | \end{align*} | ||
| + | Hence $(AB)^T=B^TA^T$. ■ | ||
| + | |||
| + | ====== Determinants of $n\times n$ matrices ====== | ||
| + | |||
| + | Given any $n\times n$ matrix $A$, it is possible to define a number $\det(A)$ | ||
| + | \[ A\text{ is invertible} \iff \det(A)\ne0.\] | ||
| + | |||
| + | - If $A$ is a $1\times 1$ matrix, say $A=[a]$, then we just define $\det[a]=a$. | ||
| + | - If $A$ is a $2\times 2$ matrix, say $A=\def\mat# | ||
| + | - If $A$ is a $3\times 3$ matrix, say $A=\mat{a& | ||
| + | - If $A$ is a $4\times 4$ matrix, then the formula for $\det(A)$ | ||
| + | - If $A$ is a $5\times 5$ matrix, then the formula for $\det(A)$ has $120$ terms. | ||
| + | |||
| + | Trying to memorise a formula in every case (or even in the $3\times 3$ case!) isn't convenient unless we understand it somehow. We will approach this is several steps. | ||
| + | |||
| + | ==== Step 1: minors ==== | ||
| + | |||
| + | === Definition === | ||
| + | {{page> | ||
| + | |||
| + | === Examples === | ||
| + | |||
| + | * If $A=\mat{3& | ||
| + | * If $A=\mat{1& | ||
| + | |||
| + | ==== Step 2: cofactors ==== | ||
| + | |||
| + | ===Definition=== | ||
| + | {{page> | ||
| + | |||
| + | Note that $(-1)^{i+j}$ is $+1$ or $-1$, and can looked up in the matrix of signs: | ||
| + | $\mat{+& | ||
| + | This matrix starts with a $+$ in the $(1,1)$ entry (corresponding to $(-1)^{1+1}=(-1)^2=+1$) and the signs then alternate. | ||
| + | |||
| + | ===Examples=== | ||
| + | |||
| + | * If $A=\mat{3& | ||
| + | * If $A=\mat{1& | ||
| + | ==== Step 3: the determinant of a $3\times 3$ matrix using Laplace expansion along the first row ==== | ||
| + | |||
| + | ===Definition=== | ||
| - | Now assume that $A\ne0_{2\times 2}$ and let $J=\mat{d& | + | {{page> |
| - | By the previous lemma, we have \[AJ=(\det(A))I_2=JA.\] | ||
| - | 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& | ||
| - | If $\det(A)=0$, | ||
| - | ==== Examples ==== | ||
| - | * $\det\mat{2& | ||
| - | * $\det\mat{2& | ||
lecture_13.1425378520.txt.gz · Last modified: by rupert
