Règle combinatoire qui calcule la cardinalité d'une union finie d'ensembles (éventuellement qui se recoupent) en additionnant et soustrayant alternativement les tailles de toutes les intersections non vides, exprimée classiquement comme une somme alternée finie sur les intersections d'ordre croissant.

Principe

Compter l'union en sommant les tailles des ensembles individuels, en soustrayant celles des intersections par paires, en ajoutant celles des intersections triples, etc., en poursuivant avec des signes alternés jusqu'à prendre en compte tous les recouvrements.

Démonstration

Pour trois ensembles finis A, B, C : |A ∪ B ∪ C| = |A|+|B|+|C| − |A∩B| − |A∩C| − |B∩C| + |A∩B∩C|. Cela corrige les double-comptes dus aux éléments appartenant à plusieurs ensembles.

Mauvaise application

Appliquer la formule alternée sans s'assurer que toutes les intersections pertinentes sont comptées (par exemple ignorer les intersections vides ou omettre les recouvrements d'ordre supérieur) conduit à des comptes erronés ; l'utiliser sans précaution pour des familles infinies ou non mesurables peut être invalide.

Conséquence

Correctement employé sur des collections finies, il donne des comptages exacts et fournit une méthode systématique pour gérer les surcomptes ; il sous-tend aussi des calculs de probabilité par inclusion–exclusion et des cribles en théorie des nombres.

Inversion

La perspective inverse consiste à voir les tailles d'intersection obtenues à partir des comptages d'unions via l'inversion de Möbius sur le treillis des sous-ensembles ; inverser l'alternance des signes permet d'obtenir des formules pour récupérer des mesures d'intersection à partir d'unions.

Limite

S'applique à des collections finies d'ensembles ou à des contextes où une taille finiment additive (mesure, probabilité) est définie ; une extension naïve à des familles infinies exige un contrôle de convergence ou la théorie des mesures sigma-additives et peut échouer.

Tension sémantique

Concurrence avec le comptage par partitions (qui évite le recouvrement en construisant une décomposition ensembliste disjointe) et avec les approches intégrales/mesureuses qui emploient des limites plutôt que des sommes alternées finies ; la tension survient lorsqu'il faut choisir entre inclusion–exclusion directe et la construction de représentants disjoints.

Synthèse

L'inclusion–exclusion est un dispositif de tenue de comptes : l'alternance des signes corrige les couches successives de recouvrements afin que chaque élément soit compté exactement une fois ; c'est exact pour des contextes finis ou de mesure contrôlée et constitue l'analogue combinatoire de l'inversion de Möbius sur les treillis de sous-ensembles.