Relación entre dos operaciones binarias que muestra que una operación se distribuye sobre la otra, normalmente escrita como a·(b + c) = a·b + a·c (distributividad izquierda) y (b + c)·a = b·a + c·a (distributividad derecha) cuando ambas se cumplen.

Principio

La distributividad vincula dos operaciones de modo que aplicar una después de combinar argumentos con la otra equivale a combinar las aplicaciones de la primera a cada argumento; expresa la compatibilidad entre las operaciones.

Demostración

En un anillo, la multiplicación se distribuye sobre la suma: 2·(3+4) = 2·3 + 2·4. La multiplicación de matrices se distribuye sobre la suma de matrices: A(B+C) = AB + AC. En el álgebra booleana, ∧ se distribuye sobre ∨ y viceversa.

Aplicación incorrecta

Suponer que la potenciación se distribuye sobre la suma y escribir (a+b)^n = a^n + b^n, o asumir sin comprobar que izquierda y derecha son equivalentes en un contexto no conmutativo, son errores comunes.

Consecuencia

La distributividad permite desarrollar y factorizar expresiones, sostiene la aritmética de polinomios y la teoría de anillos, y posibilita que una operación actúe linealmente sobre combinaciones formadas por la otra, facilitando la manipulación algebraica y la simplificación algorítmica.

Inversión

Cuando falta distributividad, los productos no pueden desarrollarse sobre sumas; algunas estructuras algebraicas carecen de distributividad (o solo la tienen a un lado), lo que conduce a identidades más complejas e impide las factorizaciones estándar.

Límite

Exige dos operaciones bien definidas en el mismo conjunto y la especificación precisa de distributividad izquierda o derecha en contextos no conmutativos; la distributividad no se deduce de la asociatividad o la conmutatividad por sí sola.

Tensión semántica

A menudo se confunde con la linealidad: la distributividad sobre una suma es parte de la linealidad, pero las transformaciones lineales requieren además compatibilidad con escalares y aditividad para todos los escalares; la distributividad entre operaciones es una condición de compatibilidad algebraica más débil.

Síntesis

La Ley Distributiva formaliza una regla de compatibilidad entre dos operaciones en un mismo conjunto: aplicar una operación sobre una combinación realizada por la otra equivale a la combinación correspondiente de sus aplicaciones separadas, permitiendo desarrollar, factorizar y mantener una estructura algebraica coherente.