Determinant

Inom linjär algebra, är en determinant en funktion som tillordnar en skalär till en kvadratisk matris. Skalären anger vilka skaländringar matrisens linjära transformation ger upphov till. Geometriskt kan determinanten till exempel tolkas som den skalfaktor med vilken volymen av enhetskuben skall multipliceras för att bilda samma volym som den volym som bildas när matrisens linjära transformation tillämpas på enhetskuben. Den är även viktig inom matematisk analys, då den används vid variabelsubstitution (se jacobian).

Determinanten av en matris A betecknas det(A). Även notationen |A| används ibland men kan förväxlas med beteckningen för norm och absolutbelopp. Om alla element skall skrivas ut för determinanten används skrivsättet

Definition 
En determinant av n:te ordningen

har n rader och n kolonner i ett kvadratiskt schema. Den har värdet

där  är mängden av alla permutationer av .  betecknar ett element i  och  betecknar ett element i .

Antalet termer är således .

Permutationer av en ordnad mängd kan åstadkommas med parvisa omkastningar av mängdens element.

Om antalet omkastningar för att åstadkomma en viss permutation är udda är tecknet för motsvarande term i summan negativt annars positivt.

Permutationerna  av , antalet omkastningar samt sgn-funktionens värden är

Determinanten för en 3×3 matris kan därmed skrivas som

Varje term i summan innehåller ett element från varje kolonn och ett element från varje rad. Därmed är determinanten av en triangulär matris 

produkten av diagonalelementen a1,1...an,n.

Speciellt gäller att determinanten till enhetsmatrisen

har värdet 1.

2×2-matriser 
Matrisen 
har determinanten

Om matrisen endast har reella element kan determinantens absolutbelopp tolkas som arean av en parallellogram med hörn i (0, 0), (a, b), (c, d) samt (a + c, b + d).

3×3-matriser 
Matrisen
 
har determinanten

Sarrus regel kan användas som minnesregel:

Denna regel är giltig enbart för 3×3-matriser och kan inte användas för matriser med annan storlek.

Determinantens absolutvärde kan tolkas som volymen av en parallellepiped bestämd av determinantens rader.

Beräkning av determinanter

Triangulering
För en triangulär matris 

är determinanten lika med produkten av diagonalens element:

En matris kan trianguleras på liknande sätt som vid Gausselimination eller så kan matrisen trianguleras med hjälp av en kombination av följande regler:

 Om två rader eller kolumner byter plats ändras det(A) till -det(A)
 Om en rad eller kolumn multipliceras med en skalär c, ändras determinanten till c det(A)
 Om en multipel av en rad eller kolumn adderas till en rad respektive kolumn, ändras inte determinantens värde

Laplaceutveckling (Kofaktorutveckling) 
Laplaceutveckling överför beräkningen av en determinant till beräkning av determinanter av lägre ordning.

Om vi för en matris

stryker rad j och kolumn k är determinanten för återstoden av A en underdeterminant till A som hör till elementet ajk. Om underdeterminanten betecknas Djk får vi till exempel

 
Det algebraiska komplementet till ajk definieras som

Då gäller för en godtycklig matris A

vilket kallas utveckling av determinanten efter kolumn k. Motsvarande för utveckling efter rad j är

Exempel på Laplaceutveckling av en tredje ordningens determinant efter kolumn 1:

Exempel 

|}

Egenskaper 
 för alla n×n-matriser A och B.

 för alla n×n-matriser A och alla skalärer r.

Matrisen och dess transponat har samma determinant:
.

Determinanten är invariant under basbyte. Om en matris A kan representas som matris B, det vill säga , så gäller:

Determinanten är produkten av matrisens egenvärden, det vill säga om A har egenvärdena  är

vilket trivialt gäller för diagonaliserbara matriser. För icke diagonaliserbara matriser kan man använda Schurs sats och få en triangulär matris genom att steg för steg utveckla efter första kolumnen.

