Hvad er Gaussisk eliminering? Definition, metode og eksempler
Lær Gaussisk eliminering: klar definition, trin-for-trin metode og konkrete eksempler til løsning af lineære ligningssystemer og matrice-reduktion.
I matematik er Gaussisk eliminering (også kaldet rækkereduktion) en systematisk metode til at løse systemer af lineære ligninger. Metoden er opkaldt efter Carl Friedrich Gauss, en berømt tysk matematiker, som skrev om teknikken (men som ikke var dens eneste opfinder). Gaussisk eliminering omfatter omskrivning af ligningssystemet til en matrixform og anvendelse af elementære rækkeoperationer for at forenkle systemet og finde de ukendte variable.
Grundidé og forstærket matrix
Man starter normalt med at skrive koefficienterne for de ukendte og konstanterne i en forstærket matrix (augmented matrix). For eksempel for systemet
a11 x1 + a12 x2 + ... + a1n xn = b1 ... am1 x1 + am2 x2 + ... + amn xn = bm
skrives det som en m×(n+1)-matrix, hvor den sidste kolonne indeholder konstanterne (b1,...,bm).
Elementære rækkeoperationer
Under Gaussisk eliminering må man kun anvende tre typer elementære rækkeoperationer:
- Type 1: Udskiftning af en række med en anden række.
- Type 2: Multiplikation af en række med et tal, der ikke er nul.
- Type 3: Tilføjelse til en række af en skalar gange en anden række (dvs. erstat række i med række i + k·række j).
Målformer: række-echelon og reduceret række-echelon
Målet er typisk at bringe matrixen i række-echelonform (row-echelon form). En matrix i række-echelonform har følgende egenskaber:
- Alle nullerader (hvis nogen) ligger nederst.
- Første ikke-nul-element (pivot) i hver ikke-null række ligger til højre for pivot i rækken over.
Nogle gange går man videre til reduceret række-echelonform (reduced row-echelon form), hvor hver pivot er 1, og pivoterne er de eneste ikke-nul elementer i deres kolonner. At reducere helt til denne form kaldes ofte Gauss–Jordan-eliminering.
Algoritmen i korte træk
- Opskriv forstærket matrix for ligningssystemet.
- Udfør fremad eliminering (forward elimination): vælg en pivot i den første kolonne (ikke-nul), brug rækkeoperationer til at gøre alle elementer under pivot til nul, flyt derefter til næste kolonne og gentag. Dette giver en øvre trekantsmatrix eller række-echelonform.
- Hvis man kun ønsker løsningen, brug tilbage-substitution (back substitution) på den resulterende trekantsform til at finde variable én for én fra bund til top.
- Hvis man ønsker reduceret række-echelonform, fortsæt med baglæns elimination (Gauss–Jordan): gør elementerne over hver pivot til nul og skaler pivoterne til 1.
Eksempel (2×2)
Vind et hurtigt eksempel til illustration:
System:
2x + y = 5 x - y = 1
Forstærket matrix:
[ 2 1 | 5 ] [ 1 -1 | 1 ]
Trin 1: Brug rækkeoperationer for at få 0 under første pivot. Erstat række2 med række2 - (1/2)·række1:
[ 2 1 | 5 ] [ 0 -1.5 | -1.5 ]
Trin 2: Divider række2 med -1.5 for at få pivot 1:
[ 2 1 | 5 ] [ 0 1 | 1 ]
Trin 3: Frembring 0 over anden pivote ved at erstatte række1 med række1 - række2:
[ 2 0 | 4 ] [ 0 1 | 1 ]
Trin 4: Divider række1 med 2:
[ 1 0 | 2 ] [ 0 1 | 1 ]
Så x = 2, y = 1.
Mulige udfald
- En unik løsning: Når matrixens rang (antal pivoter) er lig med antallet af ukendte.
- Uendeligt mange løsninger: Når rang < antal ukendte (frie variable) — man kan udtrykke løsningen med parametre.
- Ingen løsning (inkonsistent): Når en række ender med formen [0 0 ... 0 | c] hvor c ≠ 0 — altså 0 = c, en modsigelse.
Numeriske hensyn og pivotstrategier
Ved beregninger med flydende decimaler kan man få numerisk ustabilitet, hvis pivoter er meget små. Derfor anvendes typisk partial pivoting (bytte rækker så den største absolutværdi i kolonnen bliver pivot) eller fuld pivoting (bytte både rækker og kolonner). Partial pivoting er ofte tilstrækkelig i praksis og forbedrer stabiliteten betydeligt.
Tidskompleksitet og implementering
Den klassiske Gaussiske eliminering kræver O(n^3) beregninger for et n×n-system. For store, sparse systemer (hvor mange koefficienter er 0) bruges specialiserede metoder, som udnytter sparsiteten for at spare både tid og hukommelse.
Anvendelser
Gaussisk eliminering er grundlæggende i mange områder af matematik, naturvidenskab og teknik: løsning af lineære systemer, beregning af matrixinverser, bestemmelse af matrixrangs, beregning af determinanter (ved at reducere til trekantsform) og som underbygning af mange numeriske metoder inden for f.eks. mekanik, elektroteknik og datalogi.
Samlet set er Gaussisk eliminering en enkel, systematisk og kraftfuld metode til at analysere og løse lineære ligningssystemer, både symbolsk og numerisk.
Eksempel
Antag, at målet er at finde svarene på dette system af lineære ligninger.
2 x + y - z = 8 ( R 1 ) - 3 x - y + 2 z = - 11 ( R 2 ) - 2 x + y + 2 z = - 3 ( R 3 ) {\displaystyle {\begin{alignedat}{7}2x&&&\;+\;&&y&&&\;-\;&&z&&&\;=\;&&8&&\qquad (R_{1})\\-3x&&\;-\;&&y&&\;+\;&&2z&&\;=\;&&-11&\qquad (R_{2})\\-2x&&\;+\;&&y&&\;+\;&&2z&&\;=\;&&-3&\qquad (R_{3})\end{alignedat}}}
Først skal systemet omdannes til en forstærket matrix. I en forstærket matrix bliver hver lineær ligning en række. På den ene side af den forstærkede matrix bliver koefficienterne for hvert udtryk i den lineære ligning til tal i matrixen. På den anden side af den forstærkede matrix er de konstante termer, som hver lineær ligning er lig med. For dette system er den forstærkede matrix følgende:
[ 2 1 - 1 8 - 3 - 1 2 - 11 - 2 1 2 - 3 ] {\displaystyle \left[{\begin{array}{ccc|c}2&1&-1&-1&8\-3&-1&2&-11\-2&1&2&-3\end{array}}}\right]}
Derefter kan der foretages rækkeoperationer på den forstørrede matrix for at forenkle den. Nedenstående tabel viser rækkereduktionsprocessen på ligningssystemet og på den forstørrede matrix.
| System af ligninger | Operationer i rækker | Forstærket matrix |
| 2 x + y - z = 8 - 3 x - y + 2 z = - 11 - 2 x + y + 2 z = - 3 {\displaystyle {\begin{alignedat}{7}2x&&&\;+\;&&y&&&\;-\;&&z&&&\;=\;&&8&&\\-3x&&\;-\;&&y&&\;+\;&&2z&& \;=\;&&-11&\\-2x&&\;+\;&&y&&\;+\;&&2z&&\;=\;&&-3&\end{alignedat}}} | [ 2 1 - 1 8 - 3 - 1 2 - 11 - 2 1 2 - 3 ] {\displaystyle \left[{\begin{array}{ccc|c}2&1&-1&-1&8\-3&-1&2&-11\-2&1&2&-3\end{array}}}\right]} | |
| 2 x + y - z = 8 1 2 y + 1 2 z = 1 2 y + z = 5 {\displaystyle {\begin{alignedat}{7}2x&&&\;+&&y&&&\;-&&&\;z&&&\;=\;&&8&&\\\&&&&{\frac {1}{2}}y&&\;+&&\;{\frac {1}{2}}z&&\;=\;&&1&\\&&&&2y&&\;+&&\;z&&\;=\;&&5&\end{alignedat}}} | R 2 + 3 2 R 1 → R 2 {\displaystyle R_{2}+{\frac {3}{2}}}R_{1}\rightarrow R_{2}}} | [ 2 1 - 1 8 0 1 / 2 1 / 2 1 / 2 1 0 2 1 5 ] {\displaystyle \left[{\begin{array}{ccc|c}2&1&1&-1&8\\\0&1/2&1/2&1/2&1\\\\0&2&1&1&5\end{array}}}\right]} |
| 2 x + y - z = 8 1 2 y + 1 2 z = 1 - z = 1 {\displaystyle {\begin{alignedat}{7}2x&&\;+&&y\;&&-&&&\;z\;&&=\;&&8&\\\&&&&{\frac {1}{2}}y\;&&+&&\;{\frac {1}{2}}z\;&&=\;&&1&\\&&&&&&&&\;-z\;& &\;=\;&&1&\end{alignedat}}} | R 3 + - 4 R 2 → R 3 {\displaystyle R_{3}+-4R_{2}\rightarrow R_{3}}} | [ 2 1 - 1 8 0 1 / 2 1 / 2 1 / 2 1 0 0 0 - 1 1 ] {\displaystyle \left[{\begin{array}{ccc|c}2&1&1&-1&8\\0&1/2&1/2&1/2&1/2&1\\0&0&0&-1&1\end{array}}}\right]} |
Matriklen er nu i række-ekkelon-form. Dette kaldes også trekantet form.
| System af ligninger | Operationer i rækker | Forstærket matrix |
| 2 x + y = 7 1 2 y = 3 / 2 - z = 1 {\displaystyle {\begin{alignedat}{7}2x&&&\;+&&y\;&&&&\;\;&&=\;&&7&&\&&&&&&&{\frac {1}{2}}y\;&&&&\;\;&&=\;&&3/2&\\&&&&&&&&\;-z\;&&\;=\;&&1&\end{alignedat}}} | R 2 + 1 2 R 3 → R 2 {\displaystyle R_{2}+{\frac {1}{2}}}R_{3}\rightarrow R_{2}}} | [ 2 1 0 7 0 0 1 / 2 0 3 / 2 0 0 0 0 - 1 1 ] {\displaystyle \left[{\begin{array}{ccc|c}2&1&1&0&0&7\\\0&1/2&0&3/2\\\0&0&0&-1&1\end{array}}}\right]} |
| 2 x + y = 7 y = 3 z = - 1 {\displaystyle {\begin{alignedat}{7}2x&&&\;+&&y\;&&&&\;\;\;&&=\;&&7&&\\&&&&&&&y\;&&&&\;\;&&=\;&&3&\\&&&&&&&&\;z\;&&\;=\;&&-1&\end{alignedat}}} | 2 R 2 → R 2 {\displaystyle 2R_{2}\rightarrow R_{2}}} | [ 2 1 0 0 7 0 0 1 0 3 0 0 0 0 1 - 1 ] {\displaystyle \left[{\begin{array}{ccc|c}2&1&0&0&7\\0&1&1&0&0&3\0&0&1&1&-1\end{array}}}\right]} |
| x = 2 y = 3 z = - 1 {\displaystyle {\begin{alignedat}{7}x&&\;&&\;&&&&\;\;&&=\;&&2&\\\&&&& y\;&&&&\;\;&&=\;&&3&\\&&&&&&&&\;z\;&&\;=\;&&-1&\end{alignedat}}} | R 1 - R 2 → R 1 {\displaystyle R_{1}-R_{2}\rightarrow R_{1}}} | [ 1 0 0 0 0 2 0 0 1 0 0 3 0 0 0 0 1 - 1 ] {\displaystyle \left[{\begin{array}{ccc|c}1&0&0&0&2\\0&1&1&0&0&3\0&0&0&1&-1\end{array}}}\right]} |
Matriksen er nu i reduceret række-echelon-form. Når vi læser denne matrix, kan vi se, at løsningerne for dette ligningssystem opstår, når x = 2, y = 3 og z = -1.
Spørgsmål og svar
Spørgsmål: Hvad er Gaussisk eliminering?
A: Gaussisk eliminering er en metode, der anvendes i matematik til at løse systemer af lineære ligninger.
Spørgsmål: Hvem er den opkaldt efter?
A: Den er opkaldt efter Carl Friedrich Gauss, en berømt tysk matematiker, som skrev om denne metode, men ikke opfandt den.
Spørgsmål: Hvordan udføres Gauss-eliminering?
Svar: Gauss-eliminering udføres ved at bruge koefficienterne for termerne i systemet af lineære ligninger til at skabe en forstærket matrix. Derefter anvendes elementære rækkeoperationer til at forenkle matricen.
Spørgsmål: Hvilke tre typer rækkeoperationer anvendes i Gaussisk eliminering?
Svar: De tre typer rækkeoperationer, der anvendes i Gaussisk eliminering, er følgende: Udveksling af en række med en anden række, multiplikation af en række med et tal, der ikke er nul, og tilføjelse eller subtraktion af en række fra en anden række.
Sp: Hvad er målet med Gaussisk eliminering?
Svar: Målet med Gaussisk eliminering er at få matricen i række-echelonform.
Spørgsmål: Hvad er række-echelonform?
Svar: Hvis en matrix er i række-ekkelonform, betyder det, at hver række, når man læser fra venstre mod højre, starter med mindst ét nulterm mere end rækken over den.
Sp: Hvad er reduceret række-echelonform?
Svar: Reduceret række-echelonform betyder, at matricen er i række-echelonform, og at den eneste term i hver række, der ikke er nul, er 1. Gauss-eliminering, der skaber et resultat med en reduceret række-echelonmatrix, kaldes undertiden Gauss-Jordan-eliminering.
Søge