Distribueco: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e r2.6.3) (robota aldono de: ta:பங்கீட்டுப் பண்பு |
eNeniu resumo de redakto |
||
Linio 3: | Linio 3: | ||
:4 · (2 + 3) = (4 · 2) + (4 · 3) |
:4 · (2 + 3) = (4 · 2) + (4 · 3) |
||
==Difino== |
|||
Se S estas [[Aro (matematiko)|aro]] kun du [[duargumenta operacio|duargumentaj operacioj]] <math>\times</math> kaj <math>+</math>, ni diras ke |
Se S estas [[Aro (matematiko)|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> |
||
Linio 11: | Linio 11: | ||
Notu, ke se <math>\times</math> estas [[komuteco|komuta]], la supraj tri [[difino]]j estas [[logiko|logike]] [[ekvivalento|ekvivalentaj]]. |
Notu, ke se <math>\times</math> estas [[komuteco|komuta]], la supraj tri [[difino]]j estas [[logiko|logike]] [[ekvivalento|ekvivalentaj]]. |
||
==Vidu ankaŭ== |
|||
*[[Komuteco]] |
*[[Komuteco]] |
||
*[[Asocieco]] |
*[[Asocieco]] |
Kiel registrite je 07:07, 1 apr. 2011
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.