door Pongping » vr 03 nov 2006, 21:45
Oja, definitie voor vectorruimte: Een niet-ledige verzameling
\(V\)
voorzien van de optelling en scalaire vermenigvuldiging is een vectorruimte als
\(V_+\)
een abelse groep is, er distributiviteit t.o.v. de som van scalairen is (
\((\lambda+\mu)v=\lambda v+\mu v\)
) en er distributiviteit t.o.v. de som van vectoren is (
\(\lambda(v+w)=\lambda v +\lambda w\)
).
Oftewel, zie
http://nl.wikipedia.org/wiki/Vectorruimte.
Dus als je wilt weten of een verzameling een vectorruimte is, check je al de 10 axioma's na en als ze kloppen, is het een vectorruimte. Als een ervan niet klopt, is het geen vectorruimte
Ik neem als voorbeeld opgave 1.
Er staat dus als je twee vectoren uit R² neemt, bv (a, b) en (c, d), dan is:
1) de optelling gedefinieerd als
\((a,b)+(c,d)=(a+c,b+d)\)
2) de scalaire vermenigvuldiging gedefinieerd als
\(\lambda(a,b)=(\lambda b,\lambda a)\)
met
\(\lambda\)
in
\(\Re\)
Je kan zien dat er geen problemen zijn met de optelling. De scalaire vermenigvuldiging is wel een probleem. Als je goed naar de axioma's kijkt, zie je dat er eentje een probleem zou kunnen opleveren. Neem bv axioma 7. Die zegt
De scalaire vermenigvuldiging is assosiatief.
\(a(bv)=(ab)v\)
met a,b in
\(\Re\)
en v een element van je vectorruimte
Als je de linkerkant invult met bv (a,b) krijg je:
\((\lambda\mu a, \lambda\mu b)\)
Als je de rechterkant invult met (a,b) krijg je:
\((\lambda\mu b, \lambda\mu a)\)
Deze twee zijn verschillend dus het axioma klopt niet dus de verzameling is geen vectorruimte.
[quote]Oja, definitie voor vectorruimte: Een niet-ledige verzameling [tex]V[/tex] voorzien van de optelling en scalaire vermenigvuldiging is een vectorruimte als [tex]V_+[/tex] een abelse groep is, er distributiviteit t.o.v. de som van scalairen is ([tex](\lambda+\mu)v=\lambda v+\mu v[/tex]) en er distributiviteit t.o.v. de som van vectoren is ([tex]\lambda(v+w)=\lambda v +\lambda w[/tex]).[/quote]
Oftewel, zie [url=http://nl.wikipedia.org/wiki/Vectorruimte]http://nl.wikipedia.org/wiki/Vectorruimte[/url].
Dus als je wilt weten of een verzameling een vectorruimte is, check je al de 10 axioma's na en als ze kloppen, is het een vectorruimte. Als een ervan niet klopt, is het geen vectorruimte :)
Ik neem als voorbeeld opgave 1.
Er staat dus als je twee vectoren uit R² neemt, bv (a, b) en (c, d), dan is:
1) de optelling gedefinieerd als [tex](a,b)+(c,d)=(a+c,b+d)[/tex]
2) de scalaire vermenigvuldiging gedefinieerd als [tex]\lambda(a,b)=(\lambda b,\lambda a)[/tex] met [tex]\lambda[/tex] in [tex]\Re[/tex]
Je kan zien dat er geen problemen zijn met de optelling. De scalaire vermenigvuldiging is wel een probleem. Als je goed naar de axioma's kijkt, zie je dat er eentje een probleem zou kunnen opleveren. Neem bv axioma 7. Die zegt
[quote]De scalaire vermenigvuldiging is assosiatief.
[tex]a(bv)=(ab)v[/tex] met a,b in [tex]\Re[/tex] en v een element van je vectorruimte[/quote]
Als je de linkerkant invult met bv (a,b) krijg je:
[tex](\lambda\mu a, \lambda\mu b)[/tex]
Als je de rechterkant invult met (a,b) krijg je:
[tex](\lambda\mu b, \lambda\mu a)[/tex]
Deze twee zijn verschillend dus het axioma klopt niet dus de verzameling is geen vectorruimte.