Distribueco

En matematiko, distribueco estas eco de duargumentaj operacioj, kiuj ĝeneraligas la distribuan leĝon de baza algebro. Ekzemple

4 · (2 + 3) = (4 · 2) + (4 · 3)

Difino

Se S estas aro kun du duargumentaj operacioj $\times$ kaj malsukcesis analizi formulon (nekonata funkcio "\plus"): {\displaystyle \plus} , ni diras ke

• $\times$ estas maldektre distribua rilate al malsukcesis analizi formulon (nekonata funkcio "\plus"): {\displaystyle \plus} se $a\times \left(b+c\right)=a\times b+a\times c$
• $\times$ estas dektre distribua rilate al malsukcesis analizi formulon (nekonata funkcio "\plus"): {\displaystyle \plus} $\left(a+b\right)\times c=a\times c+b\times c$
• $\times$ estas distribua rilate al malsukcesis analizi formulon (nekonata funkcio "\tplus"): {\displaystyle \tplus} , se ĝi estas kaj maldekstre kaj dekstre distribua.

Notu, ke se $\times$ estas komuta, la supraj tri difinoj estas logike ekvivalentaj.

Vidu ankaŭ

• Komuteco
• Asocieco