Permutation avec répétition

En mathématiques, les permutations avec répétition d'objets dont certains sont indifférenciés sont les divers groupements ordonnés de tous ces objets. Par exemple, 112, 121 et 211 pour deux chiffres 1 et un chiffre 2.

Lorsque nous permutons n objets partiellement discernables et rangés dans un certain ordre, nous retrouvons dans certains cas la même disposition. Considérons n objets dont k seulement sont distincts (k ≤ n) placés dans un n-uplet, et supposons que chacun d'entre eux apparaisse respectivement n₁ fois, n₂ fois, … , n_k fois avec n₁ + n₂ + … + n_k = n. Quand des éléments identiques de ce n-uplet sont permutés, nous obtenons le même n-uplet.

Par exemple, si nous voulons déterminer toutes les anagrammes du mot MATHÉMATIQUE, nous voyons qu'en échangeant les deux lettres A, le mot reste identique, tandis qu'en transposant les lettres É et E, nous obtenons un mot différent.

Définition

Soit E = {x₁, x₂, … , x_k} un ensemble fini de cardinal k. Soient n₁, n₂, … , n_k des entiers naturels et n leur somme.

Une permutation de n éléments de E avec n₁, n₂, … , n_k répétitions est un n-uplet d'éléments de E dans lequel chacun des éléments x₁, x₂, … , x_k de E apparaît respectivement n₁, n₂, … , n_k fois.

Exemple

Le n-uplet

$\begin{array}{cccc}(\underbrace{x_1,\dots ,x_1},& \underbrace{x_2,\dots ,x_2},& \dots ,& \underbrace{x_k,\dots ,x_k})\\ {}_{n_1\mathrm{f}\mathrm{o}\mathrm{i}\mathrm{s}}& {}_{n_2\mathrm{f}\mathrm{o}\mathrm{i}\mathrm{s}}& & {}_{n_k\mathrm{f}\mathrm{o}\mathrm{i}\mathrm{s}}\end{array}$

est une permutation avec répétition particulière.

Théorème

Modèle:Énoncé Ce nombre se note habituellement $(\genfrac{}{}{0ex}{}{n}{n_1,n_2,\dots ,n_k})$, et est connu sous le nom de coefficient multinomial.

Une démonstration est disponible via le lien Modèle:Infra vers Wikiversité.

Application

$\begin{array}{cc}(x_1+x_2+\dots +x_k{)}^n=& \underbrace{(x_1+x_2+\dots +x_k)(x_1+x_2+\dots +x_k)\dots (x_1+x_2+\dots +x_k)}\\ & {}_{n\mathrm{f}\mathrm{o}\mathrm{i}\mathrm{s}}\end{array}$.

Le développement de ce produit de facteurs est une somme de produits qui peuvent être représentés par un n-uplet d'éléments x₁, x₂, … , x_k dans lequel pour tout 1 ≤ i ≤ n, un terme du i-ième facteur se trouve à la i-ème place.

Pour tout 1 ≤ i ≤ k, notons n_i le nombre de fois où x_i apparaît dans un tel n-uplet. Nous avons

n₁ + n₂ + … + n_k = n.

Sous réserve que la loi × soit commutative (ou plus généralement que les x_i commutent pour la loi ×), le produit correspondant à un tel n-uplet est égal à

$x_1^{n_1}{x}_2^{n_2}\dots x_k^{n_k}$.

Étant donnés les entiers naturels n₁, n₂ , … , n_k tels que n₁ + n₂ + … + n_k = n, le nombre de termes de la forme $x_1^{n_1}{x}_2^{n_2}\dots x_k^{n_k}$ est le nombre de permutations de n éléments avec n₁, n₂ , … , n_k répétitions.

On en déduit la formule du multinôme de Newton :

$(x_1+x_2+\dots +x_k{)}^n=\sum _{n_1+n_2+\dots +n_k=n}\frac{n!}{n_1!n_2!\dots n_k!}{x}_1^{n_1}{x}_2^{n_2}\dots x_k^{n_k}$

(qui inclut, pour k = 2, la formule du binôme).