König Julius

Imaginez plusieurs petites collections, chacune accompagnée d’une collection plus grande. Le lemme de König compare deux façons de rassembler ces tailles : additionner les petites tailles, ou multiplier les grandes. Si chaque grande taille dépasse vraiment la petite qui lui correspond, le produit dépasse strictement la somme. Cette idée devient particulièrement précieuse quand les collections sont infinies : elle fournit un outil pour comparer des cardinaux, c’est-à-dire des tailles d’ensembles, au-delà des nombres ordinaires.

Le lemme de König, aussi appelé théorème de König, est un résultat de théorie des ensembles sur des familles de cardinaux. Un cardinal mesure la taille d’un ensemble, y compris lorsque cet ensemble est infini. Pour chaque indice i d’une même famille, notons κ_i le cardinal de départ et λ_i le cardinal majorant correspondant. La condition est que chaque λ_i soit strictement supérieur à κ_i.

Le résultat affirme alors que la somme des κ_i est strictement inférieure au produit des λ_i :

I désigne l’ensemble des indices commun aux deux familles. La conclusion porte sur la comparaison globale des tailles, et non sur une égalité entre les deux expressions. Le résultat est présenté comme fondamental pour l’étude des cardinaux infinis.

Pour une illustration finie du mécanisme, considérons deux indices. Les petites tailles valent κ₁ = 1 et κ₂ = 1 ; les majorants correspondants valent λ₁ = 2 et λ₂ = 3.

Les données vérifient bien κ₁ < λ₁ et κ₂ < λ₂.
La somme des petites tailles vaut 1 + 1 = 2.
Le produit des majorants vaut 2 × 3 = 6.
On obtient donc 2 < 6.

Le contrôle est immédiat : 6 − 2 = 4, un nombre strictement positif. Cet exemple numérique rend visible le sens de la comparaison ; il n’est pas une preuve du cas des cardinaux infinis mentionné dans la définition.

Dans un raisonnement sur des ensembles infinis, on peut rencontrer plusieurs familles de tailles associées indice par indice. Le lemme de König sert alors à obtenir une inégalité globale à partir de la comparaison locale de chaque paire.

Le geste consiste à identifier les petites tailles, leurs majorants correspondants et l’ensemble commun des indices, puis à vérifier la stricte supériorité pour chaque paire. Si ces vérifications sont satisfaites, on compare la somme de la première famille au produit de la seconde. Pour un calcul élémentaire portant seulement sur deux tailles finies, l’addition et la multiplication directes suffisent ; le lemme prend son intérêt lorsque l’étude porte sur les cardinaux infinis.

Il ne faut pas confondre Gyula König, appelé aussi Julius König, avec son fils Dénes König. La source présente Gyula comme l’auteur associé au lemme de König et Dénes comme le mathématicien à l’origine de la théorie moderne des graphes. Le critère qui tranche est donc le résultat évoqué : cardinaux et théorie des ensembles renvoient au père ; graphes renvoient au fils.

Il ne faut pas non plus prendre les deux appellations « lemme de König » et « théorème de König » pour deux résultats différents dans cette fiche : elles désignent ici le même résultat, selon la terminologie donnée par la source.

Le mot « majorant » ne signifie pas seulement « un peu plus grand » en général : dans l’énoncé, chaque λ_i doit être strictement supérieur au κ_i qui lui correspond. Une égalité pour une paire ne satisfait donc pas la condition annoncée.

La comparaison ne doit pas être lue comme une règle donnant une valeur numérique à tout produit ou à toute somme. Elle concerne les deux familles appariées par les mêmes indices et conclut à une inégalité stricte. L’exemple à deux indices vérifie 1 < 2 et 1 < 3 ; remplacer l’une de ces inégalités par 1 < 1 ferait disparaître l’hypothèse nécessaire.

Enfin, le résultat est particulièrement important pour les cardinaux infinis. Un exemple fini comme 2 < 6 en éclaire le mécanisme, mais ne suffit pas à établir à lui seul la conclusion générale sur les tailles infinies.

Pour approfondir le résultat lui-même, consultez le théorème de König – théorie des ensembles : vous y trouverez une entrée consacrée à la formulation portant sur les cardinaux.

Pour replacer cette question dans l’histoire des tailles infinies, l’article Georg Cantor : passer du fini à l’infini offre un prolongement sur le passage du fini à l’infini.