Associativiteit (wiskunde): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
de formele definitie staat verderop; de inleiding mag dus iets informeler zijn |
→Definitie: dit is de formele definitie, dus er mag ' \forall' worden gebruikt |
||
Regel 17:
Formeel wordt een [[binaire operatie]] <math>*\!</math> op een [[verzameling (wiskunde)|verzameling]] ''S'' '''associatief''' genoemd, wanneer deze operatie aan de '''associatieve wet''' voldoet:
: <math>\forall x,y,z \in S: (x*y)*z = x*(y*z)
De volgorde waarin de beide operaties worden uitgevoerd heeft dus geen effect op de uitkomst.
: <math>x*y*z
Het is echter belangrijk te onthouden dat veranderen van de volgorde van de operaties niet betekent en ook niet toestaat dat de actuele operaties zelf veranderen door de [[operand]]en binnen de expressie van plaats te laten veranderen.
|