Asociatividad (álgebra)

La asociatividad es una propiedad en el álgebra y la lógica proposicional que se cumple , si dados tres o más elementos cualquiera de un conjunto determinado, se verifica que existe una operación: , que cumpla la igualdad:
 

Es decir, en una expresión asociativa con dos o más ocurrencias seguidas de un mismo operador asociativo, el orden en que se ejecuten las operaciones no altera el resultado, siempre y cuando se mantenga intacta la secuencia de los operandos. En otras palabras, reorganizar los paréntesis en una expresión asociativa no cambia su valor final. 

La suma y el producto de números reales cumplen la propiedad asociativa, siendo válidas las igualdades:
 

para la suma y para la multiplicación:
 

En ambas, la ubicación de los paréntesis no altera el resultado. Nótese que los operandos se han mantenido en su posición original dentro de la expresión. Muchas operaciones importantes son no asociativas, por ejemplo la resta y la exponenciación. Las expresiones que contienen tanto operaciones asociativas como operaciones no asociativas dan como resultado expresiones no asociativas. 

No se debe confundir la asociatividad con la conmutatividad, la cual establece que sí se puede cambiar el orden de los operandos sin afectar el resultado final.

Dentro de una expresión que contenga dos o más apariciones seguidas del mismo operador asociativo, el orden en que se realicen las operaciones no importa siempre que no se cambie la secuencia de los operandos. Es decir (después de reescribir la expresión con paréntesis y en notación infija si es necesario), reordenar los paréntesis en dicha expresión no cambiará su valor. Consideremos las siguientes ecuaciones:

Aunque los paréntesis se han reordenado en cada línea, los valores de las expresiones no se han alterado. Dado que esto es cierto cuando se realiza la suma y la multiplicación de cualquier número real, se puede decir que "la suma y la multiplicación de números reales son operaciones asociativas".

La asociatividad no es lo mismo que la conmutatividad, que se refiere a si el orden de dos operandos afecta al resultado. Por ejemplo, el orden no importa en la multiplicación de números reales, es decir,  ×  =  × }}, por lo que decimos que la multiplicación de números reales es una operación conmutativa. Sin embargo, operaciones como la composición de funciones y la multiplicación de matrices son asociativas, pero (generalmente) no conmutativas.

Las operaciones asociativas son abundantes en matemáticas; de hecho, muchas estructuras algebraicass (como semigrupos y categorías) requieren explícitamente que sus operaciones binarias sean asociativas.

Sin embargo, muchas operaciones importantes e interesantes no son asociativas; algunos ejemplos son la resta, la exponenciación y el  producto vectorial cruzado. En contraste con las propiedades teóricas de los números reales, la suma de números de coma flotante en informática no es asociativa, y la elección de cómo asociar una expresión puede tener un efecto significativo en el error de redondeo.

Definición 

Formalmente, una operación binaria  sobre un set  se llama asociativa si satisface la ley asociativa:

 para todo , ,  en .}}

Aquí, ∗ se utiliza para sustituir el símbolo de la operación, que puede ser cualquier símbolo, e incluso la ausencia de símbolo (yuxtaposición) como para la multiplicación.

 para todo , ,  en .}}

La ley asociativa también puede expresarse así en notación funcional: .

Ley asociativa generalizada 

Si una operación binaria es asociativa, la aplicación repetida de la operación produce el mismo resultado independientemente de cómo se inserten los pares de paréntesis válidos en la expresión. es unívoco; es decir, se obtendrá el mismo elemento independientemente de cómo se inserten los paréntesis en el producto. A esto se le llama ley asociativa generalizada. Por ejemplo, un producto de cuatro elementos puede escribirse, sin cambiar el orden de los factores, de cinco formas posibles:

Si la operación producto es asociativa, la ley asociativa generalizada dice que todas estas expresiones darán el mismo resultado. Así que, a menos que la expresión con paréntesis omitido ya tenga un significado diferente (véase más adelante), los paréntesis pueden considerarse innecesarios y "el" producto puede escribirse sin ambigüedad como

.

A medida que aumenta el número de elementos, el número de formas posibles de insertar paréntesis crece rápidamente, pero siguen siendo innecesarios para la desambiguación.

