In abstract algebra and formal logic, the distributive property of binary operations generalizes the distributive law from boolean algebra and elementary algebra. In propositional logic, distribution refers to two valid rules of replacement. The rules allow one to reformulate conjunctions and disjunctions within logical proofs. For example, in arithmetic: 2 ⋅ (1 + 3) = (2 ⋅ 1) + (2 ⋅ 3), but 2 / (1 + 3) ≠ (2 / 1) + (2 / 3). In the left-hand side of the first equation, the 2 multiplies the sum of 1 and 3; on the right-hand side, it multiplies the 1 and the 3 individually, with the products added afterwards. Because these give the same final answer (8), it is said that multiplication by 2 distributes over addition of 1 and 3. Since one could have put any real numbers in place of 2, 1, and 3 above, and still have obtained a true equation, we say that multiplication of real numbers distributes over addition of real numbers. Contents 1 Definition 2 Meaning 3 Examples 3.1 Real numbers 3.2 Matrices 3.3 Other examples 4 Propositional logic 4.1 Rule of replacement 4.2 Truth functional connectives 5 Distributivity and rounding 6 Distributivity in rings 7 Generalizations of distributivity 7.1 Notions of antidistributivity 8 Notes 9 External links Definition[edit] Given a set S and two binary operators ∗ and + on S, we say that the operation: ∗ is left-distributive over + if, given any elements x, y, and z of S, x ∗ ( y + z ) = ( x ∗ y ) + ( x ∗ z ) , displaystyle x*(y+z)=(x*y)+(x*z), ∗ is right-distributive over + if, given any elements x, y, and z of S, ( y + z ) ∗ x = ( y ∗ x ) + ( z ∗ x ) , displaystyle (y+z)*x=(y*x)+(z*x), and ∗ is distributive over + if it is left- and right-distributive.[1] Notice that when ∗ is commutative, the three conditions above are logically equivalent. Meaning[edit] The operators used for examples in this section are the binary operations of addition ( + displaystyle + ) and multiplication ( ⋅ displaystyle cdot ) of numbers. There is a distinction between left-distributivity and right-distributivity: a ⋅ ( b ± c ) = a ⋅ b ± a ⋅ c displaystyle acdot left(bpm cright)=acdot bpm acdot c (left-distributive) ( a ± b ) ⋅ c = a ⋅ c ± b ⋅ c displaystyle (apm b)cdot c=acdot cpm bcdot c (right-distributive) In either case, the distributive property can be described in words as: To multiply a sum (or difference) by a factor, each summand (or minuend and subtrahend) is multiplied by this factor and the resulting products are added (or subtracted). If the operation outside the parentheses (in this case, the multiplication) is commutative, then left-distributivity implies right-distributivity and vice versa. One example of an operation that is "only" right-distributive is division, which is not commutative: ( a ± b ) ÷ c = a ÷ c ± b ÷ c displaystyle (apm b)div c=adiv cpm bdiv c In this case, left-distributivity does not apply: a ÷ ( b ± c ) ≠ a ÷ b ± a ÷ c displaystyle adiv (bpm c)neq adiv bpm adiv c The distributive laws are among the axioms for rings and fields.
Examples of structures in which two operations are mutually related to
each other by the distributive law are
R displaystyle mathbb R is illustrated. When multiplication is mentioned in elementary mathematics, it usually refers to this kind of multiplication. From the point of view of algebra, the real numbers form a field, which ensures the validity of the distributive law. First example (mental and written multiplication) During mental arithmetic, distributivity is often used unconsciously: 6 ⋅ 16 = 6 ⋅ ( 10 + 6 ) = 6 ⋅ 10 + 6 ⋅ 6 = 60 + 36 = 96 displaystyle 6cdot 16=6cdot (10+6)=6cdot 10+6cdot 6=60+36=96 Thus, to calculate 6 ⋅ 16 in your head, you first multiply 6 ⋅ 10 and 6 ⋅ 6 and add the intermediate results. Written multiplication is also based on the distributive law. Second example (with variables) 3 a 2 b ⋅ ( 4 a − 5 b ) = 3 a 2 b ⋅ 4 a − 3 a 2 b ⋅ 5 b = 12 a 3 b − 15 a 2 b 2 displaystyle 3a^ 2 bcdot (4a-5b)=3a^ 2 bcdot 4a-3a^ 2 bcdot 5b=12a^ 3 b-15a^ 2 b^ 2 Third example (with two sums) ( a + b ) ⋅ ( a − b ) = a ⋅ ( a − b ) + b ⋅ ( a − b ) = a 2 − a b + b a − b 2 = a 2 − b 2 = ( a + b ) ⋅ a − ( a + b ) ⋅ b = a 2 + b a − a b − b 2 = a 2 − b 2 displaystyle begin aligned (a+b)cdot (a-b)&=acdot (a-b)+bcdot (a-b)=a^ 2 -ab+ba-b^ 2 =a^ 2 -b^ 2 \&=(a+b)cdot a-(a+b)cdot b=a^ 2 +ba-ab-b^ 2 =a^ 2 -b^ 2 end aligned Here the distributive law was applied twice, and it does not matter which bracket is first multiplied out. Fourth Example Here the distributive law is applied the other way around compared to the previous examples. Consider 12 a 3 b 2 − 30 a 4 b c + 18 a 2 b 3 c 2 . displaystyle 12a^ 3 b^ 2 -30a^ 4 bc+18a^ 2 b^ 3 c^ 2 ,. Since the factor 6 a 2 b displaystyle 6a^ 2 b occurs in all summands, it can be factored out. That is, due to the distributive law one obtains 12 a 3 b 2 − 30 a 4 b c + 18 a 2 b 3 c 2 = 6 a 2 b ( 2 a b − 5 a 2 c + 3 b 2 c 2 ) . displaystyle 12a^ 3 b^ 2 -30a^ 4 bc+18a^ 2 b^ 3 c^ 2 =6a^ 2 b(2ab-5a^ 2 c+3b^ 2 c^ 2 ),. Matrices[edit] The distributive law is valid for matrix multiplication. More precisely, ( A + B ) ⋅ C = A ⋅ C + B ⋅ C displaystyle (A+B)cdot C=Acdot C+Bcdot C for all l × m displaystyle ltimes m -matrices A , B displaystyle A,B and m × n displaystyle mtimes n -matrices C displaystyle C , as well as A ⋅ ( B + C ) = A ⋅ B + A ⋅ C displaystyle Acdot (B+C)=Acdot B+Acdot C for all l × m displaystyle ltimes m -matrices A displaystyle A and m × n displaystyle mtimes n -matrices B , C displaystyle B,C . Because the commutative property does not hold for matrix multiplication, the second law does not follow from the first law. In this case, they are two different laws. Other examples[edit]
u ( v + w ) = u v + u w , ( u + v ) w = u w + v w displaystyle u(v+w)=uv+uw,(u+v)w=uw+vw Propositional logic[edit] Transformation rules Propositional calculus Rules of inference Implication introduction / elimination Biconditional introduction / elimination Conjunction introduction / elimination Disjunction introduction / elimination Disjunctive / Hypothetical syllogism Constructive / Destructive dilemma Absorption / Modus tollens / Modus ponendo tollens Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material implication Exportation Tautology Negation introduction Predicate logic Universal generalization / instantiation Existential generalization / instantiation v t e Rule of replacement[edit] In standard truth-functional propositional logic, distribution[3][4] in logical proofs uses two valid rules of replacement to expand individual occurrences of certain logical connectives, within some formula, into separate applications of those connectives across subformulas of the given formula. The rules are ( P ∧ ( Q ∨ R ) ) ⇔ ( ( P ∧ Q ) ∨ ( P ∧ R ) ) displaystyle (Pland (Qlor R))Leftrightarrow ((Pland Q)lor (Pland R)) and ( P ∨ ( Q ∧ R ) ) ⇔ ( ( P ∨ Q ) ∧ ( P ∨ R ) ) displaystyle (Plor (Qland R))Leftrightarrow ((Plor Q)land (Plor R)) where " ⇔ displaystyle Leftrightarrow ", also written ≡, is a metalogical symbol representing "can be replaced in a proof with" or "is logically equivalent to". Truth functional connectives[edit] Distributivity is a property of some logical connectives of truth-functional propositional logic. The following logical equivalences demonstrate that distributivity is a property of particular connectives. The following are truth-functional tautologies. Distribution of conjunction over conjunction ( P ∧ ( Q ∧ R ) ) ↔ ( ( P ∧ Q ) ∧ ( P ∧ R ) ) displaystyle (Pland (Qland R))leftrightarrow ((Pland Q)land (Pland R)) Distribution of conjunction over disjunction ( P ∧ ( Q ∨ R ) ) ↔ ( ( P ∧ Q ) ∨ ( P ∧ R ) ) displaystyle (Pland (Qlor R))leftrightarrow ((Pland Q)lor (Pland R)) Distribution of disjunction over conjunction ( P ∨ ( Q ∧ R ) ) ↔ ( ( P ∨ Q ) ∧ ( P ∨ R ) ) displaystyle (Plor (Qland R))leftrightarrow ((Plor Q)land (Plor R)) Distribution of disjunction over disjunction ( P ∨ ( Q ∨ R ) ) ↔ ( ( P ∨ Q ) ∨ ( P ∨ R ) ) displaystyle (Plor (Qlor R))leftrightarrow ((Plor Q)lor (Plor R)) Distribution of implication ( P → ( Q → R ) ) ↔ ( ( P → Q ) → ( P → R ) ) displaystyle (Pto (Qto R))leftrightarrow ((Pto Q)to (Pto R)) Distribution of implication over equivalence ( P → ( Q ↔ R ) ) ↔ ( ( P → Q ) ↔ ( P → R ) ) displaystyle (Pto (Qleftrightarrow R))leftrightarrow ((Pto Q)leftrightarrow (Pto R)) Distribution of disjunction over equivalence ( P ∨ ( Q ↔ R ) ) ↔ ( ( P ∨ Q ) ↔ ( P ∨ R ) ) displaystyle (Plor (Qleftrightarrow R))leftrightarrow ((Plor Q)leftrightarrow (Plor R)) Double distribution ( ( P ∧ Q ) ∨ ( R ∧ S ) ) ↔ ( ( ( P ∨ R ) ∧ ( P ∨ S ) ) ∧ ( ( Q ∨ R ) ∧ ( Q ∨ S ) ) ) ( ( P ∨ Q ) ∧ ( R ∨ S ) ) ↔ ( ( ( P ∧ R ) ∨ ( P ∧ S ) ) ∨ ( ( Q ∧ R ) ∨ ( Q ∧ S ) ) ) displaystyle begin aligned ((Pland Q)lor (Rland S))&leftrightarrow (((Plor R)land (Plor S))land ((Qlor R)land (Qlor S)))\((Plor Q)land (Rlor S))&leftrightarrow (((Pland R)lor (Pland S))lor ((Qland R)lor (Qland S)))end aligned Distributivity and rounding[edit] In practice, the distributive property of multiplication (and division) over addition may appear to be compromised or lost because of the limitations of arithmetic precision. For example, the identity ⅓ + ⅓ + ⅓ = (1 + 1 + 1) / 3 appears to fail if the addition is conducted in decimal arithmetic; however, if many significant digits are used, the calculation will result in a closer approximation to the correct results. For example, if the arithmetical calculation takes the form: 0.33333 + 0.33333 + 0.33333 = 0.99999 ≠ 1, this result is a closer approximation than if fewer significant digits had been used. Even when fractional numbers can be represented exactly in arithmetical form, errors will be introduced if those arithmetical values are rounded or truncated. For example, buying two books, each priced at £14.99 before a tax of 17.5%, in two separate transactions will actually save £0.01, over buying them together: £14.99 × 1.175 = £17.61 to the nearest £0.01, giving a total expenditure of £35.22, but £29.98 × 1.175 = £35.23. Methods such as banker's rounding may help in some cases, as may increasing the precision used, but ultimately some calculation errors are inevitable. Distributivity in rings[edit] Distributivity is most commonly found in rings and distributive lattices. A ring has two binary operations (commonly called "+" and "∗"), and one of the requirements of a ring is that ∗ must distribute over +. Most kinds of numbers (example 1) and matrices (example 4) form rings. A lattice is another kind of algebraic structure with two binary operations, ∧ and ∨. If either of these operations (say ∧) distributes over the other (∨), then ∨ must also distribute over ∧, and the lattice is called distributive. See also the article on distributivity (order theory). Examples 4 and 5 are Boolean algebras, which can be interpreted either as a special kind of ring (a Boolean ring) or a special kind of distributive lattice (a Boolean lattice). Each interpretation is responsible for different distributive laws in the Boolean algebra. Examples 6 and 7 are distributive lattices which are not Boolean algebras. Failure of one of the two distributive laws brings about near-rings and near-fields instead of rings and division rings respectively. The operations are usually configured to have the near-ring or near-field distributive on the right but not on the left. Rings and distributive lattices are both special kinds of rigs, certain generalizations of rings. Those numbers in example 1 that don't form rings at least form rigs. Near-rigs are a further generalization of rigs that are left-distributive but not right-distributive; example 2 is a near-rig. Generalizations of distributivity[edit] In several mathematical areas, generalized distributivity laws are considered. This may involve the weakening of the above conditions or the extension to infinitary operations. Especially in order theory one finds numerous important variants of distributivity, some of which include infinitary operations, such as the infinite distributive law; others being defined in the presence of only one binary operation, such as the according definitions and their relations are given in the article distributivity (order theory). This also includes the notion of a completely distributive lattice. In the presence of an ordering relation, one can also weaken the above equalities by replacing = by either ≤ or ≥. Naturally, this will lead to meaningful concepts only in some situations. An application of this principle is the notion of sub-distributivity as explained in the article on interval arithmetic. In category theory, if (S, μ, η) and (S′, μ′, η′) are monads on a category C, a distributive law S.S′ → S′.S is a natural transformation λ : S.S′ → S′.S such that (S′, λ) is a lax map of monads S → S and (S, λ) is a colax map of monads S′ → S′. This is exactly the data needed to define a monad structure on S′.S: the multiplication map is S′μ.μ′S2.S′λS and the unit map is η′S.η. See: distributive law between monads. A generalized distributive law has also been proposed in the area of information theory. Notions of antidistributivity[edit] The ubiquitous identity that relates inverses to the binary operation in any group, namely (xy)−1 = y−1x−1, which is taken as an axiom in the more general context of a semigroup with involution, has sometimes been called an antidistributive property (of inversion as a unary operation).[5] In the context of a near-ring, which removes the commutativity of the additively written group and assumes only one-sided distributivity, one can speak of (two-sided) distributive elements but also of antidistributive elements. The latter reverse the order of (the non-commutative) addition; assuming a left-nearring (i.e. one which all elements distribute when multiplied on the left), then an antidistributive element a reverses the order of addition when multiplied to the right: (x + y)a = ya + xa.[6] In the study of propositional logic and Boolean algebra, the term antidistributive law is sometimes used to denote the interchange between conjunction and disjunction when implication factors over them:[7] (a ∨ b) ⇒ c ≡ (a ⇒ c) ∧ (b ⇒ c) (a ∧ b) ⇒ c ≡ (a ⇒ c) ∨ (b ⇒ c) These two tautologies are a direct consequence of the duality in De Morgan's laws. Notes[edit] ^ Distributivity of Binary Operations from Mathonline
^ Kim Steward (2011) Multiplying Polynomials from Virtual Math Lab at
West Texas A&M University
^
External links[edit] Look up distributivity in Wiktionary, the free dictionary. A demonstration of the Distributive Law for integer arithmetic ( |