$$\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

Lemme des bergers

Théorème (lemme des bergers) : Soient $X$, $Y$ deux ensembles finis, et $f:X\to Y$ une application surjective telle que tout élément de $Y$ a exactement $n$ antécédents dans $X$. Alors on a : $\textrm{card}(X)=n\times\textrm{card}(Y)$.

Démonstration : Expliquons. On considère un troupeau de moutons (non transgéniques...), on pose $Y$={moutons}, $X$={pattes des moutons}, et on considère $f:X\to Y$ l'application qui à une patte associe son propriétaire. C'est bien une application surjective, et chaque mouton a 4 pattes, autrement dit chaque élément de $Y$ a 4 antécédents par $f$. On a : $\textrm{card}(X)=4\times \textrm{card}(Y)$. Pour connaître le nombre de pattes, il suffit de connaître le nombre de moutons. La démonstration générale copie ce raisonnement, en le mathématisant par l'introduction d'une relation d'équivalence.

Recherche alphabétique
Recherche thématique