Bel ordre
En mathématiques, plus précisément en théorie des ordres, un beau préordre est un préordre ≤ sur un ensemble X tel que pour toute suite (xn)n∈ℕ d'éléments de X, il existe i et j tels que i < j et xi ≤ xj.
Un bel ordre est un ordre partiel qui est beau en tant que préordre. 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
Références
- En français, sur le site professionnel de Eric Thierry (MCF à l'ENS Lyon), cet exposé sur graphes et beaux ordres ; les démonstrations des propriétés de cet article sont données (en passant par le théorème de Ramsey infini) au paragraphe 2, pages 1-3
- (en) Reinhard Diestel, Graph Theory [détail des éditions], chap. 12 (« Minors, Trees, and WQO »), p. 326–367 (les sections 12.1 et 12.2 donnent des démonstrations complètes des propriétés des beaux ordres)
Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.