Determinant

Från Wikipedia
Hoppa till: navigering, sök

En determinant är en funktion som tillordnar en skalär till en kvadratisk matris, en matris med samma antal rader som kolumner.

Determinanten av en matris A kan tolkas som den skalfaktor med vilken volymen av enhetskuben skall multipliceras för att bilda samma volym som den volym som bildas när den linjära avbildning som definieras av A 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

\det(A)=\begin{vmatrix}a_{11}& a_{12} & a_{13}\\
a_{21}& a_{22} & a_{23}\\
a_{31}& a_{32} & a_{33}\end{vmatrix}

Definition[redigera | redigera wikitext]

En determinant av n:te ordningen

\begin{vmatrix}
a_{1,1}& a_{1,2} &\cdots & a_{1,n}\\
a_{2,1}& a_{2,2} &\cdots & a_{2,n}\\
\vdots & & &\vdots\\
a_{n,1}& a_{n,2} &\cdots & a_{n,n}
\end{vmatrix}

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

\sum_{\sigma \in S_n} \sgn \sigma A_{1,\sigma_1}A_{2,\sigma_2}\cdots A_{n,\sigma_n}\

där S_n\, är mängden av alla permutationer av \{1..n\}\,. \sigma\, betecknar ett element i S_n\, och \sigma_j\, betecknar ett element i \sigma\,.

Antalet termer är således n!\,.

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 S_n\, av \{1, 2, 3\}\,, antalet omkastningar samt sgn-funktionens värden är

\begin{matrix}

\sigma_1 &\sigma_2 &\sigma_3 & & &\sgn \sigma\\
1 &2 &3 &: &0 &+\\
1 &3 &2 &: &1 &-\\
2 &1 &3 &: &1 &-\\
2 &3 &1 &: &2 &+\\
3 &1 &2 &: &2 &+\\
3 &2 &1 &: &1 &-\\
\end{matrix}

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

 \ a_{1,1}a_{2,2}a_{3,3}-a_{1,1}a_{2,3}a_{3,2}-a_{1,2}a_{2,1}a_{3,3}+a_{1,2}a_{2,3}a_{3,1}+a_{1,3}a_{2,1}a_{3,2}-a_{1,3}a_{2,2}a_{3,1}

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

\begin{vmatrix}
a_{1,1}& a_{1,2} &\cdots & a_{1,n}\\
0 &a_{2,2} &\cdots & a_{2,n}\\
\vdots & & &\vdots\\
0 & 0 &\cdots & a_{n,n}
\end{vmatrix}

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

Speciellt gäller att determinanten till enhetsmatrisen

\begin{vmatrix}
1 &0 &\cdots &0\\
0 &1 &\cdots & 0\\
\vdots & & &\vdots\\
0 & 0 &\cdots & 1
\end{vmatrix}

har värdet 1.

2×2-matriser[redigera | redigera wikitext]

Matrisen A=\begin{bmatrix}a&b\\
c&d\end{bmatrix} har determinanten

\det A =ad-bc\,
Determinant-as-area.svg

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


  A=\begin{bmatrix}
    a_{11}&a_{12}&a_{13}\\
    a_{21}&a_{22}&a_{23}\\
    a_{31}&a_{32}&a_{33}
  \end{bmatrix}

har determinanten

\det A = \begin{vmatrix}a_{11}&a_{12}&a_{13}\\ a_{21}&a_{22}&a_{23}\\ a_{31}& a_{32}&a_{33}\end{vmatrix} =
=\,a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-a_{13}a_{22}a_{31}-a_{12}a_{21}a_{33}-a_{11}a_{23}a_{32}

Sarrus regel kan användas som minnesregel:

Determinant-sarrus.svg

Denna regel fungerar enbart för 3×3-matriser och skall inte användas för andra.

Determinant parallelepiped.svg

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

