Théorème de Kruskal

En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski[1], affirmant que l'ensemble des arbres étiquetés par un ensemble muni d'un bel ordre est lui-même muni d'un bel ordre. Ce théorème est un cas particulier du théorème de Robertson-Seymour, dont il a constitué une des motivations.

Pour l’article homonyme, voir Théorème de Kruskal-Katona.

En utilisant ce théorème, Harvey Friedman a pu définir des entiers « incompréhensiblement grands »[2], qu'il a utilisé pour obtenir des résultats nouveaux d'indécidabilité.

Définitions préliminaires

En théorie des graphes, un arbre est un graphe non orienté, acyclique et connexe ; on obtient un arbre enraciné en fixant l'un des sommets, qu'on appelle la racine de l'arbre. En théorie des ensembles, on définit une autre notion d'arbre, à partir d'une relation symétrique ; on démontre[3] que, dans le cas fini, ces deux notions coïncident, et que tout arbre enraciné correspond à un ordre partiel unique défini sur l'ensemble des sommets, tel que tout sommet admette un unique prédécesseur[4], sauf la racine, qui n'en a aucun (les arêtes du graphe étant exactement celles reliant chaque sommet à son prédécesseur) ; c'est cette représentation qui va servir à définir les applications qui font l'objet du théorème de Kruskal.

On dit qu'un arbre est étiqueté par un ensemble d'étiquettes X si on a défini une application x de l'ensemble des sommets de l'arbre vers X, autrement dit si on attache au sommet s l'étiquette x(s).

On dit qu'une application f entre ensembles partiellement ordonnés finis respecte les minorants si a= inf (b, c) entraîne f(a)= inf (f(b), f (c)), où inf(x, y) =z désigne la borne inférieure de x et y, c'est-à-dire le plus grand élément qui soit ≤ à x et à y ; on voit aisément que cela implique que f est strictement croissante, autrement dit que a<b entraîne f(a)<f(b) et que f est une injection. Pour des arbres étiquetés par un ensemble X lui-même muni d'un ordre partiel noté ≤, on définit une notion de morphisme : une application f est un morphisme si elle respecte les minorants, et si elle respecte l'ordre des étiquettes, autrement dit si, pour tout sommet s du premier arbre, on a . La relation « il existe un morphisme de A vers B » est une relation d'ordre partiel sur l'ensemble des arbres étiquetés, considérés à isomorphisme près[5] (si l'on ne considère pas les arbres isomorphes comme identiques, la relation n'est plus antisymétrique, et on obtient seulement un préordre[6]) ; pour des arbres non étiquetés, on démontre que s'il existe un morphisme entre A et B, A est un mineur topologique de B.

Un ordre partiel (ou même un préordre) est appelé un bel ordre s'il ne contient aucune suite infinie strictement décroissante, ni aucune antichaîne infinie (définition qui généralise aux ordres partiels la notion de bon ordre définie pour les ensembles totalement ordonnés) ; c'est équivalent à dire que dans toute suite infinie d'éléments de l'ensemble , il existe deux éléments et tels que et .

Énoncé

Ces définitions permettent de formuler rigoureusement[7] le

Théorème de Kruskal  Soit S un ensemble d'arbres étiquetés par un ensemble X d'étiquettes muni d'un bel ordre. La relation de préordre sur S : «  si et seulement si il existe un morphisme de A vers B », est alors également un bel ordre.

L'existence d'une suite infinie strictement décroissante étant évidemment impossible (puisque, si A ≤ B et si A n'est pas isomorphe à B, A contient moins d'arêtes que B, ou des étiquettes plus petites), ce théorème revient donc à affirmer qu'il n'y a pas d'antichaînes infinies, c'est-à-dire d'ensemble infini d'arbres deux à deux incomparables par la relation ≤ (il convient cependant de remarquer qu'il existe des antichaînes finies aussi grandes que l'on veut).

Cas particuliers et généralisation

Le lemme de Higman est un cas particulier de ce théorème, dont il existe de nombreuses généralisations, pour des arbres munis d'un plongement dans le plan, des arbres infinis, etc. Une généralisation bien plus puissante, concernant les graphes quelconques, est donnée par le théorème de Robertson-Seymour.

