Lineaarvõrrandisüsteem

**Lineaarvõrrandisüsteem** on lineaaralgebras lineaarvõrrandite komplekt, näiteks 

: 3*x*1 + 2*x*2 &minus; *x*3 = 1
: 2*x*1 &minus; 2*x*2 + 4*x*3 = &minus;2
: &minus;*x*1 + &frac12;*x*2 &minus; *x*3 = 0.

Selle võrrandisüsteemi lahendamine seisneb muutujate *x*1, *x*2 ja *x*3 väärtuste selliste komplektide leidmises, mis rahuldavad kõiki kolme võrrandit korraga. 

Lineaarseks nimetatakse võrrandisüsteemi siis, kui tundmatud x_1, x_2...x_n on esimeses astmes.

Lineaarvõrrandisüsteemi lahendamine on üks vanemaid probleeme matemaatikas. Sellel on palju rakendusi. Lineaarvõrrandite süsteemide efektiivsed meetodid on Gaussi meetod ja Cholesky lahutus.

Üldjuhul võib *n* muutujaga *m* lineaarvõrrandi süsteemi esitada kujul  
: *a*11*x*1 + *a*12*x*2 + ... + *a*1*n**x**n* = *b*1
: *a*21*x*1 + *a*22*x*2 + ... + *a*2*n**x**n* = *b*2
: &nbsp;&nbsp;&nbsp;&nbsp;&#0058;
: &nbsp;&nbsp;&nbsp;&nbsp;&#0058;
: *a**m*1*x*1 + *a**m*2*x*2 + ... + *a**mn**x**n* = *b**m*,

kus *x*1, ... ,*x**n* on tundmatud ja arvud (üldisemalt skalaarid) *a**ij* on süsteemi koefitsiendid. Koefitsiendid esitame maatriksina: 
:
A=\begin{pmatrix}
a_{11} & a_{12} & \cdots & a_{1n} \\
a_{21} & a_{22} & \cdots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{m1} & a_{m2} & \cdots & a_{mn} \end{pmatrix}. 

Võrrandisüsteemi võib esitada ka kujul
: *A*x = **b**, 
kus *A* on ülaltoodud *m*×*n*-maatriks,  **x** on *n* liikmega veeruvektor ja **b** on *m* liikmega veeruvektor. Gaussi meetod on rakendatav kõikide sellise kujuga süsteemide puhul, ka siis, kui koefitsiendid kuuluvad suvalisse korpusesse.

Kui korpus, millesse koefitsiendid kuuluvad, on lõpmatu (näiteks reaalarvude korpus või kompleksarvude korpus), siis iga antud lineaarvõrrandite süsteemi korral on võimalikud kolm juhtu: 
* süsteemil puuduvad lahendid 
* süsteemil on üksainus lahend
* süsteemil on lõpmatu palju lahendeid.

Süsteemi kujuga
: *A*x = **0**
nimetatakse **[[homogeenne lineaarvõrrandisüsteem|homogeenseks lineaarvõrrandisüsteemiks]]**. Homogeense süsteemi kõikide lahendite hulk on alati vektorruumi *F*&nbsp;*n* lineaarne alamruum, kus *F* on koefitsientide korpus.

Eriti ülalnimetatud rakenduste jaoks on erijuhtude puhuks välja töötatud Gaussi meetodist efektiivsemaid meetodeid. Paljudel neist on keerukus O(''n''&sup2;). Mainime tuntumaid: 
* Kui ülesandel on kuju *A*x = **b**, kus *A* on sümmeetriline Toeplitzi maatriks, siis saab kasutada Levinson rekursiooni või mõnda selle tuletistest. Üks Levinsoni-laadne tuletis on Schuri rekursioon, mida kasutatakse sageli digitaalses signaalitöötluses.
* Kui ülesandel on kuju *A*x = *b*, kus *A* on singulaarne maatriks või peaaegu singulaarne maatriks, siis lahutatakse  maatriks A kolme maatriksi korrutiseks, kasutades singulaarväärtuslahutust.

## Liitmisvõte
Liitmisvõtte idee seisneb ühe muutuja elimineeris võrrandite liitmise kaudu, mille tagajärjel saame ühe muutujaga võrrandi. Sealt on juba lihtne vastav muutuja väärtus avaldada. Teise muutuja väärtuse saame kätte, asendades leitud muutuja väärtus ühte esialgsetest võrranditest.

Lahendame näiteks võrrandisüsteemi
:\begin{cases} 4x-2y=2,8 \\ 7x+4y=-2,6 \end{cases}
Proovime elimineeride muutujat *y*. Selleks korrutame kõigepealt esimese võrrandi poolt 2-ga ja seejärel liidame võrrandid.
:\begin{cases} 4x-2y=2,8\mid \cdot 2 \\ 7x+4y=-2,6 \end{cases} \Leftrightarrow \begin{cases} 8x-4y=5,6 \\ \underline{7x+4y=-2,6} \end{cases} +
Muutuja y väärtused koonduvad ja saame
:15x=3, kus x=0,2

Nüüd asendame leitud x väärtuste ükskõik kumba (mõistagi lihtsamasse) võrrandisse ning leiame y väärtuse:

:4\cdot0,2-2y=2,8\Leftrightarrow -2y=2,8-0,8\Leftrightarrow 2y=-2 \Leftrightarrow y=-1.  

Vastuseks saame lahendipaari 
:\begin{cases}x=0,2 \\y=-1\end{cases}

## Asendusvõte
Asendusvõtte idee seisneb ühest võrrandist muutuja avaldamises ja selle asendamises teise võrrandisse.

Näiteks lahendame asendusvõttega võrrandisüsteemi
:\begin{cases} x+y=6 \\ x-y=1 \end{cases}

Kõigepealt avaldame teisest võrrandist x=y+1 ning asendame saadud avaldise esimesse võrrandisse: y+1+y=6 \Leftrightarrow 2y=5. Leiame, et y=2,5.

Vastava *x* väärtuse saame võrrandist x+2,5=6 .

Seega saime lahendiks, et 
:\begin{cases} x=3,5 \\ y=2,5 \end{cases} .

## Välislingid
* Lineaarvõrrandite süsteemide lahendaja veebis (inglise keeles)