Wiskunde · Begrippenlijst

Wat is Vectorruimte?

Definitie 18.1 Universitaire wiskunde — Bachelor jaar 1 · Hoofdstuk 18 — Vectorruimten

Een KK-vectorruimte is een verzameling EE met een optelling die (E,+)(E, +) tot een abelse groep maakt (nulelement genoteerd 0E0_E of 00), en een scalaire vermenigvuldiging K×EEK \times E \to E zodat voor alle λ,μK\lambda, \mu \in K en x,yEx, y \in E

λ(x+y)=λx+λy,(λ+μ)x=λx+μx,λ(μx)=(λμ)x,1x=x.\lambda(x + y) = \lambda x + \lambda y,\quad (\lambda + \mu) x = \lambda x + \mu x,\quad \lambda(\mu x) = (\lambda\mu) x,\quad 1\,x = x .

Gevolgen: 0x=0E0\,x = 0_E, λ0E=0E\lambda\,0_E = 0_E, (1)x=x(-1)x = -x, en λx=0E    λ=0\lambda x = 0_E \implies \lambda = 0 of x=0Ex = 0_E (vermenigvuldig met λ1\lambda^{-1}).

Voorbeelden

Voorbeeld 18.2

KnK^n (coördinaatsgewijze bewerkingen); de veeltermen K[X]K[X]; de functies F(A,K)\mathcal{F}(A, K) van een willekeurige verzameling AA naar KK (puntsgewijze bewerkingen) — met daarin de continue functies, de rijen F(N,R)\mathcal{F}(\N, \R) enzovoort; en C\C als R\R-vectorruimte. In elk geval worden de axioma’s geërfd van die van KK.

Lees in het hoofdstuk →