A matematikában a Gauss-elimináció (más néven sorredukció) lineáris egyenletrendszerek megoldására használt módszer. Nevét Carl Friedrich Gaussról, egy híres német matematikusról kapta, aki írt erről a módszerről, de nem ő találta fel.

A Gauss-elimináció elvégzéséhez a lineáris egyenletrendszerben szereplő kifejezések együtthatóit egy kiterjesztett mátrixnak nevezett mátrix létrehozására használjuk. Ezután elemi sorműveletekkel egyszerűsítjük a mátrixot. Az alkalmazott háromféle sorművelet a következő:

1. típus: Egy sor cseréje egy másik sorral.

2. típus: Egy sor szorzása nem nulla számmal.

3. típus: Egy sor hozzáadása vagy kivonása egy másik sorból.

A Gauss-elimináció célja az, hogy a mátrixot sor-echelon formában kapjuk meg. Ha egy mátrix sor-echelon formában van, az azt jelenti, hogy balról jobbra haladva minden sor legalább eggyel több nullás taggal kezdődik, mint a fölötte lévő sor. A Gauss-elimináció egyes definíciói szerint a mátrix eredményének redukált sor-echelon formában kell lennie. Ez azt jelenti, hogy a mátrix sor-echelon formában van, és minden sorban az egyetlen nem nulla kifejezés 1. A Gauss-eliminációt, amely redukált sor-echelon mátrixeredményt hoz létre, néha Gauss-Jordan-eliminációnak nevezik.

Részletes leírás és lépések

Általános menete a következő:

  • Írd fel a lineáris egyenletrendszert kiterjesztett (augmented) mátrix formájában: a bal oldali együtthatókat és a jobb oldali konstansokat egy mátrixban egyesítve.
  • Előre haladó (forward elimination): válassz egy pivot elemet (általában az első nem nulla elemet egy oszlopban), ha szükséges cserélj sorokat (1. típusú művelet), majd a pivot segítségével nullázd az alatta levő elemeket (3. típusú műveletek). Ismételd oszloponként, haladva jobbra és lefelé a pivotok mentén.
  • Ha szeretnéd, a pivotot megszorozhatod úgy, hogy 1 legyen (2. típusú művelet). Ez megkönnyíti a visszahelyettesítést vagy a teljes redukciót.
  • Visszahelyettesítés (back substitution): amikor a mátrix sor-echelon formában van, a legalsó sorból visszafelé haladva számolhatod ki az ismeretleneket. Ha teljesen redukált sor-echelon formát (Gauss–Jordan) szeretnél, akkor az előbbi lépések után további nullázásokat végzel a pivotok felett is.

Példa (rövid, szemléltető)

Például a következő rendszer:

2x + y = 5
x - y = 1

Augmentált mátrixa:

[ 2 1 | 5 ]
[ 1 -1 | 1 ]

Első lépésként érdemes az első sort és a másodikat szükség szerint felcserélni (vagy az első sort megfelezni), majd a pivot (1) segítségével nullázni az első oszlop második sorát. Végül visszahelyettesítéssel megkapjuk x=2, y=1. A bemutatás itt rövidített; nagyobb rendszerekben ugyanígy működik a folyamat.

Sajátos esetek és megoldások

  • Nincs megoldás (inkonzisztens): ha egy sorból azt kapjuk, hogy 0x1 + 0x2 + ... + 0xn = b, ahol b ≠ 0, akkor az egyenletrendszer ellentmondásos és nincs megoldása.
  • Végtelen sok megoldás: ha a rang (a sorok lineáris függetlenségének száma) kisebb, mint az ismeretlenek száma, akkor vannak szabad változók és végtelen sok megoldás. Ekkor paraméterekkel adjuk meg a megoldást.
  • Egyedi megoldás: ha a rang egyenlő az ismeretlenek számával (és nincs ellentmondás), akkor egyetlen megoldás létezik.

Numerikus szempontok és bővítések

  • Pivotválasztás és stabilitás: lebegőpontos számítással dolgozva előnyös a részleges pivotálás (az aktuális oszlopban a legnagyobb abszolút értékű elemet választani pivotnak), mert ez csökkenti a kerekítési hibák hatását. Teljes pivotálás során pedig oszlopokat is cserélhetünk.
  • Algoritmikus költség: egy n×n-es rendszer megoldása Gauss-eliminációval általában O(n^3) időt igényel; ezért nagyon nagy rendszerek esetén speciális módszereket vagy iteratív eljárásokat (pl. Gauss–Seidel, konjugált gradient) célszerű megfontolni.
  • Alkalmazhatóság: a módszer nem csak valós számokból álló rendszerekre alkalmazható, hanem bármely olyan tetszőleges test (például racionális számok, komplex számok) fölött, ahol a műveletek értelmezettek.

Tippek gyakorláshoz

  • Munkához mindig írd fel a kiterjesztett mátrixot; ez vizuálisan segít a sorműveletek követésében.
  • Használj részleges pivotálást numerikus problémák esetén a pontosság érdekében.
  • Gyakorold a visszahelyettesítést kézzel kis rendszereken, hogy jobban érthető legyen a folyamat logikája, majd térj át számítógépes megoldásokra nagyobb rendszereknél.