Bel ordre

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, plus précisément en théorie des ordres, un bel ordre ≤ sur un ensemble X est un ordre partiel sur X tel que, pour toute suite \scriptstyle(x_i)_{i\in\N} d'éléments de X, il existe i et j tels que i<j et x_ix_j. Autrement dit, c'est un ordre partiel bien fondé sans antichaîne infinie.

Si X est totalement ordonné, la notion s'identifie à celle de bon ordre ; d'autre part, sur un ensemble fini, tout ordre partiel est un bel ordre. D'autres exemples sont donnés dans les articles connexes, en particulier, l'ordre défini par la relation de mineur sur les graphes finis est un bel ordre : c'est le théorème de Robertson-Seymour.

Articles connexes[modifier | modifier le code]

Références[modifier | modifier le code]