"je croyais que C(n,p) représentis le nombre total de combinaisons et o pas le d'applications strictement croissante"
Euh... . Ce n'est pas pour cela que
Déterminer le nombre d'entiers naturels à 5 chiffres vérifiant:
1) Les chiffres sont disposés en ordre strictement croissant
C'est en effet la même chose que de dénombrer le nombre d'applications strictement croissantes de dans .
elhor_abdelali indique que le nombre d'applications strictement croissantes de l'ensemble de cardinal dans de cardinal est égal à . (On suppose évidemment ces deux ensembles disposant d'un ordre total.)
Essayons de le démontrer.
Démonstration 1
Définir une application strictement croissante de dans revient simplement à choisir dans les images, différentes deux à deux, des éléments de , c'est-à-dire une partie de de cardinal . Il y en a . Ensuite, on ordonne ces images pour les classer en ordre strictement croissant. Il n'y a qu'une seule façon de le faire. CQFD
Démonstration 2
On va procéder par récurrence sur .
Soit la propriété :
: "pour tout , le nombre d'applications strictement croissantes de l'ensemble de cardinal dans de cardinal est égal à ."
est vraie.
Supposons vraie et tentons de démontrer .
Soit donc un ensemble de cardinal
Soit le plus grand élément de .
Pour faciliter la lecture de la démonstration, on va supposer que mais la démonstration reste vraie dans le cas général.
peut prendre n'importe quelle valeur dans , car il faut au moins garder de côté les plus petits éléments de , pour servir d'images aux autres éléments de .
Supposons que ().
Il faut ensuite déterminer les images des autres éléments de , c'est-à-dire le nombre d'applications strictement croissantes de de cardinal dans de cardinal . D'après l'hypothèse de récurrence, il y a possibilités. Finalement, le nombre cherché vaut :
On reconnaît le coefficient de dans :
coefficient de dans * coefficient de dans
où et sont choisis tels que :
(i)
(ii)
On reconnaît le coefficient de dans
Donc, finalement :
Ouf !
Sauf erreur.
Nicolas