Het zal op zich makkelijk zijn, dat lijkt het in ieder geval, maar ik heb toch een vraagje. Ik moet van de volgende verzameling bewijzen dat het een vectorruimte is:
\($\{f\in R^X : f(x)=0\}$\)
met
\($R^X$\)
de verzameling van alle functies van een verzameling X naar
R. De meeste van de dingen waaraan hij moet voldoen lukken wel, maar over twee heb ik een vraag.
1.
Heb ik de aanwezigheid van een nulelement zo goed geformuleerd (of hoe anders?):
Er geldt f(x)+g(x)=f(x) dan en slechts dan als g(x)=0 met
\($f,g\in V$\)
. Er bestaat een functie g, waarvoor geldt g(x)=0 met
\($g\in V$\)
, namelijk g(x)=0*x. Er is dus een nulelement.
2.
Verder moet ik bewijzen dat er negatieven bestaan. Maar ik kan niet echt verzinnen hoe ik dat zou moeten doen. Hoe moet dit?
Alvast bedankt.