Nombres de Stirling de seconde espèce
Bonjour
Est-ce que ces deux relations (la deuxième est une conséquence triviale de la première), mettant en jeu les nombres de Stirling de seconde espèce, sont connues ?
$\bullet \qquad \displaystyle \sum_{k = 1}^n k \cdot {n \choose k} \cdot k! \cdot S(n, k) = n(n^n - (n - 1)^n) $
$\bullet \qquad\displaystyle \lim_{n \to \infty} \dfrac{1}{n^{n + 1}} \sum_{k = 1}^n k \cdot {n \choose k} \cdot k! \cdot S(n, k) = 1 - \dfrac{1}{e}$
Il ne faut pas respirer la compote, ça fait tousser.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Réponses
-
Je ne connais pas la première égalité mais elle découle simplement d'une égalité connue : $n^p=\displaystyle\sum_{k=1}^n{n\choose k}{\rm Surj}(p,k)$ où ${\rm Surj}(p,k)=k!S(p,k)$ désigne le nombre de surjections de $[[1,p]]$ dans $[[1,k]]$.
En effet, avec $\displaystyle k{n\choose k}= n{n-1\choose k-1}=n\left({n\choose k}-{n-1\choose k}\right)$ l'égalité (1) se simplifie en :
$\displaystyle \sum_{k = 1}^n k \cdot {n \choose k} \cdot k! \cdot S(n, k) = n\sum_{k=1}^n\left({n\choose k}-{n-1\choose k}\right){\rm Surj}(n,k)=n(n^n - (n - 1)^n)$.
-
J'étais tombé dessus en calculant l'espérance de la va égale au cardinal de l'image des fonctions de $\llbracket 1; n \rrbracket$ dans lui-même. Le lien avec les surjections est clair.Il ne faut pas respirer la compote, ça fait tousser.
J'affirme péremptoirement que toute affirmation péremptoire est fausse -
Je suis d'accord. Pour calculer l'espérance de cette va $X_n$ on peut calculer sa loi puis son espérance par le calcul que j'ai fait ci-dessus avec les coefficients binomiaux.
On peut aussi écrire $X_n=Z_1+\dots+Z_n$ avec $Z_k(f)=1$ si $k$ est dans ${\rm Im}(f)$, $0$ sinon. On obtient directement $E(X_n)$. -
Pas de problème, j'ai fait la démonstration, je me demandais juste si elle pouvait intéresser d'autres personnes.Il ne faut pas respirer la compote, ça fait tousser.
J'affirme péremptoirement que toute affirmation péremptoire est fausse -
Effectivement, c'est bien cette suite.Il ne faut pas respirer la compote, ça fait tousser.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.4K Toutes les catégories
- 63 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 23 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 84 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 26 Mathématiques et finance
- 342 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres