opbin associativa, proprieta' associativa (def)
(ab)c = a(bc) ∀a,b,c ∈X
La definizione di Roberto Occa
(2*3)*4 | = 2*(3*4) | (24:12):2 | = 24:(12:2) | |
6*4 | = 2*12 | 2:2 | = 24:6 | |
24 | = 24 vero | 1 | = 4 falso | |
(2+3)+4 | = 2+(3+4) |
(9-4)-3 |
= 9-(4-3) | |
5+4 | = 2+7 | 5-3 | = 9-1 | |
9 | = 9 vero | 2 | = 8 falso |
3^2^2 = (3^2)^2 = 9^2 = 81
3^2^2 = 3^(2^2) = 3^4 = 81
2^3^2 = (2^3)^2 = 8^2 = 64
2^3^2 = 2^(3^2) = 2^9 = 512
a^b^c scrittura equivoca
(a^b)^c = potenza di potenza = a^(b*c)
pero' poi c'e' l'imbroglio che non viene dimostrato che segue cio' che io prendo come definizione, e ciononostante viene usato a tappeto nelle espressioni.
Legato al discorso sull'associativita' c'e' quello di Def potenza di un numero e Proprieta' delle potenze.
Si usa il linguaggio standard delle parentesi e degli alberi.
d: Come si comportano gli omomorfismi f:X->Y delle opbin rispetto alle
opnar indotte?
r: sono ancora omomorfismi: f({a[i]}) = {f(a[i])}