Properties of Determinants
The determinant is a single number attached to every square matrix, and instead of a big formula Strang builds it from three defining properties. From those three, seven more follow, including the practical formula that the determinant is the product of the pivots and the two most useful facts of all, det AB equals det A times det B and det A-transpose equals det A.
One magic number per square matrix
This lecture is “like the beginning of the second half” of the course. Up to now the attention went to rectangular matrices; from here on it’s square matrices and two big topics: determinants and eigenvalues. The big reason we need determinants is for the eigenvalues — that’s the next big chunk of 18.06.
The one fact you’ve seen before, and will see again: is invertible exactly when ; is singular exactly when . The determinant is a test for invertibility. But it has much more to it than that.
How to start? Strang could give the big formula for the determinant all in one gulp — “I don’t think so!” That formula has too much packed into it. Instead he starts with three properties, and those three properties define the determinant. Everything else, formula included, has to come out of them.
The three defining properties
Property 1. . The determinant of the identity is one.
Property 2. Exchanging two rows reverses the sign of the determinant. A lot of determinant work is exactly this: paying attention to plus and minus signs.
Notice what these two already give us. We know , and every permutation matrix comes from the identity by row exchanges, so
— plus one if the number of exchanges was even, minus one if it was odd. In the two-by-two world:
(Off to the side, Strang writes the formula we all know, , and leaves it up — not as an assumption, but as a check. Every property should agree with it, and by the end of the lecture the properties will produce it.)
Property 3 is the key property, in two halves. Both are about the first row alone, with the other rows left unchanged:
In words: the determinant is a linear function of each row separately, when all the other rows stay the same.
Those are the three properties. Everything from here on must come from properties 1, 2, 3 — that’s all we have to work with.
Properties 4, 5, 6: what elimination does to a determinant
Property 4: two equal rows give determinant zero. Sure, in the two-by-two case , but the argument has to work for a seven-by-seven with row one equal to row three. Here it is: exchange the two equal rows. The matrix doesn’t change — the rows were equal — so the determinant doesn’t change. But property 2 says the sign did change. A number whose sign both changes and doesn’t change must be zero. And this matches what we know: two equal rows mean rank less than , a matrix that isn’t invertible.
Property 5: elimination doesn’t change the determinant. Subtracting a multiple of one row from another row leaves alone. There’s nothing special about row one here — any row subtracted from any row . This is the property we really want, because it means we can take a full matrix whose determinant we don’t know, run elimination to clean it out below the diagonal, and
The proof, in the two-by-two case, uses exactly the properties in order:
Property 6: a row of zeroes gives determinant zero. This is the singular case showing up: elimination might produce a complete row of zeroes, our old test for rank less than . Why is the determinant zero? A student in the lecture has the slick answer — “you had the idea better” — take in rule 3A. Multiplying the zero row by changes nothing, but pulls a factor out front. So the determinant equals times itself: zero.
Property 7: triangular matrices, and the formula that software uses
Now the payoff. Suppose elimination has arrived at an upper triangular with pivots on the diagonal, unknown stuff above, zeroes below.
Why don’t they matter? Run elimination upward: with nonzero pivots, multiples of lower rows kill every entry above the diagonal (property 5, so no change to the determinant), leaving a diagonal matrix. Then use 3A row by row: factor out of row one, out of row two, and so on. What’s left after all the ‘s come out? The identity — and finally rule 1 chips in: . So the determinant is the product of the ‘s. The proof used rule 5, rule 3A, and “our best friend, rule 1.” And if some pivot is zero, elimination produces a row of zeroes and rule 6 says the determinant is zero — the singular case checks too.
This is how MATLAB, or any reasonable software, actually computes a determinant of a matrix of size a hundred: eliminate to triangular, multiply the pivots.
The plus or minus is there because row exchanges may have been needed along the way — each one flips the sign. If the simple LU code goes straight through with no exchanges, it’s exactly the product of the pivots.
Property 8 falls out: exactly when is singular, and exactly when is invertible. If is singular, elimination reaches a row of zeroes — determinant zero. If is invertible, elimination produces a full set of nonzero pivots — determinant is their (nonzero) product.
Properties 9 and 10: products and transposes
Two more, quick to write down and very, very useful.
This one comes partly out of the blue — we haven’t been multiplying matrices, and suddenly the determinant has this multiplying property. Look what it gives immediately. Since , take determinants of both sides: , so
Check it on a diagonal matrix: if has diagonal then has diagonal , and sure enough and are reciprocals. And notice how the rule agrees with singular/non-singular: if , then is ridiculous — and indeed doesn’t exist.
Two more consequences: — square the matrix, square the determinant. But is not . Doubling the matrix doubles every row, and 3A factors a out of each of the rows:
Check on the two-by-two: both come out . For a quick proof (covering almost every case), factor , so , and use rule 9 on both sides. It remains to compare with . But and are triangular with ones on the diagonal — determinant one each — and and are triangular with the same diagonal, so they have the same determinant, the product of those diagonal entries. Both sides agree.
The consequence is bigger than it looks: everything said about rows now holds for columns. A column of zeroes gives determinant zero. Exchanging two columns reverses the sign — transpose, exchange the rows, transpose back. Nothing was special about rows.
One hidden fact closes the lecture. Property 2 would be inconsistent if some permutation could be reached by both seven exchanges and ten exchanges — the sign would have to be both and , and “my whole lecture would die.” The rescue: every permutation is either odd or even. An odd permutation might take , , or exchanges, but never an even number. That little algebraic fact is what makes the determinant well-defined by properties 1, 2, 3 — with properties 4 through 10 following.
Problems
Everything here follows from the ten properties — no big formula needed.
Using only properties 1–3, find
Show solution
First matrix: it is a permutation matrix. Exchange rows 1 and 3 to reach the identity — one exchange, so the sign flips once:
Second matrix: by 3A, factor out of row one:
using property 4 (two equal rows). The matrix is singular.
Compute the determinant of
by elimination: reduce to and multiply the pivots.
Show solution
Row 2 Row 1 and Row 3 Row 1 (property 5, no change to the determinant):
Then Row 3 Row 2:
No row exchanges were needed, so
Suppose is with . Find , , , and .
Show solution
By property 9, .
, from taking determinants of .
: doubling the matrix doubles all four rows, and 3A pulls a factor out of each row.
By properties 9 and 10, .
A permutation matrix reverses the order of the rows of the identity (row 1 of is row 5 of , row 2 is row 4, and so on). What is ? Could this same permutation ever be produced by an even number of exchanges?
Show solution
Undo by exchanges: swap rows 1 and 5, then rows 2 and 4; row 3 is already in place. Two exchanges reach the identity, so
It is an even permutation. Since every permutation is either odd or even — the hidden fact that makes property 2 consistent — this permutation can only be reached by an even number of exchanges: 2, or 4, or 100, but never 7. Otherwise the determinant would have to be and at once.
(a) Explain, using only the ten properties, why a matrix with a column of zeroes has determinant zero. (b) True or false, with a reason: if , then at least one row of is a combination of the other rows.
Show solution
(a) By property 10, . Transposing turns the zero column into a zero row, and property 6 says a row of zeroes gives determinant zero. So .
(b) True. means is singular (property 8), so elimination produces a row of zeroes: some row was eliminated entirely by subtracting multiples of the rows above it. That row was a linear combination of the others. (Equivalently: rank less than means the rows are dependent.)