suivant : 4.1.4 -uplets remonter : 4.1 Rappels de théorie précédent : Exercice 5

4.1.3 Cardinal

Un ensemble est infini s'il contient un nombre infini d'éléments, sinon, on dit qu'il est fini.

Définition 4.1.7   Le cardinal d'un ensemble fini $E$, noté $\vert E\vert$ est le nombre d'éléments qu'il contient.

Par exemple, $\vert\emptyset\vert = 0$, $\vert\{1, 2, 4\}\vert = 3$, $\vert\{\{1, 2\}, \{4, 6\}\}\vert = 2$, $\vert\{\emptyset\}\vert = 1$. Seul l'ensemble vide est de cardinal $0$, un ensemble de cardinal $1$ est appelé un singleton, un ensemble de cardinal $2$ est appelé une paire.

Propriété 4.1.1   Le cardinal d'un ensemble a les propriétés suivantes :

• $\vert A \cap B\vert \leq \vert A\vert$ et $\vert A \cap B\vert \leq \vert B\vert$
• $\vert A \cup B\vert \geq \vert A\vert$ et $\vert A \cup B\vert \geq \vert B\vert$
• $A \setminus B \leq \vert A\vert$
• $\vert A \cup B\vert + \vert A \cap B\vert = \vert A\vert + \vert B\vert$, d'où $\vert A \cup B\vert \leq \vert A\vert + \vert B\vert$
• Si $A \cap B = \emptyset$, $\vert A \cup B\vert = \vert A\vert + \vert B\vert$