Linjär Algebra F9 Matriser

Matriser
Linjär Algebra
F9
Matriser
Pelle
2016-02-11
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Matrisinvers
Invers av matris
Den kvadratiska matrisen A är inverterbar
om det finns en matris B så att AB = BA = I .
Matrisen B kallas inversen A−1 till A.
Det finns högst en invers till A.
Sats
Räcker att kontrollera att
AA−1 = I
(då gäller automatiskt att A−1 A = I .)
och vice versa.
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Ortogonala matriser
ON-bas
Basen e1 , e2 kallas ortonormerad om
e1 ⊥ e2 (basvektorerna är ortogonala)
|e1 | = |e2 | = 1 (basvektorerna är normerade, längden 1)
En matris kallas ortogonal om kolonnvektorerna utgör en ortonormerad bas.
(Borde hetat ortonormerad matris!)
Sats 7, s 139
Om A är n × n är följande ekvivalenta:
(i) A är ortogonal.
(ii) AT A = I
(iii) AAT = I
(iv) A−1 = AT
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Allmänna (m × n) linjära system
För en matris A = (A1 A2 ... An ) definierar vi
kolonnrummet som alla linjärkombinationer av A1 , A2 , ..., An ,
rangen som max antal linjärt oberoende vektorer bland A1 , A2 , ..., An ,
nollrummet som alla lösningar till AX = 0,
nolldimensionen max antal linjärt oberoende lösningar till AX = 0.
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Allmänna (m × n) linjära system
Ex 2.
 
 
 x
0
1 −2 −1 0 1  1 
x2   
 0


0 −1 1 1   −3

x3  =  
−1
−4
2
0 2 2 
x4 
0
0
0
1 2 5
|
{z
} x5

A
Kan även skrivas
 
 
 
 
   
1
−2
−1
0
1
0
 0
 0
−1
1
1 −3

 
 
 
   
x1 
−1 + x2  2 + x3  0 + x4 2 + x5 2 = −4
0
0
1
2
5
0
VL är en linjärkombination av kolonnvektorerna.
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Kolonnrummet
Systemet är lösbart om HL kan skrivas som en linjärkombination av
kolonnvektorerna.
Kolonnrummet är alla Y som kan skrivas som en linjärkombination av
kolonnvektorerna A1 , A2 , ..., An i matrisen A = (A1 , A2 , ..., An ).
Dvs. alla Y där vi kan hitta x1 , x2 , ..., xn så att
Y = x1 A1 + x2 A2 + ... + xn An
Med andra ord: Kolonnrummet är alla Y där vi kan hitta en lösning X till
AX = Y .
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Rang
Rangen är maximala antalet linjärt oberoende kolloner i A.
Rangen talar om ”hur stor” kolonnrummet är.
Ex. Om rangen är 1 finns bara en linj. ober. vektor i kolonnrummet.
Dvs. kolonnrummet är lika stort som R (en linje).
Om rangen är 2 finns 2 linj. ober. vektorer i kolonnrummet.
Dvs. kolonnrummet är lika stort som R2 (ett plan).
Om rangen är 3 finns 3 linj. ober. vektorer i kolonnrummet.
Dvs. kolonnrummet är lika stort som R3 (ett 3D-rum).
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Allmänna (m × n) system
Fortsättning Ex 2. Efter elimination får vi trappsystemet
 

 x
 
1 −2 −1 0 1  1 
0
x2   
0


0 −1 1 1   −3

x3  =  
0
0
0 1 2 
−1
x4 
0
0
0 0 0
0
|
{z
} x5
G
Systemet får lösningarna
 
 
   
2
−2
2
x1
x2   0
 0
1
   
 
 
x3  =  2 +s −1 +t 0
   
 
 
−2
0
x4  −1
x5
0
1
0
| {z } | {z }
| {z }
| {z }
X
Xp
Pelle
Xh1
2016-02-11
Xh2
Matriser
invers ortogonala rang nollrum dimensionssatsen
Nollrum
Sats 8, s 141
Om systemet AX = Y har en lösning Xp så kan alla lösningar skrivas
Xallm = Xp + Xh
där Xh löser AX = 0.
Nollrummet till A är alla vektorer Xh som uppfyller AXh = 0.
Skillnaden mellan 2 lösningar ligger alltid i nollrummet.
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Nolldimension
Nolldimensionen är maximala antalet linjärt oberoende vektorer i
nollrummet.
Nolldimensionen talar om ”hur stor” mängden av lösningar till AX = Y är.
I Ex 2. är nolldimensionen 2 eftersom nollrummet kan skrivas
sXh1 + tXh2
där Xh1 och Xh2 är linjärt oberoende.
Om nolldimensionen istället är 4 kan man skriva den allmänna lösningen till
AX = Y som
X = Xp + t1 Xh1 + t2 Xh2 + t3 Xh3 + t4 Xh4 .
(alltså med 4 parametrar.)
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Pivåelement
I Ex 2 fick vi efter elimination matrisen

1 −2 −1
0
0 −1
G =
0
0
0
0
0
0
0
1
1
0

1
1

2
0
De röda elementen kallas pivåelement.
Man ser att
antal parametrar i lösningen = antal kolonner i G − antal pivåelement i G
Dvs.
nolldim(A) = antal kolonner i A − antal pivåelement i G
Pelle
2016-02-11
Matriser
invers ortogonala rang nollrum dimensionssatsen
Dimensionssatsen
Lemma 5
Om AX = 0 ⇔ GX = 0, där G har trappform så är
rang(A) = rang(G ).
nolldim(A) = nolldim(G ).
Man ser att rang(G ), dvs. max antal linjärt oberoende kolonner i G , blir
samma som antalet pivåelement i G .
Dimensionssatsen
Antal kolonner i A = rang(A) + nolldim(A).
Pelle
2016-02-11