Distribueco: Malsamoj inter versioj

El Vikipedio, la libera enciklopedio
[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto
Neniu resumo de redakto
Linio 5: Linio 5:
===Difino===
===Difino===
Se S estas [[aro]] kun du [[duargumenta operacio|duargumentaj operacioj]] <math>\times</math> kaj <math>+</math>, ni diras ke
Se S estas [[aro]] kun du [[duargumenta operacio|duargumentaj operacioj]] <math>\times</math> kaj <math>+</math>, ni diras ke
*<math>\times</math> estas ''maldektre distribua'' rilate al <math>+</math> se <math> a \times \left( b + c \right) = a \times b + a \times c </math>
*<math>\times</math> estas ''maldektre distribua'' rilate al <math>+</math>, se <math> a \times \left( b + c \right) = a \times b + a \times c </math>
*<math>\times</math> estas ''dektre distribua'' rilate al <math>+</math> <math> \left( a + b \right) \times c = a \times c + b \times c </math>
*<math>\times</math> estas ''dektre distribua'' rilate al <math>+</math>, se <math> \left( a + b \right) \times c = a \times c + b \times c </math>
*<math>\times</math> estas ''distribua'' rilate al <math>+</math>, se ĝi estas kaj maldekstre kaj dekstre distribua.
*<math>\times</math> estas ''distribua'' rilate al <math>+</math>, se ĝi estas kaj maldekstre kaj dekstre distribua.


Notu, ke se <math>\times</math> estas [[komuteco|komuta]], la supraj tri [[difino]]j estas [[logika|logike]] [[ekvivalento|ekvivalentaj]].
Notu, ke se <math>\times</math> estas [[komuteco|komuta]], la supraj tri [[difino]]j estas [[logiko|logike]] [[ekvivalento|ekvivalentaj]].


===Vidu ankaŭ===
===Vidu ankaŭ===

Kiel registrite je 22:02, 2 jun. 2005

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 kaj , ni diras ke

  • estas maldektre distribua rilate al , se
  • estas dektre distribua rilate al , se
  • estas distribua rilate al , se ĝi estas kaj maldekstre kaj dekstre distribua.

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

Vidu ankaŭ

e:Distributivity