Vidi fonton por Lineara algebro/Lineare nedependa kombinaĵo

{{Lineara algebro}}
<!-- De ruimte die door de vector x wordt voortgebracht, is dezelfde als de ruimte die door x en een veelvoud van x wordt voortgebracht. De toevoeging van dat veelvoud is overbodig, want die was al element van de deelruimte. We zeggen dat dat veelvoud (lineair) afhankelijk is van x. Zo ook met de ruimte die door twee vectoren wordt opgespannen. Die verandert niet als we een vector toevoegen die er al toe behoort. Elke lineaire combinatie van x en y is lineair afhankelijk van x en y. Een vector z buiten de door x en y voortgebrachte deelruimte voegt iets nieuws toe, als het tenminste niet de 0 is. Zo'n vector is lineair onafhankelijk van x en y. Liever zeggen we dat x, y en z een lineair onafhankelijk stelsel vormen. Daarin kun je er geen weglaten zonder dat de voortgebrachte deelruimte verandert. 

==Definitie 3.1.a==
Het eindige stelsel vectoren <math>\,(x_1,...,x_m)</math> heet '''lineair onafhankelijk''' als de 0 alleen als lineaire combinatie met alle coëfficiënten 0 geschreven kan worden, dus als:

:<math>\,\sum_{i=1}^m \alpha_i x_i = 0 \Rightarrow \forall_i\, \alpha_i = 0</math>.

==Definitie 3.1.b==
Een willekeurig stelsel vectoren <math>\,(x_i,i\in I)</math> heet '''lineair onafhankelijk''' als elk eindig deelstelsel lineair onafhankelijk is.

===Voorbeelden===
In de driedimensionele euclidische ruimte zijn de de vectoren (1,1,0) en (0,1,2) lineair onafhankelijk, want stel maar dat:

:<math>a(1,1,0)+b(0,1,2)=0\,</math>.
Dan is dus:
:<math>a(1,1,0)+b(0,1,2)=(a,a+b,2b)=(0,0,0)\,</math>,
zodat volgt: a=0 en b=0.

De drie vectoren (1,1,0), (0,1,2) en (-1,0,2) zijn niet lineair onafhankelijk, want:
:<math>(1,1,0)-(0,1,2)+(-1,0,2)=0\,</math>.


Een lineair onafhankelijk stelsel bevat nooit de 0, want we zouden de 0 als lineaire combinatie kunnen vormen met voor de 0 de coëfficiënt 1 en de overige 0.

==Stelling 3.1==
De vectoren in een lineair onafhankelijk stelsel zijn alle ongelijk aan 0.


Laten we uit een lineair onafhankelijk stelsel een vector weg, zeg <math>\,x_1</math>, dan zit deze niet meer in de door de rest voortgebrachte deelruimte, want stel maar dat

:<math>\,x_1=\alpha_2 x_2+...+\alpha_m x_m</math>
dan is 

:<math>\,-x_1+\alpha_2 x_2+...+\alpha_m x_m=0</math>.
En omdat <math>\,x_1,x_2,...,x_m</math> lineair onafhankelijk zijn, moeten alle coëfficiënten gelijk zijn aan 0, maar de  coëfficiënt van <math>\,x_1</math> is -1.

Daarom geldt de volgende stelling.

==Stelling 3.2==
Is een stelsel vectoren niet lineair onafhankelijk, dan is er minstens een vector die een lineaire combinatie is van de overige.

===Voorbeelden===
De drie vectoren (1,1,0), (0,1,2) en (-1,0,2) zijn niet lineair onafhankelijk, want er geldt:
:<math>(1,1,0)-(0,1,2)+(-1,0,2)=0\,</math>.
We kunnen elk als lineaire combinatie van de andere twee schrijven, bijvoorbeeld:
:<math>(1,1,0)=(0,1,2)-(-1,0,2)\,</math>.

Ook de drie vectoren (1,1,0), (0,1,2) en (2,2,0) zijn niet lineair onafhankelijk, want er geldt:
:<math>2(1,1,0)-(2,2,0)=0\,</math>.
We kunnen wel (2,2,0) schrijven als een veelvoud van (1,1,0), naar de vector (0,1,2) is geen lineaire combinatie van (1,1,0) en (2,2,0).
-->
{{sublibro}}