MATH1030 · 7
Chapter outline · Determinants
Definitions and theorem statements recorded in the web, in note order, with the exact proof steps behind their recorded connections.
3 of 3 public sections have indexed statements. This outline covers only those statements, not every theorem in the chapter. Recorded connections are still being reviewed.
Determinants and cofactor expansion
6 recorded theorems · 2 recorded definitions
DefinitionSubmatrix, minor, and cofactor
Read the statement in context →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.
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.DefinitionRecursive definition of the determinant
Read the statement in context →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 .
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremExpansion along an arbitrary row or column
Read the statement in context →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 consequences below use this theorem as stated. The complete proof is in MATH1550: arbitrary cofactor expansion from the recursive determinant. Read it after the recursive definition here: grouping the Leibniz sum by gives the same base case and first-row recurrence, so induction identifies the two definitions; deleting changes the sign by ; grouping again gives any row or column. It does not assume the row-swap or product laws that follow here. Return to the zero-row and triangular consequences below once this bridge is clear.
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremA zero row or zero column gives determinant zero
Read the statement in context →If every entry in one row or one column of a square matrix is zero, then its determinant is zero.
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremA row or column with one possible nonzero entry
Read the statement in context →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 .
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremTriangular determinant theorem
Read the statement in context →If is upper triangular or lower triangular, then
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremMultilinearity in one fixed row
Read the statement in context →Fix every row except row . If the new row is , then
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremRepeated rows force determinant zero
Read the statement in context →If a square matrix has two identical rows, then its determinant is .
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
Row operations, products, and invertibility
5 recorded theorems · 1 recorded definitions
DefinitionElementary row operations and elementary matrices
Read the statement in context →Work over the real numbers. Let be an matrix. An elementary row operation is one of the following, with the indicated row indices distinct when two rows occur:
: interchange rows and ;
, where ;
.
The corresponding elementary matrix is obtained by applying that operation to . Left multiplication gives the same operation on every matrix : the transformed matrix is . The restriction is essential for an elementary operation because it makes the operation reversible.
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremThe three row-operation determinant rules
Read the statement in context →For an matrix , with and whenever two row indices occur:
If results from by , then .
If results from by , then , including the identity at .
If results from by with , then .
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremThe mixed-operation ledger
Read the statement in context →Suppose a sequence of elementary operations changes into . If the sequence contains swaps and scales rows by nonzero factors , then
Consequently,
Row replacements do not appear in the product because their multiplier is .
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremDeterminant of a product
Read the statement in context →If and are square matrices of the same size, then
UsesDependencies are not fully reviewed.Used byTheoremDeterminant criterion for invertibility
Read the statement in context →For a square matrix ,
UsesDependencies are not fully reviewed.Used byTheoremInverse determinants and integral powers
Read the statement in context →If is invertible, then
For every positive integer and every square ,
If is invertible, the same identity holds for every integer , including negative .
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
Transpose, column operations, and Cramer's rule
5 recorded theorems · 1 recorded definitions
TheoremDeterminant of a transpose
Read the statement in context →For every square matrix ,
UsesUsed byNo later use recorded yet.TheoremCofactor expansion along any column
Read the statement in context →For any fixed column of a square matrix , with , where is the minor determinant and is the cofactor,
Equivalently,
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremHow column operations change determinant
Read the statement in context →Let be obtained from a square matrix by one elementary column operation.
Swapping two distinct columns and multiplies the determinant by .
Multiplying column by multiplies the determinant by . For a reversible elementary operation, .
Replacing column by , with , leaves the determinant unchanged.
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.DefinitionAdjoint matrix
Read the statement in context →For an matrix with , let denote the cofactor of , and first form the cofactor matrix
The adjoint matrix is the transpose of that cofactor matrix:
For the base case, define and . Then . The cofactor identity proof below handles .
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremAdjoint identity and inverse formula
Read the statement in context →For every square matrix , including singular matrices,
If , then is invertible and
UsesDependencies are not fully reviewed.Used byNo later use recorded yet.TheoremCramer's rule
Read the statement in context →Let satisfy , and let . For each , let be the matrix obtained by replacing the th column of with .
If is the unique solution of
then
UsesUsed byNo later use recorded yet.