Principe multiplicatif : nombre d’éléments d’un produit cartésien
1. Ensemble produit cartésien
Définition 1.
Soient $E$ et $F$ deux ensembles non vides.
Le produit cartésien des deux ensembles $E$ et $F$, noté $E\times F$ (lire « $E$ croix $F$») est l’ensemble de tous les couples $(x;y)$ avec $x\in E$ et $y\in F$.
$$(x;y)\in E\times F\Leftrightarrow [x\in E\text{ et }y\in F]$$
Cas particulier très important
Si $E=F$, le produit cartésien $E\times E$ se note $E^2$ et se lit « $E$ au carré », ou encore « $E$ puissance $2$ ». On dit également « $E$ deux » par abus de langage.
On peut généraliser cette définition à $k$ ensembles $E_k$ non vides, $n\geqslant2$.
Définition 2.
Soit $k$ un entier naturel, $k\geqslant2$. Soient $E_1$, $E_2$,$\ldots$, $E_k$, $k$ ensembles non vides.
Le produit cartésien des $k$ ensembles $E_1$, $E_2$,$\ldots$, $E_k$, noté $E_1\times E_2\times\cdots \times E_k$ est l’ensemble de toutes les listes ordonnées $(x_1;x_2;\ldots;x_k)$ avec $x_i\in E_i$ pour tout $i$ allant de $1$ à $k$.
Ces listes ordonnées de $k$ élément s’appellent des $k$-listes ou $k$-uplets.
En particulier, les $2$-listes sont des couples, les $3$-listes des triplets et les $4$-listes des quadruplets.
Cas particulier très important
Si tous les ensembles $E_i$ sont égaux à $E$, le produit cartésien $\underbrace{E\times E\times\ldots\times E}_{k\textrm{ facteurs}}$ se note $E^k$ et se lit « $E$ puissance $k$ ». On dit également « $E$ $k$ » par abus de langage.
Remarque
1°) Dans $E^k$, l’ordre des éléments dans une liste est très important. Si on change l’ordre en gardant les mêmes éléments, on obtient une nouvelle liste différente.
Exemples
Soient $E$, $F$ et $G$ les trois ensembles : $E=\{a;b\}$, $F=\{1;2;3\}$ et $G=\{\alpha;\beta\}$.
$\bullet$ Par un arbre de dénombrement

Par conséquent :
$$\color{brown}{
\begin{array}{l}
E\times F\times G= \{(a;1;\alpha); (a;1;\beta); (a;2;\alpha);\\
\phantom{E\times F\times G=}\quad (a;2;\beta);(a;3;\alpha);(a;3;\beta);\\
\phantom{E\times F\times G=}\quad (b;1;\alpha); (b;1;\beta); (b;2;\alpha);\\
\phantom{E\times F\times G=}\quad (b;2;\beta);(b;3;\alpha);(b;3;\beta);\}\\
\end{array}
}$$
2. Principe multiplicatif : nombre d’éléments d’un produit cartésien
Propriété.
Soit $k$ un entier naturel, $k\geqslant2$. Soient $E_1$, $E_2$,$\ldots$, $E_k$, $k$ ensembles non vides. Le nombre d’élément dans le produit cartésien des $k$ ensembles $E_1$, $E_2$,$\ldots$, est égal au produit des cardinaux de tous les ensembles $E_i$ pour $i$ allant de $1$ à $k$.
$$\begin{array}{c}
\text{Card}(E_1\times E_2\times\cdots \times E_k)=\\
\text{Card}(E_1)\times\text{Card}(E_2)\times\cdots\times\text{Card}(E_k)\\
\end{array}$$
Cas particulier important
Si tous les ensembles $E_i$ sont égaux à $E$, alors le nombre d’éléments de $E^k$ est :
$$\text{Card}(E^k)=\left[\text{Card}(E)\right]^k$$
3. Exercices résolus
Exercice résolu n°1.
Soient $E$ et $F$ les deux ensembles : $E=\{a;b\}$ et $F=\{1;2;3\}$.
1°) Déterminer le nombre d’éléments dans le produit cartésien $E^3$ puis de $F^2$.
2°) Déterminer l’ensemble des éléments des produits cartésiens $E^3$ et de $F^2$, par la méthode de votre choix.
Exercice résolu n°2.
Vues : 3392