Properties of the Determinant

We begin by summarizing the properties of determinants we introduced in previous sections.

In this section we will prove the following important results:

(a)
A square matrix is singular if and only if its determinant is equal to 0.
(b)
The determinant of a product is the product of the determinants.

To get us started, we need the following lemma.

Proof
Recall that if is obtained from using an elementary row operation, then the same elementary row operation carries to . There are three types of elementary row operations and three types of elementary matrices, so we will have to consider three cases.

Case 1. Suppose is obtained from by interchanging two rows, then so

Case 2. Suppose is obtained from by multiplying one of the rows of by a non-zero constant , then so

Case 3. Suppose is obtained from by adding a scalar multiple of one row to another row, then so

Invertibility and the Determinant

Recall that we first introduced determinants in the context of invertibility of matrices. Specifically, we found that is invertible if and only if . (A logically equivalent statement is: is singular if and only if .) We are now in the position to prove this result for all square matrices.

Proof
Let be a square matrix. To determine whether is singular we need to find . In Elementary Matrices we found that there exist elementary matrices such that so By repeated application of Lemma lemma:detelemproduct, we find that Suppose that is singular, then . But then contains a row of zeros, and . (Lemma lemma:det0lemma) Since determinants of elementary matrices are non-zero, we conclude that .

Conversely, suppose , then But then , so is singular.

Determinant of a Product

Proof
Suppose is invertible, then can be written as a product of elementary matrices. (Theorem th:elemmatrices) Then, by repeated application of Lemma lemma:detelemproduct, we get Now suppose that is not invertible. Then is also not invertible. So, and . Thus .

The following theorem is a nice consequence of Theorem th:detofproduct. We leave the proof to the reader. (Practice Problem prob:proofdetofinverse)

Practice Problems

Without doing written computations, determine whether the given matrix is singular.
is singular is nonsingular
is singular is nonsingular
Show that all matrices of the form are singular.
Find values of for which the given matrix is singular. List values of in an increasing order.

Answer:

Suppose and are matrices such that and . Find each of the following.
Prove or give a counterexample.
Prove Theorem th:detofinverse.
Suppose is an invertible matrix such that Find if we know that .

Answer: