Propietat associativa

en àlgebra i lògica proposicional, propietat de les operacions que es poden reagrupar sense canviar el resultat
(S'ha redirigit des de: Associativa)

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

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,

é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

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.

Definició

modifica

Formalment, una operació binària   en un conjunt S s'anomena associativa si satisfà la propietat associativa:

 

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

 

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ó.

Exemples

modifica

Els següents són alguns exemples d'operacions associatives.

 
 
  • 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.
 
  • 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:
 
  • 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
 
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:
+
× A B C
A A A A
B A B C
C A A A

Així, per exemple, A(BC)=(AB)C. Aquesta aplicació no és commutativa.

No-associativitat

modifica

Una operació binària   en un conjunt S que no satisfà la propietat associativa se l'anomena no-associativa.[1] Simbòlicament,

 

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:

 

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:

 

mentre que una operació associativa per la dreta és una operació que s'avalua de dreta a esquerra per convenció:

 

Existeixen casos d'operacions associatives tant per l'esquerra com per la dreta. Més endavant se'n mostren alguns exemples.

Més exemples

modifica

Algunes operacions associatives per l'esquerra:

  • Resta i divisió de nombres naturals:
 
 

Algunes operacions associatives per la dreta:

 
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:
 

Operacions no-associatives per les que no existeixen convencions per l'ordre d'efectuar les operacions inclouen les següents.

 
 

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).

Vegeu també

modifica

Referències

modifica
  1. Schafer, Richard D. Dover Publications. An introduction to Non-associative algebras, 1995, p. 1-8. ISBN 0-486-68813-5.