Inom linjär algebra, är en determinant en funktion som tillordnar en skalär till en kvadratisk matris[1]. 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).[2]

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 redigera

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 redigera

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 redigera

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 redigera

Triangulering redigera

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:

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

Laplaceutveckling (Kofaktorutveckling) redigera

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 redigera

Egenskaper redigera

  •   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 redigera

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 redigera

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 xa×b vilket ger x·c = 0. I detta fall finns oändligt många lösningar av ekvationssystemet.

Historik redigera

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 redigera

Referenser redigera

Noter redigera

  1. ^ Weisstein, Eric W. "Determinant." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Determinant.html
  2. ^ Sparr, Gunnar, 1942- (1995 ;). Linjär algebra. Studentlitteratur. OCLC 187001658. http://worldcat.org/oclc/187001658. Läst 7 april 2019 

Externa länkar redigera