1.4 Lineæravbildninger og løsbarhet av Ax = b
Matrisen til en lineæravbildning, bilde og kjerne, og parameteravhengig løsbarhet — bindeleddet mellom radreduksjon og Jacobi-matrisen i Del 2.
- Formelsamlingen definerer lineæravbildning, affinavbildning og matrisen til en lineæravbildning — så begrepene forventes kjent.
- Parameteravhengig løsbarhet av er en sjanger A-variant (2005/2006/2011/2013). Selve lineæravbildnings-oppgaven har lavere selvstendig frekvens enn kap. 1.1–1.3, men er broen til at Jacobi-matrisen i kap. 2.2 er «den beste lineære avbildningen».
- Sensors grep: standardmatrisen bygges fra bildene av standardbasisvektorene, som søyler.
Prioritet: kunne. Dette kapitlet kommer etter det viktigste i Del 1 — men gjør Del 2 mye lettere.
En funksjon tar et tall inn og gir et tall ut. En lineæravbildning tar en vektor inn og gir en vektor ut — og gjør det på den «snilleste» tenkelige måten: den respekterer addisjon og skalering. Det viser seg at enhver slik avbildning kan skrives som for en matrise . Matriser og lineæravbildninger er altså to sider av samme sak.
Dette perspektivet er hele poenget med Del 2: den deriverte til en flervariabel funksjon er den lineæravbildningen (matrisen ) som best tilnærmer funksjonen lokalt. Vi bygger broen i fem løkker: (1) hva en lineæravbildning er, (2) standardmatrisen, (3) bilde og kjerne, (4) sammensetning og invers, (5) parameteravhengig løsbarhet.
Løkke 1 — Hva en lineæravbildning er (~10 min)
«Å regne først og avbilde etterpå gir samme svar som å avbilde først og regne etterpå.» En konsekvens: alltid — en lineæravbildning fikserer origo.
En lineæravbildning pluss et fast konstantledd: med . Den flytter origo (siden ), så den er strengt tatt ikke lineær — men «rett» i geometrisk forstand. Forveksling av lineær og affin er en klassisk feil: sjekk alltid .
Avbildningen som lar alt være urørt. Dens standardmatrise er identitetsmatrisen . Den er det nøytrale elementet under sammensetning: .
Avgjør om (a) og (b) er lineære.
b) . En lineæravbildning må sende til , så er ikke lineær — den er affin (), med konstantleddet .
Avgjør om er lineær, og finn i så fall matrisen.
Løkke 2 — Standardmatrisen (~11 min)
Grunnen: siden og er lineær, er . Felle: bildene skal stå som søyler, ikke rader.
Den er alltid inverterbar (); inversen er rotasjon andre veien, .
Standardmatrisen til en speiling om en linje gjennom origo. Speiling om bytter koordinatene: . Speiling om -aksen: . Speilinger har og er sin egen invers ().
Sett inn som søyler:
, så er inverterbar. Faktisk er (å speile to ganger bringer alt tilbake), i tråd med at en speiling er sin egen invers.
a) Finn standardmatrisen.
b) Regn ut .
Løkke 3 — Bilde og kjerne (~10 min)
Alle vektorer faktisk treffer: . Siden er en lineær kombinasjon av søylene i , er bildet nøyaktig søylerommet fra kap. 1.2. Dimensjonen er rangen.
Alt som avbildes til null: . Dette er nøyaktig nullrommet . En lineæravbildning er injektiv (en-til-en) nøyaktig når kjernen bare er — da kolliderer ingen to input i samme output.
Bilde — hele -aksen (dimensjon 1, altså rang 1).
Kjerne : gir , fri, så — hele -aksen.
, så er ikke inverterbar (den er verken injektiv — kjernen er større enn — eller surjektiv). Geometrisk: projeksjonen «mister» -informasjonen, som ikke kan gjenskapes.
For : finn standardmatrisen, og bestem bilde (rang) og kjerne (nullrom).
Løkke 4 — Sammensetning og invers avbildning (~7 min)
Å utføre etter — sammensetningen («først , så ») — har standardmatrise lik produktet av matrisene i samme rekkefølge: . At matriseprodukt ikke er kommutativt, speiler at rekkefølgen av avbildninger betyr noe (rotasjon så speiling speiling så rotasjon).
En lineæravbildning har en invers avbildning nøyaktig når er inverterbar, og da er . Den «angrer» : . Dette knytter kap. 1.3 til geometri — inverterbarhet betyr at avbildningen kan reverseres.
Dette er speiling om linja . Bytter vi rekkefølge (), får vi (speiling om ) — et annet resultat, som bekrefter at rekkefølgen betyr noe.
a) Er inverterbar?
b) Finn i så fall matrisen til .
Løkke 5 — Parameteravhengig løsbarhet (~7 min)
Spørsmålet «for hvilke parameterverdier har løsning?» besvares ved konsistensdrøfting fra trappeformen (som i kap. 1.1). Er inverterbar for parameterverdien, finnes entydig løsning for enhver ; der blir singulær, avgjør høyresiden om det er ingen eller uendelig mange løsninger. Dette er en sjanger A-variant.
For hvilke har en invers, og hva betyr det for løsbarheten av ?
Standardmatrisen er med .
: , inverterbar ⇒ har entydig løsning for enhver .
: , rad 2 er rad 1 ⇒ singulær. Da avhenger løsbarheten av : bildet er linja , så har (uendelig mange) løsninger hvis ligger på denne linja, ellers ingen.
Konklusjon: entydig løsbar for alle nøyaktig når .
For hvilke har systemet (i) entydig, (ii) ingen, (iii) uendelig mange løsninger?
- Standardmatrise fra bildene som rader. Bildene settes inn som søyler, ikke rader — ellers får du den transponerte.
- Lineær forvekslet med affin. med er ikke lineær. Sjekk alltid : en lineæravbildning sender til .
- Bilde og kjerne byttet om. Bilde søylerom (det avbildningen treffer); kjerne nullrom (det som sendes til ).
- Feil rekkefølge i sammensetning. «Først , så » er med matrise — til venstre. Produktet er ikke kommutativt.
- Anta linearitet uten å sjekke. Kontroller de to egenskapene (eller at kan skrives ) før du bygger en matrise.
Eksamensrettet oppgavepulje
Finn standardmatrisen til (skalering), og avgjør om er inverterbar.
Er en lineæravbildning? Begrunn.
Vis at hvis er en injektiv lineæravbildning, så er også surjektiv.
Begrepsbank
Flashcard-/repetisjonsstoff — hopp trygt over ved førstegangslesing; tidsanslaget gjelder kjernestoffet.
Standardmatrisen til en projeksjon ned på en linje eller et plan gjennom origo. Projeksjon på -aksen er . Projeksjoner er ikke inverterbare (): de «mister» en retning som ikke kan gjenskapes, så kjernen er større enn .
En lineæravbildning som strekker () eller krymper () alt med faktoren . Standardmatrisen er . Den er inverterbar for , med invers .
En lineæravbildning som «forskyver» langs én retning proporsjonalt med den andre koordinaten, f.eks. med matrise . Den har , er alltid inverterbar, og bevarer arealer — en «skjevstilling» som ikke krymper figurer.
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.