Une paire d'identités dans des structures du type treillis exprimant que l'une des opérations 'absorbe' l'effet de l'autre. Formes standard : a ∨ (a ∧ b) = a et a ∧ (a ∨ b) = a.

Principe

L'absorption exprime que combiner un élément avec une combinaison qui le contient déjà donne l'élément lui‑même ; elle impose une compatibilité entre les deux opérations duales (sup et inf).

Démonstration

En théorie des ensembles avec union ∪ et intersection ∩ : A ∪ (A ∩ B) = A et A ∩ (A ∪ B) = A. En algèbre booléenne, les mêmes identités simplifient les formules logiques : p ∨ (p ∧ q) ≡ p.

Mauvaise application

Appliquer l'absorption hors d'un contexte de treillis (par exemple à des opérations de groupe arbitraires ou à des opérations non idempotentes) est invalide ; considérer l'absorption comme conséquence générale de la distributivité ou de l'idempotence conduit à des erreurs.

Conséquence

L'absorption fournit des règles fortes de simplification des expressions dans les treillis et les algèbres booléennes, soutient l'unicité des formes normales et sous-tend la dualité entre sup et inf dans les structures ordonnées.

Inversion

Dans des structures non treillis ou plus générales, les identités d'absorption peuvent échouer, produisant des interactions d'opérations plus riches qui empêchent l'effondrement d'une expression combinée en un seul opérande.

Limite

L'absorption est une propriété d'opérations binaires idempotentes, associatives et commutatives formant un treillis ou un semi-treillis ; elle n'a pas de sens pour des paires d'opérations arbitraires dépourvues de ces caractéristiques structurelles.

Tension sémantique

L'absorption peut être confondue avec la distributivité (toutes deux relient deux opérations) mais l'absorption est une identité d'effondrement liant un sup et un inf à un opérande, tandis que la distributivité prescrit un développement à travers des combinaisons.

Synthèse

La Loi d'Absorption affirme que, dans les structures de type treillis, l'une des opérations duales neutralise la combinaison avec l'autre lorsqu'un opérande y apparaît déjà, produisant des identités de simplification concises qui reflètent la compatibilité sup/inf et la structure ordonnée.