Lineair omhulsel

Het lineair omhulsel ${\displaystyle \mathrm {span} (S)}$ van een deelverzameling ${\displaystyle S}$ van een vectorruimte ${\displaystyle V}$ is de kleinste deelruimte van ${\displaystyle V}$ die ${\displaystyle S}$ omvat, dus

${\displaystyle S\subseteq D\subseteq V\ {\rm {en}}\ D\ {\rm {lineaire\ ruimte}}\ \Leftrightarrow {\rm {span}}(S)\subseteq D}$

Zij ${\displaystyle V}$ een vectorruimte over een lichaam (in België: veld) ${\displaystyle K}$, dan is het lineair omhulsel van de vectoren ${\displaystyle v_{1},\ldots ,v_{n}}$ in ${\displaystyle V}$, de deelruimte

${\displaystyle \mathrm {span} (v_{1},\ldots ,v_{n})=\{a_{1}v_{1}+\ldots +a_{n}v_{n}:a_{1},\ldots ,a_{n}\in K\}}$

Men noteert het lineair omhulsel van de vectoren ${\displaystyle v_{1},\ldots ,v_{n}}$ als ${\displaystyle \mathrm {span} (v_{1},\ldots ,v_{n}).}$ Andere notaties zijn ${\displaystyle \langle v_{1},\ldots ,v_{n}\rangle }$ en ${\displaystyle [v_{1},\ldots ,v_{n}].}$

Zij ${\displaystyle V}$ een vectorruimte over een lichaam (in België: veld) ${\displaystyle K}$, dan is het lineair omhulsel van ${\displaystyle W\subset V}$, de deelruimte die bestaat uit de eindige lineaire combinaties van deze vectoren.

${\displaystyle \mathrm {span} (W)=\{a_{1}w_{1}+\ldots +a_{n}w_{n}:n\in \mathbb {N} ,w_{1},\ldots ,w_{n}\in W,a_{1},\ldots ,a_{n}\in K\}.}$

In het bijzonder geldt:

• ${\displaystyle \mathrm {span} (\varnothing )=\{0\}}$
• een basis van een vectorruimte heeft als lineair omhulsel de vectorruimte zelf

Als een stelsel vectoren ${\displaystyle S}$ onafhankelijk is, dan is ${\displaystyle S}$ een basis van de voortgebrachte deelruimte ${\displaystyle U.}$

Meer algemeen geldt: als de vectorruimte ${\displaystyle U}$ wordt voortgebracht door het stelsel ${\displaystyle S,}$ dan bevat ${\displaystyle S}$ een basis van ${\displaystyle U.}$

De ruimte ${\displaystyle U}$ blijft het lineair omhulsel van ${\displaystyle S}$

• als men aan ${\displaystyle S}$ een vector uit ${\displaystyle U}$ toevoegt.
• als men een vector uit ${\displaystyle S}$, welke een lineaire combinatie is van de overige vectoren uit ${\displaystyle S}$, verplaatst naar ${\displaystyle U}$ \ ${\displaystyle S}$.
• als men in ${\displaystyle S}$ een vector vermenigvuldigt met een van nul verschillend getal (scalair).
• als men bij een vector uit ${\displaystyle S}$, een andere vector uit ${\displaystyle S}$ optelt.