Partition d'un entier — Wikipédia
- 5
- 4+1
- 3+2
- 3+1+1
- 2+2+1
- 2+1+1+1
- 1+1+1+1+1
En mathématiques, une partition d'un entier (parfois aussi appelée partage d'un entier[1],[2]) est une décomposition de cet entier en une somme d'entiers strictement positifs (appelés parties ou sommants), à l'ordre près des termes (à la différence du problème de composition tenant compte de l'ordre des termes). Une telle partition est en général représentée par la suite des termes de la somme, rangés par ordre décroissant. Elle est visualisée à l'aide de son diagramme de Ferrers[3], qui met en évidence la notion de partition duale ou conjuguée.
Pour un entier naturel fixé, l'ensemble de ses partitions est fini et muni d'un ordre lexicographique.
La suite du nombre de partitions des entiers naturels successifs est déterminée par un algorithme récursif. Hardy et Ramanujan en ont donné un développement asymptotique en 1918, puis Hans Rademacher en a donné une formule exacte en 1937. Elle est répertoriée comme suite A000041 de l'OEIS.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Ferrer_partitioning_diagrams.svg/220px-Ferrer_partitioning_diagrams.svg.png)
Présentation
[modifier | modifier le code]À l'aide des diagrammes de Ferrers
[modifier | modifier le code]
| |||||||||||||||||||||||||
Diagramme de Ferrers de la partition (4, 4, 3, 1, 1) du nombre 13. |
Un diagramme de Ferrers[4] est constitué d'un ensemble de points disposés aux sommets d'un quadrillage sur lequel sont spécifiées une première ligne et une première colonne orientées. La seule condition exigée est que tout point du quadrillage précédant un point du diagramme, sur une même ligne ou une même colonne, doit aussi appartenir au diagramme.
Une partition d'un entier peut alors être conçue comme un diagramme de Ferrers avec points, chaque ligne du diagramme représentant une partie par son cardinal. En particulier, le diagramme de Ferrers vide représente l'unique partition de l'entier 0.
Ces diagrammes sont généralisés en combinatoire par les tableaux de Young.
Définitions formelles
[modifier | modifier le code]Il existe plusieurs manières équivalentes de définir formellement une partition d'un entier naturel.
- Par exemple à l'aide d'une suite finie d'entiers strictement positifs[5]. Comme les permutations des termes ne modifient pas la partition, la suite est par défaut présentée dans un ordre fixe, en général décroissant. Par exemple, (2,1,1) est une telle partition du nombre 4. Le choix arbitraire de cet ordre peut être évacué en utilisant une relation d'équivalence sur l'ensemble des suites finies par permutation des termes. Une partition est alors définie comme une classe d'équivalence de suites.
- Il est aussi possible de caractériser chaque partition à l'aide d'une mesure indiquant pour chaque entier strictement positif le nombre de termes de cette valeur, ce qui revient à considérer une partition comme un multiensemble. La partition précédente s'écrirait ici .
- Une autre approche, qui fait le lien avec les partitions d'ensemble, consiste à définir une partition de comme une orbite de l'ensemble des partitions de l'intervalle d'entiers {1, ..., n} sous l'action du groupe symétrique. Dans l'exemple précédent, la partition (d'entier) serait formée de la partition (d'ensemble) {{1,2},{3},{4}} et des partitions obtenues par permutation des nombres 1,2,3,4.
Relations
[modifier | modifier le code]Relation d'ordre
[modifier | modifier le code]L'ensemble des partitions de est muni d'un ordre lexicographique, c'est-à-dire que si deux partitions sont représentées par des suites décroissantes qui coïncident jusqu'au rang exclu, alors celle qui a un plus grand terme au rang est supérieure à l'autre, quels que soient leur nombre de termes et leurs valeurs ensuite.
La partition composée du seul terme est donc supérieure à toutes les autres partitions de , tandis que la plus petite est celle qui est composée de termes qui valent tous 1.
Cet ordre est total, c'est-à-dire que toutes les partitions d'un même entier peuvent être comparées entre elles.
Dualité
[modifier | modifier le code]
| ||||||||||||||||||||
Diagramme de Ferrers de la partition (5 ; 3 ; 3 ; 2) duale de la partition (4 ; 4 ; 3 ; 1 ; 1). |
Le fait de lire en colonnes un diagramme de Ferrers tracé en lignes, ou réciproquement, permet de définir la partition conjuguée[6] (ou duale[réf. souhaitée]). Géométriquement, cela revient à effectuer une symétrie par rapport à la diagonale. En particulier, cela implique que cette dualité est involutive : toute partition est duale de sa partition duale.
Formellement, si une partition est représentée par une suite finie , la partition duale est définie par la suite où est le nombre de termes de supérieurs ou égaux à . Si la suite est décroissante au sens large, le nombre d'éléments de égaux à est (ou si est le dernier terme de la suite ).
La dualité permet de mettre en évidence une bijection entre l'ensemble des partitions en exactement parties et l'ensemble des partitions dont la première partie (la plus grande) est . Cette propriété est à la base d'une formule récursive permettant de dénombrer les partitions d'un entier (voir infra).
Partition autoduale
[modifier | modifier le code]
|
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Diagrammes de Ferrers de quelques partitions autoduales. |
Une partition qui est égale à sa partition duale est dite autoduale ou autoconjuguée. Un exemple simple de partition autoduale est donné par un diagramme en 'L', définis pour tout entier impair de la forme , avec une première partie valant et toutes les autres valant 1. D'autres exemples sont donnés pour les carrés et les nombres triangulaires.
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
Correspondance entre partition autoduale et partition à parties impaires distinctes. |
La représentation par les diagrammes de Ferrers permet de prouver que l'ensemble des partitions autoduales est en bijection avec l'ensemble des partitions à parties impaires distinctes. En effet, le diagramme de chaque partition autoduale peut être décomposé en une suite de diagrammes en 'L' de taille strictement décroissante mais toujours impaire. Réciproquement, les parties impaires d'une partition (à parties distinctes) peuvent être associées à des diagrammes en 'L', dont la juxtaposition dans l'ordre décroissant forme le diagramme de Ferrers d'une partition autoduale.
Injections
[modifier | modifier le code]Les diagrammes de Ferrers permettent de visualiser certaines relations entre les ensembles de partitions d'entiers. Notamment, l'adjonction d'une partie valant 1 induit une injection de l'ensemble des partitions d'un entier dans l'ensemble des partitions de l'entier suivant. Un autre exemple est donné par l'incrémentation de toutes les parties, qui induit une injection de l'ensemble des partitions d'un entier en parties, dans l'ensemble des partitions de en parties.
Ensemble des partitions d'un entier
[modifier | modifier le code]Finitude
[modifier | modifier le code]Pour chaque partition de , définie par la suite de ses termes dans l'ordre décroissant, la série associée (qui la caractérise) est strictement croissante, à valeurs entières strictement positives et de dernier terme . Chaque partition peut donc être représentée par l'ensemble des valeurs de cette série. L'ensemble des partitions de s'injecte donc dans l'ensemble des parties de l'intervalle d'entiers {1, ..., n}, de cardinal .
En pratique, la valeur étant toujours atteinte par la série, il est possible de ne considérer que l'ensemble des valeurs de la série qui soient strictement inférieures à , ce qui divise par deux la majoration du cardinal de l'ensemble des partitions.
Algorithme de construction
[modifier | modifier le code]La liste de toutes les partitions de dans l'ordre décroissant est donnée par un algorithme itératif. Si une partition est représentée par une suite finie décroissante dont au moins un terme est strictement supérieur à 1, la partition suivante est construite comme suit :
- On note le rang du dernier terme strictement supérieur à 1 et le nombre de termes qui valent 1 dans .
- Pour tout , on définit .
- On définit .
- En notant la division euclidienne de par , on définit les termes pour par .
- Si est non nul, on définit un dernier terme .
Dénombrement
[modifier | modifier le code]Le nombre de partitions de l'entier est classiquement noté . Il est nul si , mais , puisque 0 possède exactement une partition : la somme vide. Pour de petites valeurs de , peut être obtenu en décomptant les partitions produites par l'algorithme ci-dessus, mais il peut aussi être calculé à l'aide de méthodes plus calculatoires.
Par une fonction récursive
[modifier | modifier le code]En notant, pour n et k entiers strictement positifs, p(n,k) le nombre de partitions de n en k parties, la fonction p est récursive et vérifie
- la relation suivante pour tous n > k > 1 :
- p(n, k) = p(n – 1, k – 1) + p(n – k, k) ;
- les conditions initiales :
- p(n, k) = 0 si n < k ,
- p(n, n) = p(n, 1) = 1.
La relation provient d'une disjonction de cas parmi ces partitions :
- soit la dernière partie (la plus petite) vaut 1, auquel cas la partition est obtenue à partir d'une partition de n – 1 en k – 1 parties, par adjonction de cette dernière partie ;
- soit toutes les parties valent au moins 2, auquel cas la partition est obtenue à partir d'une partition de n – k en k parties, par augmentation de chaque partie d'une unité.
À condition de faire de la mémoïsation, ce procédé permet de calculer le nombre de partitions d'un entier avec une complexité algorithmique quadratique en fonction de n, en additionnant toutes les valeurs de p(n, k) lorsque k varie entre 1 et n.
p(n,k) | k | Total | |||||||
n | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | |
1 | 1 | 1 | |||||||
2 | 1 | 1 | 2 | ||||||
3 | 1 | 1 | 1 | 3 | |||||
4 | 1 | 2 | 1 | 1 | 5 | ||||
5 | 1 | 2 | 2 | 1 | 1 | 7 | |||
6 | 1 | 3 | 3 | 2 | 1 | 1 | 11 | ||
7 | 1 | 3 | 4 | 3 | 2 | 1 | 1 | 15 | |
8 | 1 | 4 | 5 | 5 | 3 | 2 | 1 | 1 | 22 |
Relation de récurrence
[modifier | modifier le code]Une méthode de calcul plus efficace du nombre de partitions d'un entier se déduit du théorème des nombres pentagonaux d'Euler. Celui-ci donne une relation de récurrence qui s'écrit :
- .
Les nombres sont les nombres pentagonaux généralisés.
Suite des nombres de partitions
[modifier | modifier le code]Propriétés
[modifier | modifier le code]Les techniques des diagrammes de Ferrers permettent aussi de prouver des résultats comme les suivants :
- pour tout entier n, il y a p(n) – p(n – 1) partitions de n dans lesquelles chaque partie est supérieure ou égale à 2[7] ;
- pour tout entier n ≥ 0, p(1) + p(2) + … + p(n) < p(2n)[8].
Ramanujan a démontré trois congruences, dont la première est que p(5n + 4) est divisible par 5. Plus précisément[9] : , où est le q-symbole de Pochhammer : .
Fonction génératrice associée
[modifier | modifier le code]Euler a remarqué que la série formelle génératrice de p,
est égale au produit infini suivant[10] de séries (formelles) géométriques :
En effet, dans ce produit, le coefficient du terme de degré est le nombre de suites d'entiers naturels telles que . Ces suites correspondent aux partitions de définies en termes de mesure (voir supra).
Estimation asymptotique
[modifier | modifier le code]La croissance de la suite p(n) est très rapide :
- p(1) = 1, p(2) = 2, p(3) = 3, p(4) = 5, p(5) = 7, p(6) = 11, p(7) = 15, p(8) = 22, p(9) = 30, p(10) = 42,
- p(50) = 204226, p(100) = 190 569 292, p(200) = 3 972 999 029 388[11].
Introduisant la méthode du cercle et utilisant la modularité de la fonction êta de Dedekind[12], Hardy et Ramanujan ont présenté en 1918[13] l'équivalent suivant[14] de p(n) :
- .
Cette formule donne par exemple une erreur de 1,4 % pour n = 1 000.
Plus précisément, ils donnèrent le développement asymptotique suivant :
avec
- ,
où la notation (m, k) = 1 signifie que m ne doit prendre que les valeurs premières avec k, et où la fonction s(m, k) est une somme de Dedekind. La correction énigmatique –1/24, découverte par Ramanujan, fait que p(200) est la partie entière de cette expression en ne prenant que les cinq premiers termes du développement[13].
Série de Rademacher
[modifier | modifier le code]En affinant la méthode employée par Hardy et Ramanujan, Hans Rademacher obtint en 1937 la série convergente suivante[15] :
avec la même valeur de que ci-dessus. La démonstration de cette formule fait intervenir les suites de Farey, les cercles de Ford, et l'analyse complexe.
Autres formules de récurrence
[modifier | modifier le code]On peut obtenir une première relation de récurrence avec la fonction somme des diviseurs σ[16] :
- .
En notant le nombre de partitions de en entiers distincts (égal au nombre de partitions de en entiers impairs)[17] :
- .
Le nombre de partitions d'un entier en entiers supérieurs ou égaux à (qui vaut donc si et qui est nul si ) vérifie[18] :
- ,
ainsi que la relation de récurrence
- .
Maximisation du produit
[modifier | modifier le code]Étant donné un entier n > 1, le produit m1 × … × mk d'une partition n = m1 + … + mk est maximum[19],[20] si tous les mi sont égaux à 3, sauf zéro, un ou deux d'entre eux (selon la classe de n modulo 3) qui valent 2. En effet[21] :
- aucun mi ne doit être égal à 1 car 1 × m < m + 1 ;
- aucun mi ne doit être supérieur ou égal à 5 car on aurait 3(mi – 3) > mi (ou encore : 2(mi – 2) > mi) ;
- chaque 4 peut être remplacé par deux 2 ;
- il y a au plus deux 2 car 23 < 32.
Notes et références
[modifier | modifier le code]- Voir par exemple l'article de G. Th. Guilbaud, Pour le deux cent cinquantième anniversaire de la mort de G. W. Leibniz, Mathématiques et sciences humaines, tome 17 (1966).
- Édouard Thomas, « Les partages d'entiers », Hors Série Bibliothèque Tangente, no 33, , p. 100-103
- (en) Eric W. Weisstein, « Ferrers Diagram », sur MathWorld.
- Nommé ainsi d'après le mathématicien britannique Norman Macleod Ferrers.
- Il est possible aussi de considérer des suites infinies d'entiers positifs ou nuls, dont seulement un nombre fini de termes seront non nuls.
- Hardy et Wright 2007, p. 354 ; Apostol 1976, p. 307.
- (en) R.B.J.T. Allenby et Alan Slomson, How to Count : An Introduction to Combinatorics, CRC Press, , 2e éd. (lire en ligne), p. 94, th. 6.10 ; Bóna 2011, p. 101, th. 5.20.
- Allenby et Slomson 2011, p. 93, th. 6.8.
- (en) Hei-Chi Chan, An Invitation to q-Series : From Jacobi's Triple Product Identity to Ramanujan's “Most Beautiful Identity”, World Scientific, (lire en ligne), p. 147-148.
- Trivialement convergent, cf. (en) R. P. Stanley, Enumerative Combinatorics, prop. 1.1.9.
- Pour les 10 000 premières valeurs, voir la suite A000041 de l'OEIS.
- (en) M. Ram Murty, « The partition function revisited », dans The Legacy of Srinivasa Ramanujan, coll. « RMS-Lecture Notes » (no 20), (lire en ligne), p. 261-279.
- (en) G. H. Hardy et S. Ramanujan, « Asymptotic formulae in combinatory analysis », Proc. London Math. Soc., vol. 17, no 2, , p. 75-115 (lire en ligne).
- Un calcul bien plus élémentaire permet de majorer p(n) par : Apostol 1976, p. 316-318, van Lint 1974, p. 34-36.
- (en) George Andrews, Number Theory, W. B. Saunders Company, Philadelphie, 1971. Dover edition, p. 69.
- Apostol 1976, p. 323, Example 1.
- (en) Eric W. Weisstein, « Partition Function Q », sur MathWorld et « Partition Function P ».
- (en) V. V. Kruchinin, « The number of partitions of a natural numbers into parts, each of which is not less than », Math. Notes, vol. 86, nos 3-4, , p. 505-509 (DOI 10.1134/S0001434609090260, MR 2591345).
- Pour une approche heuristique et progressive, voir (en) Barry V. Kissane, « Mathematical Investigation: Description, Rationale, and Example », dans Stephen I. Brown et Marion Walter, Problem Posing: Reflections and Applications, Psychology Press, (1re éd. 1993) (ISBN 978-1-31771737-9, lire en ligne), p. 189-203 qui fait, en conclusion, apparaître le lien avec le nombre e.
- Voir la suite A000792 de l'OEIS et ses références et liens.
- (en) John Scholes, « Problem 4 » (18th IMO 1976) et « Problem A1 » (40th Putnam 1979).
Sources
[modifier | modifier le code]- (en) Miklós Bóna, A walk through combinatorics : an introduction to enumeration and graph theory, New Jersey, World Scientific, , 3e éd. (1re éd. 2002), 546 p. (ISBN 978-981-4335-23-2, lire en ligne) — Contient une introduction élémentaire à la notion de partition d'un entier, incluant les diagrammes de Ferrers.
- Louis Comtet, Analyse combinatoire, tome I, PUF, 1970 — Le chapitre II est consacré aux partitions d'entiers.
- (en) Tom M. Apostol, Modular Functions and Dirichlet Series in Number Theory, Springer, , 204 p.
Voir aussi
[modifier | modifier le code]Articles connexes
[modifier | modifier le code]- Fonction de Landau
- Graphe partitionnable
- Problème de la somme de sous-ensembles
- q-symbole de Pochhammer
- Coefficients binomiaux de Gauss
- Nombre de Bell qui est le nombre de partitions d'un ensemble à n éléments discernables, tandis que le nombre de partitions d'un entier correspond au nombre de partitions d'un ensemble à n éléments indiscernables.
- Théorème de Glaisher (en)
- Décomposition en produit de facteurs premiers, correspondant à la décomposition multiplicative d'un entier qui, elle, est unique via l'utilisation des nombres premiers.
- Congruences de Ramanujan
- Conjecture de Newman (en)
- Nombre poli, ayant une partition en sommants consécutifs
- Suite d'Alcuin
Bibliographie
[modifier | modifier le code]- (en) Henry L. Alder, « Partition Identities — from Euler to the Present », Amer. Math. Monthly, vol. 76, , p. 733-746 (lire en ligne) — Prix Lester Randolph Ford 1970.
- (en) George E. Andrews, The Theory of Partitions, CUP, (1re éd. 1976) (lire en ligne)
- (en) Tom M. Apostol, Introduction to Analytic Number Theory, Springer, (DOI 10.1007/978-1-4757-5579-4), chap. 14, p. 304-328
- G. H. Hardy et E. M. Wright (trad. de l'anglais par F. Sauvageot), Introduction à la théorie des nombres [« An Introduction to the Theory of Numbers »], Vuibert-Springer, , chap. 19, p. 353-382
- (en) Igor Pak (en), « Partition bijections, a survey », The Ramanujan Journal, vol. 12, no 1, , p. 5-75 (lire en ligne)
- (en) Jacobus van Lint, Combinatorial Theory Seminar Eindhoven University of Technology, Spinger Verlag, coll. « Lecture Notes in Mathematics » (no 382), (DOI 10.1007/BFb0057323), « Partitions », p. 33-39
Liens externes
[modifier | modifier le code]- (en) « Partition Function », sur numericana.com
- (en) Eric W. Weisstein, « Partition Function P », sur MathWorld
- (en) H. Bottomley, « Partition and composition calculator », sur Henry Bottomley's Java and JavaScript examples