Vektorrom

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 

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

Euklidske n-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 

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 
Nullvektorrommet er eit vektorrom som består av berre éit element, kalla 0, saman med operasjonane

 .

Dimensjonen til vektorrommet er lik 1.

Funksjonsrommet  
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 
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 

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 
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 
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 
 Denne artikkelen bygger på «Vektorrom» frå ,  den 17. september 2011.  
 

Abstrakt algebra
Grunnleggjande fysikk
Gruppeteori
Lineær algebra
Matematiske strukturar
Vektorar