Correspondance fondamentale de Foata

From Wikipedia, the free encyclopedia

Correspondance fondamentale de Foata généralisée à un ensemble quelconque d'entiers

En mathématiques, et plus précisément en combinatoire, la correspondance fondamentale de Foata est une correspondance entre suites sans répétitions et permutations, différente de la correspondance classique où la suite sans répétitions est la suite des images, par la permutation, des éléments 1, 2, 3, etc. dans cet ordre. Cette correspondance facilite, par exemple, l'analyse combinatoire du nombre de cycles et de la taille des cycles d'une permutation.

Il y a plusieurs manières d'encoder une permutation à l'aide d'une suite de nombres distincts tirés de  :

  • de la manière la plus classique, à partir de on obtient la permutation définie par  ;
Exemple :

Si alors

  • d'une manière plus liée à la structure des cycles, à partir de on obtient la permutation définie par … , tant que est plus petit que la longueur du cycle de contenant 1 ( est la taille de l'orbite de 1) : la position de 1 dans la suite signale d'ailleurs la longueur de ce cycle : Comment interpréter alors  ? Foata propose d'utiliser la suite restante si elle n'est pas vide, pour encoder les images du plus petit élément de cette suite
en posant là encore, tant que est plus petit que la longueur du cycle de contenant  : la position de dans la suite signale d'ailleurs la longueur de ce cycle : On itère alors le procédé avec la suite tant qu'elle n'est pas vide, pour encoder les images du plus petit élément de cette suite
Le nombre d'itérations de ce procédé est le nombre de cycles de la décomposition de en cycles disjoints.

Cette seconde correspondance entre suites sans répétitions et permutations est précisément la correspondance fondamentale de Foata.

Exemple :
  • Toujours avec on a
Ainsi la correspondance fondamentale de Foata associe à la permutation dont la décomposition en cycles disjoints est :
Par ailleurs l'écriture traditionnelle de est :
  • D'un autre côté, la décomposition en cycles disjoints de est :
Ainsi la correspondance fondamentale de Foata associe à la suite suivante :

Bijectivité

Applications

Voir aussi

Related Articles

Wikiwand AI