4.1 Lineære transformasjoner og standardmatrisen
Lineære transformasjoner T: ℝⁿ→ℝᵐ, linearitetssjekken, standardmatrisen A=[T(e₁) … T(eₙ)], og de geometriske avbildningene i planet (rotasjon, speiling, projeksjon, skalering).
- Standardmatrisen er kjernegrepet: du bygger matrisen kolonne for kolonne fra bildene , og så er vanlig matriseregning.
- Geometriske avbildninger i planet (rotasjon, speiling, projeksjon, skalering) og komposisjon av dem via matriseprodukt er den vanligste konkrete varianten.
Målet: du skal sikkert kunne (1) sjekke linearitet med de to betingelsene, (2) skrive opp standardmatrisen, og (3) komponere avbildninger i riktig rekkefølge (matriseprodukt er ikke-kommutativt). Under kode E — ingen hjelpemidler — gjøres alt for hånd, og de geometriske standardmatrisene sitter utenat.
- Kap. 2.1 — matriseproduktet, særlig som lineærkombinasjon av kolonnene og produkt av to matriser.
- Kap. 3.4 — koordinater: broen til abstrakte rom, som vi tar videre i kap. 4.2.
- Enhetssirkelen og trigonometriske definisjoner — i enhetssirkelen, trigonometrien bak rotasjonsmatrisen.
Kan du regne ut og et matriseprodukt , har du regnemotoren.
Hvorfor lineære transformasjoner?
En transformasjon er bare en regel som tar inn en vektor og gir ut en vektor — tenk på en maskin som roterer, strekker eller speiler pilene i planet. De lineære transformasjonene er de «snille» maskinene: de respekterer addisjon og skalering, og nettopp derfor kan hele regelen pakkes inn i én matrise. Å rotere en figur , projisere en skygge ned på bakken eller speile et bilde er alt sammen multiplikasjon med en fast matrise.
Kapitlet har tre løkker: (1) linearitetstesten — når er en avbildning lineær, (2) standardmatrisen som fanger hele avbildningen, og (3) de geometriske avbildningene i planet og hvordan de settes sammen.
Løkke 1 — Når er en avbildning lineær? (~15 min)
En transformasjon (eller avbildning) er en regel som til hver vektor i domenet tilordner nøyaktig én vektor i kodomenet . Vektoren kalles bildet av . Du kjenner ideen fra vanlige funksjoner — forskjellen er bare at inn- og utdata nå er vektorer.
I ord: det spiller ingen rolle om du først legger sammen (eller skalerer) og så avbilder, eller motsatt. De to kravene kan slås sammen til ett: — « tar lineærkombinasjoner til lineærkombinasjoner».
Er lineær, følger to nyttige fakta direkte av betingelsene:
- (sett i betingelse (2)). Er , kan umulig være lineær — en rask forkastningstest.
- bevarer lineærkombinasjoner: .
Det andre punktet er selve grunnen til at én matrise holder: kjenner du på basisvektorene, kjenner du overalt.
Er gitt ved lineær? Vis det med de to betingelsene.
(1) Addisjon: , så
Dette er nøyaktig ✓.
(2) Skalering: ✓.
Begge betingelsene holder, så er lineær. (Legg merke til at hver komponent er en førstegrads kombinasjon av og uten konstantledd — det er signaturen til en lineær avbildning.)
(Ren gjengivelse — bruk linearitet.) er lineær, og , . Finn .
Er gitt ved lineær?
Bruk forkastningstesten først: . En lineær avbildning må sende til , så er ikke lineær.
Problemet er konstantleddet : det gjør til en forskyvning (affin avbildning), ikke en lineær. En rask kontroll på betingelse (2) bekrefter: , men — ulike, så (2) svikter.
(Innøving — forkastningstest.) Avgjør om gitt ved er lineær.
Løkke 2 — Standardmatrisen (~17 min)
Matrisen er standardmatrisen til , skrevet , og kolonnene er bildene av standardbasisvektorene:
Hvorfor: skriv . Linearitet gir , som er nettopp matrise-vektor-produktet av med .
Oppskriften er kort: avbild hver standardbasisvektor, og sett resultatet inn som en kolonne.
1. Regn ut (i er , ).
2. Skriv dem som kolonner i rekkefølge: kolonne er .
Rekkefølgen er avgjørende — bytter du om to kolonner, får du en annen avbildning. Dette er den vanligste fellen i sjanger F.
Sammenhengen går begge veier. Til enhver -matrise hører transformasjonen , og den er alltid lineær: matrisealgebraen gir og . Altså: lineære transformasjoner og -matriser er to sider av samme sak. Å studere er å studere .
Finn standardmatrisen til gitt ved , og bruk den på .
Sett dem som kolonner:
Kontroll ved :
og direkte ✓. Matrisen gjengir avbildningen.
Finn standardmatrisen til gitt ved , og bruk den på .
En lineær oppfyller og . Finn og en formel for .
Løkke 3 — Geometriske avbildninger i planet (~18 min)
Du finner den med kolonneregelen: roteres til (første kolonne), og roteres til (andre kolonne). Rotasjon med klokka får du ved å bytte fortegn på : skifter fortegn, står.
Finn standardmatrisen til rotasjon mot klokka, og bruk den på .
Bruk på :
Svaret stemmer geometrisk: en -dreining mot klokka sender pilen fra fjerde/første kvadrant opp mot andre kvadrant.
Finn standardmatrisen til rotasjon mot klokka, og bruk den på . Gi eksakte svar.
Hver kolonne er bildet av en standardbasisvektor: speiler du om -aksen, står den i ro ; speiler du , snus den til — derav første matrise.
Projeksjon på linjen har matrisen . Projeksjoner mister informasjon (flere vektorer får samme skygge), i motsetning til rotasjon og speiling som er reversible.
Merk rekkefølgen: matrisen for den avbildningen som utføres sist, står først (til venstre) — akkurat som i . Fordi matriseproduktet ikke er kommutativt ( i sin alminnelighet), gir «rotér så speil» og «speil så rotér» ulike resultater.
En figur roteres først mot klokka og speiles så om -aksen. Finn standardmatrisen til den sammensatte avbildningen, og bruk den på .
Bruk på : .
Kontroll steg for steg: (rotasjonen), og (speilingen snur -koordinaten) ✓. Merk at rekkefølgen teller: hadde vi speilet først og rotert etterpå, ble matrisen — en annen avbildning.
La være rotasjon mot klokka og ortogonal projeksjon på -aksen. Finn standardmatrisen til «først , så », og bruk den på .
La være rotasjon mot klokka fulgt av speiling om linjen .
a) Finn standardmatrisen .
b) Beskriv geometrisk som én enkelt avbildning.
c) Bruk på og , og forklar hva du ser.
- Hopper over linearitetssjekken. Du kan bare bruke «standardmatrise»-oppskriften på en lineær avbildning. Sjekk alltid først — konstantledd avslører en ikke-lineær (affin) avbildning.
- Feil kolonner i . Kolonne er , i riktig rekkefølge. Bytter du om kolonnene, får du en annen avbildning.
- Feil rekkefølge i komposisjon. «Først , så » er — matrisen for den siste avbildningen står først. Matriseprodukt er ikke-kommutativt: .
- Forveksler rotasjon og speiling. Rotasjon har (bevarer orientering); speiling har (snur orientering). Sjekk fortegnene i matrisen.
- Feil fortegn i rotasjonsmatrisen. Mot klokka: oppe til høyre, nede til venstre. Med klokka: bytt fortegn på begge -leddene.
Begrepsbank til eksamen
Kjernebegrepene om lineære transformasjoner og standardmatriser, samlet for pugging (kode E).
Begrepsbanken er flashcard-/repetisjonsstoff — det gjentar det du nettopp har lest. Hopp trygt over ved førstegangslesing; tidsanslaget for kapitlet gjelder kjernestoffet.
Enhver lineær avbildning oppfyller . Er , er ikke lineær — den raskeste forkastningen. NB: er nødvendig, men ikke tilstrekkelig (f.eks. har , men er ikke lineær).
Kolonne i standardmatrisen er bildet av den -te standardbasisvektoren: . En gir en -matrise ( rader = kodomenets dimensjon, kolonner = domenets).
Hver matrise definerer en lineær , og hver lineær har en entydig matrise . Lineære transformasjoner og matriser er samme objekt i to språkdrakter — å komponere avbildninger svarer til å multiplisere matriser.
Mot klokka med vinkel : . Med klokka: bruk , altså (bare -leddene skifter fortegn). Alltid .
Ortogonal projeksjon oppfyller : projiserer du en skygge og projiserer igjen, skjer ingenting nytt. Projeksjon på -aksen: ; på : . Projeksjoner er ikke reversible ().
Skalering med faktor : ( forstørrer, krymper). Ulik skalering langs aksene: . Med : punktspeiling om origo, .
En skjæring forskyver punkter parallelt med en akse proporsjonalt med den andre koordinaten, f.eks. (horisontal skjæring: ). Den er lineær, har (bevarer areal), men er verken rotasjon eller speiling.
«Først , så » er med matrise — den sist utførte avbildningen står først. Siden matriseprodukt ikke er kommutativt, gir og vanligvis ulike avbildninger («rotér så speil» «speil så rotér»).
Er inverterbar (kvadratisk med ), finnes en invers avbildning med som «angrer» . Rotasjon og speiling er reversible (); projeksjon er det ikke ( — informasjon går tapt).
En lineær sender rette linjer gjennom origo til rette linjer (eller til ) og bevarer paralellitet. En linje avbildes til — rett, med retningsvektor . Derfor tar lineære avbildninger rutenett til (skjeve) rutenett.
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 Norges teknisk-naturvitenskapelige universitet. Dette er ikke offisielt studiemateriell. Les mer.