Indreprodukt

(Omdirigert fra «Skalarprodukt»)

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.

Indreproduktet av to vektorer A og B i et euklidsk rom er projeksjon av den ene på den andre multiplisert med lengden av denne.

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.

Definisjon rediger

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 nullvektoren 0 = (0,0,...,0).

Definisjonen gjelder for både reelle og komplekse vektorrom. I symmetriegenskapen inngår definisjonen av kompleks konjugasjon.

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.

Egenskaper rediger

Grunnleggende regneregler rediger

Direkte avledet fra aksiomene fremkommer følgende regneregler. La  ,   og   være vektorer i   og   være en skalar. Da er:

  •  
  •  
  •  
  •  
  •  

Norm, avstand og vinkler rediger

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.

Relasjon til ytreprodukt rediger

Hvis u og v er kolonnevektorer:

 

Da er indre- og ytreproduktene av u og v:

Indreprodukt rediger

  (skalar)

Ytreprodukt rediger

  (matrise)

Ytreproduktet er også definert hvis u og v har forskjellig antall elementer. Da blir ytreproduktet en ikke-kvadratisk (?) matrise.

Eksempler rediger

Euklidske indreprodukt rediger

For vektorer   og   i det Euklidske n-rommet kan man definere det Euklidske indreproduktet, gitt ved

 .

Dersom man tenker på   og   som kolonnevektorer, så har man også notasjonen

 .

Vektet Euklidsk indreprodukt rediger

Dersom   er en positivt definitt symmetrisk   matrise får man et vektet Euklidsk indreprodukt for vektorer   og   i det Euklidske n-rommet, gitt ved:

 .

Riemannsk geometri rediger

På en mangfoldighet med riemannsk geometri eksisterer det en metrisk tensor gμν  slik at indreproduktet mellom to vektorer u og v i samme punkt er gitt som

 

når uμ og vν er de kontravariante komponentene til vektorene og man benytter Einsteins summekonvensjon og summerer over like indekser.

Indreprodukt på funksjonsrom rediger

På vektorrommet av kontinuerlige funksjoner definert på et lukket begrenset intervall   kan man definere indreproduktet mellom   og   til å være

 

Se også rediger

Litteratur rediger

  • 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.