Dimensie (lineaire algebra)

De dimensie van een vectorruimte $V$ is het aantal vectoren waaruit de basis van die vectorruimte is opgebouwd. De dimensie van een vectorruimte $V$ over een lichaam (Ned) / veld (Be) $K$ wordt geschreven als ${\dim }_K(V)$ of als $[V:K]$. Het kan worden bewezen dat iedere willekeurige basis van een vectorruimte uit hetzelfde aantal vectoren bestaat. De kardinaliteit, het aantal elementen van de basis is voor dezelfde vectorruimte dus altijd hetzelfde. Een minimaal voortbrengend deel of een maximaal vrij deel vormt steeds een basis.

Voorbeelden

• De dimensie van een vectorruimte is een abstract begrip, maar komt overeen met onze intuïtie van dimensie in het dagelijkse leven.
• De dimensie van een affiene ruimte is dezelfde als die van de bijbehorende vectorruimte.
• Een vectorruimte $V$ met een eindig aantal voortbrengende vectoren heet eindigdimensionaal. Anders heet $V$ oneindig-dimensionaal.
• De euclidische ruimte ${ℝ}^3$ heeft een basis die bestaat uit de eenheidsvectoren: (1,0,0),(0,1,0) en (0,0,1).
• De dimensie is dus 3: ${\dim }_{ℝ}({ℝ}^3)=3.$ Meer in het algemeen geldt dat ${\dim }_{ℝ}({ℝ}^n)=n$ en nog algemener geldt ${\dim }_F(F^n)=n$ voor enig lichaam (Ned) / veld (Be) $F$.
• De complexe getallen $ℂ$ zijn zowel een reële als een complexe vectorruimte. Er geldt ${\dim }_{ℝ}(ℂ)=2$ en ${\dim }_{ℂ}(ℂ)=1$. De dimensie van een vectorruimte is dus mede afhankelijk van het onderliggende lichaam.
• De enige vectorruimte met dimensie 0 is {0}, de vectorruimte, die uitsluitend uit haar nul-element bestaat.
• De fractale dimensie en hausdorff-dimensie lijken veel op elkaar.

Websites

• Gilbert Strang op YouTube. Linear Algebra Lecture #9. over onafhankelijkheid, basis, en dimensie