En matemàtiques, l'associativitat o propietat associativa és una propietat que pot tenir una operació binària. Significa que quan una expressió conté dos o més elements seguits dels mateixos operadors associatius, l'ordre de les operacions no altera el resultat, sempre que no es modifiqui la seqüència dels operands. És a dir, canviar els parèntesis en una expressió no modifica el resultat. Per exemple
![{\displaystyle (5+2)+1=5+(2+1)=8}](//wikimedia.org/api/rest_v1/media/math/render/svg/d5fa645122001a5060d3f0341534c92de1d234a4)
![](//upload.wikimedia.org/wikipedia/commons/thumb/b/b8/Crystal128-pipe.svg/25px-Crystal128-pipe.svg.png) |
Aquest article o secció no cita les fonts o necessita més referències per a la seva verificabilitat. |
Tot i que els parèntesis han estat canviats, el resultat de l'expressió no ha estat alterat. Com que la suma de nombres reals satisfà aquesta propietat, diem que "la suma de nombres reals és una operació associativa".
L'associativitat no ha de ser confosa amb la commutativitat. La commutativitat permet canviar l'ordre o la seqüència dels operands de l'expressió, metre que l'associativitat no ho permet. Per exemple,
![{\displaystyle (5+2)+1=5+(2+1)}](//wikimedia.org/api/rest_v1/media/math/render/svg/3f2108c6cf13fc5428505827d9d6d268229bf87b)
és un exemple d'associativitat perquè els parèntesis han estat canviats (i per tant l'ordre en què s'efectuen les operacions), mentre que els operands 5, 2 i 1 apareixen en el mateix ordre d'esquerra a dreta a l'expressió. En canvi
![{\displaystyle (5+2)+1=(2+5)+1}](//wikimedia.org/api/rest_v1/media/math/render/svg/89961582a9b8e323ee301bd454860d4fca948010)
no és un exemple d'associativitat, sinó que de commutativitat, perquè la seqüència de l'operand canvia quan el 2 i el 5 intercanvien les posicions.
Les operacions associatives són abundants en matemàtiques, i de fet la majoria de les estructures algebraiques requereixen explícitament que les seves operacions binàries siguin associatives. Tanmateix, moltes operacions destacades són no-associatives; un exemple estàndard és el del producte vectorial.
Formalment, una operació binària
en un conjunt S s'anomena associativa si satisfà la propietat associativa:
![{\displaystyle (x*y)*z=x*(y*z)\qquad {\mbox{per a tots }}x,y,z\in S.}](//wikimedia.org/api/rest_v1/media/math/render/svg/f83df79a39986896caf3c1b448c41787ef0458c4)
L'ordre en què s'efectuen les operacions no afecta el valor de les expressions, i es pot veure que succeeix el mateix per a expressions que contenen qualsevol nombre d'operacions
. Així, quan
és associativa, no cal especificar l'ordre en què s'efectuen les operacions i es poden ometre els parèntesis sense caure en una ambigüitat. Així, es pot escriure simplement
![{\displaystyle x*y*z.\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/3cfbc782b90f3058f15dcbee88690fa12f3a0923)
Tanmateix, és important destacar que canviar l'ordre en què s'efectuen les operacions no implica que es pugui canviar les operacions pròpiament tot movent els operands en l'expressió.
Els següents són alguns exemples d'operacions associatives.
![{\displaystyle \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\}{\mbox{per a tots }}x,y,z\in \mathbb {R} .}](//wikimedia.org/api/rest_v1/media/math/render/svg/28a1e9cb57f8cca26257ec3383da0621838aaff9)
![{\displaystyle \left.{\begin{matrix}\operatorname {MCD} (\operatorname {MCD} (x,y),z)=\operatorname {MCD} (x,\operatorname {MCD} (y,z))=\operatorname {MCD} (x,y,z)\ \quad \\\operatorname {mcm} (\operatorname {mcm} (x,y),z)=\operatorname {mcm} (x,\operatorname {mcm} (y,z))=\operatorname {mcm} (x,y,z)\quad \end{matrix}}\right\}{\mbox{ per a tots }}x,y,z\in \mathbb {Z} .}](//wikimedia.org/api/rest_v1/media/math/render/svg/1204ddaab63951e45cab6921b213362adf1ace43)
- Com que les transformacions lineals són funcions que poden ésser representades per multiplicacions de matriu, les quals representen la composició funcional, es pot deduir directament que la multiplicació de matrius és associativa.
![{\displaystyle \left.{\begin{matrix}(A\cap B)\cap C=A\cap (B\cap C)=A\cap B\cap C\quad \\(A\cup B)\cup C=A\cup (B\cup C)=A\cup B\cup C\quad \end{matrix}}\right\}{\mbox{per a tots els conjunts }}A,B,C.}](//wikimedia.org/api/rest_v1/media/math/render/svg/985c46225895e9619668a0d5a822731aa674049b)
- Si M és un conjunt i S denota el conjunt de totes les funcions d'M a M, aleshores la composició funcional en S és associativa:
![{\displaystyle (f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h\qquad {\mbox{per a tots }}f,g,h\in S.}](//wikimedia.org/api/rest_v1/media/math/render/svg/90cd723e2b093566da3ad451e44b1d82525ceec1)
- Una mica més generalment, donats quatre conjunts M, N, P i Q, tals que h: M a N, g: N a P, i f: P a Q, aleshores
![{\displaystyle (f\circ g)\circ h=f\circ (g\circ h)=f\circ g\circ h}](//wikimedia.org/api/rest_v1/media/math/render/svg/7ac9ff2f14721c0ad9348126aad6a77a0a014b8d)
- com abans. En resum, la composició d'aplicacions sempre és associativa.
- Si es considera un conjunt amb tres elements A, B, i C. La següent operació és associativa:
Més informació ×, A ...
Tanca
Així, per exemple, A(BC)=(AB)C. Aquesta aplicació no és commutativa.
Una operació binària
en un conjunt S que no satisfà la propietat associativa se l'anomena no-associativa.[1] Simbòlicament,
![{\displaystyle (x*y)*z\neq x*(y*z)\qquad {\mbox{per alguns }}x,y,z\in S.}](//wikimedia.org/api/rest_v1/media/math/render/svg/f45fd2f83064651da7dca537684edd0fc13604a0)
Per una operació com aquesta, l'ordre en què s'efectuen les operacions sí que influeix en el resultat. La resta, la divisió i l'exponenciació són exemples destacats d'operacions no associatives:
![{\displaystyle {\begin{matrix}(5-3)-2\neq 5-(3-2)\quad \\(4/2)/2\neq 4/(2/2)\qquad \qquad \\2^{(1^{2})}\neq (2^{1})^{2}.\quad \qquad \qquad \end{matrix}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/c6c1818086d41ca717f42a94eadeb5b683d2cd16)
En general, els parèntesis s'usen per indicar l'ordre en què s'efectuen les operacions si una operació no-associativa apareix més d'una vegada en una expressió. Tanmateix, els matemàtics en general es posen d'acord en un ordre preestablert en diverses operacions no-associatives. Això no és més que una convenció sintàctica per tal d'evitar haver d'escriure parèntesis.
Una operació associativa per l'esquerra és una operació no-associativa que per convenció s'avalua d'esquerra a dreta. Per exemple:
![{\displaystyle \left.{\begin{matrix}x*y*z=(x*y)*z\qquad \qquad \quad \,\\w*x*y*z=((w*x)*y)*z\quad \\{\mbox{etc.}}\qquad \qquad \qquad \qquad \qquad \qquad \ \ \,\end{matrix}}\right\}{\mbox{per a tots }}w,x,y,z\in S}](//wikimedia.org/api/rest_v1/media/math/render/svg/95e4bcaf814e15d6d2432bbede166774bc6df090)
mentre que una operació associativa per la dreta és una operació que s'avalua de dreta a esquerra per convenció:
![{\displaystyle \left.{\begin{matrix}x*y*z=x*(y*z)\qquad \qquad \quad \,\\w*x*y*z=w*(x*(y*z))\quad \\{\mbox{etc.}}\qquad \qquad \qquad \qquad \qquad \qquad \ \ \,\end{matrix}}\right\}{\mbox{per a tots }}w,x,y,z\in S}](//wikimedia.org/api/rest_v1/media/math/render/svg/cb77f6a9dc950361ea6dcb419c769c6cfa86e43f)
Existeixen casos d'operacions associatives tant per l'esquerra com per la dreta. Més endavant se'n mostren alguns exemples.
Algunes operacions associatives per l'esquerra:
- Resta i divisió de nombres naturals:
- ;}
![{\displaystyle x-y-z=(x-y)-z\qquad {\mbox{per a tots }}x,y,z\in \mathbb {R} ;}](//wikimedia.org/api/rest_v1/media/math/render/svg/a8c7ef51002e883cf18efcb5616f6078ea81c2fa)
![{\displaystyle x/y/z=(x/y)/z\qquad \qquad \quad {\mbox{per a tots }}x,y,z\in \mathbb {R} {\mbox{ on }}y\neq 0,z\neq 0.}](//wikimedia.org/api/rest_v1/media/math/render/svg/e6f17f322d3c36ef442be5c6879aacfd10472b42)
Algunes operacions associatives per la dreta:
![{\displaystyle x^{y^{z}}=x^{(y^{z})}.\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/c400dba039afa89b3cf1538b9f97fc1d1f168bd8)
- La raó per la qual l'exponenciació és associativa per la dreta és perquè una operació d'exponenciació per l'esquerra repetida seria menys útil. Múltiples aparicions es podrien reescriure amb multiplicacions:
![{\displaystyle (x^{y})^{z}=x^{(yz)}.\,}](//wikimedia.org/api/rest_v1/media/math/render/svg/008cbad0e78021e04037a5d5018fa8117bb05ff4)
Operacions no-associatives per les que no existeixen convencions per l'ordre d'efectuar les operacions inclouen les següents.
![{\displaystyle {(x+y)/2+z \over 2}\neq {x+(y+z)/2 \over 2}\neq {x+y+z \over 3}\qquad {\mbox{per algunes variables }}x,y,z\in \mathbb {R} .}](//wikimedia.org/api/rest_v1/media/math/render/svg/fe34c0948f5330f52a006c76a5e898168e2bf9e7)
![{\displaystyle (A\backslash B)\backslash C\neq A\backslash (B\backslash C)\qquad {\mbox{per alguns conjunts }}A,B,C.}](//wikimedia.org/api/rest_v1/media/math/render/svg/67a494d410e4f7667e0929f61023d9ac3852d5a6)
La part verda del diagrama de Venn de l'esquerra representa (A\B)\C. La part verda del diagrama de Venn de la dreta representa A\(B\C).
- Un semigrup és un conjunt amb una operació binària associativa i tancada.
- La commutativitat i distributivitat són les altres dues propietats de les operacions binàries freqüentment usades.
- L'associativitat de les potències i l'alternativitat són formes febles d'associativitat.
Schafer, Richard D. Dover Publications. An introduction to Non-associative algebras, 1995, p. 1-8. ISBN 0-486-68813-5.