Un ejemplo en el que esto no funciona es el bicondicional lógico  Es asociativo; por tanto, 

 es equivalente a , pero  más comúnmente significa {{math|( ↔ ) y ( ↔ ), que no es equivalente.

Notación formal 
Sea A un conjunto en el cual se ha definido una operación binaria interna  tal que
 

Se dice que la operación  es asociativa si:
 
La ley asociativa también puede ser expresada en notación funcional así:

Suma y resta 
Partiendo del conjunto de los números naturales 
 

para la operación suma, definida como:
 

 tiene la propiedad asociativa, dado que:
 

Por ejemplo:
 

Sin embargo, para la operación resta, definida como:
 

 no tiene la propiedad asociativa, dado que:
 

Por ejemplo:

Ejemplos 

La concatenación de las cadenas de caracteres "hola", " ", "mundo" se puede computar concatenando las primeras dos cadenas de caracteres (resultando en  "hola ") y luego la tercera cadena de caracteres ("mundo"), o alternativamente, uniendo la segunda y tercera cadena de caracteres (resultando en " mundo") y concatenando la primera cadena de caracteres ("hola") con ese resultado. Los dos métodos producen el mismo resultado final. La concatenación de cadenas de caracteres es asociativa (pero no es conmutativa).
En aritmética, la adición y la multiplicación de números reales son asociativas. Debido a su asociatividad, la agrupación por paréntesis puede ser omitida sin ambigüedad. Esto es,
 
Un ejemplo de la asociatividad de la suma es:
   
y de la asociatividad de la multiplicación 
  
Sin embargo, la resta no es asociativa,
   
y tampoco lo es la división, 
 .  
ni la exponenciación, que es igualmente no asociativa 
 
La adición y multiplicación de números complejos y cuaterniones son asociativas. La adición de octoniones también es asociativa, pero la multiplicación de octoniones es no asociativa.
Las funciones máximo común divisor y mínimo común múltiplo actúan de forma asociativa.

La intersección o la unión de conjuntos son asociativas.

SI M es algún conjunto y S denota el conjunto de todas las cunciones de M a M, entonces la operación de composición funcional sobre S es asociativa.

Más generalmente, dados cuatro conjuntos M, N, P y Q, con h: M a N, g: N a P, y f: P a Q, entonces

tal como en el ejemplo anterior. En resumen, la composición de aplicaciones siempre es asociativa.
Para un conjunto con tres elementos A, B, y C, la siguiente operación es asociativa. 
{| class="wikitable" style="text-align:center"
!×
!A
! href="reglas de reemplazo" |B
! href="válidas" |C
|- href="Fórmula_bien_formada"
!A
|A
|A
|A
|-
!B
|A
|B
|C
|- href="prueba lógica"
!C
|A
|A
| href="Conectiva_lógica" |A
|- href="Función_de_verdad"
|}
De esta manera, por ejemplo, A(BC)=(AB)C = A. Esta operación no es conmutativa.
Ya que las matrices representan funciones de transformación lineal, con la multiplicación matricial representando composición funcional, se puede concluir inmediatamente que la multiplicación matricial es asociativa.

En lógica proposicional

Regla de Reemplazo 
En la lógica proposicional estándar, la asociación, o asociatividad son dos reglas de reemplazo válidas. Estas reglas permiten mover los paréntesis en expresiones lógicas usadas en pruebas lógicas. Las reglas son:

donde "" es un símbolo metalógico que representa "puede ser reemplazado en una prueba por".

Conectivas de funciones de verdad 
Asociatividad es una propiedad de algunas conectivas lógicas en las funciones de verdad de la lógica proposicional. Las siguientes equivalencias lógicas demuestran que la asociatividad es una propiedad de conectivas lógicas particulares. Son asimismo tautologías de funciones de verdad.

Asociatividad de la disyunción:

Asociatividad de la conjunción:

Asociatividad de la equivalencia:

La negación conjunta es un ejemplo de conectivo funcional de verdad que no es asociativo.

Operación no asociativa
Una operación binaria  sobre un conjunto S que no satisface la ley asociativa se denomina no asociativa'. Simbólicamente,

Para una operación de este tipo, el orden de evaluación sí importa. Por ejemplo:
 Sustracción

 División

 Exponenciación

 Producto vectorial

Además, aunque la suma es asociativa para sumas finitas, no lo es dentro de sumas infinitas (series). Por ejemplo,

whereas

Algunas operaciones no asociativas son fundamentales en matemáticas. Aparecen a menudo como la multiplicación en estructuras llamadas álgebras no asociativass, que tienen también una suma y una multiplicación escalar. Algunos ejemplos son los octonioness y las álgebras de Lies. En las álgebras de Lie, la multiplicación satisface la identidad de Jacobi en lugar de la ley asociativa; esto permite abstraer la naturaleza algebraica de las transformaciones infinitesimales.

Otros ejemplos son cuasigrupo, cuasicampo, anillo no asociativo y magmas no asociativos conmutativos.

No-asociatividad del cálculo en coma flotante
En matemáticas, la suma y multiplicación de números reales es asociativa.  En cambio, en informática, la suma y multiplicación de números de coma flotante no es asociativa, ya que se introducen errores de redondeo cuando se unen valores de tamaños distintos..

Para ilustrar esto, considere una representación en coma flotante con un mantisa de 4 bits:

(1.0002×20 + 1.0002×20) +
1.0002×24 = 1.0002×2 + 1.0002×24 = 1.002×24

1.0002×20 + (1.0002×20 +
1.0002×24) = 1.0002×2 + 1.0002×24 = 1.002×24

Aunque la mayoría de los ordenadores calculan con 24 o 53 bits de mantisa, esta es una fuente importante de error de redondeo, y enfoques como el algoritmo de suma de Kahan son formas de minimizar los errores. Puede ser especialmente problemático en computación paralela.

Véase también 
 Conmutatividad
 Relación reflexiva
 Relación simétrica
 Relación transitiva
 Relación antisimétrica

Referencias 

Álgebra abstracta
Álgebra elemental
Reglas de inferencia