In this chapter so far we’ve learned about the transpose (an operation on a matrix that returns another matrix) and the trace (an operation on a square matrix that returns a number). In this section we’ll learn another operation on square matrices that returns a number, called the determinant. The determinant of an \(n\times n\) matrix \(\tta\) is a number, denoted \(\det(A)\text{,}\) that is determined by \(\tta\text{.}\) We had a brief encounter with determinants in Section 2.4, where we saw that determinants of \(2\times 2\) and \(3\times 3\) matrices are related to the cross product of vectors in \(\R^3\text{.}\)
The determinant is kind of a tricky thing to define. Once you know and understand it, it isn’t that hard, but getting started is a bit complicated. (It’s similar to learning to ride a bike. The riding itself isn’t hard, it is getting started that’s difficult.) Unlike many mathematical quantities, we do not give a single formula to define the determinant of a matrix. Instead, we define the determinant recursively: first, we’ll explain how to compute the determinant of a \(2\times 2\) matrix. Then, we’ll explain how to compute the determinant of a \(3\times 3\) matrix in terms of \(2\times 2\) determinants, and so on. Let’s get started, and define the determinant for \(2 \times 2\) matrices.
Definition6.3.1.Determinant of \(2\times 2\) Matrices.
Let
\begin{equation*}
\tta = \bbm a \amp b\\c \amp d\ebm\text{.}
\end{equation*}
We’ve seen the expression \(ad-bc\) before. In Section 4.4, we saw that a \(2\times2\) matrix \(\tta\) has inverse
\begin{equation*}
\frac{1}{ad-bc}\bbm d \amp -b\\-c \amp a\ebm
\end{equation*}
as long as \(ad-bc\neq 0\text{;}\) otherwise, the inverse does not exist. We can rephrase the above statement now: If \(\det(\tta)\neq 0\text{,}\) then
\begin{equation*}
\ttai = \frac{1}{\det(A)}\bbm d \amp -b\\-c \amp a\ebm\text{.}
\end{equation*}
A brief word about the notation: notice that we can refer to the determinant by using what looks like absolute value bars around the entries of a matrix. We discussed at the end of the last section the idea of measuring the “size” of a matrix, and mentioned that there are many different ways to measure size. The determinant is one such way. Just as the absolute value of a number measures its size (and ignores its sign), the determinant of a matrix is a measurement of the size of the matrix. (Be careful, though: \(\det(\tta)\) can be negative!)
Note: We saw in Section 5.1 that a matrix transformation \(T(\vx) = A\vx\text{,}\) where \(A\) is a \(2\times 2\) matrix, can be used to define a transformation of the Cartesian plane. We saw that we can understand the effect of such a transformation by its effect on the unit square, and for this, it is enough to compute \(T(\ven{1})\) and \(T(\ven{2})\text{.}\) It’s easy to see that these two vectors are the columns of \(A\text{:}\)
Now, it’s possible that one of these vectors is zero, or that the two vectors are parallel, but if not, the vectors \(T(\ven{1})\) and \(T(\ven{2})\) determine a parallelogram. With a bit of work (see Example 2.4.9 in Section 2.4), we can show that the area of this parallelogram is given precisely by \(\det(A)\text{.}\) You may also recall that we already encountered the \(3\times 3\) determinant once, in Section 2.4, where it was used to determine the volume of a parallelepiped: see the discussion following Example 2.4.14. In general, \(\det(A)\) computes the effect of the transformation \(T(\vx) = A\vx\) on area, and volume (in three dimensions or higher).
Similar computations show that \(\det(\ttb) = 3(7)- (-1)(2) = 23\) and \(\det(\ttc) = 1(6) - (-3)(-2) = 0\text{.}\)
Finding the determinant of a \(2\times2\) matrix is pretty straightforward. It is natural to ask next “How do we compute the determinant of matrices that are not \(2\times2\text{?}\)” We first need to define some terms.
Definition6.3.3.Matrix Minor, Cofactor.
Let \(\tta\) be an \(n\times n\) matrix. The \((i,j)\)-minor of\(\tta\text{,}\) denoted \(\tta_{ij}\text{,}\) is the determinant of the \((n-1)\times(n-1)\) matrix formed by deleting the \(i^{th}\) row and \(j^{th}\) column of \(\tta\text{.}\)
Notice that this definition makes reference to taking the determinant of a matrix, while we haven’t yet defined what the determinant is beyond \(2\times 2\) matrices. We recognize this problem, and we’ll see how far we can go before it becomes an issue.
We’re a bit stuck. We don’t know how to find the determinant of this \(3\times 3\) matrix. We’ll come back to this later. The corresponding cofactor is
whatever this number happens to be. The minor \(\ttb_{4,3}\) is found by removing the fourth row and third column of \(\ttb\) then taking the determinant.
Once we learn how to compute determinants for matrices larger than \(2\times 2\) we can come back and finish this exercise.
In our previous example we ran into a bit of trouble. By our definition, in order to compute a minor of an \(n\times n\) matrix we needed to compute the determinant of a \((n-1)\times(n-1)\) matrix. This was fine when we started with a \(3\times3\) matrix, but when we got up to a \(4\times4\) matrix (and larger) we run into trouble.
We are almost ready to define the determinant for any square matrix; we need one last definition.
Definition6.3.5.Cofactor Expansion.
Let \(A=[a_{ij}]\) be an \(n\times n\) matrix. The cofactor expansion of \(\tta\) along the \(i\)th row is the sum
Is it a coincidence that both cofactor expansions were 0? We’ll answer that in a while. Now that we’ve gotten the hang of minors and cofactors, we’re ready to finally define the determinant.
Definition6.3.7.The Determinant.
The determinant of an \(n\times n\) matrix \(\tta\text{,}\) denoted \(\det(A)\) or \(|\tta|\text{,}\) is a number given by the following:
if \(\tta\) is a \(1\times 1\) matrix \(\tta = [a]\text{,}\) then \(\det(A) = a.\)
if \(\tta\) is a \(2\times 2\) matrix
\begin{equation*}
\tta = \bbm a \amp b\\c \amp d\ebm,
\end{equation*}
then \(\det(A) = ad-bc\text{.}\)
if \(\tta\) is an \(n\times n\) matrix, where \(n\geq 2\text{,}\) then \(\det(A)\) is the number found by taking the cofactor expansion along the first row of \(\tta\text{.}\) That is,
Notice that in order to compute the determinant of an \(n\times n\) matrix, we need to compute the determinants of \(n\)\((n-1)\times (n-1)\) matrices. This can be a lot of work. We’ll later learn how to shorten some of this. First, let’s practice.
Example6.3.8.Computing a \(3\times 3\) determinant.
This, quite frankly, will take quite a bit of work. In order to compute this determinant, we need to compute 4 minors, each of which requires finding the determinant of a \(3\times 3\) matrix! Complaining won’t get us any closer to the solution, (But it might make us feel a little better. Glance ahead: do you see how much work we have to do?!?) so let’s get started. We first compute the cofactors:
That certainly took a while; it required more than 50 multiplications (we didn’t count the additions). To compute the determinant of a \(5\times5\) matrix, we’ll need to compute the determinants of five \(4\times 4\) matrices, meaning that we’ll need over 250 multiplications! Not only is this a lot of work, but there are just too many ways to make silly mistakes. (The author made three when the above example was originally typed.) There are some tricks to make this job easier, but regardless we see the need to employ technology. Even then, technology quickly bogs down. A \(25 \times 25\) matrix is considered “small” by today’s standards, but it is essentially impossible for a computer to compute its determinant by only using cofactor expansion; it too needs to employ “tricks.”
In the next section we will learn some of these tricks as we learn some of the properties of the determinant. Right now, let’s review the essentials of what we have learned.
The determinant of a square matrix is a number that is determined by the matrix.
We find the determinant by computing the cofactor expansion along the first row.
To compute the determinant of an \(n\times n\) matrix, we need to compute \(n\) determinants of \((n-1)\times(n-1)\) matrices.
ExercisesExercises
Exercise Group.
Find the determinant of the \(2\times 2\) matrix.
1.
\(\bbm 10\amp 7\\ 8\amp 9\ebm\)
2.
\(\bbm 6\amp -1\\ -7\amp 8\ebm\)
3.
\(\bbm -1\amp -7\\ -5\amp 9\ebm \)
4.
\(\bbm -10\amp -1\\ -4\amp 7\ebm\)
5.
\(\bbm 8\amp 10\\ 2\amp -3\ebm\)
6.
\(\bbm 10\amp -10\\ -10\amp 0\ebm\)
7.
\(\bbm 1\amp -3\\ 7\amp 7\ebm\)
8.
\(\bbm -4\amp -5\\ -1\amp -4\ebm \)
Exercise Group.
A matrix \(\tta\) is given.
Construct the submatrices used to compute the minors \(\tta_{1,1}\text{,}\)\(\tta_{1,2}\) and \(\tta_{1,3}\text{.}\)
Find the cofactors \(C_{1,1}\text{,}\)\(C_{1,2}\text{,}\) and \(C_{1,3}\text{.}\)
Let \(\tta\) be a \(2\times 2\) matrix; \(\tta = \bbm a\amp b\\c\amp d\ebm\text{.}\) Show why \(\det(\tta)=ad-bc\) by computing the cofactor expansion of \(\tta\) along the first row.