Vectorruimtes

Vectorruimtes zijn algebraïsche structuren, die bestaan uit vectoren. Deze vectoren kan je bij elkaar optellen, en "opschalen", of "neerschalen". Dat betekent dat je de vectoren kunt vermenigvuldigen met een element van een vast lichaam. Vectorruimtes zijn het onderwerp van de lineaire algebra. Sommige vectorruimtes hebben nog meer structuur, zoals een inproduct.

Vectorruimtes over $$ \mathbb{R}$$
Een vector over $$ \mathbb{R}$$ is het makkelijkst te visualiseren als een $$ n$$-dimensionale pijl, die vanuit de oorsprong naar een bepaald punt wijst. Twee handige eigenschappen van die pijlen is dat je ze kan optellen, met de bekende "parallellogramconstructie", en je kan hun lengte veranderen door de pijl te "vermenigvuldigen" met een zeker reëel getal. Het optellen van twee vectoren $$ v$$ en $$ w$$ schrijf je als $$ v+w$$, en het vermenigvuldigen met een getal $$ x$$ wordt geschreven als $$ xv$$. Merk op dat het getal altijd vóór de vector staat, en vectoren vermenigvuldigen heeft geen betekenis, net zoals een vector met een getal vermenigvuldigen (andersom kan dus wel). In het bijzonder voldoen optellen en vermenigvuldigen aan de volgende regels: Merk op dat in de laatste regel er twee verschillende +'en zijn; in het linkerlid tellen we getallen op, en vermenigvuldigen we die met een som van vectoren, en in het rechterlid tellen we alleen vectoren op. Deze regels hierboven zijn heel belangrijk; ze zijn de definitie van een vectorruimte. Een vectorruimte (over $$\mathbb{R}$$) is dan ook een verzameling, waar van je de elementen bij elkaar kan optellen, en je de elementen kan vermenigvuldigen met een reëel getal zodat de bovenstaande regels gelden. Er zijn dus ook vectorruimtes die niet bestaan uit $$n$$-dimensionale pijlen. Daarom het volgende voorbeeld: we nemen als verzameling $$V$$ alle mogelijke functies $$ f:\mathbb{R}\to \mathbb{R}$$. Dit is een vectorruimte, omdat de som van twee functies $$ h(x)=f(x)+g(x)$$ weer een functie van reële getallen is, en $$ (cf)(x)=c\cdot f(x)$$ weer een functie van reële getallen is. Het is gemakkelijk te controleren dat alle punten hierboven gelden.
 * + associatief en commutatief is, dus $$(u+v)+w=u+(v+w)$$, en $$v+w=w+v$$.
 * Er is een $$ 0 \in V$$ zodat voor alle vectoren $$ v$$ geldt dat $$ v+0=v$$. Dit is de "nulpijl", die naar de oorsprong zelf wijst.
 * Voor elke vector $$ v $$ bestaat een vector $$ -v$$ zodat $$ v+(-v)=0$$. Dit is de pijl die "precies de andere kant op wijst".
 * $$(ab)v=a(bv)$$. Merk op dat je links twee getallen met elkaar vermenigvuldigt, en die weer met een vector, en rechts een getal met een vector vermenigvuldigt, en dan een getal met de uitkomst vermenigvuldigt, in het bijzonder zijn er twee soorten vermenigvuldigingen.
 * $$ 1v=v$$.
 * $$ \cdot $$ distribueert over de + van zowel de vectorruimte als van $$ \mathbb{R}$$, in formules $$ (a+b)(v+w)=av+aw+bv+bw$$.

De vectorruimteaxioma's
We kunnen vectorruimtes ook beschrijven over een willekeurig lichaam, in plaats van alleen over $$\mathbb{R}$$. We krijgen dan dat een vectorruimte over een lichaam $$ F$$ een verzameling $$ V$$ met een operatie +, en een functie $$ \cdot: F\times V\to V$$ zodat  Het is altijd belangrijk om een aantal voorbeelden van vectorruimtes te hebben. Een voorbeeld is de zogeheten nulruimte, de ruimte die alleen bestaat uit de nulvector. Het is makkelijk te controleren dat dit een vectorruimte is, omdat toch alles gelijk is aan de nulvector.
 * + associatief en commutatief is.
 * Er is een $$ 0 \in V$$ zodat voor alle vectors $$ v$$ geldt dat $$ v+0=v$$
 * Voor elke vector $$ v $$ bestaat een vector $$ -v$$ zodat $$ v+(-v)=0$$
 * $$(ab)v=a(bv)$$
 * $$ 1v=v$$, waar 1 de multiplicatieve identiteit van $$ F$$ is.
 * $$ \cdot $$ distributeert over de + van zowel de vectorruimte als het onderliggende lichaam, in formules $$ (a+b)(v+w)=av+aw+bv+bw$$.

Basisregels in vectorruimtes
We bewijzen hier een aantal stellingen over vectorruimtes, die erg basis zijn, maar toch erg handig.

Stelling 1: het element $$0$$ in de vectorruimte is uniek: als er een ander element $$0'$$ is zodat $$ 0'+v=0$$ voor alle $$ v$$, dan geldt $$0=0'$$

Bewijs: We weten dat $$0+0'=0$$, vanwege de "nuleigenschap" van $$0'$$. Daarnaast geldt ook $$0+0'=0'$$, vanwege de "nuleigenschap" van 0. We concluderen dat $$0=0+0'=0'$$.

Stelling 2: als $$v+w=v+u$$, dan geldt $$ w=u$$.

Bewijs: We weten dat er een element $$a$$ zodat $$v+a=0$$ bestaat. Nu weten we dat geldt dat $$a+(v+w)=a+(v+u)$$, en omdat optellen associatief is, kunnen we de haakjes verschuiven en vinden dat $$w=0+w=(a+v)+w=(a+v)+u=0+u=u$$, dit geldt omdat $$ a$$ een inverse is van $$v$$.

Stelling 3: voor elke vector $$v$$ is er een unieke vector $$w$$ zodat $$v+w=0$$.

Bewijs: Stel dat $$w,a$$ beide inverses van $$v$$ zijn. Dan geldt dat $$ v+w=0=v+a$$, en met stelling 2 concluderen we dat $$ w=a$$.

We zullen de inverse van $$v$$ vanaf nu schrijven als $$-v$$; dit mag omdat de inverse uniek is.

Stelling 4: Voor alle vectoren geldt $$0v=0$$

Bewijs: Er geldt dat $$0v+0v=(0+0)v=0v=0v+0$$. Dit geldt vanwege de distributie. Met stelling 2 concluderen we dat $$0v=0$$

Stelling 5: Er geldt dat $$-v=(-1)v$$

Bewijs: Er geldt dat $$v+(-1)v=1v+(-1)v=(1+(-1))v=0v=0$$. We hebben hier de distributieregel en de regel dat $$1v=v$$ gebruikt, samen met stelling 4. Er volgt dat $$(-1)v$$ een inverse is van $$v$$, en die moet dus wel gelijk zijn aan de unieke inverse volgens stelling 3.

Deelruimtes
Zie hiervoor de pagina hierover: deelruimtes