Distributivité

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, dans un calcul faisant intervenir par exemple des nombres entiers ou réels, la distributivité permet de passer d'un produit de sommes à une somme de produit. Par exemple,

2×(5 + 3) = (2×5) + (2×3).

Le premier facteur 2 a été distribué à chacun des deux termes de la somme 5 + 3. On parle aussi de développement, l'opération inverse étant la factorisation. L'égalité est bien vérifiée dans ce cas particulier, à gauche 2×8 = 16, à droite 10 + 6 = 16, et se généralise aux nombres usuels (entiers ou non) : on dit que la multiplication y est distributive par rapport à l'addition.

Plus généralement en algèbre générale, où l'on étudie les structures algébriques, c'est-à-dire des ensembles munis de lois de composition ayant certaines propriétés, une loi de composition interne ∘ est distributive par rapport à une autre loi interne ∗ dans un ensemble S si pour tous x, y, z dans S, on a les propriétés suivantes :

 x \circ ( y \star z ) = ( x \circ y ) \star ( x \circ z )   (Distributivité à gauche) ;
 ( x \star y ) \circ z = ( x \circ z ) \star ( y \circ z )   (Distributivité à droite).
Une illustration géométrique de la distributivité

Calcul élémentaire : les entiers[modifier | modifier le code]

Si les facteurs d'un produit sont des sommes, on peut effectuer les produits terme à terme puis effectuer la somme : la multiplication est distributive par rapport à l'addition. Cette propriété intervient dans le calcul élémentaire.

Exemple.
235×99 = 235×(100 – 1) = 23 500 – 235 = 23 265.

De même, la multiplication par les nombres uniformes 9, 99, 999, etc. se ramène une soustraction en utilisant la distributivité.

Exemple.
458×592 = (400 + 50 + 8)×(500 + 90 + 2) = 200 000 + 36 000 + 800 + 25 000 + 4 500 + 100 + 4000 + 720 + 16 = 271 136.

Les algorithmes pour calculer effectivement un produit d'entiers utilisent fortement la distributivité. Elles reviennent à effectuer dans un ordre ou dans un autre la somme écrite ci-dessus.

Concept de nombre[modifier | modifier le code]

La distributivité de la multiplication par rapport à l'addition, c'est-à-dire que pour tous x, y et z on a :

 (y + z) \times x = (y \times x)+(z \times x)

qui est vérifiée pour les entiers, s'étend aux nombres rationnels aux nombres réels, et aux nombres complexes.

Par exemple, on montre, en utilisant entre autres la distributivité de la multiplication complexe, que (1 + i)2 = 1 + 2i + i2 = 2i, c'est-à-dire que 1 + i est une racine carrée de 2i et plus généralement, le produit de deux nombres complexes de la forme n + mi avec n et m entiers, que l'on appelle entiers de Gauss, est encore un entier de Gauss. Ce constat utilise la distributivité de la multiplication complexe.

Cette distributivité reste encore valable pour les quaternions de Hamilton, même si la multiplication n'est plus commutative.

Autre famille d'exemples : les quotients de Z héritent de l'addition et de la multiplication, et ces lois induites vérifient encore la distributivité.

Distributivité des lois binaires[modifier | modifier le code]

Anneaux et corps.

La distributivité est une notion importante en algèbre et apparait dans de nombreuses définitions de structures, à commencer par les anneaux, les corps et les espaces vectoriels. Un anneau A est muni de deux lois binaires notées souvent + et x, telles que, entre autres, la loi x est distributive par rapport à +. Certaines identités remarquables, qui utilisent fortement la distributivité, utilisent également la commutativité. Elles ne sont pas généralement valides sur les anneaux non commutatifs, comme les anneaux de matrices.

Dans la définition d'un espace vectoriel, la multiplication externe par des scalaires est distributive par rapport à l'addition des vecteurs. Ici, on a affaire à une loi externe et non une loi interne, mais le vocabulaire reste le même.

Treillis.

Sur l'ensemble des parties d'un ensemble X, on dispose de deux lois binaires : la réunion ⋃ et l'intersection ⋂. Elles sont distributives l'une par rapport à l'autre. Explicitement : A\cup (B\cap C)=(A\cup B)\cap (A\cup C)\text{ et }A\cap (B\cup C)=(A\cap B)\cup (A\cap C). La réunion AB est la plus petite partie de X contenant A et B et l'intersection AB est la plus grande partie contenue simultanément dans A et dans B.

Plus généralement, un treillis est un ensemble partiellement ordonné dans lequel toute paire {x, y} admet une borne supérieure xy et une borne inférieure xy. Le treillis est dit distributif lorsque les deux lois sont distributives l'une par rapport à l'autre : x\vee (y\wedge z)=(x\vee y)\wedge (x\vee z)\text{ et }x\wedge (y\vee z)=(x\wedge y)\vee (x\wedge z).

Voir aussi[modifier | modifier le code]

Sur les autres projets Wikimedia :