Ne pas confondre avec la notion dedénombrement comme recensement de la population en France sous l'Ancien Régime.
Enmathématiques, ledénombrement est la détermination dunombre d'éléments d'unensemble. Il s'obtient en général par un comptage ou par un calcul de soncardinal à l'aide de techniquescombinatoires.
Face à une collection d'au plus quatre objets, l'être humain, avant même l'acquisition du langage, et certains animaux[1] semblent avoir une notion immédiate de la quantité présentée sans énumération. Ce phénomène est appelésubitisation[2].
Il peut être étendu au-delà de quatre dans certaines configurations, comme les points sur les faces d'undé[réf. nécessaire]. Lesnombres figurés peuvent être ainsi plus facilement repérables.
Les premières évaluations de quantités n'ont pas nécessairement été exprimées à l'aide d'un nombre ou d'une notationchiffrée. Or, de telles évaluations ont pu être utiles pour suivre l'évolution d'untroupeau, d'une production manufacturée, des récoltes ou d'une population humaine, notamment dans les corps d'armée. En l'absence de système de numération, il est possible de représenter chaque élément d'une collection, par exemple, à l'aide d'une encoche sur un morceau de bois ou un os. Un autre exemple est visible dans le filmIvan le Terrible deSergueï Eisenstein, où avant un combat, les soldats jettent chacun à leur tour une pièce dans un sac.
L'évaluation d'une quantité d'objets à l'aide d'un terme particulier nécessite l'établissement d'une liste de termes qui puisse être apprise et transmise. Certains peuplesocéaniens parcourent ainsi une vingtaine de parties du corps selon un ordre fixe (mais dépendant de la localisation du peuple)[3]. Chaque langue a développé un système de désignation des premiers nombres entiers, éventuellement lié à unsystème de numération particulier.
Le dénombrement consiste alors à parcourir simultanément lachaine numérique et la collection d'objets de façon que chaque objet ne soit considéré qu'une seule fois. La compréhension de cette technique de dénombrement est décomposée en cinq principes[4] :
Pour des grandes quantités ou pour des ensembles abstraits et en particulier pour desensembles mathématiques, le dénombrement se fait à l'aide d'opérationsarithmétiques ou de considérationscombinatoires.
Dans cette section, siA est unensemble fini, on note (« cardinal deA ») le nombre de ses éléments. Par exemple,.
Théorème 1 — Soit une partie d'un ensemble fini.
Alors A est elle-même finie et ≤.
Si en outre, alors.
Caractérisation des applications injectives — Soit un ensemble fini, un ensemble et une application de dans.
On a :
Pour démontrer le point 1, on peut s'intéresser à l'ensemble des éléments de qui ont une image par. Si on le note, alors l'application induite par de dans est une bijection. Comme est un sous-ensemble de, il est fini et ≤.
Le point 2 vient du fait que lorsque est injective, tous les éléments de ont un antécédent unique, donc l'application induite de dans est une bijection. Donc. Réciproquement si, alors puis il vient que.
Corollaire — Soit une application injective d'un ensemble dans un ensemble.
si est fini, alors est fini et.
Ce corollaire n'est en fait que l'application de la caractérisation des applications injectives dans le cas particulier où l'ensemble d'arrivée de est.
Théorème — Soit E et F deux ensembles finis tels que. Si est une application de dans on a :
est injective est surjective est bijective.
Cardinal de l'union de deux ensembles finis disjoints — Soient et deux ensembles finis disjoints avec et.
Alors on a.
En effet soient une bijection de dans et une bijection de dans, alors on peut construire l'application de dans dont la restriction à est et celle à est. Comme est une bijection, c'est une injection et le corollaire de caractérisation conclut que.
Par récurrence, on généralise cette propriété à une famille d'ensembles finis disjoints deux à deux :
Cardinal de l'union de ensembles finis deux à deux disjoints — Soit une famille de ensembles finis deux à deux disjoints.
Alors on a.
Cardinal du complémentaire — Soit un ensemble fini,, et son complémentaire dans.
Alors on a.
Démonstration : et sont deux ensembles finis d'intersection vide et. La première propriété permet de conclure.
Cardinal de l'union de deux ensembles finis — Soient et deux ensembles finis.
Alors on a.
Démonstration : Comme et sont complémentaires dans, la propriété précédente s'applique et on a +. Ce même raisonnement s'applique pour et. Remarquons enfin que, et forment une partition de. L'identité se déduit des trois résultats précédents.
Cardinal de laréunion disjointe de deux ensembles finis — Soient et deux ensembles finis de cardinaux respectifs et.
Alors est finie de cardinal.
Ce résultat peut se généraliser à plus de deux ensembles.
Cardinal de la réunion disjointe de ensembles finis — Soit une famille d'ensembles finis.
Cardinal duproduit cartésien de deux ensembles finis — Soient et deux ensembles finis de cardinaux respectif et.
Alors est fini de cardinal.
Plus généralement, pour une suite d'ensembles finis :
Cardinal du produit cartésien d'une suite d'ensembles finis — Soit une famille d'ensembles finis.
Alors
Cardinal de l'ensemble des parties d'un ensemble fini — Soit un ensemble fini de cardinal.
Comme est en correspondance biunivoque avec l'ensemble des applications de dans, alors est un ensemble fini et on a.
Cardinal de l'ensemble descorrespondances de dans — Soient et deux ensembles finis.
L'ensemble des correspondances de dans, noté habituellement, s'identifie à donc est fini de cardinal.
Cardinal de l'ensemble desapplications de dans — Soient et deux ensembles finis de cardinaux respectifs et.
L'ensemble des applications de dans, souvent noté, est fini de cardinal avec laconvention 00=1 si et sont tous deux vides.
Cette propriété justifie la notation plus courante.
Cardinal de l'ensemble dessurjections de dans — Soient et deux ensembles finis de cardinaux respectifs et.
L'ensemble des surjections de dans, noté habituellement, a pour cardinal la somme suivante:
.
Cette somme est nulle si.
Les applications injectives, qui jouent un rôle important en combinatoire, sont traitées de manière plus approfondie dans les paragraphes suivants.
Sur les autres projets Wikimedia :