Eit vektorrom i matematikk er ei mengd av element, kalla vektorar, definert med to operasjonar vektoraddisjon og skalarmultiplikasjon. Dei to operasjonane oppfyller eit sett av eigenskapar som er definert aksiomatisk.

Mange viktige matematiske resultat kan utleiast for alle vektorrom ved å basere utleiinga berre på dei definerte aksioma. Dersom ein kan vise at ei gjeven mengd er eit vektorrom, så har ein dermed vist at desse resultata er gyldige òg for den aktuelle mengda. Éit og same matematiske resultat kan dermed vise seg å vere gyldig for tilsynelatande ulike objekt som funksjonar og matriser, fordi begge desse typane objekt er element av vektorrom. Vektorrom er dermed ein abstraksjon som gjer ein i stand til å studere mange ulike matematiske objekt ut frå eit sett av sentrale felle si eigenskapar.

Ein sentrale eigenskap for elementa i eit vektorrom er at dei kan adderast og summen vil òg vere eit element i vektorrommet. Tilsvarande kan ein òg multiplisere ein vektor med ein skalar, og produktet vil vere eit nytt element i rommet. Desse eigenskapane blir omtalt som at rommet er lukka under vektoraddisjon og skalarmultiplikasjon. Linearitetseigenskapane til vektoraddisjonen er òg ein sentral karakteristisk eigenskap, og vektorrom er sentrale i studiet av lineær algebra og i funksjonalanalyse.

Eit vektorrom er karakterisert ved ein dimensjon, som laust sagt er lik mengder uavhengige retningar i rommet. Dimensjonen kan vere både endeleg og uendeleg. Mengda av alle punkt med tre koordinatar (x,y,z) kan definerast som eit tre-dimensjonalt vektorrom, med ein passande definisjon av addisjon og skalarmultiplikasjon for punkta. Med passande definisjon av operasjonane er mengda av alle kontinuerlege funksjonar eit uendeleg-dimensjonalt vektorrom.

Formell definisjon

endre

Eit vektorrom er ei mengd V definert med eit sett av skalarar, og dessutan to operasjonar, addisjon og skalarmultiplikasjon. Addisjonen er ein regel som til kvart par av element u og v i V tilordnar eit nytt element (u+v) i V. Tilsvarande er skalarmultiplikasjon ein regel som for kvar skalar   og kvart element u i V tilordnar eit nytt element (  u) i V.

Addisjonen må oppfylle dei følgjande eigenskapane:

 

Skalarmultiplikasjonen må oppfylle følgjande eigenskapar

 

Definisjonen medfører at V er ein abelsk gruppe med omsyn på addisjonen.

Døme på vektorrom

endre

Euklidske n-rom

endre
For meir om dette emnet, sjå euklidsk rom.

Det Euklidske n-romma består av alle n-tuplar   av reelle tal. Addisjon er definert ved å summere koordinat for koordinat:

 .

Skalarmultipliksajon er definert ved å multiplisere kvar koordinat med skalaren:

 .

Dimensjonen til rommet er lik n.

Matriserom

endre
For meir om dette emnet, sjå matrise.

Mengda av alle n × m-matriser utgjer eit vektorrom ved å bruke definisjonen av matriseoperasjonene addisjon og skalarmultiplikasjon. Dimensjonen til vektorrommet er lik produktet NM.

Nullvektorrommet

endre

Nullvektorrommet er eit vektorrom som består av berre éit element, kalla 0, saman med operasjonane

 
 .

Dimensjonen til vektorrommet er lik 1.

Funksjonsrommet  

endre

Vektorrommet   er definert som mengda av alle kontinuerlege reelle funksjonar definert på heile R . Vektoraddisjon og skalarmultiplikasjon er definert som

 
 .

Dette vektorrommet har uendeleg dimensjon.

Lineær sjølvstende

endre

Ei mengd av vektorar er lineært uavhengige dersom det ikkje er mogleg å uttrykkje ein vilkårleg vektor i mengda som ein lineærkombinasjon av dei andre. Dersom vi er ein vektor i mengda kan ein alternativt uttrykkje dette som at likninga

 

medfører at alle skalarverdiane   er lik null.

Basis og dimensjon

endre
For meir om dette emnet, sjå basis i matematikk.

Ei mengd av lineært uavhengige vektorar i eit vektorrom er ein algebraisk basis eller ein Hamelbasis for vektorrommet, dersom ein vilkårleg vektor i rommet kan uttrykkjast som ein lineærkombinasjon av desse. Ofte blir berre brukt kortversjonen basis.

Det vil alltid eksistere mange alternative basisar for eit vektorrom. Dersom mengda vektorar i ein basis er endeleg, så vil alle alternative basisar ha same mengder vektorar, og mengda vektorar i ein basis blir kalla dimensjonen til rommet.

To vektorrom med same endelege dimensjon er isomorfe, dei er strukturelt identiske.

Vektorane (1,0,0), (0,1,0) og (0,0,1) er ein basis for vektorromet R3. Dimensjonen i rommet er tre.

Underrom

endre

Eit underrom er eit vektorrom som er ei delmengd av eit anna vektorrom.

Definerer ein vektorrommet Pn som mengda av alle polynom av grad mindre eller lik n, med vanleg operasjonar for polynom, så vil Pi vere eit underrom av Pj når i < j.

Vektorrom med tilleggsstruktur

endre

Vektorrom som med ein definert norm kallast eit normert vektorrom. Definisjonen av ein norm gjer at det er mogleg å snakke om lengder og avstandar i vektorrommet. Det er då òg mogleg å introdusere omgrepet konvergens.

Eit normert vektorrom er komplett dersom ein kvar cauchyfølgje av vektorar har ein grenseverdi som òg er ein vektor i rommet. Eit komplett normert vektorrom kallast eit banachrom.

Eit indreproduktrom er eit vektorrom definert med eit indreprodukt. Eit komplett indreproduktrom blir kalla eit hilbertrom.

Kjelder

endre