Denne artikkelen inneholder en liste over kilder, litteratur eller eksterne lenker, men enkeltopplysninger lar seg ikke verifisere fordi det mangler konkrete kildehenvisninger i form av fotnotebaserte referanser. Du kan hjelpe til med å sjekke opplysningene mot kildemateriale og legge inn referanser. Opplysninger uten kildehenvisning i form av referanser kan bli fjernet. Se Mal:Referanseløs for mer informasjon.
Et indreprodukt (eller skalarprodukt eller prikkprodukt) er en funksjon som avbilder to vektorer i et vektorrom inn på en skalar. Funksjonen er definert slik at den gir et mål for et forhold mellom de to vektorene og gir en generalisering av intuitive geometriske begrep som avstand og vinkel også i mer abstrakte vektorrom. Begrepet ortogonalitet får en naturlig generalisering ved hjelp av indreproduktet. Prikkoperatoren (⋅) brukes som regel for indreprodukt, i motsetning til kryssoperatoren (×) som pleier brukes for vektorprodukt.
Ved å la indreproduktet generalisere vinkelbegrepet kan en i matematikk elegant utlede mange grunnleggende resultater for tilsynelatende helt ulike matematiske objekter, basert på de grunnleggende egenskapene til «vinkelmålet». Indreproduktet spiller en viktig rolle i mange deler av matematikk, for eksempel i Fourieranalyse og i approksimasjonsteori.
Et vektorrom utstyrt med et indreprodukt kalles et indreproduktrom. Et komplett indreproduktrom kalles et Hilbertrom. Navnet pre-Hilbertrom brukes av og til for et indreproduktrom som ikke er komplett.
I en del litteratur finner en betegnelsen «prikkprodukt» avgrenset til å gjelde det Euklidske indreproduktet.
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
for alle vektorer , og i og alle skalarer :
Kompleks-konjungert symmetri:
Additivitet:
Homogenitet:
Positivitet: ,
og
hvis og bare hvis u er nullvektoren0 = (0,0,...,0).
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. Det Euklidske indreproduktet og det vektede Euklidske indreproduktet, omtalt i den påfølgende eksempelsamlingen, er eksempel på dette.
Gitt et indreproduktrom , så definerer vi normen til en vektor ved
.
Avstanden mellom to vektorer og settes lik
.
Vinkelen mellom to vektorer og begge ulik defineres ved
,
og denne vinkelen er veldefinert på grunn av Cauchy–Schwarz' ulikhet. Videre kalles to vektorer og «ortogonale» dersom . Synomyner til ortogonal er «normal» og vinkelrett.