TESIS-MAG-0201.pdf

) Lado derecho:
Si se aplica la definición 3.5 esta vez sobre la ecuación 3.17 se tiene que
(3.17)
9(R4)= (5i , ... ,lm , qi ..... 9n+p)=(5I ......ím,i,...,6,,éi (3.18)
De las ecuaciones 3.16 y 3.18 se desprende que ()®4 = (®4) que
corresponde al caso atómicoU.
Proposición 3.4.
Demostración:
El producto de asociaciones es asociativo
Por inducción en el número de argumentos. El paso inductivo se demuestra
de la misma forma que en el caso de la asociatividad de la unión y del producto, así que
se demostrará solo el caso atómico
Sean 9',. . . ,Im) , R=(1,. . . ,) y I=(é1 ,. . . 4,) tres encabezados y 41 =(57, e 0)'
,=(ze,2) y 43=(4,e,p) 3 asociaciones de acuerdo a la definición 3.3. Los vectores
que pertenecen a cada una de las asociaciones se denotarán de la misma forma que los
encabezados. Se necesita demostrar que .4 x(.42x,13) = (.41 x,42)x,13 .
a) Lado izquierdo:
Aplicando la definición 3.7, se tiene la siguiente ecuación:
41x(,42x43) (9,e,0) x(R4,e,Á(oo(w'))
150
A p(crnp(w'))) (3.19)