5 Sistemi linearnih enačb
Sistem linearnih enačb z neznankami je množica enačb
ki jih lahko zapišemo v matrični obliki kot , kjer je matrika koeficientov sistema, stolpec neznank ter stolpec desnih strani sistema.
Cramerjevo pravilo
To je posebna metoda za reševanje sistemov linearnih enačb s toliko enačbami kot neznankami, torej ko je matrika koeficientov kvadratna in obrnljiva.
Izrek 5.1 [1,5]: Če je kvadratna matrika z , je sistem enolično rešljiv in rešitve so
kjer je determinanta matrike , , ki jo dobimo tako, da v matriki zamenjamo -ti stolpec s stolpcem desnih strani .
Primer 5.1: Rešimo naslednji sistem:
Matrika koeficientov je in stolpec desnih strani je . Najprej se lotimo računanja determinante matrike , da preverimo, ali je različna od nič, in dobimo . To pomeni, da lahko uporabimo Cramerjevo pravilo. Izračunamo še
, in
. Torej je rešitev sistema
, ter
.
Gaussova eliminacijska metoda
Pri tej metodi neznanke iz enačb sistematično izločimo tako, da dobimo zgornjetrikotno obliko sistema.
Primer 5.2: Rešimo naslednji sistem:
Sistem linearnih enačb, ki je v zgornjetrikotni obliki, kot je dani sistem, rešimo od zadnje enačbe proti prvi (torej od najpreprostejše k najzahtevnejši). Torej iz tretje enačbe takoj izračunamo . Vrednost neznanke vstavimo v drugo enačbo sistema in izračunamo . Ker je , dobimo . Potem vrednosti neznank in vstavimo v prvo enačbo sistema in izračunamo . Iz enačbe sledi, da je .
Naj bo sistem . Če matriki dodamo še stolpec , dobimo novo matriko reda , ki ji pravimo razširjena matrika sistema, označimo jo z
Sistem rešujemo tako, da z operacijami, ki na rešitve sistema ne vplivajo, spreminjamo enačbe, dokler niso zapisane v zgornjetrikotni obliki. Takšne operacije so:
- poljubni enačbi zamenjamo;
- poljubno enačbo na levi in desni strani pomnožimo (ali delimo) s poljubnim neničelnim številom;
- poljubni enačbi prištejemo (ali od nje odštejemo) drugo enačbo, pomnoženo z nekim od različnim številom.
Pri matriki so te operacije:
- poljubni vrstici zamenjamo;
- poljubno vrstico pomnožimo (ali delimo) s poljubnim neničelnim številom;
- poljubni vrstici prištejemo (ali od nje odštejemo) drugo vrstico, pomnoženo z nekim neničelnim številom.
Gornje operacije imenujemo elementarne vrstične operacije. S temi operacijami dobimo ničle pod glavno diagonalo matrike . Ta oblika se imenuje vrstična kanonična oblika in ima naslednji lastnosti:
- za neko naravno število je prvih vrstic matrike neničelnih, zadnjih vrstic pa vsebuje samo ničle;
- v prvih neničelnih vrsticah imenujemo prvi neničelni element vsake vrstice pivot. Za dve zaporedni vrstici vedno velja, da je pivot v spodnji vrstici bolj desno od pivota v zgornji vrstici.
Primer 5.3: Rešimo naslednji sistem:
Razširjena matrika tega sistema je
.
Prvi korak: Po potrebi zamenjamo prvo vrstico s kako drugo tako, da v zgornjem levem vogalu dobimo neničelni element (pri računanju peš je najbolje, da je to enica). Temu elementu bomo rekli pivot. V našem primeru je že enica.
Drugi korak: Z uporabo elementarnih vrstičnih operacij naredimo ničle v prvem stolpcu pod pivotom.
Razširjena matrika ima že vrstično kanonično obliko.
Tretji korak: Zadnji matriki sedaj priredimo nazaj sistem linearnih enačb:
Jasno je, da je , in potem iz prve enačbe dobimo oziroma .
Primer 5.4: Rešimo naslednji sistem:
Razširjena matrika sistema je .
Ker imamo v zgornjem levem vogalu , zamenjamo prvo vrstico z drugo in dobimo ekvivalentno matriko
in zdaj je pivot . Z operacijami in pod pivotom v prvem stolpcu naredimo ničli. Nova matrika je
Postopek nadaljujemo pri sledečem delu matrike, pri čemer odmislimo prvo vrstico in prvi stolpec. Zdaj je pivot in z operacijo pod njim naredimo ničlo. Dobimo matriko
ki je vrstična kanonična oblika razširjene matrike . Tej matriki sedaj priredimo sistem linearnih enačb:
Iz tretje enačbe sledi, da je . Vstavimo vrednost neznanke v drugo vrstico in izračunamo . Ker je , sledi, da je . Vrednosti neznank in vstavimo v prvo vrstico in izračunamo . To pomeni oziroma .
Splošni algoritem, uporabljen prej, imenujemo Gaussova eliminacijska metoda.
Primer 5.5: Rešimo naslednji sistem:
Z metodo Gaussove eliminacije razširjeno matriko preoblikujemo v vrstično kanonično obliko:
Pripadajoči sistem je
Zadnja enačba je protislovje, kar pomeni, da sistem ni rešljiv.
Primer 5.6: Rešimo naslednji sistem:
Z uporabo Gaussove metode preoblikujemo razširjeno matriko sistema v ustrezno obliko:
Priredimo sistem linearnih enačb
V zadnji enačbi sta dve neznanki, zato izberemo na primer , kjer je poljubno realno število. Potem izračunamo . Iz enačbe sledi, da je .
Vrednosti neznank in vstavimo v prvo enačbo
in izračunamo vrednost neznanke . Dobimo .
Ker je neskončno mnogo možnosti za izbor vrednosti parametra , ima sistem neskončno mnogo rešitev. Recimo, da je sistem neskončno rešljiv.
Rešljivost sistemov
Z uporabo Gaussove eliminacijske metode lahko iz poljubne neničelne matrike reda pridobimo vrstično kanonično obliko te matrike. Vsaka matrika ima enolično določeno vrstično kanonično obliko, ki ni odvisna od zaporedja izvedenih elementarnih vrstičnih operacij.
Definicija 5.1: Rang matrike (oznaka ali ) je maksimalno število neničelnih vrstic, ki jih dobimo z Gaussovo eliminacijsko metodo, oziroma je število pivotov v vrstični kanonični obliki matrike .
Če je matrika reda , vselej velja, da je .
Če je matrika reda , je natanko tedaj, ko je .
Velja tudi:
- ;
- ;
- .
Primer 5.7: Izračunajmo rang matrike
Preoblikujemo dano matriko v vrstično kanonično obliko:
Ker dobimo neničelne vrstice, je
Primer 5.8: Izračunajmo rang matrike
Spet z uporabo elementarnih vrstičnih operacij preoblikujemo dano matriko v vrstično kanonično obliko:
V tem primeru smo dobili dve neničelni vrstici, torej je
Zdaj lahko predstavimo splošni izrek za reševanje poljubnega sistema linearnih enačb.
Izrek 5.2 [1,5]: Naj bo sistem linearnih enačb z neznankami in je razširjena matrika tega sistema. Potem velja:
- sistem je rešljiv natanko tedaj, ko je ;
- sistem je enolično rešljiv natanko tedaj, ko je .
- sistem ima neskončno rešitev natanko tedaj, ko je .
V zadnjem primeru lahko neznank poljubno izberemo kot parametre. Potem je neznank z njimi natanko določenih. Rečemo tudi, da ima sistem –parametrično rešitev.
Primer 5.9: Rešite naslednji sistem:
Preoblikujemo razširjeno matriko sistema v vrstično kanonično obliko:
Torej, , kar pomeni, da je sistem nerešljiv.
Izrek 5.3 [1,5]: Za kvadratno matriko reda so naslednje trditve ekvivalentne:
- je obrnljiva matrika,
- ,
- ,
- sistem linearnih enačb je enolično rešljiv za vsako desno stran .
4. Homogeni sistemi
Homogeni sistem je poseben sistem linearnih enačb z ničelno desno stranjo: . Za tak sistem vedno velja torej je homogeni sistem vedno rešljiv in ima vedno rešitev , ki se imenuje ničelna ali trivialna rešitev.
Če je , potem je rešitev ena sama (tj. ničelna rešitev), in če je , ima homogeni sistem neskončno rešitev.
Primer 5.10: Rešimo naslednji homogeni sistem:
Ker je sistem homogen, je zadnji stolpec pri Gaussovi eliminacijski metodi v razširjeni matriki sistema vseskozi enak in ga zato kar izpustimo. Matriko sistema preoblikujemo v vrstično kanonično obliko:
Opazimo, da je in rešitev je 1-parametrična, ker je . Pripadajoči sistem je
Če kot parameter izberemo , dobimo in potem
Primer 5.11: Rešimo naslednji homogeni sistem:
Matriko sistema preoblikujemo v vrstično kanonično obliko:
Torej, in rešitev ima parametra, ker je . Pripadajoči sistem je
Dobimo in , kjer sta in poljubni realni števili.