Peatüki algus: Maatriksid
Eelmine: Determinandid
Järgmine: Maatriksi omaväärtused ja omavektorid


Maatriksi neli alamruumi

Vaatleme reaalarvulist tex2html_wrap_inline2276maatriksit


displaymath2220
Maatriksit A on võimalik esitada nii maatriksi A veeruvektorite tex2html_wrap_inline2282=1:n)abil kui ka maatriksi A transponeeritud reavektorite tex2html_wrap_inline2288=1:m) abil
displaymath2221
kusjuures tex2html_wrap_inline2290 ja tex2html_wrap_inline2292 ning tex2html_wrap_inline2294

Definitsioon 2.4.1. Maatriksi A veeruvektorite hulga tex2html_wrap_inline2298 lineaarset katet tex2html_wrap_inline2300 nimetatakse maatriksi A veeruvektorite alamruumiks ja tähistatakse tex2html_wrap_inline2304 või ran(A).

Definitsioon 2.4.2. Maatriksi A reavektorite hulga tex2html_wrap_inline2310 lineaarset katet nimetatakse maatriksi A reavektorite alamruumiks ja tähistatakse tex2html_wrap_inline2314 või ran(AT).

Definitsioon 2.4.3. Maatriksi astakuks nimetatakse suurimat naturaalarvu k, mille korral maatriksil leidub nullist erinev k-järku miinor. Maatriksi A astakut tähistatakse rank(A).

Olgu rank(A)=r. Maatriksi astaku kohta käiva teoreemi põhjal peab paika

Lause 2.4.1. Maatriksi astak on võrdne tema reavektorite (veeruvektorite) alamruumi mõõtmega, so
displaymath2222

Definitsioon 2.4.4. Maatriksi A (parempoolseks) nullruumiks nimetatakse võrrandisüsteemi
 
equation534

  kõigi lahendite
displaymath2223
hulka. See on alamruum, mida tähistatakse sümboliga tex2html_wrap_inline2332 või null(A).

Lause 2.4.2. Mistahes maatriksi tex2html_wrap_inline2336, mille astak on r, korral
displaymath2224

Tõestus. Süsteemimaatriksi A astakuks on r ja muutujate arvuks võrrandisüsteemis (4) on n. Järelikult süsteemi vabadusastmete arvuks on n-r. Vabadusastmete arv näitab nullruumi mõõdet. Seega, tex2html_wrap_inline2348 Süsteem (4) on kirja pandav kujul
displaymath2225
Seega tex2html_wrap_inline2350 tex2html_wrap_inline2352 tex2html_wrap_inline2354=1:m), st maatriksi A reavektorid on risti maatriksi A nullruumi tex2html_wrap_inline2332 suvalise vektoriga ja seega tex2html_wrap_inline2364 Kuna lisaks tex2html_wrap_inline2366 ja tex2html_wrap_inline2368 siis tex2html_wrap_inline2370 ja ruumi tex2html_wrap_inline2372 esitub otsesummana

displaymath2226

Definitsioon 2.4.5. Maatriksi A vasakpoolseks nullruumiks nimetatakse võrrandisüsteemi
 equation599
kõigi lahendite
displaymath2227
hulka ja tähistatakse tex2html_wrap_inline2376 või null(AT).

Lause 2.4.3. Mistahes maatriksi tex2html_wrap_inline2336, mille astak on r, korral
displaymath2228

Tõestus. Süsteemimaatriksi AT astakuks on r ja muutujate arvuks võrrandisüsteemis (5) on m. Järelikult on süsteemi vabadusastmete arvuks m-r ja
displaymath2229
Süsteem (5) on esitatav kujul
displaymath2230
Seega tex2html_wrap_inline2392 tex2html_wrap_inline2354=1:m) ja tex2html_wrap_inline2398 Kuna tex2html_wrap_inline2400 ja tex2html_wrap_inline2402 siis tex2html_wrap_inline2404 ja ruumi Rm esitub otsesummana

displaymath2231

Näide 2.4.1. Leiame maatriksi
displaymath2232
alamruumide tex2html_wrap_inline2408 tex2html_wrap_inline2410 tex2html_wrap_inline2314 ja tex2html_wrap_inline2376 mõõtmed ja baasid. Illustreerime lausete 2.4.2 ja 2.4.3 väiteid antud näite korral.

Alustame ruumi tex2html_wrap_inline2304 uurimisest, lahutades maatriksi A teisest veerust kahekordse esimese veeru,
displaymath2233
ja siis kolmandast veerust uue teise, neljandast veerust esimese ning viiendast veerust esimese veeru ja uue teise
displaymath2234
Siin sümbol "tex2html_wrap_inline2420" maatriksite vahel tähistab seda, et on säilunud tex2html_wrap_inline2422 Viimasel maatriksil on nullist erinevaid veerge 2 tex2html_wrap_inline2424 tex2html_wrap_inline2426 Baasiks ruumile tex2html_wrap_inline2304 saame
displaymath2235
Ruumi tex2html_wrap_inline2376 kirjeldamiseks lahendame süsteemi (5) :
displaymath2236
st

displaymath2237


displaymath2238
Seega ruumi tex2html_wrap_inline2432 baas on
displaymath2239
Kontrollime skalaarkorrutise abil, et tex2html_wrap_inline2434
displaymath2240

displaymath2241
Ühend tex2html_wrap_inline2436 sisaldab kolme lineaarselt sõltumatut tex2html_wrap_inline2438 vektorit ja on seega baasiks ruumile tex2html_wrap_inline2438 ning järelikult tex2html_wrap_inline2442 Ruumi tex2html_wrap_inline2314 kirjeldamiseks leiame tema dimensiooni ja baasi:
displaymath2242

displaymath2243
Ruumi tex2html_wrap_inline2332 kirjeldamiseks lahendame süsteemi (4):
displaymath2244
tex2html_wrap_inline2448
displaymath2245

displaymath2246
Baasi tex2html_wrap_inline2450 vektorid on risti baasi tex2html_wrap_inline2452 vektoritega ja seega tex2html_wrap_inline2454 ning ühend tex2html_wrap_inline2456 moodustab baasi ruumile tex2html_wrap_inline2458 järelikult

displaymath2247

Ülesanne 2.4.1. Olgu tex2html_wrap_inline2460 Näidake, et tex2html_wrap_inline2462

Ülesanne 2.4.2. Näidake, et
eqnarray811

Ülesanne 2.4.3.* Leidke maatriksi A alamruumide tex2html_wrap_inline445 tex2html_wrap_inline447 tex2html_wrap_inline449 ja tex2html_wrap_inline451 mõõtmed ja baasid. Illustreerige lausete 2.4.2 ja 2.4.3 väiteid maatriksi A korral, kui
displaymath362

displaymath363

Ülesanne 2.4.4.* Leidke maatriksi AB alamruumide tex2html_wrap_inline459 tex2html_wrap_inline461 tex2html_wrap_inline463 ja tex2html_wrap_inline465 mõõtmed ja baasid, kui
displaymath364
Võrrelge saadud tulemusi ülesande 2.4.3 alaülesannetes b ja c saadud tulemustega.

Peatüki algus: Maatriksid
Eelmine: Determinandid
Järgmine: Maatriksi omaväärt used ja omavektorid