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.

Property Value
dbo:abstract
  • 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. (fr)
  • 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. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 5597939 (xsd:integer)
dbo:wikiPageLength
  • 1836 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 174034008 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:numéroChapitre
  • 12 (xsd:integer)
prop-fr:passage
  • 326 (xsd:integer)
prop-fr:titreChapitre
  • Minors, Trees, and WQO (fr)
  • Minors, Trees, and WQO (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 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. (fr)
  • 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. (fr)
rdfs:label
  • Bel ordre (fr)
  • Well-quasi-ordering (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of