Definición
Un par de identidades en estructuras tipo retículo que expresan que una operación 'absorbe' el efecto de la otra. Formas estándar: a ∨ (a ∧ b) = a y a ∧ (a ∨ b) = a.
Principio
Principio
La absorción captura la idea de que combinar un elemento con una combinación que ya lo contiene devuelve el propio elemento; impone compatibilidad entre las dos operaciones duales (unión y encuentro).
Demostración
Demostración
En teoría de conjuntos con unión ∪ e intersección ∩: A ∪ (A ∩ B) = A y A ∩ (A ∪ B) = A. En álgebra booleana las mismas identidades simplifican fórmulas lógicas: p ∨ (p ∧ q) ≡ p.
Aplicación incorrecta
Aplicación incorrecta
Aplicar la absorción en contextos sin estructura de retículo (por ejemplo operaciones de grupo arbitrarias o operaciones no idempotentes) es inválido; considerar la absorción como consecuencia general de la distributividad o la idempotencia conduce a errores.
Consecuencia
Consecuencia
La absorción proporciona reglas fuertes de simplificación para expresiones en retículos y álgebras booleanas, sostiene la unicidad de formas normales y subyace a la dualidad entre unión y encuentro en estructuras ordenadas.
Inversión
Inversión
En álgebras no reticulares o más generales, las identidades de absorción pueden fallar, produciendo patrones de interacción más ricos entre operaciones que impiden el colapso de una expresión combinada a un solo operando.
Límite
Límite
La absorción es una propiedad de operaciones binarias idempotentes, asociativas y conmutativas que forman un retículo o semi-retículo; no es aplicable a pares de operaciones arbitrarias que carezcan de esas características estructurales.
Tensión semántica
Tensión semántica
La absorción puede confundirse con la distributividad (ambas relacionan dos operaciones) pero la absorción es una identidad de colapso que liga unión y encuentro a un operando, mientras que la distributividad prescribe la expansión sobre combinaciones.
Síntesis
Síntesis
La Ley de Absorción afirma que en estructuras tipo retículo una de las operaciones duales neutraliza la combinación con la otra cuando un operando ya aparece, produciendo identidades de simplificación concisas que reflejan la compatibilidad unión/encuentro y la estructura ordenada.