Användningsområden för determinanter 
Determinanter används för att karakterisera matriser och att explicit beskriva lösningar av dess motsvarande linjära ekvationssystem. 
 
Om determinanten för ett homogent ekvationssystem är noll finns icke-triviala lösningar, för övriga värden på determinanten är den enda lösningen den triviala lösningen. 

I ett inhomogent system där determinanten är noll finns ingen eller oändligt antal lösningar. Är determinanten nollskild har ekvationssystemet en unik lösning. 

Determinanten kan även användas för att hitta egenvärdena för en matris  via sekularekvationen .

Exempel 
Determinanter uppstod av problem kring linjära ekvationssystem,

nämligen att hitta icke-triviala lösningar (x1 ≠ 0, x2 ≠ 0, x3 ≠ 0) och under vilka förutsättningar dessa går att finna. (Jämför Cramers regel)

Med a = (a1, a2, a3), b = (b1, b2, b3), c = (c1, c2, c3) och x = (x1, x2, x3), kan ovanstående ekvationssystem skrivas med vektornotation enligt

Den geometriska tolkningen av ovanstående tre skalärprodukter är att x är ortogonal till samtliga vektorer a, b och c. Om volymen som spänns upp av dessa koefficientvektorer, det vill säga om trippelprodukten eller determinanten av vektorerna a, b och c

inte är noll, finns endast den triviala lösningen x = 0. 

Om så inte är fallet är någon av koefficientvektorerna en linjärkombination av de övriga två. Säg att c är en linjärkombination av a och b. Detta innebär att x ∝ a×b vilket ger x·c = 0. I detta fall finns oändligt många lösningar av ekvationssystemet.

Historik 
Determinater beräknades innan begreppet "matris" fanns och betraktades då som en egenskap hos linjära ekvationssystem, eftersom determinanten avgör (latin: determino) om systemet har en unik lösning. Determinanter för 2×2-matriser studerades av Gerolamo Cardano under 1500-talet, men begreppet introducerades århundradet efter av Gottfried Leibniz, som även studerade determinanter för större system. 1750 utvecklade Gabriel Cramer teorin.

Alexandre-Théophile Vandermonde (1771) insåg att determinanten hade tillämpningar utanför ekvationssystemen. 1772 presenterade Pierre Simon de Laplace sin metod för expansion i underdeterminanter. Vandermonde hade då redan gett ett specialfall. Redan 1773 behandlade sedan Joseph Louis Lagrange andra och tredje ordningens determinanter och han var även den förste att använda determinanter i andra sammanhang än elimination samt lyckades visa flera specialfall av generella samband.

År 1801 utvidgade Carl Friedrich Gauss området. På samma sätt som Lagrange använde han ofta determinanterna inom talteori och var den förste att använda ordet determinant (Laplace hade använt resultant), även om det inte var i den nuvarande meningen. 

Nästa betydande bidrag gavs av Jacques Philippe Marie Binet, som 1811 och 1812 formellt gav resultatet om determinanten för produkten av två n × m-matriser (Cauchy-Binets formel), som för specialfallet n=m reduceras till multiplikationssatsen enligt ovan. Den 30 november 1812, när han presenterade sina resultat för akademin presenterade även Augustin Louis Cauchy vad han kommit fram till i ämnet. Han blev då den förste att använda ordet determinant i sin moderna betydelse och lyckades summera och förenkla vad som var känt inom ämnet och gav ett bättre bevis än det Binet presenterade. 

1827 blev sedan Carl Gustav Jakob Jacobi näste viktige bidragsgivare, genom att använda den funktional-determinant som senare skulle bli känd under namnet Jacobian.

Se även
 Kryssprodukt
 Seki Shinsuke Kowa

Referenser

Noter

Externa länkar 

Abstrakt algebra
Linjär algebra
Homogena polynom
 
Matristeori