Disztributivitás

A disztributivitás két matematikai műveletet összekapcsoló tulajdonság. Akkor mondjuk, hogy egy művelet (jelölje ⊕) disztributív egy másik (mondjuk ×-tel jelölt) műveletre nézve, ha minden elem esetén azonos végeredményre jutunk

• akkor is, ha két elem × műveletének eredményén és egy harmadik elemen végrehajtjuk a ⊕ műveletet,
• illetve akkor is, ha előbb a harmadik elemmel külön-külön össze-⊕-műveletezzük az első kettőt, majd a két eredményt össze-×-műveletezzük.

Ha a ⊕ művelet nem kommutatív, akkor megkülönböztethető bal oldali és jobb oldali disztributivitás. E jelzők elhagyása egyszerre mindkét oldali disztributivitásra utal.

Definíció

Legyen $(A;+,*)$ tetszőleges matematikai struktúra, ahol a $+$ és a $*$ kétváltozós művelet. Akkor mondjuk, hogy a $*$ művelet disztributív a $+$ műveletre nézve (illetve, hogy a $(A;+,*)$ struktúra disztributív), ha $A$ halmaz minden $a,b,c$ elemére teljesül, hogy

$(a+b)*c=(a*c)+(b*c)\,$, és

$a*(b+c)=(a*b)+(a*c)\,$.

Példák

• A valós számokon értelmezett összeadás és szorzás esetében a szorzás disztributív az összeadásra (azonban az összeadás nem disztributív a szorzásra):

$\forall a,b,c\in \mathbb {R} :\quad (a+b)\cdot c=a\cdot c+b\cdot c$

• Legyen $A,B,C$ három halmaz. A közöttük értelmezett egyesítés és metszetképzés kölcsönösen disztributív egymásra.

$A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$, illetve

$A\cup (B\cap C)=(A\cup B)\cap (A\cup C)$.

Disztributív struktúrák

• Gyűrű
• Integritástartomány
• Test

Lásd még

• Műveleti tulajdonságok

Hivatkozások

• Rédei László, Algebra I. kötet, Akadémiai Kiadó, Bp. (1954)
• Szendrei Ágnes, Diszkrét matematika, Polygon, JATE Bolyai Intézet, Szeged (1994)