thumb|right|Indreproduktet av to vektorer A og B i et euklidsk rom er projeksjon av den ene på den andre multiplisert med lengden av denne. Et indreprodukt (også kalt skalarprodukt) er en funksjon som avbilder to vektorer inn på en skalar. Indreproduktet generaliserer prikkproduktet for komponentvektorer til et generelt vektorrom, og dermed geometriske begrep som vinkel og ortogonalitet. Et vektorrom med et definert indreprodukt kalles et indreproduktrom.
Fra indreproduktet kan en naturlig definere både en norm og en metrikk, og en får dermed definert både vinkelmål, lengdemål og et avstandsmål i rommet. Mange generelle egenskaper knyttet til vinkler og avstand kan studeres i et normert indreproduktrom.
Definisjon Et indreprodukt på et vektorrom er en funksjon som for ethvert par av vektorer og definerer en skalar , slik at funksjonen oppfyller de følgende egenskapene R.D. Milne: Applied functional analysis, ... s.180ff
Kompleks-konjugert symmetri: Additivitet: Homogenitet: Positivitet: , der hvis og bare hvis .
Definisjonen gjelder for både reelle og komplekse vektorrom. I symmetriegenskapen inngår definisjonen av kompleks konjugasjon. Siden resultatet av et indreprodukt er en skalar, kalles et indreprodukt også for et skalarprodukt. Denne betegnelsen er mest vanlig i euklidske rom.
Merk at indreproduktet av en vektor med seg selv alltid er reell, slik at bruken av ulikheten i positivitetsegenskapen gir mening.
Ett og samme vektorrom kan utstyres med ulike indreprodukt, og dermed definere et flere uavhengige indreproduktrom med ulik struktur.
Skrivemåten er vanlig for et generelt indreprodukt. Notasjonen er motivert av en forbindelse til lineære funksjonaler, der tilsvarende notasjon er i bruk. I koordinatrom, inkludert euklidske rom, brukes også en «prikknotasjon»: .
Egenskaper
For et reelt vektorrom er indreproduktet en symmetrisk billineær form. For et komplekst vektorrom er indreproduktet sesquilineær, det vil si lineær i det ene argumentet og lineær i den komplekst-konjugerte av det andre argumentet. Forstavelsen «sesqui» betyr halvannen, en og en halv.
For både reelle og komplekse vektorrom er indreproduktet positivt definit.
Regneregler
Fra definisjonen av indreproduktet kan en vise følgende regneregler:
Her er , og vilkårlige vektorer i indreproduktrommet, og er en vilkårlig skalar.
For et vilkårlig indreprodukt gjelder også Cauchy–Schwarz’ ulikhet, på formen
.
Norm, avstand og vinkler I et indreproduktrom kan en definere normen til en vektor ved
.
Metrikken gir avstanden mellom to vektorer og og defineres fra normen på vanlig måte:
.
I reelle vektorrom kan vinkelen mellom to vektorer og som begge er ulik null nå defineres ved
.
Vinkelen er veldefinert, som følge av Cauchy–Schwarz' ulikhet.
To vektorer og kalles ortogonale dersom . Synomyner til ortogonal er normal og vinkelrett. Vinkler er vanligvis ikke definert i et komplekst vektorrom, men egenskapen ortogonalitet brukes både i reelle og komplekse rom. F. Fabricius-Bjerre: Lærebog i geometri s.203
Indreprodukt og ytreprodukt i koordinatrom
I et endelig-dimensjonalt reelt rom med en gitt basis kan vektorer skrives på koordinatformen , med n som dimensjonen til rommet. Prikkproduktet er en algebraisk operasjon mellom to vektorer:
.
Dersom en i dette rommet har definert et indreprodukt og dersom basisen er ortonormal, så vil prikkproduktet og indreproduktet være sammenfallende. At basisen er ortonormal vil si at basisvektorene har egenskapen
,
der er Kronecker-delta. Siden dette er en vanlig situasjon, finner en derfor ofte begrepene «indreprodukt», «skalaprodukt» og «prikkprodukt» brukt om hverandre, ikke minst i euklidske rom.
Med en kolonnerepresentasjon for koordinatvektorene kan indreproduktet skrives som
.
Tilsvarende kan ytreproduktet av to koordinatvektorer skrives som
Eksempler
Euklidsk indreprodukt
Et euklidsk rom kan defineres som et endelig-dimensjonalt reelt rom utstyrt med prikkproduktet av komponentvektorene som indreprodukt. F. Fabricius-Bjerre: Lærebog i geometri s.183 I n dimensjoner er dette
.
Unitært indreprodukt
I et komponentrom over komplekse tall kan et indreprodukt defineres ved
.
Her er den komplekst-konjugerte av . Et slikt vektorrom kalles et unitært rom, og indreproduktet er en hermitisk form. F. Fabricius-Bjerre: Lærebog i geometri s.202
Vektet prikkprodukt
Dersom er en positivt definitt symmetrisk matrise kan en definere et generalisert prikkprodukt på formen
.
Den tilsvarende normen er kalt energinormen, og indreproduktet omtales også som energi-indreproduktet.
Indreprodukt i funksjonsrom
I vektorrommet definert av kvadratisk integrerbare funksjoner på intervallet kan man definere indreproduktet mellom to funksjoner og til å være
Hôlders ulikhet garanterer at indreproduktet er endelig.
For reelle funksjoner av to variabler med kontinuerlige første-ordens deriverte i en åpen region vil følgende uttrykk være et indreprodukt:
.
Den partiell deriverte av med hensyn på er skrevet .
Denne typen indreprodukt er brukt i Sobolev-rom.
Indreprodukt i rom av følger
Gitt et vektorrom av følger der kvadratsummen er begrenset:
.
Da vil følgende uttrykk definere et indreprodukt:
Metrisk tensor som indreprodukt
En metrisk tensor definerer et indreprodukt i et tangentplan til en mangfoldighet i n dimensjoner, når tensoren er positivt definit. Tensoren, og dermed indreproduktet, vil generelt variere fra punkt til punkt på mangfoldigheten. Når og er kontravariante vektorkomponenter, og man benytter Einsteins summekonvensjon, er indreproduktet gitt ved
Indreproduktet kan på vanlig måte definere en metrikk, og kalles en riemannsk mangfoldighet. Slike mangfoldigheter studeres i riemannsk differensialgeometri.
Historie Navnene indreprodukt og ytreprodukt ble først brukt av Hermann Grassmann (1809–1877). Begrepene ble valgt fordi de var antonymer, uten noen dypere mening. Grassmann skrev indreproduktet ved hjelp av en vertikal strek: .
Se også
Vektorprodukt
Referanser
Litteratur
G. Fisher, Lineare Algebra, Springer Spektrum, Wiesbaden (2008). ISBN 978-3-658-03944-8. M.R. Spiegel, S. Lipschutz and D. Spellman, Vector Analysis (Schaum’s Outlines), McGraw Hill, New York (2009). ISBN 978-0-07-161545-7.
Kategori:Lineær algebra