Gausselimination eller radreduktion, är inom linjär algebra 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. Namnet kommer från den tyske matematikern Carl Friedrich Gauss (1777–1855).
Gausselimination är lämplig att använda för lösning av ekvationssystem på formen
![{\displaystyle \ A\mathbf {x} =\mathbf {b} }](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/61c1de543c4ec3037449e7cab158ca3365a1c619)
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.
Ett linjärt ekvationssystem
![{\displaystyle Ax=b\,}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/3f23b72b37c4fc94e132728c08deb1c4a8ad8d28)
med n ekvationer och n obekanta
![{\displaystyle x=(x_{1},~x_{2},...,~x_{n})^{T}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/d04e49343b0aedf370193e97c695c413fa78b5a0)
och högerledet
![{\displaystyle b=(b_{1},~b_{2},...,~b_{n})^{T}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/b0ae9bc816a192e78a5f71f7b1617d208cc7d2d5)
har formen
![{\displaystyle {\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}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/5a5a33c595478b50c164ac1f4418bcfbfdfcda78)
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.
![{\displaystyle {\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}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/1237c028b35e67e288b949eaff2bf166ac8ad61d)
Först söks bland elementen
![{\displaystyle a_{k,k},...,a_{n,k}\,}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/df59a3fc8c8fb8182de5e42e81ac8c7eed31d7ab)
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
![{\displaystyle {\frac {a(j,k)}{a(k,k)}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/7eca8840dae3d69636c9fcd60294fbba088a5af8)
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
![{\displaystyle {\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}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/5db932bef1296d40888254fdc114f912417ef3e6)
där xn beräknas som
![{\displaystyle x_{n}={\frac {b_{n}}{a_{n,n}}}\,}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/9d250c3adf71f7541a857b77867dceff97557bf6)
Värdet av xn sätts därefter in i föregående rad och xn-1 beräknas som
![{\displaystyle x_{n-1}={\frac {b_{n-1}-a_{n-1,n}~x_{n}}{a_{n-1,n-1}}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/83594789482312502a22f5a9e7bf05599ba7dd9b)
Detta upprepas tills alla xj beräknats.
Lös ekvationssystemet
![{\displaystyle {\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}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/66112f4e8a4ad0ff88faf1eb615b50783eee82cb)
Nollställning i kolumn 1 av rad 2 och 3. Rad 3 är pivotraden och rad 1 och rad 3 kastas om:
![{\displaystyle {\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}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/b4943acdebdb37467a34a3094af938d9aab987b3)
Nollställning i kolumn 2 av rad 3. Rad 3 är pivotraden och rad 2 och rad 3 kastas om:
![{\displaystyle {\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}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/ed6e4766472dedc3e05a02ea0bc7499afcb9ab9b)
Bakåtsubstituering:
![{\displaystyle x_{3}={\frac {\frac {2}{3}}{\frac {2}{9}}}=3}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/defd34dc18f4a277a86f1a031b08ee05b8c09307)
![{\displaystyle x_{2}={\frac {6-{\frac {1}{2}}\cdot 3}{\frac {9}{4}}}=2}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/f1e3d9396777f448962637e5b770348c1c78f0e0)
![{\displaystyle x_{1}={\frac {8-(-1)\cdot 2-2\cdot 3}{4}}=1}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/9315c6749e3bba80512b9deb443eb367be63c564)
Efter Gausselimination erhålls en övertriangulär matris som med liknande teknik som vid Gausselimination kan överföras till en diagonalmatris vilket kallas Gauss-Jordan-elimination.
![{\displaystyle {\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}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/c9bb8f6a7b8e61a0ada8b551005701bcf0f57c30)
Om Gauss-Jordan-elimination 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. Exempel:
Låt matrisen A vara
![{\displaystyle A={\begin{bmatrix}2&-1&0\\-1&2&-1\\0&-1&2\end{bmatrix}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/d92b371fd37b82dc2920fe939a0f2cb51ae0c446)
och bilda genom tillägg av enhetsmatrisen
![{\displaystyle [AI]={\begin{bmatrix}2&-1&0&1&0&0\\-1&2&-1&0&1&0\\0&-1&2&0&0&1\end{bmatrix}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/d5dab7cd74ae245d36938da0676a1ccc608e38aa)
Genom elementära radoperationer kan A överföras till en diagonalmatris:
![{\displaystyle [IA^{-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}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/00c42f837ed9c25ffd51392afe0ba3c24c727f96)
Matrisens invers är den högra halvan av
:
![{\displaystyle 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}}}](http://178.128.105.246/cars-https-wikimedia.org/api/rest_v1/media/math/render/svg/bb539012dd31a3830a12e7faf7ff5eef25a450c4)