Skip to content

4 Determinants

The determinant is a scalar-valued function defined on the set of square matrices. Although the determinant is not a linear transformation on Mn×n(F) for n>1, it does possess a kind of linearity (called n-linearity) as well as other properties that are examined in this chapter.

It represents the scaling factor of volume (or area in 2D) under the associated linear transformation.

4.1 Determinants of Order 2

Definition: determinant of 2×2 matrices

If

A=(abcd),

then the determinant of A is

det(A)=adbc.

Example 4.1.1

For matrices

A=(1234),B=(3264)M2×2(R),

we have

det(A)=1423=2,det(B)=3426=0.

The function det:M2×2(R)R is not linear as

det(A+B)det(A)+det(B).

Nevertheless, the determinant does possess an important linearity property.

Meaning of determinant of order 2

determinant

The vectors represented by a 2-by-2 matrix correspond to the sides of a unit square transformed into a parallelogram. The matrix A is said to represent the linear map f, and A is called the transformation matrix of f.

A determinant of 0 would mean that all of space is squished onto something with 0 volume, meaning (dimension is 3)either a flat plane, a line, or, in the most extreme case, onto a single point.

Theorem 4.1

The function det:M2×2(F)F is linear in each row when the other row is fixed. That is, for vectors u,v,wF2 and scalar k,

det(u+kv,w)=det(u,w)+kdet(v,w),

and similarly for the second row:

det(w,u+kv)=det(w,u)+kdet(w,v),

Theorem 4.2

For AM2×2(F), det(A) is nonzero if and only if A is invertible. Furthermore,

A1=1det(A)(A22A12A21A11).

4.2 Determinants of order n

Definition

Let AMn×n(F). If n=1, so that A=(A11), we define det(A)=A11. For n2, we define det(A) recursively as

det(A)=j=1n(1)1+jA1jdet(A~1j)

The scalar det(A) is called the determinant of A and is also denoted by |A|. The scalar

(1)i+jdet(A~ij)

is called the cofactor of the entry of A in row i, column j. Letting

cij=(1)i+jdet(A~ij)

denote the cofactor of the row i, column j entry of A, we can express the formula for the determinant of A as

det(A)=A11c11+A12c12++A1nc1n

Thus the determinant of A equals the sum of the products of each entry in row 1 of A multiplied by its cofactor. This formula is called cofactor expansion along the first row of A. Note that, for 2×2 matrices, this definition of the determinant of A agrees with the one given in Section 4.1 because

det(A)=A11(1)1+1det(A~11)+A12(1)1+2det(A~12)=A11A22A12A21

Example 4.2.1 (3x3 Matrix determinant)

For

A=(133352464),

Using cofactor expansion along the first row of A, we obtain,

det(A)=(1)1+1A11det(A~11)+(1)1+2A12det(A~12)+(1)1+3A13det(A~13)=(1)2(1)det(5246)+(1)3(3)(3246)+(1)4(3)det(3544)=1[5(6)2(4)]3[3(6)2(4)]3[3(4)(5)(4)]=1(22)3(26)3(32)=40.

Example 4.2.2

Calculate determinant of

B=(013235444),

Using cofactor expansion along the first row of B, we obtain,

det(B)=(1)1+1B11det(B~11)+(1)1+2B12det(B~12)+(1)1+3B13det(B~13)=(1)2(0)det(3544)+(1)3(1)det(2544)+(1)4(3)det(2344)=01[2(4)(5)(4)]+3[2(4)(3)(4)]=01(12)+3(20)=48.

Example 4.2.3

For

C=(2000013323521446),

Using cofactor expansion along the first row of C and the results of Examples 4.2.1 and 4.2.2, we obtain,

det(C)=(1)2(2)det(C~11)+(1)3(0)det(C~12)+(1)4(0)det(C~13)+(1)5(1)det(C~14)=(1)2(2)det(133352446)+0+0+(1)5(1)det(013235444)=2(40)+0+01(48)=32.

Example 4.2.4

The determinant of the n×n identity matrix is 1 . We prove this assertion by mathematical induction on n. The result is clearly true for the 1×1 identity matrix. Assume that the determinant of the (n1)×(n1) identity matrix is 1 for some n2, and let I denote the n×n identity matrix. Using cofactor expansion along the first row of I, we obtain

det(I)=(1)2(1)det(I~11)+(1)3(0)det(I~12)++(1)1+n(0)det(I~1n)=1(1)+0++0=1

because I~11 is the (n1)×(n1) identity matrix. This shows that the determinant of the n×n identity matrix is 1 , and so the determinant of any identity matrix is 1 by the principle of mathematical induction.

Theorem

Theorem 4.3

The determinant of an n×n matrix is a linear function of each row when other rows are fixed. That is, for 1rn, we have

det(a1ar1u+kvar+1an)=det(a1ar1uar+1an)+kdet(a1ar1var+1an)

whenever k is a scalar and u,v and each ai are row vectors in Fn.

Corollary

If an n×n matrix has a row consisting entirely of zeros, then its determinant is zero.

Theorem 4.4

The determinant can be computed by cofactor expansion along any row i:

det(A)=j=1n(1)i+jAijdet(A~ij).

Corollary

If a matrix has two identical rows, then its determinant is zero.

Theorem 4.5

If B is obtained from A by interchanging two rows, then

det(B)=det(A).

We now complete our investigation of how an elementary row operation affects the determinant of a matrix by showing that elementary row operations of type 3 do not change the determinant of a matrix.

Theorem 4.6

If B is obtained from A by adding a multiple of one row to another, then

det(B)=det(A).

Corollary

If A has rank less than n, then det(A)=0.

