Distributivitet

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2020-06) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

I abstrakt algebra inom matematiken sägs en operator, ${\displaystyle \,*}$, vara distributiv med avseende på en annan operator, +, om det för alla x, y och z i en mängd S gäller att

${\displaystyle \,x*(y+z)=(x*y)+(x*z)}$

och

${\displaystyle \,(y+z)*x=(y*x)+(z*x)}$

Till exempel är multiplikation distributiv med avseende på addition i mängden av reella tal.

Mer precist kallas operationen ${\displaystyle \,*}$ vänsterdistributiv (med avseende på +), om den första likheten alltid gäller, och högerdistributiv, om den andra likheten alltid gäller. Operationen är således distributiv om och endast om den är både vänsterdistributiv och högerdistributiv.

Till exempel är exponentiering högerdistributiv men inte vänsterdistributiv med avseende på multiplikation i mängden av positiva heltal:

${\displaystyle (x\cdot y)^{z}=x^{z}\cdot y^{z}}$

men

${\displaystyle x^{y\cdot z}\neq x^{y}\cdot x^{z}.}$