Sujet A.3.3 Dénombrement
Choisir
un exercice, puis le résoudre
:
Signaler une erreur
Signaler une erreur
Exercice a
On considère un entier $\,n\geq2\,$ et sa décomposition en facteurs premiers :
$\,n=p_1^{\alpha_1}\dots \sp{1.5}p_r^{\alpha_r}$$.\,$
Déterminer, en fonction des $\,\alpha_i\app\bb N^{\ast}\sp{-1.5},\,$ le cardinal de l'ensemble $\sc D_n$ des diviseurs de $\,n\,$ dans $\bb N\sp{1.5}.$
Pour $\,m\!=\!2\,$ et $\,m\!=\!3\sp{1.5},\,$ quel est l'ensemble $\,\Omega_m\,$ des $\,n\app\bb N\,$ tels que : $\,\op{card}(\sc D_n)=m\,?\,$ Comment peut-on généraliser ?
ensembles finis
Un ensemble $E$ est fini ssi il existe $n\app\bb N$ et une bijection :
$\displaystyle{}[\![1,n]\!]\tot E\sp{1.5},\ \,i\mapsto x_i$
Cet entier $\,n\sp{1.5},\,$ unique, s'appelle le cardinal de $E:$ $\,\op{card}(E) =n\sp{1.5}.\,$
- L'ensemble vide est fini, avec : $\,\op{card}(\vide) =0\,;\,$
- les ensembles non finis sont les ensembles infinis.
cardinal d'une réunion
Toute réunion d'un nombre fini d'ensembles finis est finie.
Si ces ensembles $\,E_1,\dots,E_p\,$ sont deux à deux disjoints, on a alors :
$\displaystyle{}\op{card}\Big(\Op{\bigcup}_{k=1}^pE_k\Big)=\sum_{k=1}^p\op{card}(E_k)$
cardinal d'un produit
Un produit $\,E_1\times\cdots\times E_p\,$ d'ensembles finis $\,E_1,\dots,E_p\,$ est fini, avec :
$\displaystyle{}\op{card}(E_1\times\cdots\times E_p)=\op{card}(E_1)\times\cdots\times\op{card}(E_p)$
$\,\op{card}(E^p)=\op{card}(E)^p\,$ est aussi le nombre d'applications d'un ensemble de cardinal $p$ vers $E\sp{1.5}.$
nombre de combinaisons
Une $p\tiret$combinaison d'un ensemble $E$ est une partie de $E$ à $\,p\,$ éléments.
Si $E$ est de cardinal $n\sp{1.5},$ leur ensemble $\sc P_p(E)$ est fini avec :
$\displaystyle{}\op{card}(\sc P_p(E))=\smh{1.5}{\binome{\,n\,\\p}}$
indication
1
Compter les listes d'exposants de $\,p_1,\dots,p_r\,$ correspondant à la décomposition d'un diviseur de $\,n\sp{1.5}.\,$
indication
2
Quelle(s) valeur(s) peut prendre $\,r\,$ lorsque $\,m\sp{-1.5}=\sp{-1.5}2\,$ ou $\,m\sp{-1.5}=\sp{-1.5}3\,?\,$
réponse
L'ensemble $\sc D_n$ est fini, et il a pour cardinal : $\,\smh{.5}{{\Op{\dprod}_{i=1}^r}}(1+\alpha_i)\sp{1.5}.\,$
$\,\sc P\,$ désignant l'ensemble des nombres premier, on obtient :
$\,\Omega_2=\sc P\txt{et}\Omega_3=\ens{p^2}{p\app\sc P}\!\cdot\,$
On a aussi : $\,\Omega_m=\ens{p^{m-1}}{p\app\sc P}\sp{1.5},\,$ lorsque $\,m\,$ est premier.
correction
L'entier
Tout entier naturel $\,n\geq2\,$ admet une et une seule décomposition de la forme :
décomposé
$\,n=p_1^{\alpha_1}\dots \sp{1.5}p_r^{\alpha_r}\,$
a pour
$\displaystyle{}n=p_1^{\alpha_1}\!\dots\, p_r^{\alpha_r},\ \txt{avec}p_1 < \cdots < p_r$
où les $p_i$ sont des nombres premiers et où les $\alpha_i$ appartiennent à $\bb N^{\ast}\!.$
Soient $\,p_1,\dots,p_r\,$ des nombres premiers distincts, et $\,a\,$ et $\,b\,$ tels que :
diviseurs
dans $\bb N$ les nombres suivants :
$\displaystyle{}a=p_{1}^{\alpha_1}\dots p_{r}^{\alpha_r}\txt{et}b=p_1^{\beta_1}\dots p_r^{\beta_r}\,\txt{pour} \alpha_k,\beta_k\app\bb N$
Alors $\,a\,$ est un diviseur de $\,b\,$ ssi : $\,\ptt k\app\,[\![1,r]\!]\sp{1.5},\ \alpha_k\leq\beta_k\,.\,$
$\displaystyle{}d=p_1^{\beta_1}\dots \sp{1.5}p_r^{\beta_r},\,\txt{pour} \,0\leq\beta_i\leq\alpha_i$
Chacun des diviseurs de $\,n\,$ est donc caractérisé par une $r\tiret$liste de la forme :
$\displaystyle{}(\beta_1,\dots,\beta_r)\app\,[\![0,\alpha_1]\!]\!\times\!\cdots\!\times\sp{-1.5}[\![0,\alpha_r]\!]$
L'ensemble des diviseurs de $\,n\,$ dans $\bb N$ est donc fini avec pour
Un produit $\,E_1\times\cdots\times E_p\,$ d'ensembles finis $\,E_1,\dots,E_p\,$ est fini, avec :
cardinal
celui de ce produit cartésien :
$\displaystyle{}\op{card}(E_1\times\cdots\times E_p)=\op{card}(E_1)\times\cdots\times\op{card}(E_p)$
$\,\op{card}(E^p)=\op{card}(E)^p\,$ est aussi le nombre d'applications d'un ensemble de cardinal $p$ vers $E\sp{1.5}.$
$\eqalign{\op{card}\big(\sc D_n\big)&=\op{card}\big([\![0,\alpha_1]\!]\times\cdots\times[\![0,\alpha_r]\!]\big)\\[-1ex]
&=\prod_{i=1}^r\op{card}\big([\![0,\alpha_i]\!]\big)=\prod_{i=1}^r(1+\alpha_i)}$
On désigne par $\sc P$ l'ensemble infini des nombres
Un nombre premier est un entier naturel $\,p\neq1\sp{1.5},\,$ ayant pour seuls diviseurs positifs $\,1\,$ et $\,p\sp{1.5}.\,$
L'ensemble des nombres premiers est un ensemble infini.
premiers :
$\,\sc P=\big\{\,2\sp{1.5},\,3\sp{1.5},\,5\sp{1.5},\,7\sp{1.5},\,11\sp{1.5},\ \dots\ \big\}\!\cdot\,$
Soit, pour $\,m\geq2\sp{1.5},\,$ l'ensemble des entiers naturels $\,n\,$ ayant $\,m\,$ diviseurs dans $\bb N:$ $\displaystyle{}\Omega_m=\ens{n\app\bb N}{\op{card}(\sc D_n)=m}$
Lorsque $\,m\,$ est un nombre
Un nombre premier est un entier naturel $\,p\neq1\sp{1.5},\,$ ayant pour seuls diviseurs positifs $\,1\,$ et $\,p\sp{1.5}.\,$
L'ensemble des nombres premiers est un ensemble infini.
premier,
il ne peut pas être le produit de plusieurs $\,1\sp{-1.5}+\sp{-1.5}\alpha_i\geq2\sp{1.5}.\,$
Il s'ensuit que, dans ce cas, on a : $\,r=1\,$ et $\,m=1+\alpha_1\sp{1.5},\,$ avec : $\,n=p_1^{\alpha_1}\,;\,$ en particulier :
- si $\,m=2,\,$ $\,n\,$ est un nombre premier : $\,n=p\sp{1.5}\app\sc P\,;\,$
- si $\,m=3,\,$ $\,n\,$ est le carré d'un nombre premier : $\,n=p^2,\,$ avec $\,p\app\sc P\sp{1.5}.\,$
- pour $p\app\sc P,$ on a par définition d'un nombre premier : $\,\sc D_{p}=\{1,\,p\}\sp{1.5},\,$ d'où : $\,\op{card}(\sc D_p)=2\,;\,$
- pour $\,n=p^2\,$ avec $p\app\sc P,$ on a par ailleurs : $\,\sc D_{p^2}=\{1,\,p,\,p^2\}\sp{1.5},\,$ d'où : $\,\op{card}\big(\sc D_{p^2}\sp{-1.5}\big)=3\,.\,$
$\displaystyle{}\Omega_4=\ens{p^{3}}{p\app\sc P}\cup\ens{p\sp{1.5}q}{(p,q)\app\sc P^2\!\!\txt{et}p\neq q}$
Signaler une erreur
Signaler une erreur
Exercice b
Soit, pour un ensemble $\,\Omega\,$ fixé, l'ensemble $\sc C$ des couples $\,(A,B)\app\big(\sc P(\Omega)\sp{-1.5}\big)^{\!2}\!,\,$ tels que $\,B\varsubsetneq A\,$ et $\,B\neq\vide\sp{1.5}.\,$
Lorsque $\,\Omega\,$ est fini et de cardinal $\,n\geq1\sp{1.5},\,$ montrer que $\sc C$ est fini, et déterminer son cardinal en fonction de $\,n\sp{1.5}.\,$
ensembles finis
Un ensemble $E$ est fini ssi il existe $n\app\bb N$ et une bijection :
$\displaystyle{}[\![1,n]\!]\tot E\sp{1.5},\ \,i\mapsto x_i$
Cet entier $\,n\sp{1.5},\,$ unique, s'appelle le cardinal de $E:$ $\,\op{card}(E) =n\sp{1.5}.\,$
- L'ensemble vide est fini, avec : $\,\op{card}(\vide) =0\,;\,$
- les ensembles non finis sont les ensembles infinis.
cardinal d'une réunion
Toute réunion d'un nombre fini d'ensembles finis est finie.
Si ces ensembles $\,E_1,\dots,E_p\,$ sont deux à deux disjoints, on a alors :
$\displaystyle{}\op{card}\Big(\Op{\bigcup}_{k=1}^pE_k\Big)=\sum_{k=1}^p\op{card}(E_k)$
cardinal d'un produit
Un produit $\,E_1\times\cdots\times E_p\,$ d'ensembles finis $\,E_1,\dots,E_p\,$ est fini, avec :
$\displaystyle{}\op{card}(E_1\times\cdots\times E_p)=\op{card}(E_1)\times\cdots\times\op{card}(E_p)$
$\,\op{card}(E^p)=\op{card}(E)^p\,$ est aussi le nombre d'applications d'un ensemble de cardinal $p$ vers $E\sp{1.5}.$
nombre de combinaisons
Une $p\tiret$combinaison d'un ensemble $E$ est une partie de $E$ à $\,p\,$ éléments.
Si $E$ est de cardinal $n\sp{1.5},$ leur ensemble $\sc P_p(E)$ est fini avec :
$\displaystyle{}\op{card}(\sc P_p(E))=\smh{1.5}{\binome{\,n\,\\p}}$
indication
1
Considérer $\,A\subset\Omega\,$ fixé, de cardinal $\,p\geq1\sp{1.5},\,$ et déterminer alors le nombre de couples $\,(A,B)\app \sc C\,$ correspondants.
indication
2
Utiliser la formule du binôme pour simplifier la somme obtenue.
réponse
Cet ensemble $\sc C$ est bien fini avec : $\,\op{card}(\sc C)=3^n-2^{n+1}+1\sp{1.5}.\,$
correction
Pour toute partie $\,A\,$ de $\,\Omega,\,$ on considère l'ensemble $\,\sc C_{A}\,$ ainsi défini :
$\displaystyle{}\sc C_{A}=\ens{(A,B)\app\big(\sc P(\Omega)\big)^2}{B\varsubsetneq A\txt{et}B\neq\vide}$
Si l'ensemble $\,A\,$ est vide, il ne contient aucune partie stricte $B\sp{1.5},$ et on a alors : $\,\sc C_\vide=\vide\,.\,$
Sinon, avec $\,\op{card}(A)=p\geq1,\,$ l'ensemble $\sc P(A)$ des parties de $A$ est fini, et de
L'ensemble $\sc P(E)$ des parties d'un ensemble $E$ fini de cardinal $\,n\,$ est fini, avec :
cardinal :
$\,2^{\sp{1.5}p}\sp{1.5}.\,$
Il s'ensuit que l'ensemble
$\,\sc P(A)\!\sp{-1.5}\setminus\!\sp{-1.5}\{A,\vide\}\,$ de ses parties propres $B$ est alors fini, et de
$\displaystyle{}\op{card}\big(\sc P(E)\big)=2^n$
Si $\,A\,$ est une partie d'un ensemble $\,E\,$ de cardinal $\,n\sp{1.5},\,$ alors :
cardinal :
$\displaystyle{}\op{card}(E\!\setminus\!\sp{-1.5}A)=n-\op{card}(A)$
$\displaystyle{}\op{card}\big(\sc P(A)\!\sp{-1.5}\setminus\!\{A,\vide\}\big)=2^p-2$
Pour $\,A\neq\vide\,$ fixé, chaque élément $\,(A,B)\,$ de $\,\sc C_A\,$ est caractérisé par $B\sp{1.5};$ on a donc :
$\,\op{card}(\sc C_A)=2^p-2\sp{1.5}.\,$
$\,\sc C\,$ est la
Soit $(A_i)_{i\app I}$ une famille de parties d'un ensemble $E\,;$ la réunion des $A_i$ est l'ensemble des éléments de $E$ appartenant à l'un des $A_i:$
réunion
des $\,\sc C_A\,$ pour $A\app\sc P(\Omega)$ et cette union est disjointe, car pour tous $\,(A_1,B_1),(A_2,B_2)\app \sc C:\,$
$\displaystyle{}\bigcup_{i\app I}A_i=\ens{x\app E}{\iex i\app I,\ x\app A_i}$
$\displaystyle{}A_1\neq A_2\Imp (A_1,B_1)\neq(A_2,B_2)$
Les $\,\sc C_A\,$ forment donc une
Une partition d'un ensemble $E$ est un ensemble $\sc U$ de parties de $\,E:\,$
partition
de $\,\sc C,\,$ et cette réunion disjointe est donc finie, et de
- non vides : $\,\ptt A\app\sc U,\ A\neq\vide\sp{1.5},\,$
- deux à deux disjointes : $\,\ptt A,B\app\sc U\sp{1.5},\ (A\neq B\Imp A\cap B=\vide)\sp{1.5},\,$
- et recouvrant $\,E:\,$ $\,\smh0{\Op{\Large\cup}_{A\app \sc U}}A=E\sp{1.5}.\,$
Toute réunion d'un nombre fini d'ensembles finis est finie.
Si ces ensembles $\,E_1,\dots,E_p\,$ sont deux à deux disjoints, on a alors :
cardinal :
$\displaystyle{}\op{card}\Big(\Op{\bigcup}_{k=1}^pE_k\Big)=\sum_{k=1}^p\op{card}(E_k)$
$\displaystyle{}\op{card}(\sc C)=\op{card}\bigg(\union_{A\app\sc P(\Omega)}\!\!\sc C_A\!\bigg)=
\sum_{A\app\sc P(\Omega)\stb{2}}\!\!\op{card}(\sc C_A)$
En notant $\,\sc P_p(\Omega)\,$ l'ensemble des parties de $\,\Omega\,$ à $\,p\,$ éléments, et étant donné que $\,\sc C_{\vide}=\vide\sp{1.5},\,$ on obtient :
$\eqalign{\op{card}(\sc C)&=\sum_{p=1}^n\bigg(\sum_{A\app\sc P_p(\Omega)}\!\!\big(2^p-2\big)\bigg)\\[-1ex]
&=\sum_{p=1}^n\op{card}\big(\sc P_p(\Omega)\big)\big(2^p-2\big)}$
Connaissant l'expression du
Une $p\tiret$combinaison d'un ensemble $E$ est une partie de $E$ à $\,p\,$ éléments.
Si $E$ est de cardinal $n\sp{1.5},$ leur ensemble $\sc P_p(E)$ est fini avec :
cardinal
de $\,\sc P_p(\Omega)\sp{1.5},\,$ on obtient finalement par la formule du
$\displaystyle{}\op{card}(\sc P_p(E))=\smh{1.5}{\binome{\,n\,\\p}}$
Pour $\,a,b\app\bb C\,$ et $\,n\app\bb N\sp{1.5},\,$ on a la formule :
binôme :
$\displaystyle{}(a+b)^n={\dsum_{k=0}^{n}\binome{n\\\,k\,}}\sp{1.5}a^k\,b^{n-k}$
$\eqalign{\op{card}(\sc C) &= \sum_{p=0}^n\binom{n}{p}\big(2^p-2\big)-\binom{n}{0}\big(2^0-2\big)\\
&= \sum_{p=0}^n\binom{n}{p}2^p-2\sum_{p=0}^n\binom{n}{p}1^p+1\\
&=3^n-2^{n+1}+1}$
Signaler une erreur
Signaler une erreur
Exercice c
Soit un ensemble $\,\Omega\,$ fini de cardinal $\,n\geq1\sp{1.5},\,$ et l'ensemble $\sc L$ des listes de $(n+1)$ éléments $\,x\,$ de $\,\Omega\,$ qui recouvrent $\,\Omega:\,$
$\displaystyle{}x=(x_1,\dots,x_{n+1})\app\Omega^{n+1},\txt{avec}\big\{x_1,\dots,x_{n+1}\big\}=\Omega$
Montrer que cet ensemble $\sc L$ est fini, et déterminer son cardinal en fonction de $\,n\sp{1.5}.\,$
ensembles finis
Un ensemble $E$ est fini ssi il existe $n\app\bb N$ et une bijection :
$\displaystyle{}[\![1,n]\!]\tot E\sp{1.5},\ \,i\mapsto x_i$
Cet entier $\,n\sp{1.5},\,$ unique, s'appelle le cardinal de $E:$ $\,\op{card}(E) =n\sp{1.5}.\,$
- L'ensemble vide est fini, avec : $\,\op{card}(\vide) =0\,;\,$
- les ensembles non finis sont les ensembles infinis.
cardinal d'une réunion
Toute réunion d'un nombre fini d'ensembles finis est finie.
Si ces ensembles $\,E_1,\dots,E_p\,$ sont deux à deux disjoints, on a alors :
$\displaystyle{}\op{card}\Big(\Op{\bigcup}_{k=1}^pE_k\Big)=\sum_{k=1}^p\op{card}(E_k)$
cardinal d'un produit
Un produit $\,E_1\times\cdots\times E_p\,$ d'ensembles finis $\,E_1,\dots,E_p\,$ est fini, avec :
$\displaystyle{}\op{card}(E_1\times\cdots\times E_p)=\op{card}(E_1)\times\cdots\times\op{card}(E_p)$
$\,\op{card}(E^p)=\op{card}(E)^p\,$ est aussi le nombre d'applications d'un ensemble de cardinal $p$ vers $E\sp{1.5}.$
nombre de combinaisons
Une $p\tiret$combinaison d'un ensemble $E$ est une partie de $E$ à $\,p\,$ éléments.
Si $E$ est de cardinal $n\sp{1.5},$ leur ensemble $\sc P_p(E)$ est fini avec :
$\displaystyle{}\op{card}(\sc P_p(E))=\smh{1.5}{\binome{\,n\,\\p}}$
indication
1
Remarquer que pour toute $\,x=(x_1,\dots,x_{n+1})\app\sc L\sp{1.5},\,$ il existe un et un seul élément $\,a\,$ de $\,\Omega\,$ figurant deux fois dans cette liste.
indication
2
Tout liste $\,x\app\sc L\,$ où l'élément $\,a\app\Omega\,$ figure deux fois est caractérisée par la donnée conjointe :
- des deux places de l'élément $\,a\,$ dans cette liste,
- et de la liste extraite de $\,x\,$ par suppression de $\,a\sp{1.5}.\,$
réponse
Cet ensemble $\sc L$ est bien fini et : $\,\op{card}(\sc L)=\dfrac{n\sp{1.5}(n+1)\sp{1.5}!}2\!\cdot\,$
correction
L'ensemble $\Omega$ étant fini, l'ensemble $\sc L$ est lui aussi
Si $\,E\,$ est un ensemble fini, avec $F\subset E\sp{1.5},$ alors $\,F\,$ est fini et :
fini
car c'est une partie du
$\displaystyle{}\op{card}(F)\leq \op{card}(E)$
On a de plus : $\,\syst{\,F=\vide&\Ssi \op{card}(F)=0\,;\\[-.5ex]F=E&\Ssi \op{card}(F)= \op{card}(E)\sp{1.5}.}\,$
Un produit $\,E_1\times\cdots\times E_p\,$ d'ensembles finis $\,E_1,\dots,E_p\,$ est fini, avec :
produit
cartésien $\,\Omega^{n+1}.\,$
Tout élément $\,x=(x_1,\dots,x_{n+1})\,$ appartenant à $\sc L,$ contient en double un unique élément que l'on notera $\,a_x\sp{1.5}.\,$
$\displaystyle{}\op{card}(E_1\times\cdots\times E_p)=\op{card}(E_1)\times\cdots\times\op{card}(E_p)$
$\,\op{card}(E^p)=\op{card}(E)^p\,$ est aussi le nombre d'applications d'un ensemble de cardinal $p$ vers $E\sp{1.5}.$
On peut formaliser cet argument en considérant, pour tout $a\app\Omega\sp{1.5},$ l'ensemble :
$\,I_a=\ens{i\app\,[\![\sp{1.5}1,n+1\sp{.75}]\!]}{x_i=a}\!\cdot\,$
Ces $\,I_a\,$ sont deux à deux disjoints, non vides et de réunion $\,[\![\sp{1.5}1,n+1\sp{.75}]\!]\sp{1.5},\,$ et ils ont donc chacun un
Si on note $\,\sc L_a\,$ l'ensemble des éléments de $\,\sc L\,$ où un $\,a\app\Omega\,$ donné figure deux fois, alors :
Toute réunion d'un nombre fini d'ensembles finis est finie.
Si ces ensembles $\,E_1,\dots,E_p\,$ sont deux à deux disjoints, on a alors :
cardinal
tel que :
$\displaystyle{}\op{card}\Big(\Op{\bigcup}_{k=1}^pE_k\Big)=\sum_{k=1}^p\op{card}(E_k)$
$\displaystyle{}\big(\ptt a\app\Omega,\ \op{card}(I_a)\geq1\big)\txt{et}\smb{1.75}{\sum_{a\app\Omega}\op{card}(I_a)}=n+1$
Cela nous prouve que tous les ensembles $I_a$ sont des singletons, sauf un seul qui est de cardinal $\,2\,.\,$- $\,\sc L\,$ est la
Soit $(A_i)_{i\app I}$ une famille de parties d'un ensemble $E\,;$ la réunion des $A_i$ est l'ensemble des éléments de $E$ appartenant à l'un des $A_i:$réunion des $\,\sc L_a,\,$ compte tenu de l'existence d'un $a_x$ en double dans tout $\,x\app \sc L\,;\,$$\displaystyle{}\bigcup_{i\app I}A_i=\ens{x\app E}{\iex i\app I,\ x\app A_i}$
- les $\,\sc L_a\,$ sont deux à deux disjoints car, pour tout $\,x\app \sc L,\,$ cet élément $a_x$ est unique.
Une partition d'un ensemble $E$ est un ensemble $\sc U$ de parties de $\,E:\,$
partition
de $\,\sc L,\,$ et cette réunion disjointe a pour
- non vides : $\,\ptt A\app\sc U,\ A\neq\vide\sp{1.5},\,$
- deux à deux disjointes : $\,\ptt A,B\app\sc U\sp{1.5},\ (A\neq B\Imp A\cap B=\vide)\sp{1.5},\,$
- et recouvrant $\,E:\,$ $\,\smh0{\Op{\Large\cup}_{A\app \sc U}}A=E\sp{1.5}.\,$
Toute réunion d'un nombre fini d'ensembles finis est finie.
Si ces ensembles $\,E_1,\dots,E_p\,$ sont deux à deux disjoints, on a alors :
cardinal :
$\displaystyle{}\op{card}\Big(\Op{\bigcup}_{k=1}^pE_k\Big)=\sum_{k=1}^p\op{card}(E_k)$
$\displaystyle{}\op{card}(\sc L)=\op{card}\bigg(\union_{a\app\Omega}\sc L_a\!\bigg)=
\sum_{a\app\Omega}\op{card}(\sc L_a)$
Soit un élément $\,a\app\Omega\,$ fixé ; tout élément $\,x\,$ de $\,\sc L_a\,$ est alors caractérisé par la donné conjointe de :- la paire $\,\{i_1,i_2\}\,$ des places de $\,a\,$ dans la liste $\,x,\,$
- et la liste $\,x'\app\sp{1.5}\Omega^{n-1}\!\,$ extraite de $\,x\,$ par suppression de $\,a\sp{1.5}.\,$
Le produit cartésien $\,E_1\!\times\!\cdots\!\times\! E_p\,$ de $p$ ensembles $\,E_1,\dots,E_p\,$ est :
produit
cartésien $\,\sc P_2([\![\sp{1.5}1,n+1\sp{.75}]\!])\!\times\!\sc A_{n-1}(\Omega\!\setminus\!\sp{-1.5}\{a\})\sp{1.5},\,$ où : $\displaystyle{}E_1\!\times\!\cdots\!\times\!E_p=\ens{(x_1,\dots,x_p)}{x_1\app E_1,\dots,x_p\app E_p}$
- $\,\sc P_2([\![\sp{1.5}1,n+1\sp{.75}]\!])\,$ désigne l'ensemble des
Une $p\tiret$combinaison d'un ensemble $E$ est une partie de $E$ à $\,p\,$ éléments. Si $E$ est de cardinal $n\sp{1.5},$ leur ensemble $\sc P_p(E)$ est fini avec :paires d'éléments de $\,[\![\sp{1.5}1,n+1\sp{.75}]\!]\sp{1.5};\,$$\displaystyle{}\op{card}(\sc P_p(E))=\smh{1.5}{\binome{\,n\,\\p}}$
- $\,\sc A_{n-1}(\Omega\!\setminus\!\sp{-1.5}\{a\})\,$ désigne l'ensemble des $(n-1)\tiret$
Un $p\tiret$arrangement d'un ensemble $E$ est une liste de $\,p\,$ éléments distincts de $E\sp{1.5}.$ Si $E$ est de cardinal $n\sp{1.5},$ leur ensemble $\sc A_p(E)$ est fini avec :listes d'éléments de $\Omega\!\setminus\!\sp{-1.5}\{a\}$ deux à deux distincts.$\displaystyle{}\op{card}\big(\sc A_p(E)\big)=n(n-1)\dots(n-p+1)=\dfrac{n!}{(n-p)!}$C'est le nombre de $f\sp{-1.5}:\sp{-1.5}F\to E\,$ injectives lorsque $\op{card}(F)\!=\!p\sp{1.5}.$
Tout ensemble $E'$ en bijection avec un ensemble fini $E$ est fini, et :
cardinal
que ce
$\displaystyle{}\op{card}(E)=\op{card}(E')$
Un produit $\,E_1\times\cdots\times E_p\,$ d'ensembles finis $\,E_1,\dots,E_p\,$ est fini, avec :
produit
cartésien, c'est-à-dire :
$\displaystyle{}\op{card}(E_1\times\cdots\times E_p)=\op{card}(E_1)\times\cdots\times\op{card}(E_p)$
$\,\op{card}(E^p)=\op{card}(E)^p\,$ est aussi le nombre d'applications d'un ensemble de cardinal $p$ vers $E\sp{1.5}.$
$\eqalign{\op{card}(\sc L_a)&=\binom{n+1}{2}\,(n-1)\sp{1.5}!\\&=\frac{(n+1)\sp{1.5}n}2\,(n-1)\sp{1.5}!=\frac{(n+1)\sp{1.5}!}2}$
On en déduit finalement le nombre des éléments de l'ensemble $\,\sc L:\,$
$\displaystyle{}\op{card}(\sc L)=\dsum_{a\app\Omega}\frac{(n+1)!}2=\frac{n\sp{1.5}(n+1)\sp{1.5}!}2$
Chaque élément $\,x=(x_1,\dots,x_{n+1})\,$ de $\,\Omega^{n+1}\,$ est associé bijectivement à une application $\,i\mapsto x_i\sp{1.5}.\,$
Ce cardinal de $\,\sc L\,$ est donc aussi le nombre d'applications surjectives de l'ensemble $\,[\![\sp{1.5}1,n+1\sp{.75}]\!]\,$ vers l'ensemble $\,\Omega\sp{1.5}.\,$