Determinant
En determinant är en funktion inom linjär algebra 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 | redigera wikitext]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 | redigera wikitext]Matrisen har determinanten
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bd/Determinant-as-area.svg/240px-Determinant-as-area.svg.png)
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 | redigera wikitext]Matrisen
har determinanten
Sarrus regel kan användas som minnesregel:
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/17/Determinant-sarrus.svg/200px-Determinant-sarrus.svg.png)
Denna regel är giltig enbart för 3×3-matriser och kan inte användas för matriser med annan storlek.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b9/Determinant_parallelepiped.svg/220px-Determinant_parallelepiped.svg.png)
Determinantens absolutvärde kan tolkas som volymen av en parallellepiped bestämd av determinantens rader.
Beräkning av determinanter
[redigera | redigera wikitext]Triangulering
[redigera | redigera wikitext]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)
[redigera | redigera wikitext]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 | redigera wikitext]Laplaceutveckling | |||||||||
---|---|---|---|---|---|---|---|---|---|
Beräkna determinanten till Vid Laplaceutveckling måste först en rad eller kolumn väljas. Bäst är att välja en rad eller kolumn med många nollor. I det här fallet görs en utveckling efter den andra kolumnen: |
Gausselimineringsliknande metod | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Vid Gausseliminering sker division med elementen i diagonalen. Utgående från aktuell kolonns diagonalelement, är pivotelementet det element som har det största absolutbeloppet av de återstående elementen i kolonnen. Genom radomkastningar placeras pivotelementet i diagonalen och därigenom minskas risken att dividera med tal som är nära noll. Om inget nollskilt pivotelement hittas avbryts elimineringen och determinanten tilldelas värdet 0. Beräkna determinanten till matrisen genom att först triangulera matrisen. ![]()
![]()
|
Egenskaper
[redigera | redigera wikitext]- 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 | redigera wikitext]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 | redigera wikitext]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
[redigera | redigera wikitext]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 | redigera wikitext]Referenser
[redigera | redigera wikitext]Noter
[redigera | redigera wikitext]- ^ Weisstein, Eric W. "Determinant." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Determinant.html
- ^ Sparr, Gunnar, 1942- (1995 ;). Linjär algebra. Studentlitteratur. OCLC 187001658. http://worldcat.org/oclc/187001658. Läst 7 april 2019
Externa länkar
[redigera | redigera wikitext]Wikimedia Commons har media som rör Determinant.
|
|