Asociatividad (lgebra)

La asociatividad es una propiedad en el lgebra y la 1.1 Suma y resta

lgica proposicional que se cumple si, dados tres o ms
elementos cualquiera de un conjunto determinado, se ve- Partiendo del conjunto de los nmeros naturales
rica que existe una operacin que cumpla la igualdad:

N = {1, 2, 3, 4, . . . }
a (b c) = (a b) c
para la operacin suma, denida como:
Es decir, en una expresin asociativa con dos o ms ocu-
rrencias seguidas de un mismo operador asociativo, el or- + : N N N
den en que se ejecuten las operaciones no altera el resul- (a, b) c = a + b
tado, siempre y cuando se mantenga intacta la secuen-
cia de los operandos. En otras palabras, reorganizar los (N, +) tiene la propiedad asociativa, dado que:
parntesis en una expresin asociativa no cambia su valor
nal.
a, b, c N : a + (b + c) = (a + b) + c
La suma y el producto de nmeros reales cumplen la pro-
piedad asociativa, siendo vlidas las igualdades a + (b + Por ejemplo:
c) = (a + b) + c para la suma y a * (b * c) = (a * b) *
c para la multiplicacin. En ambas, la ubicacin de los
parntesis no altera el resultado. Ntese que los operan- 5 + (3 + 2) = (5 + 3) + 2
dos han se han mantenido en su posicin original dentro
de la expresin. Muchas operaciones importantes son no Sin embargo, para la operacin resta, denida como:
asociativas, por ejemplo la resta y la exponenciacin. Las
expresiones que contienen tanto operaciones asociativas
: NN N
como operaciones no asociativas dan como resultado ex-
(a, b) c = a b
presiones no asociativas.
No se debe confundir la asociatividad con la (N, ) no tiene la propiedad asociativa, dado que:
conmutatividad, la cual establece que si se puede
cambiar el orden de los operandos sin afectar el resultado
nal. a, b, c N : a (b c) = (a b) c
Por ejemplo:

1 Notacin formal 5 (3 2) = (5 3) 2

Sea A un conjunto en el cual se ha denido una operacin

binaria interna tal que 2 Ejemplos
La concatenacin de las cadenas de caracteres ho-
:AA A
la, " ", mundo se puede computar concatenando
(a, b) c=ab
las primeras dos cadenas de caracteres (resultando
en hola ") y luego la tercera cadena de caracteres
Se dice que la operacin es asociativa si:
(mundo), o alternativamente, uniendo la segunda
y tercera cadena de caracteres (resultando en " mun-
do) y concatenando la primera cadena de caracteres
a, b, c A : a (b c) = (a b) c (hola) con ese resultado. Los dos mtodos produ-
cen el mismo resultado nal. La concatenacin de
La ley asociativa tambin puede ser expresada en notacin cadenas de caracteres es asociativa (pero no es con-
funcional as: f(f(x, y), z) = f(x, f(y, z)). mutativa).

1
2 3 EN LGICA PROPOSICIONAL

(x + y) + z SI M es algn conjunto y S denota el conjunto de

todas las cunciones de M a M, entonces la operacin
= de composicin funcional sobre S es asociativa.
x + (y + z)

La adicin de numeros reales es asociativa. (f g)h = f (gh) = f gh para todo f, g, h S.

Ms generalmente, dados cuatro conjuntos M, N, P

En aritmtica, la adicin y la multiplicacin de n-
y Q, con h: M a N, g: N a P, y f: P a Q, entonces
meros reales son asociativas. Debido a su asociativi-
dad, la agrupacin por parntesis puede ser omitida
sin ambigedad. Esto es,
(f g) h = f (g h) = f g h

} tal como en el ejemplo anterior. En resumen, la

(x + y) + z = x + (y + z) = x + y + z
R.
para todo x, y, z composicin de mapas siempre es asociativa.
(x y)z = x(y z) = x y z

Un ejemplo de la asociatividad de la suma es Para un conjunto con tres elementos A, B, y C, la

siguiente operacin es asociativa.
(2+3)+7 = 5+7 = 12 = 2+(3+7) = 2+10 = 12
De esta manera, por ejemplo, A(BC)=(AB)C
y de la asociatividad de la multiplicacin
= A. Esta operacin no es conmutativa.
(2 3) 7 = 6 7 = 42 = 2 (3 7) = 2 21 = 42
Ya que las matrices representan funciones de
Sin embargo, la resta no es asociativa, transformacin lineal, con la multiplicacin matri-
cial representando composicin funcional, se puede
2 (3 1) = 0 = (2 3) 1 = 2 concluir inmediatamente que la multiplicacin ma-
tricial es asociativa.[1]
y tampoco lo es la divisin,

