08-07 β Determinants (Deep)
Phase: 8 β Linear Algebra (Rigorous) Subject: 08-07 Prerequisites: 08-06 β Orthogonal Projections Next subject: 08-08 β Eigenvalues and Eigenvectors
Learning Objectives
By the end of this subject, you will be able to:
- Define the determinant of an n Γ n matrix via permutations and parity (Leibniz formula), and compute small determinants by hand
- Compute determinants using cofactor expansion (Laplace expansion) along any row or column
- State and apply the key properties of determinants: multilinearity, alternating property, multiplicativity, and effect of row operations
- Use Cramer's rule to solve small linear systems and understand when it applies
- Interpret the determinant geometrically as signed volume/area in R^n and use it to test invertibility and orientation
Core Content
1. Definition via Permutations (Leibniz Formula)
The determinant of an n Γ n matrix A = [a_ij] is:
$det(A) = Ξ£_{Ο β S_n} sgn(Ο) Β· a_{1,Ο(1)} a_{2,Ο(2)} ... a_{n,Ο(n)}
> **CRITICAL β Foundational:** The determinant is uniquely defined by: (1) det(I) = 1, (2) swapping rows flips sign, (3) linear in each row. These three imply ALL other properties.
$
where: - S_n is the set of all n! permutations of {1, 2, ..., n} - sgn(Ο) = (+1 if Ο is even, β1 if Ο is odd) - A permutation is even/odd based on the number of transpositions (swaps) needed to return it to the identity
Examples: - n = 1: det([a]) = a - n = 2: det([a b; c d]) = aΒ·d β bΒ·c (Sβ = {identity (even), swap (odd)}) - n = 3: det([aββ aββ aββ; aββ aββ aββ; aββ aββ aββ]) = aββaββaββ + aββaββaββ + aββaββaββ β aββaββaββ β aββaββaββ β aββaββaββ (6 terms: 3 even permutations, 3 odd)
Parity (sign) of permutations: An inversion is a pair (i, j) with i < j but Ο(i) > Ο(j). Ο is even if it has an even number of inversions; odd otherwise. Equivalently, sgn(Ο) = (β1)^(#inversions).
Example: Ο = (2, 3, 1). Inversions: (2,1), (3,1) β 2 inversions β sgn = +1 (even).
2. Cofactor Expansion (Laplace Expansion)
The (i, j) minor M_ij is the determinant of the (nβ1) Γ (nβ1) submatrix obtained by deleting row i and column j.
The (i, j) cofactor is C_ij = (β1)^{i+j} M_ij.
Cofactor expansion along any row i:
$det(A) = Ξ£_{j=1}^n a_ij C_ij
$
Or along any column j:
$det(A) = Ξ£_{i=1}^n a_ij C_ij
$
Example (3 Γ 3):
$A = [1 2 3]
[4 5 6]
[7 8 9]
$
Expand along row 1: det(A) = 1Β·Cββ + 2Β·Cββ + 3Β·Cββ = 1Β·(+1)Β·det[5 6; 8 9] + 2Β·(β1)Β·det[4 6; 7 9] + 3Β·(+1)Β·det[4 5; 7 8] = 1Β·(45β48) β 2Β·(36β42) + 3Β·(32β35) = 1Β·(β3) β 2Β·(β6) + 3Β·(β3) = β3 + 12 β 9 = 0.
3. Properties of Determinants
Fundamental properties:
-
det(I) = 1
-
Row interchange: Swapping two rows multiplies det by β1.
-
Multilinearity (rows): det is linear in each row when others are fixed. det(..., cΒ·row_i, ...) = cΒ·det(..., row_i, ...) det(..., u+v, ...) = det(..., u, ...) + det(..., v, ...)
-
Alternating: If two rows are equal, det = 0.
-
Row operation (add multiple of row): Adding a multiple of one row to another leaves det unchanged.
-
Triangular matrix: det = product of diagonal entries.
-
Singularity: det(A) = 0 iff A is singular (not invertible). Equivalently, det(A) β 0 iff columns/rows are independent.
-
Multiplicativity: det(AB) = det(A)Β·det(B)
-
Transpose: det(A^T) = det(A)
-
Inverse: det(Aβ»ΒΉ) = 1/det(A) (when A is invertible)
-
Block triangular: det([A B; 0 C]) = det(A)Β·det(C)
Effect of row operations on determinant: - Row swap: det β βdet - Row scaling by c: det β cΒ·det - Row addition: det unchanged
Example using row operations:
$A = [1 2 3]
[2 1 3]
[3 3 6]
$
Rββ2Rβ: [1 2 3; 0 β3 β3; 3 3 6] Rββ3Rβ: [1 2 3; 0 β3 β3; 0 β3 β3] RββRβ: [1 2 3; 0 β3 β3; 0 0 0] Triangular: det = 1Β·(β3)Β·0 = 0. A is singular. β
4. Cramer's Rule
For an n Γ n invertible matrix A, the unique solution to Ax = b has components:
$x_i = det(A_i) / det(A) $
where A_i is A with column i replaced by b.
Why it works: Write x = Aβ»ΒΉb. By the adjugate formula Aβ»ΒΉ = adj(A)/det(A). Then x_i = (1/det(A)) Ξ£_j adj(A)_ij b_j = det(A_i)/det(A). (The sum is precisely the cofactor expansion of A with column i replaced by b.)
Example:
$2x + y = 5 x β 3y = β1 $
A = [2 1; 1 β3], det(A) = β6 β 1 = β7.
x = det([5 1; β1 β3]) / (β7) = (β15 β (β1))/(β7) = (β14)/(β7) = 2. y = det([2 5; 1 β1]) / (β7) = (β2 β 5)/(β7) = (β7)/(β7) = 1.
Limitations: Cramer's rule requires O(n!) operations. It's computationally impractical for n > 4 but theoretically useful.
Common Pitfall: Cramer's rule is elegant but EXPENSIVE β never use it for n > 4. Use Gaussian elimination (O(nΒ³)) for practical computation.
5. Geometric Interpretation
In R^n, the absolute value |det(A)| is the n-dimensional volume of the parallelepiped spanned by the column vectors of A.
- n = 2: |det([a b; c d])| = |ad β bc| = area of parallelogram spanned by (a,c) and (b,d)
- n = 3: |det(A)| = volume of parallelepiped
Sign: det(A) > 0 means the columns form a right-handed (positively oriented) basis; det(A) < 0 means left-handed.
Area/volume after linear transformation: If T(x) = Ax, then volume(T(S)) = |det(A)|Β·volume(S) for any region S.
Connection to independence: det(A) β 0 iff columns are independent iff the parallelepiped has nonzero n-dimensional volume.
Key Terms
- Cofactor expansion
Worked Examples
Example 1: Determinant by Cofactor Expansion
Problem: Compute det(A) where A = [2 β1 0; 3 1 2; 1 0 β1].
Solution: Expand along row 3 (has a zero for convenience).
$det(A) = 1Β·Cββ + 0Β·Cββ + (β1)Β·Cββ $
Cββ = (+)det[β1 0; 1 2] = 1Β·(β1Β·2 β 0Β·1) = β2. (sign: (β1)^{3+1} = +1) Cββ = (+)det[2 β1; 3 1] = 1Β·(2Β·1 β (β1)Β·3) = 5. (sign: (β1)^{3+3} = +1)
det(A) = 1Β·(β2) + (β1)Β·5 = β2 β 5 = β7.
Check via row operations: Rβ β (3/2)Rβ: [2 β1 0; 0 5/2 2; 1 0 β1] Rβ β (1/2)Rβ: [2 β1 0; 0 5/2 2; 0 1/2 β1] Rβ β (1/5)Rβ: [2 β1 0; 0 5/2 2; 0 0 β7/5] det = 2 Β· (5/2) Β· (β7/5) = β7. β
Example 2: Determinant Properties in Action
Problem: Without computing, find the relationship between det(A) and det(B): A = [a b c; d e f; g h i] B = [a b c; 2d 2e 2f; g h i]
Solution: Row 2 of B is 2 Γ row 2 of A. By multilinearity, det(B) = 2Β·det(A).
Another: If C = [a b c; d+a e+b f+c; g h i] (row 2 = original row 2 + row 1 of A), then det(C) = det(A) since adding a multiple of one row to another doesn't change the determinant.
Another: If D = [a b c; g h i; d e f] (rows 2 and 3 swapped), then det(D) = βdet(A).
Example 3: Cramer's Rule
Problem: Solve using Cramer's rule:
$x + 2y + z = 5 2x β y + 3z = 7 x + y + z = 4 $
Solution: A = [1 2 1; 2 β1 3; 1 1 1].
det(A) = 1Β·det[β1 3; 1 1] β 2Β·det[2 3; 1 1] + 1Β·det[2 β1; 1 1] = 1Β·(β1β3) β 2Β·(2β3) + 1Β·(2β(β1)) = β4 β 2Β·(β1) + 3 = β4 + 2 + 3 = 1.
x = det([5 2 1; 7 β1 3; 4 1 1])/1 = 5Β·det[β1 3; 1 1] β 2Β·det[7 3; 4 1] + 1Β·det[7 β1; 4 1] = 5Β·(β4) β 2Β·(7β12) + 1Β·(7β(β4)) = β20 β 2Β·(β5) + 11 = β20 + 10 + 11 = 1.
y = det([1 5 1; 2 7 3; 1 4 1])/1 = 1Β·det[7 3; 4 1] β 5Β·det[2 3; 1 1] + 1Β·det[2 7; 1 4] = 1Β·(7β12) β 5Β·(2β3) + 1Β·(8β7) = β5 β 5Β·(β1) + 1 = β5 + 5 + 1 = 1.
z = det([1 2 5; 2 β1 7; 1 1 4])/1 = 1Β·det[β1 7; 1 4] β 2Β·det[2 7; 1 4] + 5Β·det[2 β1; 1 1] = 1Β·(β4β7) β 2Β·(8β7) + 5Β·(2+1) = β11 β 2 + 15 = 2.
Solution: (x, y, z) = (1, 1, 2). Check: 1+2+2=5, 2β1+6=7, 1+1+2=4. β
Example 4: Geometric Interpretation
Problem: Find the area of the triangle with vertices (0,0), (3,1), (1,4).
Solution: The triangle has half the area of the parallelogram spanned by v = (3,1) and w = (1,4).
Area = (1/2) |det([3 1; 1 4])| = (1/2) |3Β·4 β 1Β·1| = (1/2)Β·11 = 5.5.
The parallelogram has area 11.
Quiz
Q1: How many terms are in the Leibniz expansion of a 4 Γ 4 determinant?
A) 4 B) 16 C) 24 D) 256
Correct: C)
- If you chose C: The determinant sums over all n! permutations: 4! = 24 terms. Correct!
- If you chose A: 4 is n, not n!.
- If you chose B: 16 = 4Β² = nΒ², not n!.
- If you chose D: 256 = 4β΄, not relevant to determinants.
Q2: The cofactor C_ij of matrix entry a_ij includes the sign factor:
A) (β1)^i B) (β1)^j C) (β1)^{i+j} D) (β1)^{iΒ·j}
Correct: C)
- If you chose C: C_ij = (β1)^{i+j} M_ij, creating the checkerboard pattern: [+ β +; β + β; + β +]. Correct!
- If you chose A or B: The sign depends on both row and column indices.
- If you chose D: iΒ·j does not produce the correct checkerboard pattern.
Q3: If you swap two rows of a matrix, what happens to its determinant?
A) It stays the same B) It is multiplied by β1 C) It becomes 0 D) It doubles
Correct: B)
- If you chose B: Row swaps reverse orientation, multiplying the determinant by β1. This is the alternating property. Correct!
- If you chose A: Swapping rows changes the sign, unlike row addition.
- If you chose C: Swapping doesn't make the determinant zero unless rows were identical.
- If you chose D: Swapping flips the sign, it doesn't scale by 2.
Q4: For an n Γ n matrix A, det(cA) equals:
A) cΒ·det(A) B) c^nΒ·det(A) C) nΒ·det(A) D) det(A)/c
Correct: B)
- If you chose B: Each of the n rows is multiplied by c, and by multilinearity each contributes a factor c, so det(cA) = c^n det(A). Correct!
- If you chose A: Forgets that all n rows are scaled; only correct for n = 1.
- If you chose C: Confuses the dimension n with the scaling factor.
- If you chose D: Division would make the determinant smaller, not larger.
Q5: Cramer's rule for solving Ax = b gives the i-th component as:
A) det(A_i)/det(A) where A_i is A with column i replaced by b B) det(A)/det(A_i) C) det(A)Β·det(A_i) D) det(A_i) β det(A)
Correct: A)
- If you chose A: x_i = det(A_i)/det(A). The numerator replaces column i of A with b and computes the determinant. Correct!
- If you chose B: The ratio is inverted; det(A_i) goes in the numerator.
- If you chose C: The product is not Cramer's rule.
- If you chose D: The difference does not give the solution.
Q6: Geometrically, |det(A)| for a 2 Γ 2 matrix A represents:
A) The perimeter of the parallelogram spanned by its columns B) The area of the parallelogram spanned by its columns C) The angle between its columns D) The sum of the lengths of its columns
Correct: B)
- If you chose B: |ad β bc| is the area of the parallelogram with sides (a,c) and (b,d). In n dimensions, |det| gives the n-dimensional volume spanned by the columns. Correct!
- If you chose A: The determinant gives area, not perimeter.
- If you chose C: The determinant encodes angle information (det = βaββbβ sin ΞΈ) but isn't the angle itself.
- If you chose D: The determinant is not a sum of lengths.
Practice Problems
(Answers are below. Try each problem before checking.)
Problem 1: State the sign of each permutation of {1, 2, 3}: (a) (1, 2, 3), (b) (2, 3, 1), (c) (3, 1, 2), (d) (3, 2, 1).
Problem 2: Compute det([2 1 3; 4 β1 2; 1 0 5]) using cofactor expansion.
Problem 3: Use determinant properties to compute det([a b c; d e f; a+g b+h c+i]) in terms of other determinants.
Problem 4: Solve using Cramer's rule: 3x + y = 5, 2x β y = 0.
Problem 5: Find the volume of the parallelepiped spanned by (1, 0, 1), (2, 1, 0), and (0, 1, 3).
Problem 6: Prove that det(Aβ»ΒΉ) = 1/det(A) for invertible A.
Problem 7: Show that det(cA) = c^n det(A) for an n Γ n matrix A.
Answers (click to expand)
**Problem 1:** (a) Identity: 0 inversions β sgn = +1 (even) (b) (2,3,1): inversions (2,1), (3,1) β 2 β sgn = +1 (even) (c) (3,1,2): inversions (3,1), (3,2) β 2 β sgn = +1 (even) (d) (3,2,1): inversions (3,2), (3,1), (2,1) β 3 β sgn = β1 (odd) Note: (b) and (c) are even β they are 3-cycles. All 3-cycles have sgn = +1. **Problem 2:** Expand along row 3 (has a zero): det = 1Β·Cββ + 0Β·Cββ + 5Β·Cββ Cββ = (+)det[1 3; β1 2] = 1Β·(2 β (β3)) = 5. Cββ = (+)det[2 1; 4 β1] = 1Β·(β2 β 4) = β6. det = 1Β·5 + 5Β·(β6) = 5 β 30 = β25. **Problem 3:** Row 3 = (a+g, b+h, c+i) = (a,b,c) + (g,h,i) = row 1 + (g,h,i). By multilinearity: det([a b c; d e f; a+g b+h c+i]) = det([a b c; d e f; a b c]) + det([a b c; d e f; g h i]). The first term has rows 1 and 3 equal β det = 0. So the result = det([a b c; d e f; g h i]). **Problem 4:** A = [3 1; 2 β1], det(A) = β3 β 2 = β5. Aβ = [5 1; 0 β1], det = β5. Aβ = [3 5; 2 0], det = β10. x = β5/(β5) = 1, y = β10/(β5) = 2. Solution: (1, 2). Check: 3+2=5, 2β2=0. β **Problem 5:** A = [1 2 0; 0 1 1; 1 0 3]. det(A) = 1Β·det[1 1; 0 3] β 2Β·det[0 1; 1 3] + 0Β·... = 1Β·3 β 2Β·(β1) = 3 + 2 = 5. Volume = |5| = 5. **Problem 6:** det(A Aβ»ΒΉ) = det(I) = 1. By multiplicativity: det(A)Β·det(Aβ»ΒΉ) = 1. Since det(A) β 0 (A is invertible), det(Aβ»ΒΉ) = 1/det(A). **Problem 7:** cA has each row multiplied by c. By multilinearity, each row contributes a factor c, and there are n rows. So det(cA) = c^n det(A). Alternative via definition: each term in the Leibniz sum has n factors, each multiplied by c, giving c^n.Summary
- The determinant is defined by the Leibniz formula summing over all n! permutations with signs determined by parity; it's the unique multilinear alternating form with det(I) = 1
- Cofactor expansion provides a recursive computation method: pick a row or column, compute minors and cofactors with signs (β1)^{i+j}
- Determinants have powerful algebraic properties: det(AB) = det(A)det(B), row swap negates det, scaling a row scales det, and two equal rows give det = 0
- Cramer's rule gives explicit formulas for solving Ax = b when A is invertible: x_i = det(A_i)/det(A); elegant in theory but computationally expensive
- Geometrically, |det(A)| is the n-volume of the parallelepiped spanned by its columns; det(A) = 0 β columns are linearly dependent β zero n-volume
Pitfalls
-
Assuming det(A + B) = det(A) + det(B). The determinant is multiplicative, NOT additive. In general det(A + B) β det(A) + det(B). A simple counterexample: A = I, B = βI, where det(I) + det(βI) = 1 + 1 = 2 but det(I + (βI)) = det(0) = 0.
-
Getting cofactor signs wrong. The cofactor sign is (β1)^{i+j}, creating a checkerboard pattern. A common error is using (β1)^i or (β1)^j alone. For a 3Γ3 expansion, misplacing a single sign flips the sign of the entire determinant.
-
Forgetting that det(cA) = c^n det(A), not cΒ·det(A). Each of the n rows is scaled by c, so the determinant picks up a factor of c^n. For a 3Γ3 matrix, det(2A) = 8Β·det(A), not 2Β·det(A).
-
Using Cramer's rule numerically for n > 3. Cramer's rule requires computing n+1 determinants of size n, each O(n!). For n = 10, this is ~4Γ10^8 operations vs. ~10^3 for Gaussian elimination. Cramer's rule is a theoretical tool; use elimination for computation.
-
Confusing the effect of row operations on the determinant. Row swaps multiply det by β1. Row scaling multiplies det by the scale factor. Row addition (adding a multiple of one row to another) leaves det UNCHANGED β but only if you add to a DIFFERENT row. Adding a multiple of a row to itself doubles it, which scales det.
Next Steps
Move on to 08-08 β Eigenvalues and Eigenvectors to discover the characteristic equation, how to find eigenvalues and eigenvectors, the distinction between algebraic and geometric multiplicity, and the conditions for diagonalization.