3.2 Diagonalisering A=PDP⁻¹ og multiplisitetskriteriet
Diagonalisering A=PDP⁻¹ og selve karakterskilleren: å BEGRUNNE diagonaliserbarhet med multiplisitet eller en navngitt snarvei (distinkt/symmetrisk/triangulær), og å vise ikke-diagonaliserbarhet ved et for lite egenrom.
- Diagonaliserbarhet skal ALLTID begrunnes. Det holder ikke å påstå det. Sensor vil se enten (a) distinkte egenverdier, (b) at er symmetrisk, (c) at er triangulær med kjente egenverdier, eller (d) at geometrisk algebraisk multiplisitet for hver egenverdi (dokumentert felle nr. 3 i faget).
- Ikke-diagonaliserbar vises eksplisitt ved at et egenrom er for lite (geo alg).
- og matches søyle for søyle: står egenvektoren i søyle av , står egenverdien dens i posisjon av .
Alt hviler på skillet algebraisk/geometrisk multiplisitet fra kap. 3.1. Egenverdiene og egenrommene leses fortsatt av vedlegget.
- Kap. 3.1 — egenverdier, egenrom, algebraisk vs. geometrisk multiplisitet (hele kapitlet bygger på disse begrepene); similaritetsbegrepet ble introdusert i begrepsbanken der
- Kap. 1.2 — dimensjon og basis
- Matriseinvers og matriseprodukt (MAT1110) — vi regner ikke ut fra grunnen, men bruker den
Å diagonalisere er å skrive der er diagonal. Det betyr at oppfører seg som en ren strekking langs egenvektorretningene — og det gjør potenser, differenslikninger og mye annet enkelt (kap. 3.3). Kapitlet går i fire løkker:
1. Hva betyr, og hvordan du bygger og matchet søyle for søyle.
2. Diagonaliserbarhetskriteriet og de tre snarveiene som gir en rask begrunnelse.
3. Ikke-diagonaliserbarhet: vis at et egenrom er for lite.
4. Parameteravhengige matriser: for hvilke verdier er diagonaliserbar?
Løkke 1 — A = PDP⁻¹: bygg P og D matchet søyle for søyle (~15 min)
Det kritiske er matchingen: egenvektoren i søyle av og egenverdien i posisjon av må høre sammen. Bytter du rekkefølge, må du bytte i begge.
Å diagonalisere en -matrise er å skrive der er en diagonalmatrise og er invertibel. Søylene i er lineært uavhengige egenvektorer, og har de tilhørende egenverdiene på diagonalen — matchet søyle for søyle. og er da similære (samme egenverdier, spor, determinant).
Bygg og samtidig: står egenvektoren i søyle av , skal egenverdien stå i diagonalposisjon av . Rekkefølgen på egenparene er fri, men må være den samme i og . Feil matching gir — en klassisk føringsfeil.
Diagonaliser . Fra vedlegget er egenverdiene med egenrom utspent av henholdsvis , og .
Vi matcher søyle for søyle. Velger vi rekkefølgen :
Søyle 1 er egenvektoren for , søyle 2 for , søyle 3 for — og har i samme rekkefølge.
Kontroll: er invertibel (uavhengige søyler), her med , og man verifiserer søyle for søyle, f.eks. ✓.
Konklusjon: med som over. (Andre rekkefølger på egenparene gir andre, like gyldige .)
En -matrise har egenverdi med egenvektor og egenverdi med egenvektor . Skriv opp et par med .
For i eksempel 1, en student skriver men . Forklar hva som er galt, og rett det.
Løkke 2 — Diagonaliserbarhetskriteriet og de tre snarveiene (~18 min)
Når er diagonaliserbar? Nøyaktig når det finnes en egenbasis — altså når summen av de geometriske multiplisitetene er . Ekvivalent, per egenverdi: geometrisk algebraisk multiplisitet for hver egenverdi. (Enkle egenverdier oppfyller dette gratis; bare egenverdier med algebraisk multiplisitet må sjekkes.)
Tre snarveier lar deg begrunne uten å regne ut alle egenrom:
1. distinkte egenverdier diagonaliserbar (egenvektorer til ulike egenverdier er uavhengige, kap. 3.1).
2. Symmetrisk () ortogonalt diagonaliserbar (spektralteoremet, [Del 6]).
3. Triangulær egenverdiene leses av diagonalen; sjekk så multiplisitet ved behov.
Har ingen snarvei, faller du tilbake på hovedkriteriet: sjekk geo alg for hver gjentatt egenverdi.
En -matrise er diagonaliserbar summen av de geometriske multiplisitetene er for hver egenverdi er geometrisk multiplisitet algebraisk multiplisitet. I praksis: bare egenverdier med algebraisk multiplisitet må sjekkes — de enkle er alltid i orden.
Har en -matrise forskjellige egenverdier, er den automatisk diagonaliserbar: hver egenverdi er enkel (geo alg ), og egenvektorene til ulike egenverdier er uavhengige, så de danner en egenbasis. Merk: distinkte egenverdier er tilstrekkelig, men ikke nødvendig.
Er (symmetrisk med reelle tall), er alltid diagonaliserbar — til og med ortogonalt ( med ortonormal ), ved spektralteoremet ([Del 6]). Egenverdiene er reelle og ingen egenverdi er defekt. En rask og sikker begrunnelse når du ser symmetri.
En triangulær matrise har egenverdiene på diagonalen. Er de alle forskjellige, er den diagonaliserbar (distinkt-snarveien). Er noen like, må du likevel sjekke geo alg — triangulær garanterer ikke diagonaliserbarhet i seg selv.
Er diagonaliserbar? Fra vedlegget: karakteristisk polynom , og .
Egenverdiene er (algebraisk multiplisitet ) og (enkel). Her er ingen snarvei nok: egenverdiene er ikke distinkte, matrisen er ikke symmetrisk, ikke triangulær. Vi bruker hovedkriteriet og sjekker den gjentatte egenverdien.
: fra RREF har bare én pivot, altså to frie variabler, så . Da er geometrisk multiplisitet algebraisk multiplisitet.
: enkel, så geo alg automatisk.
Summen av geometriske multiplisiteter er . Konklusjon: er diagonaliserbar — geo alg for hver egenverdi. (En egenbasis: for og for .)
Avgjør, med kortest mulig begrunnelse, om hver matrise er diagonaliserbar:
a) en -matrise med egenverdier .
b) en symmetrisk -matrise.
c) .
En -matrise har karakteristisk polynom . Vedlegget viser at .
a) Er diagonaliserbar? Begrunn med multiplisitet.
b) Hvor mange søyler i hører til egenverdien , og hvor mange til ?
Løkke 3 — Ikke-diagonaliserbar: vis at et egenrom er for lite (~15 min)
Er ikke diagonaliserbar, må du vise det — ikke bare påstå det. Beviset er alltid det samme: pek ut en egenverdi der geometrisk algebraisk multiplisitet, altså et egenrom som er for lite til å fylle rotens multiplisitet. Da finnes det ikke nok uavhengige egenvektorer til en egenbasis.
Er diagonaliserbar? Vedlegget gir .
Fra vedleggets RREF av er kolonne 2 og 3 pivotkolonner, og bare er fri — altså én fri variabel, så .
Her er geometrisk multiplisitet algebraisk multiplisitet: er defekt. Summen av geometriske multiplisiteter er , så det finnes ingen egenbasis.
Konklusjon: er IKKE diagonaliserbar, fordi egenrommet har dimensjon , som er for lite i forhold til den doble roten .
En -matrise har karakteristisk polynom , og vedlegget viser . Er diagonaliserbar? Begrunn ved å vise egenrommets dimensjon.
Avgjør om er diagonaliserbar, og forklar hva som ville vært annerledes hvis det -elementet oppe til høyre var i stedet.
Løkke 4 — Parameteravhengige matriser (~12 min)
En vanlig eksamensvariant er en matrise med en parameter , med spørsmålet «for hvilke er diagonaliserbar?». Framgangsmåten er den samme: finn egenverdiene (ofte uavhengige av ), identifiser en gjentatt egenverdi, og se hvordan avhenger av . Diagonaliserbar nøyaktig for de der geo alg for alle egenverdier.
For finner man de der matrisen er diagonaliserbar ved å studere hvordan egenrommenes dimensjoner avhenger av . Typisk er egenverdiene faste (f.eks. en fast dobbeltrot), mens hopper opp for en spesiell -verdi — nettopp der matrisen blir diagonaliserbar.
For hvilke er diagonaliserbar?
Hvis : radene og er uavhengige, så , og alg. Defekt ikke diagonaliserbar.
Hvis : bare raden er igjen, , så alg. Da geo alg for alle egenverdier diagonaliserbar.
Konklusjon: er diagonaliserbar nøyaktig når .
For hvilke er diagonaliserbar? Begrunn med egenrommets dimensjon.
- Diagonaliserbarhet påstått uten multiplisitetssjekk (dokumentert felle nr. 3): glemmer å vise geo alg, eller å utnytte «distinkte»/«symmetrisk»/«triangulær». Sensor gir ikke uttelling for en ubegrunnet konklusjon.
- og ikke matchet søyle for søyle: egenverdien i posisjon av må høre til egenvektoren i søyle av .
- «Ikke diagonaliserbar» uten bevis: du må peke ut hvilket egenrom som er for lite (geo alg), ikke bare påstå det.
- Tror triangulær diagonaliserbar: triangulær gir bare egenverdiene; med gjentatte egenverdier må geo alg fortsatt sjekkes (jf. i eksempel 3).
- Forveksler «distinkte egenverdier» (tilstrekkelig) med et nødvendig krav: en matrise med gjentatte egenverdier kan godt være diagonaliserbar (eksempel 2).
- Bruker her: det er for ortogonal diagonalisering av symmetriske matriser ([Del 6]). I dette kapitlet er generelt ikke ortogonal, så det er .
Begrepsbank til eksamen
Kjernebegrepene fra kapitlet i eksamensrettet kortform.
Begrepsbanken er flashcard-/repetisjonsstoff — hopp trygt over ved førstegangslesing; tidsanslaget gjelder kjernestoffet.
En basis for som bare består av egenvektorer for . er diagonaliserbar det finnes en egenbasis. I egenbasisen «er» diagonalmatrisen .
Er , blir , og er bare diagonalelementene opphøyd i . Diagonalisering gjør potenser, matrisefunksjoner og dynamiske systemer enkle (kap. 3.3).
Du kan ordne egenparene i hvilken rekkefølge du vil — og blir da bare tilsvarende permutert. Alle valgene gir en gyldig diagonalisering. Det som ikke er fritt, er at søyle i og element i må høre sammen.
For symmetriske matriser gjelder mer enn diagonaliserbarhet: man kan velge ortogonal (), så . Egenrom til ulike egenverdier står da automatisk vinkelrett. Dette er spektralteoremet ([Del 6]); merk , ikke , i det tilfellet.
Én eneste defekt egenverdi (geo alg) er nok til at ikke er diagonaliserbar — da mangler egenbasisen minst én dimensjon. De øvrige egenverdiene hjelper ikke.
Enkle egenverdier har alltid geo alg . Derfor trenger du bare regne egenrommets dimensjon for egenverdier med algebraisk multiplisitet . Det sparer mye tid på eksamen.
En diagonalmatrise er trivielt diagonaliserbar med . En triangulær matrise med distinkte diagonalelementer er diagonaliserbar, men generelt (egenvektorene er ikke enhetsvektorene).
Er invertibel (ingen egenverdi ), er med — samme , inverterte egenverdier. Diagonaliserbarhet arves av inversen.
Både rekkefølgen på egenparene og skaleringen av hver egenvektor kan velges fritt, så er ikke entydig. er entydig opp til permutasjon av diagonalen. Alle valg gir samme .
Antall søyler i som hører til en egenverdi er — en basis for egenrommet. For en diagonaliserbar matrise blir dette til sammen søyler (en egenbasis).
Slipp å regne for å sjekke: verifiser i stedet søyle for søyle. Søyle gir — nettopp egenpar-relasjonen. Stemmer alle søylene, er .
At egenverdiene ligger på diagonalen betyr ikke automatisk diagonaliserbar. Er en diagonalverdi gjentatt, kan matrisen være defekt (jf. ). Triangulær gir egenverdiene gratis, men multiplisiteten må fortsatt sjekkes ved gjentak.
I en -oppgave er egenverdiene ofte faste; det er som varierer med . Finn rangen til som funksjon av , og let etter den verdien der rangen faller (så stiger til alg).
Er diagonaliserbar, er det også (samme egenverdier og multiplisiteter). Symmetriske matriser er et spesialtilfelle der , med den ekstra ortogonalitetsstrukturen.
Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.
Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Universitetet i Oslo. Dette er ikke offisielt studiemateriell. Les mer.