(4 : 2) : 2 = 1 = 4 : (2 : 2) = 4
3 En lgica proposicional
ni la exponenciacin, que es igualmente no aso-
ciativa 3.1 Regla de reemplazo
3
2(2 )
= 28 = 256 = (22 )3 = 43 = 64En la lgica proposicional estndar, la asociacin,[2][3] o
asociatividad [4] son dos reglas de reemplazo vlidas. Es-
La adicin y multiplicacin de nmeros comple- tas reglas permiten mover los parntesis en expresiones
jos y cuaterniones son asociativas. La adicin de lgicas usadas en pruebas lgicas. Las reglas son:
octoniones tambin es asociativa, pero la multipli-
cacin de octoniones es no asociativa.
(P (Q R)) ((P Q) R)
Las funciones mximo comn divisor y mnimo co-
mn mltiplo actun de forma asociativa. y

(P }(Q R)) ((P Q) R),

mcd(mcd(x, y), z) = mcd(x, mcd(y, z)) = mcd(x, y, z)
para todo x, y, z Z.
mcm(mcm(x, y), z) = mcm(x, mcm(y, z)) = mcm(x, y, dondez) " " es un smbolo metalgico que representa
puede ser reemplazado en una prueba por.
La interseccin o la unin de conjuntos son asocia-
tivas.
3.2 Conectivas de funciones de verdad
Asociatividad es una propiedad de algunas conectivas l-
}
(A B) C = A (B C) = A B C gicas en las funciones de verdad de la lgica proposicio-
para todos
nal.los conjuntos A,equivalencias
B, C.
(A B) C = A (B C) = A B C Las siguientes lgicass demuestran que
 3

la asociatividad es una propiedad de conectivas lgicas

particulares. Son asimismo tautologas de funciones de
verdad.
Asociatividad de la disyuncin:

((P Q) R) (P (Q R))

(P (Q R)) ((P Q) R)
Asociatividad de la conjuncin:

((P Q) R) (P (Q R))

(P (Q R)) ((P Q) R)
Asociatividad de la equivalencia:

((P Q) R) (P (Q R))

(P (Q R)) ((P Q) R)

4 Vase tambin
Conmutatividad
Relacin reexiva

Relacin simtrica
Relacin transitiva

Relacin antisimtrica

5 Referencias
[1] Matrix product associativity. Khan Academy. Consul-
tado el 5 de junio de 2016.

[2] Moore and Parker

[3] Copi and Cohen

[4] Hurley
4 6 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

6 Origen del texto y las imgenes, colaboradores y licencias

6.1 Texto
Asociatividad (lgebra) Fuente: https://es.wikipedia.org/wiki/Asociatividad_(%C3%A1lgebra)?oldid=97431963 Colaboradores: Rome-
ro Schmidtke, Pino, Sabbut, Rumpelstiltskin, Vivero, Jsanchezes, Yakoo, Geom, FAR, Magister Mathematicae, Charlitos, RobotQuistnix,
Superzerocool, Yrbot, BOT-Superzerocool, YurikBot, GermanX, KnightRider, Nihilo, Thijs!bot, Escarbot, JAnDbot, TXiKiBoT, Humber-
to, Rei-bot, Plux, AlnoktaBOT, Muro Bot, Jesusosm, Gerakibot, SieBot, BOTarate, Mel 23, Dnu72, Nicop, DragonBot, Alejandrocaro35,
Raulshc, Aipni-Lovrij, UA31, AVBOT, MastiBot, Angel GN, Diegusjaimes, Hector Madrigal, Luckas-bot, Nallimbot, ArthurBot, Super-
Braulio13, Ortisa, Xqbot, Jkbw, SassoBot, Igna, MauritsBot, BF14, Dinamik-bot, Alph Bot, GrouchoBot, EmausBot, ZroBot, EdoBot,
Helmy oved, VikkiLikki, Addbot, ZNDavid, TuCove, BenjaBot y Annimos: 38

6.2 Imgenes
Archivo:Associativity_of_real_number_addition.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/f6/Associativity_
of_real_number_addition.svg Licencia: CC BY 3.0 Colaboradores: Trabajo propio Artista original: Stephan Kulla (User:Stephan Kulla)

6.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0