- MATH.MA.140
- 4. Matriisit
- 4.10 Sarake- ja nolla-avaruus yhtälönratkaisussa
Sarake- ja nolla-avaruus yhtälönratkaisussa¶
Seuraavaksi tarkastellaan näihin sarake- ja nolla-avaruutta informaatiota matriisiyhtälön \(A\bx = \bb\) ratkaisun näkökulmasta.
Jos sarakeavaruus \(\cR(A)\) on tiedossa, voidaan selvittää, onko matriisiyhtälöllä \(A\bx = \bb\) ratkaisuja. Sarakeavaruus \(\cR(A)\) nimittäin koostuu niistä vektoreista \(\bb\), joita kohden yhtälöllä \(A\bx = \bb\) on vähintään yksi ratkaisu.
Lause 4.14.1
Olkoon \(A\) \(m \times n\)-matriisi, sekä \(\bb\) avaruuden \(\R^m\) vektori. Yhtälöllä \(A\bx = \bb\) on ratkaisuja, jos ja vain jos \(\bb \in \cR(A)\)
Oletetaan ensin, että yhtälöllä \(A\bx = \bb\) on ratkaisuja. Olkoon \(\bv\) eräs ratkaisu. Tällöin \(A\bv = \bb\). Nyt sarakeavaruuden määritelmän nojalla \(\bb \in \cR(A)\).
Oletetaan sitten, että \(\bb \in \cR(A)\). Nyt sarakeavaruuden määritelmän nojalla on olemassa \(\bv \in \R^n\), jolle pätee \(A\bv = \bb\). Siten yhtälöllä \(A\bx = \bb\) on ratkaisu.
Jos tunnetaan matriisin nolla-avaruus sekä jokin yhtälön ratkaisu, saadaan selville kaikki ratkaisut.
Lause 4.14.2
Olkoon \(A\) \(m \times n\)-matriisi, sekä \(\bb\) avaruuden \(\R^m\) vektori. Olkoon \(\bx_0\) yhtälön \(A\bx = \bb\) jokin ratkaisu. Tällöin yhtälön ratkaisut ovat täsmälleen muotoa \(\bx_0 + \by\), missä \(\by \in \cN(A)\).
Osoitetaan, että \(\bv \in \R^n\) on yhtälön \(A\bx = \bb\) ratkaisu, jos ja vain jos \(\bv=\bx_0 + \by\) jollakin \(\by \in \cN(A)\).
Oletetaan ensin, että \(\bv \in \R^n\) on yhtälön \(A\bx = \bb\) ratkaisu. Nyt täytyy löytää nolla-avaruuden \(\cN(A)\) alkio \(\by\), jolle pätee \(\bv=\bx_0 + \by\). Valitaan \(\by=\bv-\bx_0\). Nyt
Siten \(\by \in \cN(A)\). Lisäksi \(\bv=\bx_0 + \by\).
Oletetaan sitten, että \(\bv=\bx_0 + \by\) jollakin \(\by \in \cN(A)\). On osoitettava, että \(\bv\) on yhtälön \(A\bx = \bb\) ratkaisu. Nähdään, että
Siten \(\bv\) on yhtälön \(A\bx = \bb\) ratkaisu.
Esimerkki 4.14.3
Olkoon
Esitetään yhtälön \(A\bx = \bb\) ratkaisut muodossa \(\bx_0 + \by\), missä \(\bx_0\) on yksittäisratkaisu ja \(\by\) homogeenisen yhtälön yleinen ratkaisu.
Kirjoitetaan yhtälöryhmä \(A\bx = \bb\) kokonaismatriisina
Kun matriisia muokataan alkeisrivimuuunnoksilla, saadaan redusoitu porrasmatriisi
Tästä nähdään, että yhtälöryhmän ratkaisu on
Vektorimuodossa kirjoitettuna ratkaisu on
Merkitään
Osoittautuu, että nämä vektorit toteuttava vaaditut ehdot:
ja
joten haluttu esitys on löydetty.
Koska lineaariset yhtälöryhmät voidaan kirjoittaa matriisiyhtälöinä, voidaan tässä osiossa esitettyjä tuloksia soveltaa lineaarisiin yhtälöryhmiin.