Differences between revisions 4 and 17 (spanning 13 versions)
Revision 4 as of 2024-06-06 02:30:57
Size: 4632
Comment: Reorg
Revision 17 as of 2026-01-21 16:26:27
Size: 4992
Comment: Link
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
The '''determinant''' is a number that embeds most information about a matrix.

For a matrix effecting a [[LinearAlgebra/Basis#Change_of_Basis|change of basis]], the determinant is the scaling factor of space between bases.

The determinant of '''''A''''' is often notated as ''|'''A'''|''.
The '''determinant''' is a number that embeds most information about a matrix, much like the [[LinearAlgebra/Trace|trace]]. Most importantly it is the scaling factor of a [[LinearAlgebra/LinearMapping|transformation]].
Line 17: Line 13:
Given an [[LinearAlgebra/SpecialMatrices#Upper_Triangular_Matrices|upper triangular matrix]], the determinant is the product of the diagonal. The determinant is the product of [[LinearAlgebra/EigenvaluesAndEigenvectors|eigenvalues]]: ''Π,,i,, λ,,i,,''.
Line 19: Line 15:
If a matrix cannot be [[LinearAlgebra/Elimination|eliminated]] into an upper triangular matrix, it is '''degenerate''' and [[LinearAlgebra/MatrixProperties#Invertible|non-invertible]]. This directly means that the determinant is zero. This generally only happens if there is multicolinearity. There is an important connection between determinants and [[LinearAlgebra/Elimination|elimination]]. A matrix does not need to be eliminated to arrive at the determinant, but if a matrix ''cannot'' be eliminated into an upper triangular matrix, it is '''singular''' and '''degenerate''' and '''non-invertible''' and the determinant is 0. This generally only happens if there is multicolinearity. This does lead to a convenient test for [[LinearAlgebra/Invertibility|invertibility]].
Line 21: Line 17:
As noted in the properties below, elimination does not change the determinant (although row exchanges flip the sign of it). The determinant of '''''A''''' is notated as ''|'''A'''|''.
Line 23: Line 19:
Given a [[LinearAlgebra/SpecialMatrices#Diagonal_Matrices|diagonal matrix]], the determinant is the product of the [[LinearAlgebra/EigenvaluesAndEigenvectors|eigenvalues]].
Line 25: Line 20:
If a matrix cannot be [[LinearAlgebra/Diagonalization|diagonalized]], it is '''defective'''. This simply means that one of the eigenvalues is zero; it may still be invertible and therefore have a non-zero determinent.
=== Simple Case ===

Given a matrix of shape ''2 x 2'', the determinant is calculated like:

{{{
    | a b |
det | c d | = ad - bc
}}}



=== Properties ===

The determinant of any non-square matrix is 0.

Determinants can be factored: ''|'''AB'''| = |'''A'''| |'''B'''|''.

The determinant of the [[LinearAlgebra/Invertibility|inverse]] is the inverse of the determinant: ''|'''A'''^-1^| = 1/|'''A'''|''.

[[LinearAlgebra/Transposition|Transposition]] does not change the determinant: ''|'''A'''^T^| = |'''A'''|''.
Line 31: Line 46:
== Test for Invertibility == == Special Matrices ==
Line 33: Line 48:
There is a direct connection between [[LinearAlgebra/MatrixProperties#Invertible|invertibility]] and having a non-zero determinant. As a result, calculation of the determinant is a simple test for invertibility. The determinant of the [[LinearAlgebra/SpecialMatrices#Identity_Matrix|identity matrix]] is 1.
Line 35: Line 50:
---- The determinant of a [[LinearAlgebra/SpecialMatrices#Permutation_Matrices|permutation matrix]] is 1 or -1; 1 if there are an even number of row exchanges; and -1 if there are an odd number.
Line 37: Line 52:
The determinant of an [[LinearAlgebra/Orthogonality#Matrices|orthogonal matrix]] is 1 or -1.
Line 38: Line 54:

== Special Matrices and their Determinants ==

For the [[LinearAlgebra/SpecialMatrices#Identity_Matrix|identity matrix]], the determinant is 1.

For a [[LinearAlgebra/SpecialMatrices#Permutation_Matrices|permutation matrix]], the determinant is 1 if there are an even number of row exchanges in the matrix or -1 if there are an odd number of row exchanges.

For an [[LinearAlgebra/Orthogonality#Matrices|orthogonal matrix]], the determinant is 1 or -1.

----



== Properties ==

Determinants can be factored: ''|'''AB'''| = |'''A'''| |'''B'''|''.

The determinant of the [[LinearAlgebra/MatrixInversion|inverse]] is the inverse of the determinant: ''|'''A'''^-1^| = 1/|'''A'''|''.

[[LinearAlgebra/MatrixTransposition|Transposition]] does not change the determinent: ''|'''A'''^T^| = |'''A'''|''.

Exchanging rows flips the sign of the determinant. This is the intuitive explanation for the determinant of the [[LinearAlgebra/SpecialMatrices#Permutation_Matrices|permutation matrix]] as noted above. If '''''U''' = '''PA''''', then ''|'''U'''| = |'''P'''| |'''A'''|''.

Multiplying a ''single row'' of a matrix by some factor simply means that the determinant was multiplied by the same factor.

{{{
    ┌ ┐ ┌ ┐
    │ ta tb│ │ a b│
det │ c d│ = t * det │ c d│
    └ ┘ └ ┘
}}}

Multiplying ''every row'' of a matrix by some factor means that the determinant was multiplied by the same factor to the ''n''th power.

{{{
    ┌ ┐ ┌ ┐ ┌ ┐
    │ ta tb│ │ a b│ │ a b│
det │ tc td│ = t * det │ tc td│ = t * t * det | c d|
    └ ┘ └ ┘ └ ┘
}}}

Adding to or subtracting from a ''single row'' of a matrix means that the determinant is the sum of the determinants of the two factored-out matrices.

{{{
    ┌ ┐ ┌ ┐ ┌ ┐
    │ a+x b+y│ │ a b│ │ x y│
det │ c d│ = det │ c d│ + det │ c d│
    └ ┘ └ ┘ └ ┘
}}}

Furthermore, elimination does not change the determinant at all.

{{{
    ┌ ┐ ┌ ┐ ┌ ┐ ┌ ┐ ┌ ┐ ┌ ┐
    │ a b│ │ a b│ │ a b│ │ a b│ │ a b│ │ a b│
det │ c-ma d-mb│ = det │ c d│ - det │ ma mb│ = det │ c d│ - m * det │ a b│ = det │ c d│ - m * 0
    └ ┘ └ ┘ └ ┘ └ ┘ └ ┘ └ ┘
}}}

Large matrices, especially with mostly zeros, can be broken up.
Large, sparse matrices can be broken up.
Line 108: Line 65:
----



== Elimination ==

[[LinearAlgebra/Elimination|Elimination]] does not necessarily change the determinant. More specifically, elimination of '''''A''''' into '''''U''''' is often characterized as '''''U''' = '''EA'''''; left multiplication by one or more elimination matrices. It follows from the above properties that ''|'''U'''| = |'''E'''| |'''A'''|''. If the determinant of '''''E''''' is 1, then clearly elimination does not change the determinant.

Adding (or subtracting) a linear combination of one row to another does not change the determinant. The example [[LinearAlgebra/Elimination|here]] featured only transformations like this ("subtracting a multiple of the pivot row from the targeted row"), and it can be shown that the determinant is unchanged.

{{{
julia> using LinearAlgebra

julia> A = [1 2 1; 3 8 1; 0 4 1]
3×3 Matrix{Int64}:
 1 2 1
 3 8 1
 0 4 1

julia> det(A)
10.0

julia> B = [1 2 1; 0 2 -2; 0 4 1]
3×3 Matrix{Int64}:
 1 2 1
 0 2 -2
 0 4 1

julia> det(B)
10.0
}}}

To prove this, consider the following:

{{{
    ┌ ┐ ┌ ┐ ┌ ┐ ┌ ┐ ┌ ┐ ┌ ┐
    │ a b│ │ a b│ │ a b│ │ a b│ │ a b│ │ a b│
det │ c-ma d-mb│ = det │ c d│ - det │ ma mb│ = det │ c d│ - m * det │ a b│ = det │ c d│ - m * 0
    └ ┘ └ ┘ └ ┘ └ ┘ └ ┘ └ ┘
}}}

More generally, adding (or subtracting) to one row of a matrix changes the determinant in a manner that can look like 'factoring out' the addition.

{{{
    ┌ ┐ ┌ ┐ ┌ ┐
    │ a+x b+y│ │ a b│ │ x y│
det │ c d│ = det │ c d│ + det │ c d│
    └ ┘ └ ┘ └ ┘
}}}

Multiplying ''one'' row of a matrix by some scalar multiplies the determinant by the same scalar. Or more flexibly, multiplying ''n'' rows by some scalar ''t'' also multiplies the determinant by ''t^n^''.

{{{
    ┌ ┐ ┌ ┐
    │ ta tb│ │ a b│
det │ c d│ = t * det │ c d│
    └ ┘ └ ┘

    ┌ ┐ ┌ ┐ ┌ ┐
    │ ta tb│ │ a b│ │ a b│
det │ tc td│ = t * det │ tc td│ = t * t * det | c d|
    └ ┘ └ ┘ └ ┘
}}}

A row exchange is characterized by a [[LinearAlgebra/SpecialMatrices#Permutation_Matrices|permutation matrix]] with a determinant of -1. Therefore the determinant's sign is flipped for every row exchange.

Determinants

The determinant is a number that embeds most information about a matrix, much like the trace. Most importantly it is the scaling factor of a transformation.


Definition

The determinant is the product of eigenvalues: Πi λi.

There is an important connection between determinants and elimination. A matrix does not need to be eliminated to arrive at the determinant, but if a matrix cannot be eliminated into an upper triangular matrix, it is singular and degenerate and non-invertible and the determinant is 0. This generally only happens if there is multicolinearity. This does lead to a convenient test for invertibility.

The determinant of A is notated as |A|.

Simple Case

Given a matrix of shape 2 x 2, the determinant is calculated like:

    | a b |
det | c d | = ad - bc

Properties

The determinant of any non-square matrix is 0.

Determinants can be factored: |AB| = |A| |B|.

The determinant of the inverse is the inverse of the determinant: |A-1| = 1/|A|.

Transposition does not change the determinant: |AT| = |A|.


Special Matrices

The determinant of the identity matrix is 1.

The determinant of a permutation matrix is 1 or -1; 1 if there are an even number of row exchanges; and -1 if there are an odd number.

The determinant of an orthogonal matrix is 1 or -1.

Large, sparse matrices can be broken up.

    ┌        ┐
    | 2 0 0 0|           ┌    ┐
    | 0 a b 0|           │ a b│
det | 0 c d 0| = 2 * det │ c d│ * 3
    | 0 0 0 3|           └    ┘
    └        ┘


Elimination

Elimination does not necessarily change the determinant. More specifically, elimination of A into U is often characterized as U = EA; left multiplication by one or more elimination matrices. It follows from the above properties that |U| = |E| |A|. If the determinant of E is 1, then clearly elimination does not change the determinant.

Adding (or subtracting) a linear combination of one row to another does not change the determinant. The example here featured only transformations like this ("subtracting a multiple of the pivot row from the targeted row"), and it can be shown that the determinant is unchanged.

julia> using LinearAlgebra

julia> A = [1 2 1; 3 8 1; 0 4 1]
3×3 Matrix{Int64}:
 1  2  1
 3  8  1
 0  4  1

julia> det(A)
10.0

julia> B = [1 2 1; 0 2 -2; 0 4 1]
3×3 Matrix{Int64}:
 1  2   1
 0  2  -2
 0  4   1

julia> det(B)
10.0

To prove this, consider the following:

    ┌          ┐       ┌    ┐       ┌      ┐       ┌    ┐           ┌    ┐       ┌    ┐
    │    a    b│       │ a b│       │  a  b│       │ a b│           │ a b│       │ a b│ 
det │ c-ma d-mb│ = det │ c d│ - det │ ma mb│ = det │ c d│ - m * det │ a b│ = det │ c d│ - m * 0
    └          ┘       └    ┘       └      ┘       └    ┘           └    ┘       └    ┘

More generally, adding (or subtracting) to one row of a matrix changes the determinant in a manner that can look like 'factoring out' the addition.

    ┌        ┐       ┌    ┐       ┌    ┐
    │ a+x b+y│       │ a b│       │ x y│
det │   c   d│ = det │ c d│ + det │ c d│
    └        ┘       └    ┘       └    ┘

Multiplying one row of a matrix by some scalar multiplies the determinant by the same scalar. Or more flexibly, multiplying n rows by some scalar t also multiplies the determinant by tn.

    ┌      ┐           ┌    ┐
    │ ta tb│           │ a b│
det │  c  d│ = t * det │ c d│
    └      ┘           └    ┘

    ┌      ┐           ┌      ┐               ┌    ┐
    │ ta tb│           │  a  b│               │ a b│
det │ tc td│ = t * det │ tc td│ = t * t * det | c d|
    └      ┘           └      ┘               └    ┘

A row exchange is characterized by a permutation matrix with a determinant of -1. Therefore the determinant's sign is flipped for every row exchange.


CategoryRicottone

LinearAlgebra/Determinant (last edited 2026-01-21 16:26:27 by DominicRicottone)