Les résultats d'indécidabilité de Friedman

Harvey Friedman a remarqué[8] que certains cas particuliers du théorème de Kruskal peuvent être énoncés dans l'arithmétique du premier ordre (la logique du premier ordre correspondant aux axiomes de Peano), mais que cette théorie est trop faible pour les démontrer, alors qu'ils se démontrent aisément en utilisant l'arithmétique du second ordre. Un exemple analogue est donné par le théorème de Goodstein, mais pour démontrer les énoncés de Friedman, une portion significativement plus grande de l'arithmétique du second ordre doit être utilisée[9].

Soit P(n) l'affirmation

Il existe un m tel que si T1,...,Tm est une suite finie d'arbres (non étiquetés), avec Tk ayant (pour tout k) k+n sommets, alors il existe un couple (i,j) tel que i < j et Ti  Tj.

Cette affirmation est un cas particulier du théorème de Kruskal, où la taille du premier arbre est fixée, et où la taille des arbres croît au plus petit rythme possible ; on dit souvent qu'il s'agit d'une forme finie du théorème de Kruskal.

Pour chaque n, les axiomes de Peano permettent de démontrer P(n), mais ces axiomes ne permettent pas de démontrer que « P(n) est vrai quel que soit n »[10]. De plus, la plus courte démonstration de P(n) a une longueur grandissant extrêmement vite en fonction de n, beaucoup plus vite que les fonctions récursives primitives ou que la fonction d'Ackermann par exemple.

Friedman a également utilisé la forme finie suivante du théorème de Kruskal pour les arbres étiquetés (avec des étiquettes non ordonnées), forme paramétrée, cette fois, par le nombre d'étiquettes :

Pour tout n, il existe un m tel que si T1,...,Tm est une suite finie d'arbres dont les sommets sont étiquetés par n symboles, chaque Ti ayant au plus i sommets, alors il existe un couple (i,j) tel que i < j et Ti  Tj.

Dans ce cas, la relation ≤ signifie qu'il existe une application préservant les minorants, et envoyant chaque sommet sur un sommet ayant la même étiquette ; en théorie des graphes, ces applications sont souvent appelées des plongements.

Ce dernier théorème affirme l'existence d'une fonction à croissance rapide, que Friedman a nommée TREE, telle que TREE(n) est la longueur de la plus longue suite d'arbres à n étiquettes T1, ..., Tm dans laquelle chaque Ti a au plus i sommets, et telle qu'aucun arbre n'est plongeable dans un arbre ultérieur.

Les premières valeurs de TREE sont TREE(1) = 1, TREE(2) = 3, mais soudain TREE(3) explose à une valeur si gigantesque que la plupart des autres « grandes » constantes combinatoires, comme le nombre de Graham, sont ridiculement petites en comparaison. Ainsi, Friedman a défini (pour un autre problème plus simple) une famille de constantes n(k), et a montré que n(4) était beaucoup plus petit que TREE(3)[2]. Or n(4) est minoré par A(A(...A(1)...)), où le nombre de A est A(187196), A() étant une variante de la fonction d'Ackermann définie par : A(x) = 2↑↑...↑x avec un nombre de flèches de Knuth ↑ égal à x-1. À titre de comparaison, le nombre de Graham est de l'ordre de A64(4) ; pour mieux voir à quel point ce nombre est petit par rapport à AA(187196)(1), se reporter à l'article Hiérarchie de croissance rapide. Plus précisément, dans les notations de cette hiérarchie, on peut montrer que la vitesse de croissance de la fonction TREE est supérieure à celle de fΓ0, où Γ0 est l'ordinal de Feferman-Schütte, ce qui montre au passage à quel point cette fonction croît plus vite que la fonction de Goodstein, qui ne croît que comme fε0.

