Distributività: differenze tra le versioni

Versione delle 16:10, 2 nov 2013

Versione attuale delle 18:01, 2 lug 2023

(20 versioni intermedie di 15 utenti non mostrate)

Riga 1:

In [[matematica]], e in particolare nell'[[algebra]], la '''distributività''' (o '''proprietà distributiva''') è una proprietà delle [[operazione binaria|operazioni binarie]] che generalizza la ben nota '''legge distributiva''' valida per somma e prodotto tra numeri dell'[[algebra elementare]].

Dato un (insieme) ''S'' e due [[operazione binaria|operazioni binarie]] * e + su ''S'', diciamo che :

Dato un (insieme) ''S'' e due [[operazione binaria|operazioni binarie]] * e + su ''S'', diciamo che

* l'operazione * è ''distributiva a sinistra'' rispetto all'operazione + se, dati gli elementi ''x'', ''y'', e ''z'' di ''S'',

Riga 8 ⟶ 7:

* l'operazione * è ''distributiva a destra'' rispetto all'operazione + se, dati gli elementi ''x'', ''y'', e ''z'' di ''S'':

:<math>(y + z)*x = (y*x) + (z*x)\qquad\mbox{per ogni }x,y,z\in S.</math>

* l'operazione * è ''distributiva'' rispetto all'operazione + se è sia distributiva a sinistra che distributivae a destra.

Si osservi che quando * è [[commutatività|commutativa]], allora le tre condizioni precedenti sono [[equivalenza logica|logicamente equivalenti]].

Riga 42 ⟶ 41:

== Generalizzazioni della distributività ==

In molte aree della matematica si considerano leggi distributive generalizzate. Questo può coinvolgere l'indebolimento delle condizioni della definizione oppure l'estensione a operazioni infinitarie. Soprattutto nella [[teoria degli ordini]], si trovano numerose importanti varianti della distributività, alcune delle quali includono operazioni infinitarie, altre sono definite in presenza di una ''sola'' operazione binaria. Dettagli sulle definizioni e sulle loro relazioni si trovano nell'articolo [[distributività (teoria degli ordini)]]. È inclusa anche la nozione di [[reticolo (matematica)|reticolo '''completamente distributivo''']].

In presenza di una [[relazione d'ordine]], si può indebolire la condizione precedente sostituendo = con ≤ oppure ≥. Naturalmente questo porta a concetti sensati solo in alcune situazioni. Un'applicazione di questo principio è la nozione di '''sottodistributività'''.

== Voci correlate ==

* [[Associatività]]

* [[Commutatività]]

== Altri progetti ==

{{Interprogetto|etichetta=distributività|wikt}}

== Collegamenti esterni ==

* {{Collegamenti esterni}}

* {{en}} [http://www.algebra.com/algebra/homework/Distributive-property/proof-of-distributive-property.lesson Dimostrazione della proprietà distributiva per gli interi, con animazione]

* {{en}}cita [web|1=http://www.algebra.com/algebra/homework/Distributive-property/exampleproof-of-distributive-property-addition.solverlesson|2=Dimostrazione Animazionedella diproprietà esempidistributiva diper proprietàgli distributiva]interi, con animazione|lingua=en|urlmorto=sì}}

* {{en}}cita [web|1=http://www.algebra.com/algebra/homework/Distributive-property/proof-ofexample-distributive-property-addition.lessonsolver|2=Animazione Dimostrazionedi dellaesempi di proprietà distributiva per gli interi, con animazione]|lingua=en|urlmorto=sì}}

{{Portale|matematica}}

Riga 58 ⟶ 61:

[[Categoria:Algebra elementare]]

[[Categoria:Strutture algebriche]]

[[Categoria:Logica proposizionale]]