Distribueco

El Vikipedio

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)

[redaktu] Difino

Se S estas aro kun du duargumentaj operacioj \times kaj + , ni diras ke

  • \times estas maldektre distribua rilate al + , se a \times \left( b + c \right) = a \times b + a \times c
  • \times estas dektre distribua rilate al + , se \left( a + b \right) \times c = a \times c + b \times c
  • \times estas distribua rilate al + , se ĝi estas kaj maldekstre kaj dekstre distribua.

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

[redaktu] Vidu ankaŭ