I Ch 5 fann vi endast en sats med
tillräckliga villkor för att en
matris är diagonaliserbar, nämligen då den har
olika egenvärden och sådana matriser är ju väldigt speciella.
I Ch 7 däremot visar det sig att en stor klass av matriser faktiskt är
garanterat diagonaliserbara, tom ortogonalt diagonaliserbara, nämligen de
symmetriska matriserna. Detta är innehållet i den fundamentala
Spectral Theorem for Symmetric Matrices.
Det är viktigt att observera att egenvektorer som då hör till
olika
egenvärden är automatiskt ortogonala, men att man i varje egenrum av
dimension större än ett själv måste skapa
en ortogonal bas av
egenvektorer,
t ex med Gram-Schmidt.
I dessa sammanhang förekommer ofta
ortogonala matriser.
Observera att de har
ortonormala
kolonner och
ortonormala rader.
I Ch 6.2 står det: An
orthogonal matrix is a square invertible
matrix
such that
. Det är alltså jättelätt att
invertera en ortogonal matris!
Det är bara att spegla matrisen i huvuddiagonalen.
Övningar: 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 27, 28,
29, 30, 31, 32
SECTION 7.2
Vilken är den geometriska tolkningen av kurvorna
Genom att vrida koordinatsystemen så att dess axlar kommer att ligga
längs respektive kurvas axlar blir det lätt att studera kurvorna.
Denna teknik är fundamental och är innebörden av The Principal
Axes Theorem.
Övningar: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
15[M], 17[M], 23, 24
SECTION 7.3
Från analysen är vi vana att söka maximum och minimum genom att
derivera.
När det gäller kvadratiska former kan vi lösa extremvärdesproblem tom
med bivillkor genom diagonalisering.
Övningar: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12
- 2.
- a.
b. 21 c. 5
- 4.
- a.
b.
- 6.
- a.
b.
- 8.
-
- 10.
- Positivt definit; egenvärdena är 11 och 1
Variabelbytet:
, där
Ny kvadratisk form:
- 12.
- Negativt definit; egenvärdena är -1 och -6
Variabelbytet:
, där
Ny kvadratisk form:
- 14.
- Indefinit; egenvärdena är 9 och -1
Variabelbytet:
, där
Ny kvadratisk form:
Svar Section 7.3
- 2.
-
- 4.
- a. 5 b.
c. 2
- 6.
- a. b.
c.
- 8.
- Varje enhetsvektor som är ortogonal mot
10.