Loading…
Loading…
Define determinants carefully through minors and cofactors, then learn how cofactor expansion turns one scalar into a precise summary of square-matrix structure.
Definition
Let be an matrix with . For indices , delete row and column simultaneously. The resulting matrix is the submatrix .
The minor belonging to is the scalar
The cofactor belonging to is the signed scalar
The signs form a checkerboard whose upper-left sign is positive:
The notation names a matrix, is a determinant of that matrix, and is that scalar after the sign has been attached. Keeping these three objects distinct prevents a common double-sign error.
Definition
For a matrix , define
For an matrix with , define its determinant by expansion along the first row:
This is a definition, not yet a theorem about other rows or columns. Each minor in the sum has size , so repeated use of the definition eventually reaches the base case. No determinant convention is needed: the submatrix and minor definitions are used only for .
Let be real , , with determinant defined by the one-by-one base case and first-row recursion. Let be the permutations of . Define the inversion number as the number of pairs with , and put .
Suppose and delete position and value , keeping the relative orders of the remaining positions and values; the resulting permutation is . If entries before position are smaller than , the inversions removed are . Consequently
Define . For , it is the recursive determinant. For , grouping by and using the sign identity gives . Induction therefore proves .
Now fix any row and group the same finite permutation sum by . Deletion is a bijection to all permutations of the corresponding minor, so
For a fixed column , each permutation has a unique position with . Grouping by that position gives
Both expansion formulas concern , so no empty determinant convention was introduced. This proves the general expansion theorem without assuming alternating row rules or the determinant product theorem.
Theorem
If every entry in one row or one column of a square matrix is zero, then its determinant is zero.
Theorem
For a square matrix of size , suppose all entries in row are zero except possibly . Then
The same formula holds when all entries in column are zero except possibly . The formula includes the case .
For , a matrix with a zero row is , whose determinant is by the base definition. For , expand along that row using the arbitrary-row theorem. Every term has a zero entry as its factor, so every term is zero and hence .
The zero-column statement can be proved directly by induction, which makes the inheritance of the zero column explicit. For , the only matrix with a zero column is , and its determinant is . Assume the statement for . Let be a matrix with zero column . Expand along the first row. The term from column is zero. In every other term, delete row and a column ; the original zero column survives as a zero column of the resulting submatrix (with its index shifted when ). By the induction hypothesis each such submatrix has determinant zero. Hence every term is zero, proving .
For the one-support theorem, the row case follows by expanding along row : all terms except the -term vanish. For the column case, expand along row . The -term remains. For each , the submatrix inherits a zero column from column of , so its determinant is zero by the zero-column result. Therefore only remains. This is the precise reason that a sparse row or column collapses the calculation to one minor.
Theorem
If is upper triangular or lower triangular, then
We prove the upper-triangular statement by induction on . For , it is the determinant definition. Suppose it holds for upper-triangular matrices, and let be upper triangular of size . Its last row has zero entries except possibly . Expanding along that last row gives
because the sign is . The retained submatrix is still upper triangular, with diagonal . By induction its determinant is , giving the required product through . For a lower-triangular matrix, expand along the first row, whose only possible nonzero entry is ; the retained submatrix is lower triangular with diagonal , and the same induction proves the result.
Theorem
Fix every row except row . If the new row is , then
For , the base definition gives
For , fix every row except row . Let matrices agree in all those fixed rows, and suppose their th rows satisfy . For each column , deleting row gives the same submatrix:
Expanding along row and using the entrywise relation gives
The equality works precisely because every other row is held fixed; changing two rows at once is a different statement.
Theorem
If a square matrix has two identical rows, then its determinant is .
Let have adjacent rows , and let be obtained by swapping those two physical rows. Expand along row . Expand along row , where the row has moved. For each column , the retained submatrix in the two expansions is the same matrix: deleting the position occupied by leaves the other row in the same order. However, the signs differ:
The entries and minors therefore match term by term with the opposite sign, so . Swapping rows in positions can be realised by adjacent swaps, an odd number, and hence also changes the sign.
If rows and of are identical, the matrix obtained by swapping them is still . The swap result then gives . Since the entries are real, this implies and therefore . This proof does not rely on a later row-replacement rule.
For each term, keep three objects visible: the selected entry, its submatrix after deleting one row and one column, and the minor obtained by taking that submatrix determinant. Write the checkerboard sign from the original row and column positions before evaluating the minor. When a minor is expanded again, its local indices guide the inner sign; they do not replace the outer sign.
The arbitrary-row and arbitrary-column theorem makes the choice of expansion line strategic. Choose a line with many zeros or simple surviving minors, and state that choice before calculating. A zero entry removes a branch immediately, whereas a zero minor must be established by its own calculation. The recursive first-row formula defines the determinant; arbitrary-line expansion is the theorem that permits this computational choice.
Elimination detects invertibility by reducing a square matrix to pivot equations. A determinant records the same distinction in one scalar: its value is nonzero exactly when the matrix is invertible. To construct this scalar and justify how it changes under elimination, begin with signed expansions into smaller square matrices.
The construction is recursive. A determinant of size is expressed using determinants of size , and the recursion stops at the case. The sign attached to each smaller determinant matters: omitting one minus sign can change the final value even when every minor has been computed correctly.
Concept lensStructural
The recursive expansion is an algorithmic way to calculate a number: choose an entry, delete its row and column, and continue on the smaller determinant. The same number also has a structural role: zero rows, repeated rows, and triangular shape force predictable values. These structural rules follow from the expansion. A cofactor is a signed scalar, not a new row or column of the matrix.
Definition
Let be an matrix with . For indices , delete row and column simultaneously. The resulting matrix is the submatrix .
The minor belonging to is the scalar
The cofactor belonging to is the signed scalar
The signs form a checkerboard whose upper-left sign is positive:
The notation names a matrix, is a determinant of that matrix, and is that scalar after the sign has been attached. Keeping these three objects distinct prevents a common double-sign error.
Definition
For a matrix , define
For an matrix with , define its determinant by expansion along the first row:
This is a definition, not yet a theorem about other rows or columns. Each minor in the sum has size , so repeated use of the definition eventually reaches the base case. No determinant convention is needed: the submatrix and minor definitions are used only for .
Theorem
For a square matrix of size , and every fixed row index ,
The corresponding column statement is: for every fixed column index ,
Thus the first-row formula is the recursive definition, while an arbitrary-row or arbitrary-column formula is a theorem saying that the same determinant is independent of the chosen expansion line. The general proof is omitted here; the consequences below use this theorem precisely as stated.
Theorem
If every entry in one row or one column of a square matrix is zero, then its determinant is zero.
Theorem
For a square matrix of size , suppose all entries in row are zero except possibly . Then
The same formula holds when all entries in column are zero except possibly . The formula includes the case .
For , a matrix with a zero row is , whose determinant is by the base definition. For , expand along that row using the arbitrary-row theorem. Every term has a zero entry as its factor, so every term is zero and hence .
The zero-column statement can be proved directly by induction, which makes the inheritance of the zero column explicit. For , the only matrix with a zero column is , and its determinant is . Assume the statement for . Let be a matrix with zero column . Expand along the first row. The term from column is zero. In every other term, delete row and a column ; the original zero column survives as a zero column of the resulting submatrix (with its index shifted when ). By the induction hypothesis each such submatrix has determinant zero. Hence every term is zero, proving .
For the one-support theorem, the row case follows by expanding along row : all terms except the -term vanish. For the column case, expand along row . The -term remains. For each , the submatrix inherits a zero column from column of , so its determinant is zero by the zero-column result. Therefore only remains. This is the precise reason that a sparse row or column collapses the calculation to one minor.
Theorem
If is upper triangular or lower triangular, then
We prove the upper-triangular statement by induction on . For , it is the determinant definition. Suppose it holds for upper-triangular matrices, and let be upper triangular of size . Its last row has zero entries except possibly . Expanding along that last row gives
because the sign is . The retained submatrix is still upper triangular, with diagonal . By induction its determinant is , giving the required product through . For a lower-triangular matrix, expand along the first row, whose only possible nonzero entry is ; the retained submatrix is lower triangular with diagonal , and the same induction proves the result.
Theorem
Fix every row except row . If the new row is , then
For , the base definition gives
For , fix every row except row . Let matrices agree in all those fixed rows, and suppose their th rows satisfy . For each column , deleting row gives the same submatrix:
Expanding along row and using the entrywise relation gives
The equality works precisely because every other row is held fixed; changing two rows at once is a different statement.
Theorem
If a square matrix has two identical rows, then its determinant is .
Let have adjacent rows , and let be obtained by swapping those two physical rows. Expand along row . Expand along row , where the row has moved. For each column , the retained submatrix in the two expansions is the same matrix: deleting the position occupied by leaves the other row in the same order. However, the signs differ:
The entries and minors therefore match term by term with the opposite sign, so . Swapping rows in positions can be realised by adjacent swaps, an odd number, and hence also changes the sign.
If rows and of are identical, the matrix obtained by swapping them is still . The swap result then gives . Since the entries are real, this implies and therefore . This proof does not rely on a later row-replacement rule.
For each term, keep three objects visible: the selected entry, its submatrix after deleting one row and one column, and the minor obtained by taking that submatrix determinant. Write the checkerboard sign from the original row and column positions before evaluating the minor. When a minor is expanded again, its local indices guide the inner sign; they do not replace the outer sign.
The arbitrary-row and arbitrary-column theorem makes the choice of expansion line strategic. Choose a line with many zeros or simple surviving minors, and state that choice before calculating. A zero entry removes a branch immediately, whereas a zero minor must be established by its own calculation. The recursive first-row formula defines the determinant; arbitrary-line expansion is the theorem that permits this computational choice.
Worked example
Let
Deleting row and column leaves , while deleting row and column leaves . Their minors are and , so the checkerboard signs give
The definition now yields
The rule is therefore the instance of the recursive definition, not an unrelated formula to be memorised separately.
Worked example
Let
The first-row entries are , and the first-row signs are . Writing the third contribution as avoids losing the plus before the negative entry:
The three minors are, respectively,
and
Consequently,
There are two separate signs in the last term: the checkerboard sign is positive, and the matrix entry itself is .
Worked example
Consider the matrix
The second row has one zero, and its checkerboard signs are . Expand along that row:
The required minors are
Expanding each of these minors along its first row gives
Thus the signed second-row sum is
The zero in the first position removes a branch, but it is still necessary to keep the minus sign on the term and to verify the remaining minors.
Worked example
For
the triangular theorem gives
The induction proof explains why the entries above the diagonal do not appear: the last row leaves only in its expansion, and its retained minor is the upper-triangular matrix . Expanding that minor leaves and then . A diagonal matrix is the special case in which all off-diagonal entries are already zero, so .
Counterexample mode
It is false in general that . With ,
The valid repair is multilinearity in one fixed row. For a row , let , and let and . Then
while
The other row stayed fixed in both terms. That fixed-row condition is the content of multilinearity.
Common mistake
The submatrix is a matrix. The minor is the determinant of that submatrix. The cofactor is . If you write the checkerboard sign in the expansion and also use a cofactor that already contains it, you have multiplied the sign twice.
Common mistake
The determinant is defined here only for square matrices. A matrix does not have a determinant in this construction, because deleting one row and one column from a rectangular matrix does not produce the recursive square problem required by the definition.
Checkpoint
Write the two first-row cofactors, including the checkerboard sign, before multiplying by the entries.
The cofactors from the first row are and . Hence
Checkpoint
Choose the second row, which has two zero entries, and keep its middle sign.
Expand along the second row:
Checkpoint
Keep each minor indexed by its position in the original matrix.
For row , the signs are . The expansion is therefore ; the middle minus sign is attached to the entry in column .
Checkpoint
Use the row-swap sign change and the fact that swapping identical rows leaves the matrix unchanged.
Swapping the two equal rows changes the determinant to its negative, but the matrix itself is unchanged. Thus , so over the real numbers and .
Checkpoint
Use the base case of the recursive definition.
It is , because the determinant of a matrix equals its only entry.
Checkpoint
Count how many nonzero terms remain in the expansion.
Every zero entry contributes zero times its cofactor, so fewer nonzero terms and fewer smaller determinants need to be evaluated.
Checkpoint
Apply the triangular determinant theorem.
The determinant is .
Checkpoint
Connect the zero-row theorem with the determinant criterion for invertibility in the next note.
A zero row forces determinant . The next note shows that an invertible matrix has nonzero determinant, so a matrix with a zero row cannot be invertible.
Read 2.1 Matrix basics to review square matrices and indexing language.
Continue with 7.2 Row operations, products, and invertibility to see how determinants behave under elimination.
Keep 5.1 Invertible matrices nearby, because determinants soon become one more equivalent test for invertibility.