GéométrieNotion · Glossaire
Bien enchaîné
Un ensemble ordonné est dit bien enchaîné (ou connexe pour l'ordre) si pour tous éléments a et b, il existe une chaîne finie d'éléments entre a et b, chaque élément de la chaîne étant comparable au suivant. Cette notion est distincte de la totalité de l'ordre : un ordre total est bien enchaîné, mais un ordre partiel peut être bien enchaîné sans être total. Ce concept apparaît dans l'étude des treillis et des ordres partiels en théorie des ensembles ordonnés.
Sommaire
Ce que vous allez apprendre
- Tester le bon enchaînement à l'aide du graphe de comparabilité.
- Comprendre pourquoi des éléments incomparables peuvent appartenir au même ordre bien enchaîné.
- Distinguer ordre bien enchaîné, ordre total et connexité topologique ou métrique.
- Vérifier la propriété sur un treillis à quatre éléments.
En clair
Imaginez des objets rangés par inclusion. Deux objets ne sont pas toujours comparables : aucun ne contient forcément l'autre. Pourtant, on peut parfois passer de l'un à l'autre par quelques objets intermédiaires, en ne franchissant que des étapes où l'un des deux contient l'autre.
L'ordre est alors bien enchaîné. Il ne demande pas que chaque paire soit directement comparable, seulement qu'un chemin fini de comparaisons relie chaque paire.
Définition
Considérons un ensemble muni d'un ordre partiel. Deux éléments sont comparables lorsque le premier est inférieur ou égal au second, ou lorsque le second est inférieur ou égal au premier. L'ensemble est bien enchaîné, aussi appelé connexe pour l'ordre, lorsque toute paire d'éléments peut être reliée par une suite finie de comparaisons successives.
Plus précisément, pour deux éléments a et b, il doit exister une suite finie commençant par a et finissant par b. Deux termes consécutifs de cette suite doivent être comparables. Le sens de la comparaison peut changer d'une étape à l'autre : on peut descendre dans l'ordre, puis remonter.
Cette condition revient à demander que le graphe de comparabilité soit connexe : ses sommets sont les éléments, et une arête joint deux éléments comparables. Un ordre total satisfait automatiquement la condition, puisque toute paire y est comparable. La réciproque est fausse : un ordre partiel peut être bien enchaîné tout en contenant des éléments incomparables.
Un exemple, pas à pas
Prenons les quatre ensembles ∅, {p}, {q} et {p,q}, ordonnés par inclusion. Le diagramme matérialise toutes les comparaisons immédiates ; le trajet rouge relie les deux éléments du milieu.
Données.
∅ est inclus dans {p} et dans {q}.
{p} et {q} sont inclus dans {p,q}.
{p} et {q} sont incomparables, car aucun de ces deux ensembles n'inclut l'autre.
∅ est inclus dans {p} et dans {q}.
{p} et {q} sont inclus dans {p,q}.
{p} et {q} sont incomparables, car aucun de ces deux ensembles n'inclut l'autre.
Vérification.
1. Pour relier {p} à {q}, on choisit la suite {p}, ∅, {q}.
2. {p} et ∅ sont comparables, puisque ∅ est inclus dans {p}.
3. ∅ et {q} sont comparables, puisque ∅ est inclus dans {q}.
4. Toutes les autres paires sont directement comparables ou se relient de la même manière par ∅ ou {p,q}.
Conclusion : cet ordre est bien enchaîné, mais il n'est pas total à cause de la paire {p}, {q}. Le contrôle consiste à suivre les arêtes du diagramme entre n'importe quels sommets.
1. Pour relier {p} à {q}, on choisit la suite {p}, ∅, {q}.
2. {p} et ∅ sont comparables, puisque ∅ est inclus dans {p}.
3. ∅ et {q} sont comparables, puisque ∅ est inclus dans {q}.
4. Toutes les autres paires sont directement comparables ou se relient de la même manière par ∅ ou {p,q}.
Conclusion : cet ordre est bien enchaîné, mais il n'est pas total à cause de la paire {p}, {q}. Le contrôle consiste à suivre les arêtes du diagramme entre n'importe quels sommets.
En pratique
Sur le diagramme d'un ordre fini, on oublie momentanément le sens vertical des comparaisons. Si l'on peut tracer un chemin entre chaque paire de sommets, l'ordre est bien enchaîné. Sinon, on décrit séparément ses composantes de comparabilité.
Pour réfuter la propriété, il faut isoler deux éléments entre lesquels aucun chemin de comparaisons n'existe. Trouver seulement deux éléments incomparables ne suffit pas : un élément intermédiaire peut encore les relier.
Dans l'étude d'un treillis ou d'un ordre partiel, ce critère décrit la cohésion globale des éléments. Si le problème exige au contraire de comparer directement toute paire, le bon critère est celui de l'ordre total.
À ne pas confondre
Ordre total. Dans un ordre total, chaque paire est directement comparable. Dans un ordre bien enchaîné, une paire peut être incomparable tout en étant reliée par des comparaisons intermédiaires. Dans l'exemple, {p} et {q} séparent nettement les deux propriétés.
Connexité topologique ou métrique. Elle concerne les séparations d'un espace ou l'existence de chaînes de points suffisamment proches. La connexité pour l'ordre concerne uniquement la comparabilité dans un ensemble ordonné. Le mot « connexe » ne dispense donc jamais d'identifier la structure étudiée.
Limites et pièges
Une paire incomparable ne tranche pas. Le symptôme est l'absence de comparaison directe, comme entre {p} et {q}. Il faut chercher une suite intermédiaire avant de conclure ; ici, le passage par ∅ établit la propriété.
Le sens peut alterner. Une suite admissible n'est pas nécessairement croissante ni décroissante. Exiger un même sens à toutes les étapes écarterait à tort le chemin {p}, ∅, {q}, qui descend puis remonte.
Le mot « chaîne » est ambigu. Dans la définition, il s'agit d'une suite dont seuls les termes consécutifs doivent être comparables. Ce n'est pas forcément une chaîne au sens d'un sous-ensemble où toutes les paires sont comparables. Le graphe de comparabilité évite cette confusion.
Cas dégénérés. Avec zéro ou un élément, aucune paire distincte ne peut révéler une rupture. Dès qu'il y a plusieurs éléments, il faut contrôler qu'ils appartiennent tous à une unique composante de comparabilité.
Pour aller plus loin
L'article Ordre partiel précise la structure dans laquelle la comparabilité peut manquer entre certains éléments.
L'article Ordre total présente le cas plus exigeant où toute paire d'éléments est directement comparable.
L'article treillis - algèbre - prolonge l'exemple conducteur vers des ordres dotés de bornes communes structurées.
Explorez les mathématiques autrement
Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.
Découvrir les offres