$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th
Lien copié  ✅

Formulaire de Mathématiques : Cardinal d'un ensemble fini


Définition

Le cardinal d'un ensemble fini $E$ désigne le nombre d'éléments de $E.$

Ex : $E=\{1,2,5,10\},$ $\card(E)=4.$

Propriétés

Soient $A$ et $B$ deux parties d'un ensemble fini $E.$ Alors :

  1. $\card(A\backslash B)=\card(A)-\card(A\cap B).$
  2. $\card(\overline A)=\card(E)-\card(A),$ où $\bar A$ désigne le complémentaire de $A.$
  3. $\card(A\cup B)=\card(A)+\card(B)-\card(A\cap B).$
Formule du crible de Poincaré

Si $A_1,\dots,A_n$ est une famille de parties de l'ensemble fini $E,$ alors : \begin{align*} \operatorname{card}\left(\bigcup_{i=1}^n A_i\right) &= \sum_{i=1}^n \operatorname{card}(A_i)- \sum_{1 \leq i_1 < i_2 \leq n} \operatorname{card}(A_{i_1} \cap A_{i_2})\\ &\quad\quad + \sum_{1 \leq i_1 < i_2 < i_3 \leq n} \operatorname{card}(A_{i_1} \cap A_{i_2} \cap A_{i_3}) + \cdots\\ &\quad\quad + (-1)^{k+1} \sum_{1 \leq i_1 < i_2 < \cdots < i_k \leq n} \operatorname{card}(A_{i_1} \cap A_{i_2} \cap \cdots \cap A_{i_k})\\ &\quad\quad + \cdots + (-1)^{n+1} \operatorname{card}(A_1 \cap A_2 \cap \cdots \cap A_n). \end{align*} En particulier, si $A_1,\dots,A_n$ est une partition de $E,$ on a : $$\operatorname{card}(E)=\sum_{i=1}^n \operatorname{card}(E_i).$$

Produit cartésien

Soient E et F deux ensembles finis. Alors :

  1. $\operatorname{card}(E\times F)=\operatorname{card}(E)\times \operatorname{card}(F).$
  2. Pour $k\geq 1,$ $\operatorname{card}(E^k)=\big(\operatorname{card}(E))^k.$
Ensemble des parties

Si $E$ est un ensemble, on note $\mathcal P(E)$ l'ensemble des parties de $E.$ Alors, $$\operatorname{card}(\mathcal P(E))=2^{\operatorname{card}(E)}.$$

Applications de $E$ dans $F$

Soit $E$ et $F$ deux ensembles. On note $E^F$ l'ensemble des applications de $F$ dans $E.$ Alors : $$\operatorname{card}(E^F)=\left(\operatorname{card}(E)\right)^{\operatorname{card}(F)}.$$

Injections de $E$ dans $F$

Le nombre d'injections de $F$ à $p$ éléments dans $E$ à $n$ éléments vaut : $$A_{n}^p=\frac{n!}{(n-p)!}.$$

Surjections de $E$ dans $F$

Le nombre de surjections de $F$ à $p$ éléments dans $E$ à $n$ éléments vaut : $$S_{n,p}=\sum_{k=0}^n (-1)^k \binom nk (n-k)^p.$$