Gausselimination

Från Wikipedia
(Omdirigerad från Pivotelement)
Hoppa till: navigering, sök

Gausselimination är en effektiv algoritm för lösning av linjära ekvationssystem, finna matrisrangen för en matris eller för att beräkna inversen till en matris och är vanlig inom linjär algebra. Namnet kommer från den framstående tyske matematikern Carl Friedrich Gauss (1777-1855).

Gausselimination är lämplig att använda för lösning av ekvationssystem på formen

\ Ax = b

där A är en kvadratisk matris och x och b är kolonnvektorer.

Elimineringen sker genom att med elementära radoperationer nollställa elementen under diagonalen i varje kolonn.

Översikt av metoden[redigera | redigera wikitext]

Ett linjärt ekvationssystem

A x = b\,

med n ekvationer och n obekanta

x = (x_1,~x_2,...,~x_n)^T

och högerledet

b = (b_1,~b_2,...,~b_n)^T

har formen


\begin{array}{ccc}
a_{1,1}x_1 + a_{1,2}x_2 +&\cdots + a_{1,n}x_n &=b_1\\
a_{2,1}x_1 + a_{2,2}x_2 +&\cdots + a_{2,n}x_n &=b_2 \\
\vdots  &\vdots &\vdots\\
a_{n,1}x_1 + a_{n,2}x_2 + &\cdots + a_{n,n}x_n &=b_n
\end{array}

Ekvationslösningen omfattar två steg. Först nollställs elementen under diagonalen i matris A. Därefter beräknas de obekanta genom till exempel bakåtsubstituering.

Gausseliminering innebär division med diagonalens element, pivotelementen, som därmed måste vara nollskilda och helst ej vara nära noll. Det är därför vanligt att med till exempel radomkastning placera det tal i diagonalen som har det största absolutbeloppet i den kolonn som skall nollställas räknat från och med diagonalelementet. Om inget nollskilt element kan hittas avbryts elimineringen då lösningar till ekvationssystemet saknas.

Nedanstående ger ett exempel på en teknik med radomkastning för att undvika division med tal lika med eller nära noll.

Steg 1: Triangulering

Antag att elementen under diagonalen i kolumn k skall nollställas.


\begin{array}{cccccc|c}
a_{1,1} &a_{1,2}  &\cdots &a_{1,k} &\cdots  &a_{1,n} &b_1 \\
0       &a_{2,2}  &\cdots &a_{2,k} &\cdots &a_{2,n} &b_2 \\
\vdots  &         &       &        &\vdots &  &\vdots \\
0       &0        &\cdots &a_{k,k} &\cdots  &\cdots &b_k\\
0       &0        &\cdots &a_{k+1,k} &\cdots  &\cdots  &b_{k+1}\\
\vdots  &         &       &        &\vdots    &  &\vdots \\
0       &0        &\cdots &a_{n,k} &\cdots &a_{n,n}  &b_n
\end{array}

Först söks bland elementen

a_{k,k},..., a_{n, k}\,

det element, pivotelementet, som har det största absolutbeloppet. Om pivotelementets radnummer är skilt från k, kastas rad k och pivotelementets rad om.

Därefter multipliceras en kopia av varje nollskilt element i diagonalens rad med multiplikatorn

 \frac{a(j, k)}{a(k, k)}

där a(k, k) är diagonalens element och a(j, k) med j > k är det element i kolonnen som skall nollställas och respektive produkt subtraheras från motsvarande element i den rad där nollställning skall ske.

Detta upprepas för de återstående kolonnelementen.

Steg 2: Bakåtsubstitution

När matrisen är triangulerad utförs bakåtsubstitueringen med början i den sista raden


\begin{array}{cccc|c}
a_{1,1}x_1 &a_{1,2}x_2  &\cdots  &a_{1,n}x_n &b_1 \\
0       &a_{2,2}x_2  &\cdots &a_{2,n}x_n &b_2 \\
\vdots  &         &       &  &\vdots \\
0       &0        &\cdots &a_{n,n}x_n  &b_n
\end{array}

där xn beräknas som

x_n = \frac{b_n}{a_{n,n}}\,

Värdet av xn sätts därefter in i föregående rad och xn-1 beräknas som

x_{n-1} = \frac{b_{n-1} - a_{n-1,n}~x_n}{a_{n-1,n-1}}\,

Detta upprepas tills alla xj beräknats.

Exempel[redigera | redigera wikitext]

Lös ekvationssystemet


