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

[bewerken | brontekst bewerken]

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

[bewerken | brontekst bewerken]

Voorbeeld 1

[bewerken | brontekst bewerken]

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

[bewerken | brontekst bewerken]

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

[bewerken | brontekst bewerken]

(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.)