Rules for Elementary Row Operations on Determinants:

  • Interchange two rows: determinant changes sign.
  • Multiply a row by scalar k: determinant multiplied by k.
  • Add a multiple of one row to another: determinant unchanged.

Exammple 4.2.5

To evaluate the determinant of the matrix

B=(013235444)

in Example 2, we must begin with a row interchange. Interchanging rows 1 and 2 of B produces

C=(235013444)

By means of a sequence of elementary row operations of type 3, we can transform C into an upper triangular matrix:

(235013444)(2350130106)(2350130024).

Thus det(C)=2124=48. Since C was obtained from B by an interchange of rows, it follows that

det(B)=det(C)=48.

Example 4.2.6

The technique in Example 4.2.5 can be used to evaluate the determinant of the matrix

C=(2001013323524446)

in Example 4.2.3, This matrix can be transformed into an upper triangular matrix by means of the following sequence of elementary row operations of type 3:

(2001013323524446)(2001013303530448)(200101330046001620)(2001013300460004).

Thus det(C)=2144=32 .

4.3 Properties of Determinants

The determinant of elementary matrices:

(a) Type 1 (row interchange): determinant = 1.

(b) Type 2 (row scaling): determinant = scalar k.

(c) Type 3 (row addition): determinant = 1.

Theorem 4.7 [core]

For any A,BMn×n(F),

det(AB)=det(A)det(B).

Corollary

Matrix A is invertible if and only if

det(A)0,

and if invertible,

det(A1)=1det(A).

Theorem 4.8

For any AMn×n(F),

det(A)=det(A).

Cramer's Rule [core]

Theorem 4.9 Cramer's Rule

Let Ax=b be a system of n linear equations in n unknowns. If det(A)0, then the system has a unique solution, and for each k (1kn),

xk=det(Mk)det(A),

where Mk is the matrix obtained from A by replacing column k by b.

Example 4.3.1 (Applying Cramer's Rule):

Solve the system

{x1+2x2+3x3=2x1+x3=3x2+2x3=1

Matrix form: Ax=b, where

A=(123101012),b=(231)

Since det(A)=60, the system has a unique solution:

x1=det(M1)det(A)=det(223301111)det(A)=156=52,x2=det(M2)det(A)=det(123131111)det(A)=66=1,x3=det(M3)det(A)=det(122103111)det(A)=36=12.

Thus the unique solution to the given system of the linear equation is

(x1,x2,x3)=(52,1,12).

Geometric Interpretations of Determinants

  • det(A)0: The matrix A corresponds with some linear transformation, so solving Ax=v means we‘re looking for a vector x, which, after applying the transformation, lands on v.

  • det(A)=0: When it squishes 3D space onto the plane, or even if it squishes it onto a line or a point. Those all correspond to a determinant of zero, since any region is squished into something with zero volume. It's still possible that a solution exists even when there is no inverse.

  • The absolute value of det(A) equals the n-dimensional volume of the parallelepiped formed by the rows (or columns) of A.

  • det(A)=0 means the volume collapses to zero, i.e., the vectors are linearly dependent.

  • Changing basis orientation changes the sign of det(A).

it is possible to interpret the determinant of a matrix AMn×n(R) geometrically. If the rows of A are a1,a2,,an, respectively, then |det(A)| is the n-dimensional volume (the generalization of area in R2 and volume in R3 ) of the parallelepiped having the vectors a1,a2,,an as adjacent sides.

Example 4.3.2

The volume of the parallelepiped having the vectors a1=(1,2,1),a2=(1,0,1), and a3=(1,1,1) as adjacent sides is

|det(121101111)|=6example

Note that the object in question is a rectangular parallelepiped (see Figure 4.6 ) with sides of lengths 6,2, and 3. Hence by the familiar formula for volume, its volume should be 623=6, as the determinant calculation shows.

row reducing and relationship

{ax+by+cz=udx+ey+fz=vgx+hy+iz=w[abcdefghi]1aR1R1[1bacadefghi]dR1+R2R2gR1+R3R3[1baca0aebdaafcda0ahbgaaicga]

Continuing,

[1baca0acbdaafcda0ahbqaaicqa]aacbdR2R2aahbgR3R3[1baca01afcdacbd01aicgahbg]

And,

[1baca01afcdacbd01aicgahbg]R2+R3R3[1baca01afcdacbd00(aicg)(aebd)(afcd)(ahbg)(ahbg)(aebd)]

Relationship to the Determinant

Note that we are also assuming that ahbg0 and aebd0 in the preceding computations.

Now the question is this. Under what condition on the quantity in the lower right corner of this last matrix will the original system be guaranteed to not have a unique solution? This would mean it would have no solutions or infinitely many.

Remember that the quantity in the lower right corner of the last matrix above is the coefficient of z in the row equivalent system that corresponds to the REF form. This new system is guaranteed to not have a unique solution if that coefficient is zero. Make sure you think about why this makes sense!

Therefore, the condition for lack of a unique solution is (aicg)(aebd)(afcd)(ahbg)=0. By expansion, this is equivalent to the equation

a2eiabdiaceg+bcdg(a2fhabfgacdh+bcdg)=0

But this simplifies to a(aeibdicegafh+bfg+cdh)=0. Since we are assuming that a0, this is equivalent to

aeiafhbdi+bfg+cdhceg=a(eifh)b(difg)+c(dheg)=0.

But the expression a(eifh)b(difg)+c(dheg) is the determinant of the 3×3 coefficient matrix of the system!

Ultimately, we can say that the original linear system of three equations and three unknowns has a unique solution if and only if the determinant of its 3×3 coefficient matrix is nonzero.

Released under the MIT License.