The determinant is a function that takes a square matrix as an input and produces a scalar as an output. So unlike a vector space, it is not an algebraic structure. However, it has many beneficial properties for studying vector spaces, matrices and systems of equations, so it is hard to ignore (though some have tried). While the properties of a determinant can be very useful, they are also complicated to prove.
Annotated Acronyms D.
The main purpose of elementary matrices is to provide a more formal foundation for row operations. With this theorem we can convert the notion of “doing a row operation” into the slightly more precise, and tractable, operation of matrix multiplication by an elementary matrix. The other big results in this chapter are made possible by this connection and our previous understanding of the behavior of matrix multiplication (such as results in Section MM).
We define the determinant by expansion about the first row and then prove you can expand about any row (and with Theorem DEC, about any column). Amazing. If the determinant seems contrived, these results might begin to convince you that maybe something interesting is going on.
This theorem provides a simple test for nonsingularity, even though it is stated and titled as a theorem about singularity. It will be helpful, especially in concert with Theorem DRMM, in establishing upcoming results about nonsingular matrices or creating alternative proofs of earlier results. You might even use this theorem as an indicator of how often a matrix is singular. Create a square matrix at random — what are the odds it is singular? This theorem says the determinant has to be zero, which we might suspect is a rare occurrence. Of course, we have to be a lot more careful about words like “random,” “odds,” and “rare” if we want precise answers to this question.
Theorem EMDRO connects elementary matrices with matrix multiplication. Now we connect determinants with matrix multiplication. If you thought the definition of matrix multiplication (as exemplified by Theorem EMP) was as outlandish as the definition of the determinant, then no more. They seem to play together quite nicely.