Un treillis distributif est un treillis dans lequel meet et join se distribuent l'un sur l'autre : pour tous x, y, z, x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z) (la loi duale avec ∨ distribuant sur ∧ est équivalente dans le cadre des axiomes de treillis).

Principe

Imposer la compatibilité de meet et join afin que combiner et intersecter des sous-ensembles (ou opérations analogues) commute selon la distributivité, autorisant des manipulations algébriques proches de la distributivité en anneaux ou en algèbres booléennes.

Démonstration

Le treillis des parties P(S) est distributif car l'intersection distribue sur l'union et inversement : A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C). Les algèbres booléennes sont des treillis distributifs munis d'un complément.

Mauvaise application

Supposer la distributivité dans des treillis non distributifs (par ex. treillis des sous-espaces d'un espace vectoriel de dimension > 1) conduit à des simplifications invalides ; appliquer des identités distributives sur des treillis modulaires mais non distributifs produit des égalités fausses.

Conséquence

La distributivité permet des représentations canoniques (par éléments premiers ou irréductibles), des théorèmes de dualité plus simples et l'utilisation de techniques algébriques analogues à la factorisation ; elle soutient la logique booléenne et de nombreuses simplifications combinatoires.

Inversion

Abandonner la distributivité élargit la classe aux treillis modulaires ou généraux ; à l'opposé, ajouter la complémentation et la distributivité donne les algèbres booléennes, une sous-classe fortement structurée.

Limite

Les treillis distributifs exigent les lois distributives pour tous triples d'éléments ; les treillis distributifs finis sont isomorphes aux treillis d'ensembles décroissants d'un poset (représentation de Birkhoff), mais les cas infinis demandent prudence et des conditions de complétude pour des représentations analogues.

Tension sémantique

La distributivité est en tension avec la modularité : les treillis modulaires satisfont une identité plus faible qui tient dans de nombreux treillis algébriques (par ex. sous-espaces) où la distributivité complète échoue ; la distinction importe pour les théorèmes de décomposition ou de dualité.

Synthèse

Un treillis distributif est un treillis où meet et join interagissent selon les lois distributives, fournissant un environnement algébrique prévisible proche des opérations sur ensembles et formant l'armature structurale de la logique booléenne et de nombreuses représentations combinatoires.