3.1 Egenverdier, egenvektorer og egenrom
Egenverdier og egenvektorer med MAT1120s arbeidsmåte: verifiser en oppgitt egenvektor ved innsetting Av=λv, les det karakteristiske polynomet fra vedlegget (poly), og finn egenrom (A−λI)v=0 fra RREF.
Dette kapitlet legger grunnlaget: hva en egenverdi og en egenvektor er, og hvordan du finner dem med MAT1120s arbeidsmåte — ikke ved å regne determinanter for hånd.
- Er en egenvektor oppgitt, verifiserer du den ved rett innsetting — ikke via det karakteristiske polynomet. Det er raskere og gir full uttelling.
- Trenger du egenverdiene, leser du dem av vedlegget ( eller eig) i stedet for å regne ut for en eller større.
- Egenrommet er , som du finner av vedleggets RREF — nøyaktig samme teknikk som i kap. 1.2.
Den ene tingen sensor krever i neste kapittel — å begrunne diagonaliserbarhet med multiplisitet — hviler på skillet mellom algebraisk og geometrisk multiplisitet som innføres her. Få det til å sitte.
- Kap. 1.2 — nullrom og hvordan en basis leses av RREF; egenrommet regnes på nøyaktig samme måte
- Kap. 1.1 — vedleggslesning
- Grunnleggende egenverdier (MAT1110) — det grunnleggende egenverdibegrepet og komplekse tall
- Komplekse tall — repetisjon av komplekse tall
Vi bygger begrepet opp fra grunnen her, men regner ikke matriseprodukt og radreduksjon fra bunnen — det sitter fra MAT1110.
En egenvektor for en matrise er en retning som ikke vrir bort: strekker den bare med en faktor. Faktoren er egenverdien. Kapitlet går i fire løkker (teori eksempel oppgave):
1. Hva egenverdi/egenvektor er, og hvordan du verifiserer en oppgitt egenvektor ved innsetting.
2. Den karakteristiske likningen og hvordan egenverdiene leses av vedlegget.
3. Egenrommet fra vedleggets RREF.
4. Algebraisk vs. geometrisk multiplisitet og kontrollrelasjonene (, ).
Vi bruker gjennomgående to matriser, slik at teknikkene bygger på hverandre.
Løkke 1 — Egenverdi, egenvektor og verifisering ved innsetting (~15 min)
En egenvektor peker i en retning som blir liggende: er en skalar gange selv. Vi krever alltid (nullvektoren ville oppfylt likningen for enhver og ville ikke fortalt noe). Egenverdien er strekkfaktoren, og den kan godt være eller negativ — negativ betyr at snur retningen.
Når oppgaven oppgir en vektor og spør om den er en egenvektor, er den raskeste og mest presise metoden å sette den inn: regn ut og se om resultatet er et multiplum av . Da slipper du hele det karakteristiske polynomet.
La være en kvadratisk -matrise. En egenvektor er en vektor slik at for et tall . Tallet er den tilhørende egenverdien. I ord: virker på bare ved å strekke den med faktoren — retningen bevares (eller snus, hvis ).
For å sjekke at en oppgitt vektor er egenvektor for : regn ut . Er for et tall , er egenvektor med egenverdi ; ellers ikke. Dette er den foretrukne metoden når er gitt — du trenger ikke det karakteristiske polynomet. Egenverdien leser du rett av forholdet mellom og .
La . Vis at er en egenvektor, og finn egenverdien.
Resultatet er . Altså er , så er en egenvektor med egenverdi .
Konklusjon: er egenvektor for med . Vi trengte verken determinant eller karakteristisk polynom — bare ett matrise–vektor-produkt.
La . Vis ved innsetting at er en egenvektor, og oppgi egenverdien.
For (som i eksempel 1), avgjør ved innsetting om
a) er en egenvektor.
b) er en egenvektor.
Løkke 2 — Karakteristisk likning: les egenverdiene av vedlegget (~15 min)
Dette er den karakteristiske likningen; venstresiden er det karakteristiske polynomet, et polynom av grad i . Egenverdiene er røttene.
MAT1120-metoden: for en eller større regner du ikke ut denne determinanten for hånd — du leser polynomet av vedlegget ( gir koeffisientene, eller eig gir egenverdiene direkte) og faktoriserer. To snarveier gjelder alltid: en triangulær matrise har egenverdiene stående på diagonalen, og er egenverdi nøyaktig når er singulær.
Egenverdiene til er løsningene av den karakteristiske likningen . Venstresiden er det karakteristiske polynomet — et polynom av grad . For store matriser leses koeffisientene/røttene av vedlegget (/eig) i stedet for å regnes ut for hånd.
Er triangulær (øvre eller nedre) — eller diagonal — står egenverdiene rett på hoveddiagonalen. Grunn: er da også triangulær, og determinanten av en triangulær matrise er produktet av diagonalelementene, så . Ingen regning nødvendig — les av diagonalen.
Vedlegget gir for det karakteristiske polynomet . Finn alle egenverdiene.
Egenverdiene er — tre distinkte verdier.
Kontroll: summen skal være sporet ✓, og produktet skal være (vi bruker denne kontrollen i løkke 4).
Oppgi egenverdiene til den triangulære matrisen direkte fra vedlegget/diagonalen, og skriv det karakteristiske polynomet på faktorisert form.
Vedlegget gir for en -matrise , og opplyser at er en rot.
a) Faktoriser polynomet fullstendig og oppgi alle egenverdiene med multiplisitet.
b) Kontroller at summen av egenverdiene er lik sporet, som vedlegget oppgir til .
Løkke 3 — Egenrommet E_λ = Nul(A − λI) (~15 min)
Til hver egenverdi hører alle egenvektorene med den verdien, pluss nullvektoren — det er nettopp løsningsmengden til . Denne mengden er egenrommet , og det er . Derfor er å finne egenrommet eksakt samme jobb som å finne en nullrombasis i kap. 1.2: sett opp , les RREF fra vedlegget, og skriv de spesielle løsningene.
Egenrommet til egenverdien er — alle egenvektorene for sammen med . Det er et underrom av . En basis finnes som spesielle løsninger fra RREF av (nøyaktig som nullrombasis, kap. 1.2).
For (egenverdier fra eksempel 2), finn egenrommet .
Pivotkolonner er 1 og 2; er fri. Likningene gir , . Med : . Altså
Kontroll ved innsetting: ✓.
For gir vedlegget . Finn egenrommet og oppgi dimensjonen.
Vedlegget gir for (egenverdier ) at . Finn og oppgi .
Løkke 4 — Algebraisk vs. geometrisk multiplisitet og kontrollrelasjonene (~15 min)
En egenverdi kan ha to «størrelser», og forskjellen på dem er selve nøkkelen til neste kapittel:
- Algebraisk multiplisitet hvor mange ganger er rot i det karakteristiske polynomet (potensen på faktoren ).
- Geometrisk multiplisitet antall lineært uavhengige egenvektorer for antall frie variabler i .
Det gjelder alltid geo alg. Når geo alg er egenverdien «defekt» — det er nettopp da matrisen ikke kan diagonaliseres (kap. 3.2). To gratis kontroller: sporet er summen av egenverdiene og determinanten er produktet (begge med multiplisitet).
Den algebraiske multiplisiteten til egenverdien er antallet ganger opptrer som rot i det karakteristiske polynomet — altså eksponenten i faktoren . Summen av de algebraiske multiplisitetene er alltid (polynomets grad).
Den geometriske multiplisiteten til er — antallet lineært uavhengige egenvektorer, som er lik antallet frie variabler i . Den er alltid minst (en egenverdi har alltid minst én egenvektor).
For enhver egenverdi gjelder (algebraisk multiplisitet). Er den geometriske strengt mindre enn den algebraiske, kalles egenverdien defekt; da mangler det egenvektorer, og matrisen kan ikke diagonaliseres (kap. 3.2). For en enkel egenverdi (alg ) er alltid geo .
For er det karakteristiske polynomet , og vi fant (oppgave 6). Oppgi algebraisk og geometrisk multiplisitet for hver egenverdi, og kontroller med spor og determinant.
Egenverdi : algebraisk multiplisitet (enkel rot), så geometrisk automatisk.
Kontroller:
- Spor: , og summen av egenverdiene ✓.
- Determinant: ✓ (og siden ingen egenverdi er , er invertibel).
At geo alg for hver egenverdi er akkurat kriteriet som gjør diagonaliserbar — vi utnytter det i kap. 3.2.
En -matrise har karakteristisk polynom , og vedlegget viser at .
a) Oppgi algebraisk og geometrisk multiplisitet for .
b) Er defekt? Hva sier det om senere diagonalisering (foregripende)?
c) Bruk determinant-relasjonen til å avgjøre om er invertibel.
En -matrise har egenverdier og . Bruk kontrollrelasjonene til å oppgi og , og avgjør om er invertibel.
- Regner karakteristisk polynom for hånd for en stor matrise i stedet for å lese /eig av vedlegget — tidssluk og feilkilde. Er en egenvektor oppgitt, verifiser ved innsetting i stedet.
- Forveksler algebraisk og geometrisk multiplisitet. Algebraisk = rotens multiplisitet i polynomet; geometrisk = = antall frie variabler i . Det er geo alg, aldri omvendt.
- Glemmer kravet . Nullvektoren er per definisjon aldri en egenvektor (men kan godt være en egenverdi).
- Regner egenrommet feil fra RREF: husk at — det er (ikke ) du radreduserer.
- Blander egenvektor og egenverdi: egenvektoren er retningen (), egenverdien er strekkfaktoren ().
Begrepsbank til eksamen
Kjernebegrepene fra kapitlet i eksamensrettet kortform.
Begrepsbanken er flashcard-/repetisjonsstoff — hopp trygt over ved førstegangslesing; tidsanslaget gjelder kjernestoffet.
Mengden av alle egenverdiene til kalles spekteret. En -matrise har (talt med multiplisitet, og med komplekse verdier tillatt) nøyaktig egenverdier, siden det karakteristiske polynomet har grad .
En egenvektor må være forskjellig fra nullvektoren. Uten kravet ville holdt for enhver , og begrepet ville vært tomt. Egenverdien derimot kan godt være .
Egenvektorer som hører til forskjellige egenverdier er alltid lineært uavhengige. Følge: har en -matrise distinkte egenverdier, danner egenvektorene en basis for — grunnlaget for «distinkte diagonaliserbar» (kap. 3.2).
Er egenvektor for , er det også for enhver (samme ). Egenvektorer er derfor aldri entydige — vi velger gjerne en pen heltallsrepresentant. Det er egenrommets retning som er bestemt, ikke lengden.
Er invertibel med (nødvendigvis ), er — samme egenvektor, egenverdi . Egenvektorene deles altså mellom og .
En reell matrise kan ha komplekse egenverdier (røttene av et reelt polynom kan være komplekse); de opptrer da i konjugerte par. En rotasjon i planet er standardeksempelet. Komplekse tall repeteres i Komplekse tall.
Er , er — samme egenvektor, egenverdi . Dette utnyttes fullt ut i kap. 3.3 ().
En egenverdi med geometrisk algebraisk multiplisitet. Da «mangler» egenrommet dimensjoner i forhold til rotens multiplisitet, og matrisen kan ikke diagonaliseres. En enkel egenverdi kan aldri være defekt.
Summen av alle er høyst . Er den lik , finnes en basis av egenvektorer og er diagonaliserbar; er den mindre enn , mangler det egenvektorer. Dette er diagonaliserbarhetskriteriet i kap. 3.2.
eig(A) (eller [V,D]=eig(A)) gir egenverdiene (i ) og egenvektorene (i ). MAT1120-metoden er å lese disse og bruke dem — ikke regne for hånd for .En diagonalmatrise har egenverdiene med standard-enhetsvektorene som egenvektorer. Diagonal er spesialtilfellet triangulær der alt utenfor diagonalen er .
Egenrommet til egenverdien er nettopp nullrommet: . Basisen for finnes med de vanlige spesielle løsningene fra kap. 1.2.
For en -matrise er summen av de algebraiske multiplisitetene alltid (over de komplekse tallene). Er alle egenverdiene reelle og alle enkle, er de distinkte tall; ellers deler multiplisiteter opp de «plassene».
Er en egenvektor (eller et par egenverdi/egenvektor) oppgitt eller foreslått, er verifisering ved innsetting nesten alltid raskere enn å gå via polynomet — og sensor godtar det fullt ut. Reserver polynomet/vedlegget for når du må finne ukjente egenverdier.
En basis for som helt består av egenvektorer for . Den finnes nøyaktig når summen av de geometriske multiplisitetene er — altså nøyaktig når er diagonaliserbar. Da blir «diagonal» i egenbasisen.
En symmetrisk matrise () har alltid reelle egenverdier og er aldri defekt — den er til og med ortogonalt diagonaliserbar (spektralteoremet, [Del 6]). Verdt å merke seg allerede nå som en garantert «snill» klasse.
Det karakteristiske polynomet til en -matrise har grad med ledende ledd . Derfor er antallet egenverdier (med multiplisitet) alltid — verken flere eller færre.
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.