Kõrgem matemaatika / lineaaralgebra
Näide. Leiame maatriksi
astaku.
Teisendame maatriksi treppkujule
Mittenullridade arv on 2, seega esiaglse maatriksi astak on 2.
14. Kronecker-Capelli teoreem
Selles paragrahvis me tuletame LVSi kooskõlalisuse tunnuse.
Olgu antud LVS
Olgu
LVSi maatriks,
laiendatud maatriks ning
vabaliikmete veerg.
Teoreem (Kronecker-Capelli teoreem). LVS on lahenduv parajasti siis, kui
süsteemi laiendatud maatriksi astak on sama kui süsteemi maatriksi astak .
Tõestus. ,,Tavilikkus"e. ,, " Eeldame, et süsteemil leidub lahend
ning näitame, et
Kuna
on süsteemi lahend, siis
Nüüd lahutame maatriksi viimasest veerust 1. veergu korrutatud , 2.
Veergu korrutatud jne kuni vimase veergu korda , saame maatriksi
See maatriks on saadud maatriksist veerude lementaartesendustega, seega
tema astak ona sama, mis astak. Teiseltpoolt, kuna see maatriks on saadud
maatriksist A 0 veeru lisamisel, siis me same sellest koostada nullist erineva r-t