Namespaces
Variants
Actions

Difference between revisions of "Distributivity"

From Encyclopedia of Mathematics
Jump to: navigation, search
(LaTeX)
(→‎Comments: alternative expression)
Line 18: Line 18:
  
 
====Comments====
 
====Comments====
I.e., in $A$ the operation $\circ$ is distributive with respect to $+$ if for all $a,b,c \in A$ one has $a \circ (b+c) = (a \circ b) + (a \circ c)$ and $(a + b) \circ c = (a \circ c) + (b \circ c)$.
+
I.e., in $A$ the operation $\circ$ is distributive with respect to $+$ if for all $a,b,c \in A$ one has $a \circ (b+c) = (a \circ b) + (a \circ c)$ and $(a + b) \circ c = (a \circ c) + (b \circ c)$.  It may also be expressed as $\circ$ distributes over $+$.
  
 
For example, multiplication is distributive with respect to addition in the set of real numbers and in the set of integers.
 
For example, multiplication is distributive with respect to addition in the set of real numbers and in the set of integers.
  
 
{{TEX|done}}
 
{{TEX|done}}

Revision as of 19:42, 8 November 2014

distributivity law, distributive property, of one operation with respect to another

The property of a pair of binary algebraic operations (cf. Algebraic operation), expressed by one of the following identities: $$ (D1)\ \ \ \ \forall x,y,z\ \ x \otimes (y \oplus z) = (x \otimes y) \oplus (x \otimes z) $$ $$ (D2)\ \ \ \ \forall x,y,z\ \ (x \oplus y) \otimes z = (x \otimes z) \oplus (y \otimes z) $$ where $\oplus, \otimes$ are the symbols of the binary operations, and $x,y,z$ are object variables. If in a set $A$ two specific binary operations $+, \circ$ are defined, i.e. two mappings $$ + : A \times A \rightarrow A \ ,\ \ \ \circ : A \times A \rightarrow A $$

are given, and the symbols $\oplus, \otimes$ are interpreted as the symbols of the respective operations $+, \circ$ in $A$, one can speak of the truth or falsehood of each one of the formulas D1 and D2 in $A$. If both these formulas are true in $A$, the operation $\circ$ is called distributive with respect to the operation $+$ in $A$.


Comments

I.e., in $A$ the operation $\circ$ is distributive with respect to $+$ if for all $a,b,c \in A$ one has $a \circ (b+c) = (a \circ b) + (a \circ c)$ and $(a + b) \circ c = (a \circ c) + (b \circ c)$. It may also be expressed as $\circ$ distributes over $+$.

For example, multiplication is distributive with respect to addition in the set of real numbers and in the set of integers.

How to Cite This Entry:
Distributivity. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Distributivity&oldid=34367
This article was adapted from an original article by D.M. Smirnov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article