Matrisers fundamentalrum och rangsatsen

Efter denna lektion kommer du att kunna definiera och beräkna en matris nollrum, kolonnrum och radrum, samt tillämpa rangsatsen för att analysera linjära ekvationssystem och vektorrum.

Introduktion till fundamentalrummen

Varje m × n-matris A ger upphov till tre fundamentala delrum: nollrummet, kolonnrummet och radrummet.

Nollrummet, Noll(A):

Nollrummet (ibland skrivet Ker(A) för kärna) består av alla vektorer x i ℝⁿ som avbildas på nollvektorn under matrisen A. Det vill säga:

Noll(A) = { x ∈ ℝⁿ : A · x = 0 }

Nollrummet är ett delrum till domänen ℝⁿ. Dess dimension kallas matrisens nullitet (nullity).

Kolonnrummet, Kol(A):

Kolonnrummet (eller Im(A) för bild/image) är det vektorrum som spänns upp av matrisens kolonnvektorer. Om matrisens kolonner skrivs som a₁, a₂, ..., aₙ, består Kol(A) av alla linjärkombinationer c₁a₁ + c₂a₂ + ... + cₙaₙ.

Kol(A) är ett delrum till målrummet ℝᵐ. Ett ekvationssystem A · x = b har minst en lösning om och endast om högerledet b ligger i Kol(A).

Dimensionen av kolonnrummet kallas matrisens rang (rank(A)).

Att förstå skillnaden mellan nollrum och kolonnrum är avgörande: nollrummet beskriver vilka vektorer som "försvinner" till noll, medan kolonnrummet beskriver vilka vektorer som överhuvudtaget kan nås som resultat av multiplikationen A · x.

Radrummet och ortogonalitet

Det tredje fundamentalrummet är radrummet, betecknat Rad(A) (eller Row(A)). Radrummet spänns upp av raderna i matrisen A (vilket är detsamma som kolonnrummet för transponatet Aᵀ).

Eftersom raderna i A består av n element vardera, är Rad(A) ett delrum i ℝⁿ – precis som nollrummet Noll(A).

Ett mycket viktigt resultat:

Ett element x ligger i Noll(A) om och endast om A · x = 0. Detta innebär att skalaresskulden (prickprodukten) mellan varje rad i matrisen A och vektorn x är lika med noll. Matrisens rader är alltså vinkelräta (ortogonala) mot varje vektor i nollrummet!

Därför är Rad(A) och Noll(A) ortogonala komplement i ℝⁿ. Det betyder att varje vektor x i ℝⁿ kan uppdelas entydigt i en radrumsdel och en nollrumsdel.

En central sats inom linjär algebra säger också att dimensionen för radrummet alltid är exakt lika med dimensionen för kolonnrummet:

dim(Rad(A)) = dim(Kol(A)) = rang(A)

Detta är anmärkningsvärt eftersom raderna ligger i ℝⁿ och kolonnerna i ℝᵐ, men deras spännvidder har alltid samma dimension!

Rangsatsen (Dimensionssatsen)

Rangsatsen (även känd som dimensionssatsen för matriser) sammanbinder dimensionerna hos fundamentalrummen med matrisens storlek på ett mycket elegant sätt.

Rangsatsen:

Om A är en m × n-matris, gäller att:

rang(A) + dim(Noll(A)) = n

Där:

• n är antalet kolonner i matrisen A (dimensionen av domänen ℝⁿ).
• rang(A) är antalet pivotkolonner (dimensionen för Kol(A) och Rad(A)).
• dim(Noll(A)) är antalet fria variabler i ekvationssystemet A · x = 0.

Intuition:

Tänk på n (antalet kolonner) som den totala mängden frihetsgrader eller dimensioner du startar med i indata. När du multiplicerar med matrisen A bevaras rang(A) dimensioner i utdata, medan dim(Noll(A)) dimensioner "kollapsar" till nollvektorn. Summan måste bevaras och bli n.

Exempel:

Om en matris A har storlek 4 × 7 och rang(A) = 3, vad är dimensionen för nollrummet?

Enligt rangsatsen: rang(A) + dim(Noll(A)) = n ⇒ 3 + dim(Noll(A)) = 7 ⇒ dim(Noll(A)) = 4.

Metod för att hitta baser till fundamentalrummen

För att explicit hitta baser för Noll(A), Kol(A) och Rad(A) använder vi gausselimination för att reducera matrisen A till radreducerad trappstegsform (RREF), låt oss kalla den R.

1. Bas för Kolonnrummet Kol(A):

Radoperationer ändrar kolonnrummet, men beroendeförhållanden mellan kolonner bevaras! Identifiera pivotkolonnerna i RREF-matrisen R. Basen för Kol(A) består av motsvarande kolonner i den URSPRUNGLIGA matrisen A.

2. Bas för Radrummet Rad(A):

Radoperationer ändrar *inte* radrummet. De icke-nollskilda raderna i RREF-matrisen R bildar en bas för Rad(A).

3. Bas för Nollrummet Noll(A):

Radoperationer ändrar *inte* lösningarna till A · x = 0. Lös ekvationssystemet R · x = 0. Uttryck de bundna variablerna (motsvarande pivotkolonner) i de fria variablerna. Skriv lösningen på vektorform – vektorerna som multipliceras med de fria variablerna utgör en bas för Noll(A).