Ambiente:
(X,+,*) per parlare di proprieta' distributiva, ci si deve trovare in un insieme dotato di 2 op bin, una somma e una moltiplicazione.
∀a,b,c ∈X | a*(b+c) = a*b + a*c | proprieta' distributiva sinistra |
(a+b)*c = a*c + b*c | proprieta' distributiva destra |
proprieta' distributiva è distributiva sia sinistra che destra
∀a,b,c ∈X | a(b+c) = ab + ac | proprieta' distributiva sinistra |
(a+b)c = ac + bc | proprieta' distributiva destra |
Se * è commutativa, allora le tre condizioni precedenti sono logicamente equivalenti.
rob: preferisco dire "distributiva DA sinistra", ma l'usuale e' "distributiva a sinistra". Dicendo "distributiva sinistra" si evita.
si sarebbe potuto denominare anche scambiando sx e dx, come per il lato su cui viaggiare per strada.
Un'ispezione su wikipedia mostra che la scelta dei matematici e' unificata.
it | distributiva a sinistra | distributiva a destra |
---|---|---|
es | distributiva por la izquierda | distributiva por la derecha |
fr | distributivité à gauche | distributivité à droite |
en | left-distributive | right-distributive |
de | linksdistributiv | rechtsdistributiv |
rob | distributiva da sinistra distributiva sinistra distributiva sulla destra |
distributiva da destra distributiva destra distributiva sulla sinistra |
(a+b+c)(d+e+f+g), in generale (a1+a2+...+an)(b1+b2+...+bm),
hanno gli addendi che si possono costruire con Tabella di combinazione
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
(a+b+c)(d+e+f+g) =
per distributiva sinistra (a+b+c)d + (a+b+c)e + (a+b+c)f + (a+b+c)g = per distr dx ad+bd+cd + ae+be+ce + af+bf+cf + ag+bg+cg |
per distributiva destra a(d+e+f+g) + b(d+e+f+g) + c(d+e+f+g)
= per distr sx
ad+ae+af+ag+ bd+be+bf+bg+ cd+ce+cf+cg |
l'ordine degli addendi e' diverso, ma il risultato della somma e' uguale.
Il prodotto delle somme e' = alla somma dei prodotti
|
= | ∑ ∏ | |||
prodotto |
= | somma di prodotti |
|||
= | ac+ad+bc+bd | ||||
(a+b)(c+d+e) |
= | ac+ad+ae + bc+bd+be |
|||
(a+b+c)(d+e+f+g) |
= |
ad+ae+af+ag+ bd+be+bf+bg+ cd+ce+cf+cg |
|||
= | ... |
k(a + b + ... + z) = ka + kb + ... + kz
Il moltiplicato della somma e' = alla somma dei moltiplicati, viceversa
la somma dei moltiplicati e' = al moltiplicato della somma.
1814 wp/Francois-Joseph_Servois introduce i termini "proprietà distributiva" e "proprietà commutativa".
1844 Hamilton, William Rowan Sir (1805-1865) introduce "proprietà associativa".
Per la proprieta' distributiva vale un discorso analogo a quella associativa e commutativa: presentazione standard-"scheletrica" e insolita-"abbondante"
Proprieta' distributiva del prodotto rispetto alla somma.
(a+b+c)(d+e+f+g) = per distributiva destra
a(d+e+f+g) + b(d+e+f+g) + c(d+e+f+g) = per distr sx
(a,d)+(a,e)+(a,f)+(a,g)+
(b,d)+(b,e)+(b,f)+(b,g)+
(c,d)+(c,e)+(c,f)+(c,g)
|
= | ∑ ∏ | |||||
Il prodotto delle somme e' | = | alla somma dei prodotti | |||||
= | ac+ad+bc+bd | ∀ a,b,c,d ∈X | |||||
(a+b)(c+d+e) |
= | ac+ad+ae+ bc+bd+be |
∀ a,b,c,d,e ∈X |
|
= | ∑ ∏ | ||||
Il prodotto delle somme e' | = | alla somma dei prodotti | ||||
= | ac+ad+bc+bd | ∀ a,b,c,d ∈X | ||||
(a+b)(c+d+e) |
= | ac+ad+ae+ bc+bd+be |
∀ a,b,c,d,e ∈X | |||
= | ∀ a,b,c, ... ∈X |
|
= | ∑ ∏ | ||||
Il prodotto delle somme e' | = | alla somma dei prodotti | ||||
= | ac+ad+bc+bd | ∀ a,b,c,d ∈X | ||||
(a+b)(c+d+e) |
= | ac+ad+ae+ bc+bd+be |
∀ a,b,c,d,e ∈X | |||
= | ... | ∀ a,b,c, ... ∈X |