Principes additifs et multiplicatifs

Signaler

I. Réunion d'ensembles ou le principe additif

Si un ensemble EE est la réunion de plusieurs sous-ensembles deux à deux disjoints, alors le nombre d’éléments de EE est la somme des nombres d’éléments de chacun de ces sous-ensembles.

Formellement, si
E=A1A2Am E = A_1 \cup A_2 \cup \cdots \cup A_m et si AiAj= A_i \cap A_j = \varnothing pour tout ij i \neq j , alors :
card(E)=card(A1)+card(A2)++card(Am) \mathrm{card}(E) = \mathrm{card}(A_1) + \mathrm{card}(A_2) + \cdots + \mathrm{card}(A_m) .

Exemple :

Si EE se décompose en 3 sous-ensembles disjoints AA, BB et CC, on a :
card(E)=card(A)+card(B)+card(C) \mathrm{card}(E) = \mathrm{card}(A) + \mathrm{card}(B) + \mathrm{card}(C) .

picture-in-text

Exemple :

Soit un ensemble EE partitionné en 5 sous-ensembles disjoints E1,E2,E3,E4,E5E_1, E_2, E_3, E_4, E_5 contenant respectivement 2, 10, 4, 3 et 6 éléments. On a :
card(E)=2+10+4+3+6=25 \mathrm{card}(E) = 2 + 10 + 4 + 3 + 6 = 25 .

Corollaire : Soient AA une partie d’un ensemble fini EE et A\overline A le complémentaire de AA dans EE.

picture-in-text

On a : Card(E)=Card(A)+Card(A)\text{Card}(E) = \text{Card}(A) + \text{Card}(\overline A).

II. Produit cartésien ou le principe multiplicatif

Définition :
Soient AA et BB deux ensembles non vides. Le produit cartésien de AA et BB est l’ensemble noté A×BA \times B (se lit « croix AA BB »), constitué des couples (a,b)(a, b)aa est un élément de AA et bb un élément de BB. Plus formellement : A×B={(a,b)aA et bB}A \times B = \{(a, b) \mid a \in A \text{ et } b \in B\}.

Exemple :
Soient A={x,y}A = \{x, y\} et B={1,2,3}B = \{1, 2, 3\}. Alors :
A×B={(x,1),(x,2),(x,3),(y,1),(y,2),(y,3)}A \times B = \{(x, 1), (x, 2), (x, 3), (y, 1), (y, 2), (y, 3)\}.

Propriété :
Soient AA et BB deux ensembles finis. Alors : Card(A×B)=Card(A)×Card(B)\text{Card}(A \times B) = \text{Card}(A) \times \text{Card}(B).

Plus généralement, pour des ensembles finis A1,A2,,AkA_1, A_2, \ldots, A_k,
card(A1×A2××Ak)=card(A1)×card(A2)××card(Ak) \mathrm{card}(A_1 \times A_2 \times \cdots \times A_k) = \mathrm{card}(A_1) \times \mathrm{card}(A_2) \times \cdots \times \mathrm{card}(A_k) .