Lineær uavhengighet

I lineær algebra er en mengde vektorer lineært uavhengige dersom ingen av vektorene kan uttrykkes som en lineærkombinasjon av de andre, det vil si som en endelig vektet sum av de andre vektorene.  En mengde vektorer er lineært avhengige dersom de ikke er lineært uavhengige.  
Begreper som dimensjon, basis og matriserang er alle nært knyttet til definisjonen av lineær uavhengighet.

I det tredimensjonale euklidske vektorrommet R3 vil fire vektorer alltid være lineært avhengige.  De tre basisvektorene e1 = (1,0,0), e2 = (0,1,0) og e3 = (0,0,1) er lineært uavhengige.

Definisjon 
En endelig mengde vektorer {v1, v2,...vn} i et vektorrom V er lineært uavhengige dersom ligningen

medfører at alle koeffisientene ai, i = 1, ..., n er lik null.  Ellers er vektorene lineært avhengige.

Utspenning, basis og dimensjon 
Den lineære utspenningen av en endelig mengde vektorer S = {v1,v2,...vn} er definert som mengden av alle lineærkombinasjoner av vektorene.  Vektoren u vil være lineært avhengig med vektorene i S hvis og bare hvis u er inneholdt i utspenningen til S.  Det eksisterer da koeffisienter bi slik at

Den lineære utspenningen vil være et endelig-dimensjonalt underrom.  Dersom vektorene vi er lineært uavhengige, så utgjør disse en algebraisk basis for underrommet.  Dimensjonen til underrommet er lik antall vektorer i S, det vil si n.

Litteratur 

Lineær algebra