\begin{array}{cccccc}
x_1&+&2x_2 &+ &x_3 &= 8 \\
x_1&+&x_2&+&x_3 &=6 \\
4x_1&-&x_2&+&2x_3 &=8 \\
\end{array}

Nollställning i kolumn 1 av rad 2 och 3. Rad 3 är pivotraden och rad 1 och rad 3 kastas om:


\begin{array}{ccc|c}
1 &2  &1 &8 \\
1 &1  &1 &6 \\
4 &-1 &2 &8 \\
\end{array}
\quad \Rightarrow \quad 
\begin{array}{ccc|c}
4 &-1 &2 &8 \\
1 &1  &1 &6 \\
1 &2  &1 &8 
\end{array}
\quad \Rightarrow \quad
\begin{array}{ccc|c}
4 &-1 &2 &8 \\
0 &\frac{5}{4} &\frac{1}{2} &4 \\
0 &\frac{9}{4} &\frac{1}{2} &6 \\
\end{array}

Nollställning i kolumn 2 av rad 3. Rad 3 är pivotraden och rad 2 och rad 3 kastas om:


\begin{array}{ccc|c}
4 &-1 &2 &8 \\
0 &\frac{5}{4}  &\frac{1}{2} &4 \\
0 &\frac{9}{4}  &\frac{1}{2} &6 \\
\end{array}
\quad \Rightarrow \quad
\begin{array}{ccc|c}
4 &-1 &2 &8 \\
0 &\frac{9}{4}  &\frac{1}{2} &6 \\
0 &\frac{5}{4}  &\frac{1}{2} &4 \\
\end{array}
\quad \Rightarrow \quad
\begin{array}{ccc|c}
4 &-1 &2 &8 \\
0 &\frac{9}{4}  &\frac{1}{2} &6 \\
0 &0  &\frac{2}{9} &\frac{2}{3} \\
\end{array}

Bakåtsubstituering:

x_3 = \frac{\frac{2}{3}}{\frac{2}{9}} = 3
x_2 = \frac{6 - \frac{1}{2}\cdot 3}{\frac{9}{4}} = 2
x_1 = \frac{8 -(-1)\cdot 2 - 2\cdot 3}{4} = 1

Gauss-Jordaneliminiation[redigera | redigera wikitext]

Efter Gausseliminering erhålls en övertriangulär matris som med liknande teknik som vid Gausseliminering kan överföras till en diagonalmatris vilket kallas Gauss-Jordanelimination.


\begin{array}{ccc|c}
a_{11} &a_{12} &a_{13} &b_1 \\
0 &a_{22} &a_{23} &b_2 \\
0 &0 &a_{33} &b_3 \\
\end{array}
\Rightarrow
\begin{array}{ccc|c}
a_{11}' &0 &0 &b_1' \\
0 &a_{22}' &0 &b_2' \\
0 &0 &a_{33}' &b_3' \\
\end{array}

Tillämpning av Gauss–Jordan för beräkning av invers[redigera | redigera wikitext]

Om Gauss–Jordan eliminering tillämpas på en kvadratisk matris, kan den användas för att beräkna matrisens invers. Detta kan göras genom att till höger lägga till en enhetsmatris av samma dimensioner som matrisen.

Låt matrisen A vara

 A =
\begin{bmatrix}
2 & -1 & 0 \\
-1 & 2 & -1 \\
0 & -1 & 2
\end{bmatrix}

och bilda genom tillägg av enhetsmatrisen

 [ A I ] =
\begin{bmatrix}
2 & -1 & 0 & 1 & 0 & 0\\
-1 & 2 & -1 & 0 & 1 & 0\\
0 & -1 & 2 & 0 & 0 & 1
\end{bmatrix}

Genom elementära radoperationer kan A överföras till en diagonalmatris:

 [I A^{-1}] =
\begin{bmatrix}
1 & 0 & 0 & \frac{3}{4} & \frac{1}{2} & \frac{1}{4}\\
0 & 1 & 0 & \frac{1}{2} & 1 & \frac{1}{2}\\
0 & 0 & 1 & \frac{1}{4} & \frac{1}{2} & \frac{3}{4}
\end{bmatrix}

Matrisens invers är den högra halvan av  [I A^{-1}]:


A^{-1} =
\begin{bmatrix}
\frac{3}{4} & \frac{1}{2} & \frac{1}{4}\\
\frac{1}{2} & 1 & \frac{1}{2}\\
\frac{1}{4} & \frac{1}{2} & \frac{3}{4}
\end{bmatrix}