Lineaire onafhankelijkheid
Binnen een vectorruimte  over een lichaam (Ned) / veld (Be)   wordt een stelsel vectoren  aangeduid als lineair onafhankelijk of vrij, als geen van deze vectoren een lineaire combinatie is van de andere vectoren.

Definitie
De  vectoren  in een vectorruimte over   heten lineair onafhankelijk, indien de enige lineaire combinatie van deze vectoren die de nulvector oplevert, de triviale combinatie met alle coëfficiënten gelijk aan 0 is. Dat betekent dus dat voor willekeurige scalairen  geldt

 impliceert dat .

Als de vectoren niet lineair onafhankelijk zijn, heten ze lineair afhankelijk.

De dimensie van de vectorruimte is gelijk aan het maximale aantal lineair onafhankelijke vectoren.

De definitie wordt uitgebreid naar een oneindig stelsel vectoren. Een oneindig stelsel heet lineair onafhankelijk, als elke eindige deelverzameling dat is.

Voorbeelden

Voorbeeld 1 
Om na te gaan of de vectoren  en  in de  lineair onafhankelijk zijn, stelt men een lineaire combinatie van de twee vectoren gelijk aan de nulvector:

Dan volgt

zodat:
 en .

Het blijkt dat de coëfficiënten  en  beide 0 moeten zijn; de vectoren zijn dus lineair onafhankelijk.

Voorbeeld 2 
De vectoren  en  in de  zijn lineair afhankelijk. Het is bijvoorbeeld mogelijk om elke vector uit te drukken als een lineaire combinatie van de overige twee. Zo is 

De vector 
 is dus afhankelijk van de andere twee.

Ook volgt dat

De nulvector kan dus geschreven worden als een lineaire combinatie van de drie vectoren zonder dat alle coëfficiënten 0 moeten zijn.

Eigenschappen 
 Een lege verzameling van vectoren is een lineair onafhankelijk stelsel.
 Een deelverzameling van een stel lineair onafhankelijke vectoren is wederom een lineair onafhankelijk stelsel.
 De vectoren in verzameling welke de nulvector bevat, zijn lineair afhankelijk.
 De vectoren in een geordende verzameling vectoren welke de nulvector niet bevat, zijn lineair afhankelijk dan en slechts dan als ze een vector bevat die een lineaire combinatie is van de vorige.
 Een enkele vector ongelijk aan de nulvector is trivialerwijze een lineair onafhankelijk stelsel.
 Als men een collectie vectoren  van de vectorruimte  als rijen plaatst in een matrix , dan is de rang van  gelijk aan het maximale aantal lineair onafhankelijke vectoren in die collectie.
 Gegeven twee collecties lineair onafhankelijke vectoren  en , beide in  zo, dat  minder vectoren bevat dan , dan is er een vector in  die toegevoegd kan worden aan , zodat de vectoren in de nieuwe collectie nog steeds lineair onafhankelijk zijn.

(In de matroïdetheorie wordt een variant van bovenstaande eigenschappen als axioma's aangenomen, zodat onafhankelijkheid bestudeerd kan worden, zonder de structuur van een vectorruimte, overigens alleen voor het geval dat de hele verzameling objecten eindig is.)     

Lineaire algebra