Soit un ensemble avec , et soit .
- Un -arrangement de est un -uplet injectif d’éléments de (une sélection ordonnée sans répétition) ;
- une permutation de est une bijection de sur lui-même — de façon équivalente, un -arrangement ;
- une -combinaison est une partie de à éléments (une sélection non ordonnée sans répétition). Leur nombre se note , lu « parmi » .
Exemples
Exemple 2.14 (Ajouter une contrainte)
Poursuivons avec la table ronde : parmi les tables de convives, combien séparent deux convives donnés et (non voisins) ? Comptons le complémentaire. Les tables où et sont assis côte à côte : collons-les en un seul bloc — objets autour de la table, soit dispositions circulaires — puis ordonnons la paire à l’intérieur de son bloc ( façons) : tables où ils sont voisins. Donc
tables les séparent. Vérifications : donne (autour d’un triangle, tout le monde touche tout le monde) et donne , faciles à lister à la main. L’astuce du collage — traiter un bloc imposé comme un seul objet, puis compter ses dispositions internes — est le remède standard aux contraintes de voisinage, linéaires ou circulaires.
Exemple 2.18 (Une identité, deux démonstrations)
La spécialisation , de la formule du binôme s’écrit
Voici la même identité sans le moindre calcul algébrique. Le membre de droite compte les mots de longueur sur l’alphabet (règle du produit). Classons chaque mot selon l’ensemble des positions portant une lettre non nulle : choisir avec coûte , puis chaque position de porte indépendamment ou : façons. La règle de somme sur donne le membre de gauche. Au-delà du plaisir de l’accord, les deux démonstrations ont des vertus différentes : l’algébrique se généralise à toute valeur de , la combinatoire explique la formule et s’adapte à des contraintes (interdire la lettre en dernière position, par exemple) qu’aucune substitution ne capture. Garder les deux techniques actives est la compétence pratique que ce chapitre entraîne.
Exemple 2.6 (La finitude est essentielle)
Sur un ensemble fini, la Proposition 2.5 est un raccourci puissant : toute application injective de dans lui-même est automatiquement une permutation de — la moitié de la bijectivité est offerte. Les deux implications s’effondrent sur les ensembles infinis : est injective de dans mais rate , et l’application qui envoie et pour est surjective sans être injective. Chaque fois que cette proposition est invoquée, l’hypothèse de finitude travaille réellement — un thème que le devoir maison du Chapitre 1 explore par l’autre bout, là où les ensembles infinis sont précisément ceux qui admettent de telles applications d’eux-mêmes dans eux-mêmes.