ConceptComplete

Cofactor Expansion and Computation Methods

Computing determinants efficiently requires strategic methods beyond the definition. Cofactor expansion, row reduction, and recognition of special forms provide practical computational tools.

DefinitionMinors and Cofactors

Let AA be an n×nn \times n matrix.

The minor MijM_{ij} is the determinant of the (n1)×(n1)(n-1) \times (n-1) submatrix obtained by deleting row ii and column jj: Mij=det(Aij)M_{ij} = \det(A_{ij})

The cofactor CijC_{ij} is the signed minor: Cij=(1)i+jMijC_{ij} = (-1)^{i+j}M_{ij}

The sign pattern follows a checkerboard: [+++++]\begin{bmatrix} + & - & + & \cdots \\ - & + & - & \cdots \\ + & - & + & \cdots \\ \vdots & \vdots & \vdots & \ddots \end{bmatrix}

TheoremLaplace Expansion

The determinant can be computed by expanding along any row or column:

Row expansion: det(A)=j=1naijCij\det(A) = \sum_{j=1}^n a_{ij}C_{ij} (expand along row ii)

Column expansion: det(A)=i=1naijCij\det(A) = \sum_{i=1}^n a_{ij}C_{ij} (expand along column jj)

The choice of row or column doesn't affect the result, allowing us to choose the one with most zeros for computational efficiency.

ExampleStrategic Cofactor Expansion

Compute det(A)\det(A) where: A=[2010300110200041]A = \begin{bmatrix} 2 & 0 & 1 & 0 \\ 3 & 0 & 0 & 1 \\ 1 & 0 & 2 & 0 \\ 0 & 0 & 4 & 1 \end{bmatrix}

Column 2 has all zeros, making it useless. Column 4 has three zeros, so expand along column 4: det(A)=0+1C24+01C44\det(A) = -0 + 1 \cdot C_{24} + 0 - 1 \cdot C_{44}

Only two 3×33 \times 3 determinants need computation, dramatically reducing work.

DefinitionComputational Methods

Row reduction method: Use elementary row operations to reduce AA to upper triangular form UU. Track sign changes from row swaps and scaling factors. Then: det(A)=(±1)(scaling factors)det(U)=(±1)(scaling factors)i=1nuii\det(A) = (\pm 1) \cdot (\text{scaling factors}) \cdot \det(U) = (\pm 1) \cdot (\text{scaling factors}) \cdot \prod_{i=1}^n u_{ii}

This method has O(n3)O(n^3) complexity, much faster than cofactor expansion's O(n!)O(n!).

Block matrices: If A=[BC0D]A = \begin{bmatrix} B & C \\ 0 & D \end{bmatrix} where BB and DD are square, then det(A)=det(B)det(D)\det(A) = \det(B)\det(D).

Remark

For hand computation of small matrices (up to 4×44 \times 4), cofactor expansion is manageable. For larger matrices or numerical computation, row reduction is essential. Special structures (diagonal, triangular, block) should always be exploited when present.