Pour tout entier {k}, on dit que {\{A_1,\ldots,A_k\}} est une partition de {E} en {k} classes si : {\forall\,i,\,A_i\neq\emptyset,\quad\bigcup_{i=1}^kA_i=E,\quad\forall i\ne j,\,A_i\cap A_j=\emptyset}
{\fbox{Partie I}}
Dans cette partie, on suppose {\text{Card}(E)=n}.
On note {r(n)} le nombre de partitions de {E}.
On note {r(0)=1}.
Pour tout {k\geq 1}, on note {r(n,k)} le nombre de partitions de {E} en {k} classes.
Question I.1
Montrer que : {\forall\;k,n\in \mathbb{N}^*}, {k>n\Rightarrow r(n,k)=0}.
Cliquer ici pour voir (ou cacher) la réponse
Supposons qu’il existe une partition en {k} classes {\{A_1,\ldots,A_k\}}, donc {r(n,k)>0}.
Pour tout {j}, on a : {\text{Card}(A_j)\ge1}).
Alors {n=\text{Card}(E)=\displaystyle\sum_{j=1}^k\text{Card}(A_j)\ge k}
Par conséquent, si {n\lt k}, on a {r(n,k)=0}.
Question I.2
Montrer que : {\forall\;n\in \mathbb{N}^*}, {r(n)=\displaystyle\sum_{k=1}^{n}r(n,k)}.
Cliquer ici pour voir (ou cacher) la réponse
Les partitions de {E} se groupent en :
Celle qui n’a qu’une classe (nécessairement {E}).
Il y en a {r(n,1)=1}.
{\cdots}
Celles comportent {k} classes : il y en a {r(n,k)}.
{\cdots}
Celle qui en a {n} (nécessairement les singletons).
Il y en a {r(n,n)=1}.
On en déduit l’égalité : {r(n)=\displaystyle\sum_{k=1}^nr(n,k)}.
Question I.3
Montrer que : {\forall\;n\in\mathbb{N}, r(n+1)=\displaystyle\sum_{k=0}^n\dbinom{n}{k}r(k)}.
Question I.7
On note {S_n^k} le nombre de surjections d’un ensemble à {n} éléments sur un ensemble à {k} éléments.
Montrer que : {\forall \;k,n\in \mathbb{N}^*}, {S_n^k=k!\,r(n,k)}
Question III.2
On suppose que {n=2m} ({m\geq 1}).
Montrer que : {b_{2m}=\displaystyle\sum_{k=0}^m\dbinom{2m}{2k}\,a_{m-k}}.
Indication : classer les partitions suivant le nombre de singletons qu’elles contiennent.