A = \begin{bmatrix}
a_{1,1}& a_{1,2} &\cdots & a_{1,n}\\
0 &a_{2,2} &\cdots & a_{2,n}\\
\vdots & & &\vdots\\
0 & 0 &\cdots & a_{n,n}
\end{bmatrix}

är determinanten lika med produkten av diagonalens element:

\det A = a_{11}\cdot a_{22}\cdots a_{nn}\,

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[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

A=\begin{bmatrix}a_{11}& a_{12} & a_{13}\\
a_{21}& a_{22} & a_{23}\\
a_{31}& a_{32} & a_{33}\end{bmatrix}

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

D_{23}=\begin{vmatrix}a_{11}& a_{12}\\
a_{31}& a_{32}\end{vmatrix}

Det algebraiska komplementet till ajk definieras som

A_{jk} = (-1)^{j+k} D_{jk}\,

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

\det A = a_{1k}A_{1k} + a_{2k}A_{2k}+...+ a_{nk}A_{nk} = \sum_{v=1}^{n} a_{vk}A_{vk}, \quad k = 1,2,..., n

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

\det A = a_{j1}A_{j1} + a_{j2}A_{j2}+...+a_{jn}A_{jn} = \sum_{v=1}^{n} a_{jv}A_{jv}, \quad j = 1,2,..., n

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


\begin{vmatrix}
  a_{11} & a_{12} & a_{13} \\
  a_{21} & a_{22} & a_{23} \\
  a_{31} & a_{32} & a_{33}
\end{vmatrix}
= a_{11} \begin{vmatrix}
  a_{22} & a_{23} \\
  a_{32} & a_{33} \\
\end{vmatrix}
- a_{21} \begin{vmatrix}
  a_{12} & a_{13} \\
  a_{32} & a_{33} \\
\end{vmatrix}
+ a_{31} \begin{vmatrix}
  a_{12} & a_{13} \\
  a_{22} & a_{23} \\
\end{vmatrix}

Exempel[redigera | redigera wikitext]

Egenskaper[redigera | redigera wikitext]

  • \det(AB) = \det(A)\det(B) \, för alla n×n-matriser A och B.
  • \det(rA) = r^n \det(A) \, för alla n×n-matriser A och alla skalärer r.
  • \det(A^{-1}) = \det(A)^{-1} \,
  • Matrisen och dess transponat har samma determinant:
\det(A^\top) = \det(A) \,.
  • Determinanten är invariant under basbyte. Om en matris A kan representas som matris B, det vill säga  A = TBT^{-1} , så gäller:
 \det(A) = \det(TBT^{-1}) = \det(T) \det(B) \det (T^{-1}) = \det(T)\det(T)^{-1}\det(B) = \det(B)\,
  • Determinanten är produkten av matrisens egenvärden, det vill säga om A har egenvärdena  \lambda_1, ..., \lambda_n är
\det(A)= \lambda_1 \cdots \lambda_n \,
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 är lösningen entydig, 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 A via sekularekvationen \det(A - \lambda I_n)=0.

Exempel[redigera | redigera wikitext]

Determinanter uppstod av problem kring linjära ekvationssystem,


\begin{matrix}
a_1x_1+a_2x_2+a_3x_3 = 0 \\
b_1x_1+b_2x_2+b_3x_3 = 0 \\
c_1x_1+c_2x_2+c_3x_3 = 0
\end{matrix},

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


\begin{matrix}
\mathbf{a}\cdot\mathbf{x} = 0 \\
\mathbf{b}\cdot\mathbf{x} = 0 \\
\mathbf{c}\cdot\mathbf{x} = 0 \\
\end{matrix}

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

(\mathbf{a}\times\mathbf{b})\cdot\mathbf{c} = \det(\mathbf{a}, \mathbf{b}, \mathbf{c}) = 
\begin{vmatrix}
a_1 & a_2 & a_3 \\
b_1 & b_2 & b_3 \\
c_1 & c_2 & c_3
\end{vmatrix}

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 | 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.

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.