6.1 Indreprodukt, norm og ortogonalitet
Prikkproduktet i ℝⁿ og indreprodukt som abstrakt begrep, norm, avstand, ortogonalitet og de nyttige ulikhetene — grunnlaget for Gram–Schmidt og projeksjon, med en advarsel om ikke-standard indreprodukt.
- Selve indreprodukt-oppgavene er sjelden hele hovedoppgaven, men hvert Gram–Schmidt- og projeksjonsoppgave (~80 % av settene) hviler på at du regner prikkprodukt, normer og ortogonalitet riktig. Dette kapitlet er verktøykassen.
- Sensor forventer at du bruker det oppgitte indreproduktet. Er indreproduktet et integral eller et vektet , teller ikke det vanlige prikkproduktet — dette er en dokumentert felle.
Sjanger H betyr indreprodukt / ortogonalitet / Gram–Schmidt / projeksjon — bokstaven er bare en etikett fra sjangerkatalogen i kap. 0.1. Under kode E (ingen hjelpemidler — se kap. 0.1) må normformelen, ortogonalitetsbetingelsen og Pytagoras sitte utenat. Tidsbudsjettet under er lesetid; gang med ca. 1,5 når du regner for hånd.
Hvorfor et indreprodukt?
I og har vi et prikkprodukt som måler lengde, avstand og vinkel — geometrien i rommet. Et indreprodukt er den samme idéen løftet til et hvilket som helst vektorrom: en regel som tar to vektorer og gir et tall, slik at vi kan snakke om lengde og vinkel også for polynomer og funksjoner.
Hele ortogonalitetsdelen (Gram–Schmidt, projeksjon, minste kvadrater) hviler på dette ene begrepet. Vi bygger i fem løkker: (1) prikkproduktet i , (2) indreprodukt som abstrakt begrep, (3) norm og avstand, (4) ortogonalitet og Pytagoras, (5) vinkel og de nyttige ulikhetene.
Løkke 1 — Prikkproduktet i (~10 min)
Resultatet er en skalar (et reelt tall), ikke en vektor. Skrevet som matriseprodukt er .
La og . Regn ut og .
Komponentvis:
Og Legg merke til at er summen av kvadratene — det blir lengden i annen (neste løkke).
(Innøving.) La . Regn ut .
Løkke 2 — Indreprodukt som abstrakt begrep (~12 min)
Et indreprodukt på et reelt vektorrom er en regel som til to vektorer gir et reelt tall, og som oppfyller tre krav for alle og skalarer :
1. Symmetri: .
2. Linearitet: .
3. Positiv definitthet: , med likhet bare når .
Det vanlige prikkproduktet er ett indreprodukt på — men langt fra det eneste.
Vektene må være positive for at aksiom 3 skal holde. Setter du alle , får du tilbake det vanlige prikkproduktet. Merk: to vektorer kan være ortogonale i det vektede indreproduktet uten å være det i det vanlige.
et indreprodukt: symmetrisk, lineært i første argument, og med likhet bare for nullpolynomet. Her betyr «lengde» og «ortogonalitet» noe helt annet enn komponentregning — alt måles med integralet. Intervallet er en del av indreproduktet: samme polynomer kan være ortogonale på men ikke på .
Bruk på . Regn ut , og .
At betyr at polynomene og er ortogonale på — et faktum vi bruker i Gram–Schmidt i kap. 6.2.
Bruk . Regn ut , og avgjør om og er ortogonale på .
Løkke 3 — Norm og avstand (~10 min)
I med prikkprodukt gir det Pythagoras: . Fordi aksiom 3 sikrer , er kvadratrota alltid definert, og bare når . Merk sammenhengen — den fjerner kvadratrota i regning.
Dette bruker vi når vi lager en ortonormal basis i kap. 6.2.
Det er den vanlige avstanden i , og gir mening i ethvert indreproduktrom. Avstanden er symmetrisk () og null bare når . Avstand fra et punkt til et helt underrom kommer i kap. 6.3.
Regn ut og avstanden mellom og (vanlig prikkprodukt).
Avstand: , så
Svaret er eksakt () — under kode E skal alt komme ut rent. Et urent mellomsvar er ofte et signal om regnefeil.
(Innøving.) Regn ut og normaliser vektoren til en enhetsvektor.
Løkke 4 — Ortogonalitet og Pytagoras (~12 min)
I og svarer dette til den geometriske rett vinkelen. Nullvektoren er ortogonal på alt (). Ortogonalitet avhenger av indreproduktet: bruk alltid det oppgitte.
Det følger direkte av regning: , og kryssleddet faller bort nettopp når . Dette er kjernen bak ortogonal dekomposisjon (kap. 6.3).
La .
a) Vis at er ortogonal på .
b) Bekreft Pytagoras for og .
b) og , så høyresiden er . Venstresiden: , og . De stemmer: ✓ — akkurat som Pytagoras krever.
To vektorer er ortogonale med og . Hva er ? Og er og ortogonale?
Løkke 5 — Vinkel og de nyttige ulikhetene (~11 min)
Spesialtilfeller: () er ortogonalitet; betyr samme retning. Formelen gir alltid en gyldig cosinusverdi i — det garanteres av Cauchy–Schwarz.
med likhet nøyaktig når og er parallelle. Det er nettopp denne ulikheten som sikrer at brøken i vinkelformelen ligger mellom og , slik at finnes. (Kjennskapsnivå — du skal kjenne påstanden, ikke nødvendigvis bevise den.)
Den følger av Cauchy–Schwarz. Geometrisk: lengden av én side i en trekant er høyst summen av de to andre. (Kjennskapsnivå.)
I : finn vinkelen mellom og , og finn en vektor ortogonal på både og .
Ortogonal vektor: en vektor ortogonal på begge må løse og :
Fra den andre: . Sett inn i den første: . Velg : , , altså . Kontroll: og ✓. (Dette er kryssproduktet .)
Bruk det vektede indreproduktet .
a) Regn .
b) Finn slik at og er ortogonale.
(Eksamensklone, sjanger H.) I med vanlig prikkprodukt: finn den eksakte vinkelen mellom og , og en enhetsvektor ortogonal på begge.
- Bruker vanlig prikkprodukt der oppgaven har oppgitt et annet indreprodukt (vektet eller integral). Dette er den mest dokumenterte fellen — alle skalarprodukt, normer og ortogonalitetssjekker skal gjøres i det oppgitte indreproduktet.
- Glemmer kvadratrota i normen — , ikke .
- Regnefeil i integral-indreproduktet — feil grenser eller glemt at intervallet er en del av indreproduktet ( og gir ulike svar).
- Feil vinkelformel — deler ikke på begge normene, eller glemmer at (ikke ) er brøken.
- Tror ortogonalitet er en egenskap ved vektorene alene — den avhenger av indreproduktet: to vektorer kan være ortogonale i ett indreprodukt og ikke i et annet.
- Bruker negativ vekt i et «vektet indreprodukt» — vektene må være positive, ellers er det ikke et indreprodukt (aksiom 3 brytes).
Begrepsbank til eksamen
Kjernebegrepene fra kapitlet samlet i kortform for pugging (kode E — intet formelark).
Begrepsbanken er flashcard-/repetisjonsstoff — det gjentar det du nettopp har lest. Hopp trygt over ved førstegangslesing; tidsanslaget for kapitlet gjelder kjernestoffet.
Et indreprodukt er symmetrisk: . Rekkefølgen på argumentene spiller ingen rolle. Kombinert med linearitet i første argument gir dette at indreproduktet også er lineært i det andre argumentet (bilineært).
Indreproduktet er lineært i hvert argument: , og tilsvarende i det andre (via symmetri). Dette er grunnen til at du kan «gange ut» uttrykk som .
Sammenhengen brukes hele tiden for å bli kvitt kvadratrøtter i regning. F.eks. .
For en skalar gjelder . Tallverdien (ikke selv) fordi lengde alltid er ikke-negativ. Dette er nøkkelen i normalisering: .
I er (rad ganger kolonne). Denne skrivemåten er nyttig i bevis: f.eks. blir — grunnlaget for -triks senere.
Det vanlige prikkproduktet er ett eksempel på et indreprodukt — det du får med alle vekter lik . Vektede og integral-indreprodukt er like gyldige. Konklusjon: bruk alltid indreproduktet oppgaven oppgir, aldri en «standardrefleks».
Avstanden er (i) ikke-negativ og null bare når , (ii) symmetrisk, og (iii) oppfyller trekantulikheten . Den oppfører seg som «vanlig avstand».
For alle i et indreproduktrom: . Den følger ved å gange ut begge normkvadratene og se at kryssleddene kansellerer.
En mengde vektorer er ortonormal hvis de er parvis ortogonale og hver har norm : (Kronecker-delta: hvis , ellers ). Ortonormale basiser gjør koordinatregning svært enkel — mer i kap. 6.2.
I er kryssproduktet automatisk ortogonalt på både og . Det er en rask måte å finne en vektor vinkelrett på to gitte vektorer på — nyttig når en oppgave ber om «en vektor ortogonal på begge». (Kjennskap fra R2.)
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.