Asociativitate

În matematică, o operație binară se numește asociativă dacă într-o expresie care conține de două sau mai multe ori operatorul respectiv, ordinea operațiilor nu contează atâta vreme cât ordinea operanzilor nu se schimbă. De exemplu, adunarea numerelor reale este asociativă:

$(a+b)+c=a+(b+c).$

În schimb, scăderea numerelor reale nu este asociativă:

$(a-b)-c\neq a-(b-c).$

Definiție

Fie o operație binară $*$ definită pe mulțimea $A$. Operația se numește asociativă dacă îndeplinește condiția:

$(x*y)*z=x*(y*z)\qquad \forall x,y,z\in A.$

În cazul operațiilor pentru care a fost demonstrată asociativitatea, parantezele care arată ordinea operațiilor nu mai sunt necesare și de obicei se scrie

$x*y*z.$

Exemple

Operații asociative

Adunarea și înmulțirea numerelor reale sunt asociative:

$\left.{\begin{matrix}(x+y)+z=x+(y+z)=x+y+z\quad \\(x\,y)z=x(y\,z)=x\,y\,z\qquad \qquad \qquad \quad \ \ \,\end{matrix}}\right\}\forall x,y,z\in \mathbb {R} .$

Aceleași proprietăți le au adunarea și înmulțirea numerelor complexe.

Atât adunarea cât și înmulțirea matricelor sunt asociative. Înmulțirea matricelor este însă necomutativă, deci deși ordinea operațiilor se poate schimba, ordinea operanzilor trebuie păstrată.

Similar sunt asociative operațiile: intersecția și uniunea mulțimilor, calcularea celui mai mare divizor comun și a celui mai mic multiplu comun, compunerea funcțiilor și altele.

Operații neasociative

Scăderea, împărțirea și ridicarea la putere sunt operații neasociative:

$(5-3)-2\neq 5-(3-2)$

$(4/2)/2\neq 4/(2/2)$

$2^{(1^{2})}\neq (2^{1})^{2}$

Vezi și

• Monoid