Matriisin aste
Lineaarialgebrassa matriisin aste on eräs tärkeimpiä matriisia kuvaavia tunnuslukuja, ja sen avulla voidaan luonnehtia matriisia vastaavien lineaaristen yhtälöryhmien pelkistymättömyyttä. Matriisin asteella on monia yhtäpitäviä määritelmiä, esim. matriisin lineaarisesti riippumattomien sarakkeiden suurin lukumäärä. Matriisin A astetta merkitään yleisesti rank(A).
Määritelmiä
[muokkaa | muokkaa wikitekstiä]Matriisin A aste on A:n sarekeavaruuden eli sarakkeiden virittämän vektoriavaruuden dimensio. Tämä luku on A:n lineaarisesti riippumattomien sarakevektoreiden suurin mahdollinen lukumäärä. Koska jokaisen matriisin sarake- ja riviavaruudella on sama dimensio, voidaan A:n aste yhtäpitävästi määritellä myös A:n riviavaruuden dimensiona.
Yleisesti lineaarikuvauksen aste määritellään kuva-avaruuden dimensiona. Tällöin matriisin A aste on sama kuin lineaarikuvauksen aste.[1]
Matriisin A aste voidaan määrittää myös alideterminanttien avulla. A:n aste on r > 0 jos ja vain jos matriisilla A on ainakin yksi r x r alimatriisi, jonka determinantti ei ole nolla, ja jokaisen (r + 1) x (r + 1) alimatriisin determinantti on nolla.
Esimerkkejä
[muokkaa | muokkaa wikitekstiä]Matriisin
A =
kaksi ensimmäistä riviä ovat lineaarisesti riippumattomia, joten sen aste on vähintään 2. Toisaalta kaikki kolme riviä ovat lineaarisesti riippuvia (ensimmäinen on toisen ja kolmannen rivin summa), joten A:n aste on alle 3. Näin ollen rank(A) = 2.
Matriisin
B =
aste on vähintään 1, koska matriisissa on nollasta poikkeavia sarakkeita. Aste on pienempi kuin 2, koska jokainen sarakepari on lineaarisesti riippuva. Näin ollen rank(B) = 1.
Matriisin asteen laskeminen
[muokkaa | muokkaa wikitekstiä]Yleinen tapa laskea matriisin aste on muuttaa se yksinkertaisempaan porrasmuotoon alkeisrivitoimituksien avulla. Alkeisrivitoimitukset eivät muuta matriisin riviavaruutta ja siten matriisin aste pysyy samana. Porrasmuotoisen matriisin aste on joko nollasta poikkeavien rivien tai perussarakkeiden määrä, jotka ovat yhtä suuret.
Esimerkiksi matriisi
voidaan muuttaa porrasmuotoon käyttämällä seuraavia alkeisrivitoimituksia:
.
Viimeisessä matriisissa (joka on porrasmuodossa) on kaksi nollasta poikkeavaa riviä, joten sen aste on 2.
Ominaisuuksia
[muokkaa | muokkaa wikitekstiä]Oletetaan, että A on m × n matriisi ja määritellään lineaarikuvaus f, jossa f(x) = Ax kuten yllä.
- Matriisin m × n aste on ei-negatiivinen kokonaisluku, eikä voi olla suurempi kuin m tai n. Matriisia, jonka aste on suurin mahdollinen, sanotaan täysiasteiseksi.
- Vain nollamatriisin aste on 0.
- rank(A) = rank(AT)
- f on injektio jos ja vain jos A:n aste on n (eli A:lla on täysi sarakeaste).
- f on surjektio jos ja vain jos A:n aste on m (eli A:lla on täysi riviaste).
- Jos A on neliömatriisi (eli m = n), niin A on kääntyvä matriisi jos ja vain jos A:n aste on n (eli A on täysiasteinen).
- Jos B on jokin n × k matriisi niin
- Jos B on n × k matriisi, jonka aste on n niin
- Jos C on l × m matriisi, jonka aste on m niin
- Matriisin A aste on yhtä suuri kuin r jos ja vain jos on olemassa kääntyvä m × m matriisi X ja kääntyvä n × n matriisi Y niin, että
jossa Ir tarkoittaa r × r yksikkömatriisia.
Sovelluksia
[muokkaa | muokkaa wikitekstiä]Matriisin astetta käytetään esimerkiksi lineaarisen yhtälöryhmän ratkaisujen lukumäärän löytämisessä. Rouche-Capellin teoreeman mukaan yhtälöryhmällä ei ole ratkaisua jos laajennetun kerroinmatriisin aste on suurempi kuin yhtälöryhmää vastaavan kerroinmatriisin aste. Jos taas näiden matriisien asteet ovat yhtä suuret, on yhtälöryhmällä ainakin yksi ratkaisu. Ratkaisuja on vain yksi jos ja vain jos aste on yhtä suuri kuin muuttujien lukumäärä. Muulloin yhtälöryhmällä on äärettömän monta ratkaisua.
Lähteet
[muokkaa | muokkaa wikitekstiä]- ↑ Sheldon J Axler: Linear Algebra Done Right. Springer, 2015. ISBN 978-3-319-11079-0