DLA Theory

As we saw in Subsection 10.3.2, there is a stronger connection between the determinant and invertibility, which we now state here more formally by adding a new statement to Theorem 6.5.2.

🔗

Theorem 10.5.3. Characterizations of invertibility.

For a square matrix

A,

the following are equivalent.

🔗

Matrix $A$ is invertible.
Every linear system that has $A$ as a coefficient matrix has one unique solution.
The homogeneous system $A x = 0$ has only the trivial solution.
There is some linear system that has $A$ as a coefficient matrix and has one unique solution.
The rank of $A$ is equal to the size of $A .$
The RREF of $A$ is the identity.
Matrix $A$ can be expressed as a product of some number of elementary matrices.
The determinant of $A$ is nonzero.

In particular, a square matrix is invertible if and only if its determinant is nonzero.

🔗

Remark 10.5.4.

In the last sentence of the theorem, the connecting phrase “if and only if” between the two conditions is just a different way to say that the two conditions are equivalent. And recall that conditions are equivalent when they have to be either all true or all false at the same time. Rephrasing in terms of the “all false” scenario, we could also say that a square matrix is singular if and only if its determinant is zero.

🔗

Subsection 10.5.3 Determinant formulas

Here we collect the determinant formulas from Subsection 10.3.3. First we look at a special case, previously considered in Discovery 10.4 and Subsubsection 10.3.3.1, of the multiplicative formula for determinants.

🔗

Lemma 10.5.5. Determinant is multiplicative: elementary case.

E

is an elementary matrix and

A

is a square matrix of the same size, then

🔗

\begin{matrix} (✶) & det (E A) = (det E) (det A) . \end{matrix}

🔗

Proof.

There are three cases to consider here, based on the type of elementary matrix we are dealing with.

Case $E$ represents swapping rows.

The product

E A

represents the result of swapping two rows in

A,

det (E A) = - det A

(Part 2 of Proposition 9.4.2).

But also

det E = - 1

(Part 1 of Proposition 9.4.5), so

(det E) (det A) = (- 1) (det A) = - det A

as well.

This establishes (✶) in this case.

Case $E$ represents multiplying a row by $k$ .

The product

E A

represents the result of multiplying that row of

A

k,

det (E A) = k det A

(Part 4 of Proposition 9.4.2).

But also

det E = k

(Part 2 of Proposition 9.4.5), so

(det E) (det A) = k det A

as well.

This establishes (✶) in this case.

Case $E$ represents adding a multiple of one row to another.

The product

E A

represents the result of adding a multiple of a row to another in

A,

det (E A)

is equal to

det A .

But also

det E = 1

(Part 3 of Proposition 9.4.5), so

det (E A) = det A = (1) (det A) = (det E) (det A),

establishing (✶) in this case.

With the above lemma established, we can consider the general multiplicative formula for determinants.

🔗

Proposition 10.5.6. Determinant is multiplicative: general case.

A determinant of a product of square matrices is the product of the determinants of those matrices. In particular, the following hold.

🔗

If $M$ and $N$ are square matrices of the same size, then
$det (M N) = (det M) (det N) .$
If $M_{1}, M_{2}, \dots, M_{ℓ - 1}, M_{ℓ}$ are square matrices of the same size, then
$det (M_{1} M_{2} \dots M_{ℓ - 1} M_{ℓ}) = (det M_{1}) (det M_{2}) \dots (det M_{ℓ - 1}) (det M_{ℓ}) .$

🔗

Proof outline for Statement 1.

There are two cases to consider.

Case $M$ is invertible.

In this case,

M

can be expressed as a product of elementary matrices (Theorem 10.5.3), and so Lemma 10.5.5 can be repeatedly applied to obtain the desired equality.

In Discovery 10.5 and Subsubsection 10.3.3.2, we worked under the assumption that

M

could be expressed as a product of three elementary matrices, but the calculations and logic used there would work no matter how many elementary matrices were required in a product expression for

M .

Case $M$ is singular.

In this case,

det M = 0

by our newly added statement in the list of Theorem 10.5.3, so we have

RHS = (det M) (det N) = 0 \cdot det N = 0

as well. But we also know that if

M

is singular, then the product

M N

must also be singular (Statement 1 of Proposition 6.5.8). So again we can apply the equivalence of Statement 1 and Statement 8 of Theorem 10.5.3 to obtain

LHS = det (M N) = 0.

Since both LHS and RHS are equal to

0,

they are equal to each other.

Proof outline for Statement 2.

This result can be obtained by repeated applications of the formula in Statement 1, one

M_{i}

at a time.

Remark 10.5.7.

We can now understand the formula

det (k A) = k^{n} det A

as a special case of Proposition 10.5.6. Using

M = k I

and

N = A,

we have

🔗

det (k A) = det ((k I) A) = (det (k I)) (det A) = k^{n} det A .

(See Statement 2 of Proposition 8.5.2.)

🔗

Lemma 10.5.5 and the proof of Proposition 10.5.6 connect to Proposition 9.4.2 (which includes the formula

det (k A) = k^{n} det A

as one of its statements) by the fact that an

n \times n

scalar matrix

k I

is the product of

n

elementary matrices, one for each of the

n

operations multiply row $R_{j}$ by $k$ .

🔗

Proposition 10.5.8. Determinant of an inverse.

The determinant of an inverse is the inverse of the determinant. That is, if

N

is an invertible matrix then

det (A^{- 1}) = {(det A)}^{- 1} .

🔗

Subsection 10.5.4 Cramer’s rule

Finally, we formally record Cramer’s rule (discussed in Subsection 10.3.5).

🔗

Theorem 10.5.9. Cramer’s rule.

If system

A x = b

has invertible square coefficient matrix

A,

then the value of variable

x_{j}

in the one unique solution to the system is

🔗

x_{j} = \frac{det A_{j}}{det A},

where

A_{j}

is the matrix obtained by replacing the

j^{th}

column of

A

b .

🔗

Prev Top Next

Section 10.5 Theory

In this section.

Subsection 10.5.1 Adjoints and inverses

Theorem 10.5.1. Inversion by adjoint.

Remark 10.5.2.

Subsection 10.5.2 Determinants determine invertibility

Theorem 10.5.3. Characterizations of invertibility.

Remark 10.5.4.

Subsection 10.5.3 Determinant formulas

Lemma 10.5.5. Determinant is multiplicative: elementary case.

Proof.

Case E represents swapping rows.

Case E represents multiplying a row by k.

Case E represents adding a multiple of one row to another.

Proposition 10.5.6. Determinant is multiplicative: general case.

Proof outline for Statement 1.

Case M is invertible.

Case M is singular.

Proof outline for Statement 2.

Remark 10.5.7.

Proposition 10.5.8. Determinant of an inverse.

Subsection 10.5.4 Cramer’s rule

Theorem 10.5.9. Cramer’s rule.

Case $E$ represents swapping rows.

Case $E$ represents multiplying a row by $k$ .

Case $E$ represents adding a multiple of one row to another.

Case $M$ is invertible.

Case $M$ is singular.