In this subsection, we state the basic properties of determinants that you should know. The proofs of these properties are omitted; in most cases they are proved by induction. It will be convenient to illustrate some of these properties using a matrix, in which case we will consider the arbitrary matrix:
As usual, we write and for the -th row and the -th column of a given matrix. Notice that the letter is being used in two different ways: a coefficient of the matrix , and an index for the rows and columns. The context should make clear which one we mean.
.
One can prove this by induction on the size of . A sketch of the argument is as follows. Let , and write for the coefficients of the transpose of . The relationship between the coefficients and the cofactors of and of can be inductively assumed to be
By expanding about the first row and about the first column:
Swapping two rows (or columns) multiplies the determinant by .
If two rows (or two columns) are identical then the determinant is zero.
Multiplying every coefficient in a row (or column) by a scalar multiplies the value of the determinant by .
For example, suppose that a given number multiplies in the above matrix . Then
Combining the last two properties, we get the following.
If one row (or column) is a multiple of another row (or column) the determinant has the value zero.
Assume that has its -th row equal to times its -th row, for some . That is, there is a matrix , with obtained from by multiplying all the coefficients in the -th row by some , and with having . By property DET4, we have that . By property DET3, we also have that , because . So it follows that
Adding a multiple of one row (or column) to another row (or column) does not alter the value of the determinant.
For example, let be obtained from by adding to , and expand about the first row:
because by property DET3.
For the next property, we need to explain the terminology of triangular matrices.
Let .
is upper-triangular if whenever . That is, all the coefficients “below” the diagonal are zero.
is lower-triangular if whenever . That is, all the coefficients “above” the diagonal are zero.
is diagonal if whenever . That is all the coefficients outside of the diagonal are zero.
Example 4.3.2.
The following matrices are upper-triangular, but not lower-triangular:
The following matrices are lower-triangular, but not upper-triangular:
The following matrices are both upper- and lower-triangular, and therefore diagonal:
In particular, we note that a square matrix is diagonal if and only if it is at the same time upper- and lower-triangular. For short, we call a matrix triangular if its either lower- or upper-triangular.
For a triangular or diagonal matrix we have .
Example 4.3.3.
Now let’s use these tricks to speed up the calculation of the determinant of the matrix
We could directly expand the computations to obtain the value, but there is a smarter move. Namely, as we see from the computations of determinants by expanding about a row or column of the matrix, it is convenient to pick the simplest row or column, i.e. with the more zero terms. We also can use the above rules in order to create zeros in a row or a column and then expand about that simplified row or column. That is, we use elementary operations to make all but one entry in a row or column equal to zero. The most useful property to do this is DET6. That is, we add a multiple of a row or column to another row or column, and the determinant remains the same.
With the given matrix , we do the row operation , which does not change the value of . The outcome is
Now we use the cofactor expansion along the first column , and we get:
Example 4.3.4. (Vandermonde determinant)
Use the elementary row operations and , which don’t change the determinant by DET6, and therefore give
Example 4.3.5.
In order to illustrate the efficiency of the elementary operations, let us take again the matrix of Example 4.2 and compare the difficulties of both methods:
If we do , which doesn’t change the determinant by DET6, we get
As the third row has a unique non-zero term, we perform the cofactor expansion about it and find that
Now, we perform with the resulting determinant, and then perform the cofactor expansion about , since it has only one non-zero coefficient:
So we found the same answer as in Example 4.2, but with less work. Since it is advantageous to be able to quickly evaluate determinants in exams, you would be wise to know the shortcuts!
Up to now, for pedagogical reasons, we have always written the signs of the cofactors in the expansion of a determinant. However, this is not necessary.