Antichaîne

En mathématiques, plus précisément en théorie des ordres, une antichaîne est une partie d'un ensemble partiellement ordonné dont les éléments sont deux à deux incomparables. (Par opposition aux chaînes qui forment parties d'un ensemble dont les éléments sont toujours deux à deux comparables.) Dit autrement, soit E un ensemble muni d'une relation d'ordre ≤, un sous-ensemble A est une antichaîne de E si pour tout x,y de A, Une antichaîne est dite maximale si elle n'est incluse (strictement) dans aucune autre antichaîne. La famille de toutes les antichaînes d'un ensemble fini partiellement ordonné peut être muni des opérations d'union et d'intersection pour en faire un treillis distributif. Dénombrer les antichaînes d'un ensemble est un problème #P-complet. On peut noter que pour tout ensemble partiellement ordonné, l'intersection d'une antichaîne et une chaîne ne peut contenir au plus qu'un seul élément. Par le principe des tiroirs, on en déduit que si l'on partitionne cet ensemble en un nombre de chaînes (resp. d'antichaînes), alors la plus longue antichaîne (resp. chaîne) ne peut être de cardinal supérieur à . De façon intéressante les deux bornes sont atteintes et ceci amène à définir la largeur et la hauteur de l'ensemble. Le cardinal de la plus grande antichaîne d'un ensemble partiellement ordonné est la largeur de cet ensemble. De par le théorème de Dilworth, la largeur correspond aussi au nombre minimale de chaînes nécessaires pour partitionner l'ensemble. Par dualité, la hauteur d'un ensemble partiellement ordonné correspond à la longueur de la plus grande chaîne de cet ensemble et au nombre minimal d'antichaînes nécessaire pour le partitionner, c'est le théorème de Mirsky. Les antichaînes d'un ensemble totalement ordonné sont les singletons et l'ensemble vide. Par conséquent, la largeur d'un ordre total est 1. Soit l'ensemble des parties d'un ensemble donné , muni de la relation d'inclusion, on appelle famille de Sperner une antichaîne de .