Tous ces résultats ont pour conséquence que les théorèmes précédents (tels que le fait que TREE soit une application, c'est-à-dire soit définie pour tout n) ne peuvent être démontrés que dans des théories assez fortes[11] ; plus précisément, la force d'une théorie est mesurée par un ordinal (celui de l'arithmétique de Peano, par exemple, étant ε0), et des théorèmes ayant pour conséquence l'existence de fonctions croissant trop vite (plus rapidement que fε0 dans le cas des axiomes de Peano) ne peuvent être démontrés dans ces théories. Comme leur négation ne peut évidemment pas y être démontrée non plus (en supposant que la théorie où l'on a démontré ces théorèmes est cohérente), il en résulte que, par exemple dans l'arithmétique du premier ordre, ces théorèmes sont indécidables, ce qui a d'importantes conséquences métamathématiques, ces formes d'indécidabilité étant ressenties comme beaucoup plus naturelles que celles correspondant au théorème de Gödel[11].

L'ordinal qui mesure la force du théorème de Kruskal est le petit ordinal de Veblen (en) (lequel est beaucoup plus grand que Γ0)[12] ; il en résulte que l'on peut, par des constructions analogues à celles de Friedman, obtenir grâce à ce théorème des fonctions croissant plus vite que toute fα de la hiérarchie de croissance rapide, où α est un ordinal plus petit que l'ordinal de Veblen.

Notes

  1. Kruskal 1960 ; une preuve courte en fut obtenue par Crispin Nash-Williams trois ans plus tard (Nash-Williams 1963).
  2. Friedman décrit ces entiers comme « incompréhensiblement grands » ; n(p) reste cependant plus petit que TREE(3), même pour des valeurs énormes de p, telles que le nombre de Graham ; on trouvera une analyse plus serrée de ces encadrements dans ces notes de conférence (en), et des calculs plus précis des premières valeurs de n(k) dans cet autre article de Friedman (en) ; enfin, une estimation déjà moins imparfaite de TREE(3) figure sur cette page de MathOverflow.
  3. C. Berge, Graphes et hypergraphes, chapitre 3
  4. On dit que a est un prédécesseur de b (pour la relation d'ordre partiel <) si a<b et s'il n'existe aucun c tel que a<c<b.
  5. Elle est en effet réflexive (en utilisant le morphisme identité), et transitive (en composant les morphismes) ; de plus, s'il existe des morphismes de A vers B et de B vers A, A et B sont isomorphes.
  6. Voir par exemple N. Bourbaki, Éléments de mathématique : Théorie des ensembles [détail des éditions], ch. III, § 1, n° 2, p. 3, pour les définitions et les premières propriétés des ordres partiels et des préordres.
  7. On trouvera une présentation plus formalisée encore dans l'exposé de Jean Gallier (en anglais), dont cette section est largement inspirée ; toutefois, il réécrit la présentation initiale des théorèmes dans le langage des tree domains, ce qui peut demander un certain effort au lecteur non spécialiste...
  8. Friedman 2002
  9. En terme d'ordinaux, le théorème de Goodstein demande une récurrence jusqu'à l'ordinal , alors que la fonctionTREE demande au moins l'ordinal de Feferman-Schütte, comme exposé plus loin.
  10. Voir l'article ω-cohérence pour plus de détails sur d'autres situations de ce type.
  11. Voir, par exemple, les analyses de Gallier 1991.
  12. On trouvera une description constructive de cet ordinal, sous forme d'un bon ordre explicite entre arbres finis, dans cet article de H. R. Jervell (en) (des dessins beaucoup plus nombreux d'arbres, avec les ordinaux correspondants, figurent dans ce document écrit par David Madore (en) [PDF]), et une démonstration du résultat lui-même dans cet article de Rathjen et Weiermann

Références

  • (en) Harvey Friedman, Internal finite tree embeddings. Reflections on the foundations of mathematics (Stanford, CA, 1998), Urbana, IL, ASL, coll. « Lect. Notes Log. » (no 15), , p. 60-91
  • (en) Jean H. Gallier, « What's so special about Kruskal's theorem and the ordinal Γ0? A survey of some results in proof theory », Ann. Pure Appl. Logic, vol. 53, no 3, , p. 199-260 lien Math Reviews (texte intégral sous forme de trois documents PDF : partie 1 partie 2 partie 3).
  • (en) Stephen Simpson, « Nonprovability of certain combinatorial properties of finite trees », dans Harvey Friedman's Research on the Foundations of Mathematics, North-Holland, coll. « Studies in Logic and the Foundations of Mathematics », , p. 87-117

Voir aussi

Articles connexes

  • Portail de la géométrie
  • Portail de l'informatique théorique
  • 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.