{"id":7035,"date":"2026-09-16T15:55:50","date_gmt":"2026-09-16T15:55:50","guid":{"rendered":"http:\/\/french.arabpsychology.com\/statistics\/evenements-collectivement-exhaustifs-definition-exemple\/"},"modified":"2026-09-16T15:55:54","modified_gmt":"2026-09-16T15:55:54","slug":"evenements-collectivement-exhaustifs-definition-exemple","status":"publish","type":"psych_stat","link":"https:\/\/french.arabpsychology.com\/?psych_stat=evenements-collectivement-exhaustifs-definition-exemple","title":{"rendered":"\u00c9v\u00e9nements collectivement exhaustifs : d\u00e9finition et exemple"},"content":{"rendered":"

Dans la formalisation de la pens\u00e9e rationnelle et la mod\u00e9lisation math\u00e9matique du hasard, la cat\u00e9gorisation des \u00e9tats du monde constitue le socle indispensable \u00e0 toute inf\u00e9rence valide. L’analyse stochastique moderne, loin de se r\u00e9duire \u00e0 de simples calculs combinatoires, repose sur une architecture logique rigoureuse o\u00f9 chaque issue envisageable doit trouver une place pr\u00e9cise au sein d’un espace d\u00e9limit\u00e9. Parmi les concepts cardinaux qui structurent cette appr\u00e9hension formelle de l’incertitude figure la notion d’\u00e9v\u00e9nements collectivement exhaustifs<\/strong>. Cette propri\u00e9t\u00e9 ensembliste garantit qu’aucune manifestation possible d’un ph\u00e9nom\u00e8ne al\u00e9atoire n’\u00e9chappe \u00e0 la grille d’analyse d\u00e9ploy\u00e9e par l’observateur ou le th\u00e9oricien.<\/p>\n

L’omission d’une seule configuration potentielle au sein d’un univers de probabilit\u00e9s ne constitue pas une simple lacune descriptive ; elle engendre une distorsion structurelle qui invalide l’ensemble des d\u00e9ductions ult\u00e9rieures. Que l’on consid\u00e8re la mise au point d’arbres de d\u00e9cision strat\u00e9giques, le d\u00e9ploiement d’algorithmes d’apprentissage automatique, la r\u00e9alisation d’\u00e9valuations psychom\u00e9triques ou la mod\u00e9lisation du diagnostic m\u00e9dical, la certitude que l’ensemble des issues consid\u00e9r\u00e9es couvre l’int\u00e9gralit\u00e9 du champ du possible conditionne la coh\u00e9rence interne du mod\u00e8le probabiliste. Comprendre la nature, les m\u00e9canismes math\u00e9matiques et les implications \u00e9pist\u00e9mologiques de l’exhaustivit\u00e9 collective s’av\u00e8re donc essentiel pour quiconque manipule des mesures d’incertitude.<\/p>\n

Le pr\u00e9sent trait\u00e9 propose une exploration approfondie de cette notion fondamentale. De son ancrage dans la th\u00e9orie axiomatique des ensembles formul\u00e9e par Andre\u00ef Kolmogorov jusqu’\u00e0 ses manifestations pratiques dans les sciences cognitives et la m\u00e9thodologie de la recherche, nous d\u00e9taillerons les crit\u00e8res formels qui d\u00e9finissent l’exhaustivit\u00e9, la distinguerons de concepts connexes tels que l’exclusion mutuelle, et fournirons les outils m\u00e9thodologiques n\u00e9cessaires pour auditer, mod\u00e9liser et valider la compl\u00e9tude des espaces stochastiques dans des contextes th\u00e9oriques et appliqu\u00e9s.<\/p>\n

1. Introduction et fondements des \u00e9v\u00e9nements collectivement exhaustifs<\/h2>\n

1.1 D\u00e9finition conceptuelle et ontologique<\/h3>\n

Au sens le plus fondamental de la th\u00e9orie des probabilit\u00e9s et de l’ontologie logique, un ensemble d’\u00e9v\u00e9nements est qualifi\u00e9 de collectivement exhaustif<\/em> si et seulement si leur r\u00e9union englobe la totalit\u00e9 absolue des r\u00e9alisations possibles d’une exp\u00e9rience al\u00e9atoire donn\u00e9e. En des termes intuitifs mais rigoureux, cela implique qu’au cours de l’ex\u00e9cution de l’exp\u00e9rience, il est logiquement, physiquement et math\u00e9matiquement garanti qu’au moins l’un des \u00e9v\u00e9nements appartenant \u00e0 cette collection se r\u00e9alise n\u00e9cessairement. L’exhaustivit\u00e9 traduit donc une exigence de fermeture : rien ne peut survenir en dehors des fronti\u00e8res trac\u00e9es par les \u00e9l\u00e9ments de cet ensemble.<\/p>\n

D’un point de vue ontologique, poser un syst\u00e8me d’\u00e9v\u00e9nements collectivement exhaustifs revient \u00e0 postuler la compl\u00e9tude de notre description de la r\u00e9alit\u00e9 pour un niveau d’abstraction d\u00e9termin\u00e9. Dans l’analyse stochastique, cette propri\u00e9t\u00e9 interdit formellement l’existence d’\u00e9tats \u00ab orphelins \u00bb ou d’issues fant\u00f4mes qui \u00e9chapperaient \u00e0 la nomenclature pr\u00e9\u00e9tablie. La cl\u00f4ture de l’univers des \u00e9tats possibles n’est pas une simple commodit\u00e9 de calcul ; elle repr\u00e9sente la condition de possibilit\u00e9 du raisonnement d\u00e9ductif en univers incertain, interdisant que l’apparition d’un fait inattendu vienne r\u00e9duire \u00e0 n\u00e9ant la somme des probabilit\u00e9s allou\u00e9es au syst\u00e8me.<\/p>\n

Cette compl\u00e9tude ontologique ne pr\u00e9juge en rien de la mani\u00e8re dont les \u00e9v\u00e9nements se recouvrent ou se s\u00e9parent \u00e0 l’int\u00e9rieur de l’espace global. Les \u00e9v\u00e9nements constitutifs peuvent pr\u00e9senter des recoupements partiels, partager des micro-\u00e9tats ou, au contraire, se partitionner de mani\u00e8re \u00e9tanche. La seule contrainte ontologique irr\u00e9ductible r\u00e9side dans cette garantie absolue : la n\u00e9gation simultan\u00e9e de tous les \u00e9v\u00e9nements d’une collection collectivement exhaustive repr\u00e9sente l’\u00e9v\u00e9nement impossible, c’est-\u00e0-dire un ensemble vide dans l’espace des phases stochastiques.<\/p>\n

1.2 Rapport \u00e0 l’univers du syst\u00e8me stochastique<\/h3>\n

L’\u00e9tude formelle du hasard requiert la construction pr\u00e9alable d’un cadre de r\u00e9f\u00e9rence explicite, universellement d\u00e9sign\u00e9 sous le terme d’espace d’\u00e9chantillonnage<\/a> ou univers des possibles, traditionnellement symbolis\u00e9 par la lettre grecque Om\u00e9ga ($\\Omega$<\/span>). L’univers $\\Omega$<\/span> contient la totalit\u00e9 des issues \u00e9l\u00e9mentaires $\\omega$<\/span>, repr\u00e9sentant chacune un r\u00e9sultat indivisible et exhaustif de l’exp\u00e9rience consid\u00e9r\u00e9e. D\u00e8s lors, le rapport entre une collection d’\u00e9v\u00e9nements ${A_1, A_2, dots, A_n}$<\/span> et l’univers $\\Omega$<\/span> s’exprime par une identit\u00e9 d’\u00e9quivalence ensembliste stricte : la r\u00e9union de ces \u00e9v\u00e9nements doit co\u00efncider exactement avec l’univers de r\u00e9f\u00e9rence.<\/p>\n

\"collectively
collectively exhaustive definition<\/figcaption><\/figure>\n

Cette correspondance formelle s’articule autour de la relation $\\big\\cup_{i} A_i = \\Omega$<\/span>. Si cette \u00e9galit\u00e9 est v\u00e9rifi\u00e9e, chaque point d’\u00e9chantillonnage $\\omega in \\Omega$<\/span> appartient par n\u00e9cessit\u00e9 \u00e0 au moins un sous-ensemble $A_i$<\/span>. La d\u00e9limitation stricte du cadre probabiliste d’\u00e9tude est le pr\u00e9requis op\u00e9rationnel sans lequel la notion m\u00eame d’exhaustivit\u00e9 s’effondre. D\u00e9finir un univers sans d\u00e9limiter rigoureusement ses bornes conceptuelles expose le mod\u00e9lisateur au risque permanent d’incompl\u00e9tude stochastique, introduisant des distorsions majeures dans l’\u00e9valuation des risques et des opportunit\u00e9s.<\/p>\n

Il est capital d’observer que l’exhaustivit\u00e9 collective est une propri\u00e9t\u00e9 purement contextuelle et relative \u00e0 l’univers $\\Omega$<\/span> choisi a priori. Un ensemble d’\u00e9v\u00e9nements peut s’av\u00e9rer rigoureusement exhaustif dans un cadre d’analyse restreint, mais perdre instantan\u00e9ment son statut d\u00e8s lors que l’observateur \u00e9largit la focale de son syst\u00e8me exp\u00e9rimental. La rigueur scientifique impose donc de formuler sans \u00e9quivoque les fronti\u00e8res du syst\u00e8me physique, biologique ou social mod\u00e9lis\u00e9 avant de pouvoir affirmer la compl\u00e9tude probabiliste de sa description.<\/p>\n

1.3 Origines \u00e9pist\u00e9mologiques et th\u00e9oriques<\/h3>\n

La formalisation des \u00e9v\u00e9nements collectivement exhaustifs s’inscrit dans une longue histoire \u00e9pist\u00e9mologique li\u00e9e \u00e0 la conceptualisation du hasard et de la logique propositionnelle. Historiquement, l’analyse probabiliste classique, n\u00e9e des correspondances entre Blaise Pascal et Pierre de Fermat au XVIIe si\u00e8cle autour des jeux de hasard, postulait implicitement l’exhaustivit\u00e9 par la d\u00e9num\u00e9ration des sym\u00e9tries d’un d\u00e9 ou des cartes d’un jeu. Dans ce cadre classique, le calcul reposait sur le principe de raison insuffisante formul\u00e9 plus tard par Pierre-Simon de Laplace, selon lequel toutes les issues possibles, suppos\u00e9es identifi\u00e9es et exhaustivement r\u00e9pertori\u00e9es, devaient se voir assigner une \u00e9gale vraisemblance.<\/p>\n

Toutefois, cette approche classique souffrait d’ambigu\u00eft\u00e9s majeures d\u00e8s lors que les espaces devenaient continus ou que les contours des issues n’\u00e9taient plus d\u00e9ductibles par pure sym\u00e9trie m\u00e9canique. Il fallut attendre le tournant du XXe si\u00e8cle et l’av\u00e8nement de l’axiomatique de Kolmogorov<\/a> en 1933 pour que la th\u00e9orie des probabilit\u00e9s s’\u00e9mancipe des intuitions empiriques et s’enracine d\u00e9finitivement dans la th\u00e9orie de la mesure et l’analyse ensembliste moderne. Andre\u00ef Kolmogorov a conf\u00e9r\u00e9 aux \u00e9v\u00e9nements al\u00e9atoires le statut de sous-ensembles mesurables d’un espace fondamental abstrait.<\/p>\n

Cette transition a eu des implications profondes sur la structure du raisonnement d\u00e9ductif. Dans l’\u00e9difice kolmogorovien, l’exhaustivit\u00e9 collective cesse d’\u00eatre une simple propri\u00e9t\u00e9 descriptive pour devenir la condition structurelle indispensable \u00e0 la conservation de la masse unitaire de probabilit\u00e9. Sur le plan philosophique, elle incarne le principe du tiers exclu h\u00e9rit\u00e9 de la logique aristot\u00e9licienne, g\u00e9n\u00e9ralis\u00e9 \u00e0 un nombre fini ou infini d\u00e9nombrable de propositions : la r\u00e9alit\u00e9 observable est contrainte de s’actualiser dans au moins l’un des \u00e9tats formellement pr\u00e9vus par le syst\u00e8me axiomatique.<\/p>\n

2. Formalisation math\u00e9matique et th\u00e9orie axiomatique des ensembles<\/h2>\n

2.1 \u00c9criture ensembliste fondamentale<\/h3>\n

Dans le langage rigoureux de la th\u00e9orie des ensembles, consid\u00e9rons un espace probabilisable d\u00e9fini par le couple $(\\Omega, \\mathcal{F})$<\/span>, o\u00f9 $\\Omega$<\/span> repr\u00e9sente l’univers des \u00e9v\u00e9nements \u00e9l\u00e9mentaires et $\\mathcal{F}$<\/span> d\u00e9signe une tribu (ou $\\sigma$<\/span>-alg\u00e8bre) de parties de $\\Omega$<\/span>. Soit une famille d’\u00e9v\u00e9nements index\u00e9e par un ensemble d’indices $I$<\/span>, not\u00e9e $(A_i)_{i in I}$<\/span>, o\u00f9 chaque $A_i$<\/span> est un \u00e9l\u00e9ment de la tribu $\\mathcal{F}$<\/span>. Cette famille est formellement d\u00e9clar\u00e9e collectivement exhaustive si et seulement si l’union ensembliste de tous ses membres reconstitue int\u00e9gralement l’univers $\\Omega$<\/span> :<\/p>\n

$$\\big\\cup_{i in I} A_i = \\Omega$$<\/span><\/p>\n

Cette condition d’\u00e9galit\u00e9 implique une double inclusion logique. D’une part, l’inclusion $\\big\\cup_{i in I} A_i \\subseteq \\Omega$<\/span> est triviale et garantie par la d\u00e9finition m\u00eame des sous-ensembles comme \u00e9l\u00e9ments de $\\mathcal{F}$<\/span>. D’autre part, la propri\u00e9t\u00e9 d’exhaustivit\u00e9 r\u00e9side tout enti\u00e8re dans l’inclusion inverse : pour tout \u00e9l\u00e9ment $\\omega in \\Omega$<\/span>, il existe au moins un indice $k in I$<\/span> tel que $\\omega in A_k$<\/span>. Si cette condition est viol\u00e9e pour un seul \u00e9tat $\\omega_0$<\/span>, l’ensemble des \u00e9v\u00e9nements cesse d’\u00eatre exhaustif au sens strict, g\u00e9n\u00e9rant un ensemble r\u00e9siduel non vide $\\Omega setminus (\\big\\cup_{i in I} A_i) \\neq \\emptyset$<\/span>.<\/p>\n

Il convient de distinguer avec pr\u00e9cision l’exhaustivit\u00e9 absolue de l’exhaustivit\u00e9 conditionnelle. Alors que l’exhaustivit\u00e9 absolue op\u00e8re sur l’univers fondamental $\\Omega$<\/span> dans son enti\u00e8ret\u00e9, une famille d’\u00e9v\u00e9nements $(B_j)_{j in J}$<\/span> peut \u00eatre qualifi\u00e9e de collectivement exhaustive relativement \u00e0 un sous-ensemble<\/em> ou \u00e9v\u00e9nement $C \\subset \\Omega$<\/span> si leur union couvre ce dernier, c’est-\u00e0-dire si $C \\subseteq \\big\\cup_{j in J} B_j$<\/span>. Dans ce cas, conditionnellement \u00e0 l’occurrence de l’\u00e9v\u00e9nement $C$<\/span>, la r\u00e9alisation d’au moins un \u00e9v\u00e9nement $B_j$<\/span> devient une certitude absolue, illustrant la plasticit\u00e9 op\u00e9rationnelle de ce concept selon l’espace de r\u00e9f\u00e9rence retenu.<\/p>\n

2.2 Axiomes de probabilit\u00e9 et mesure unitaire<\/h3>\n

L’introduction d’une mesure de probabilit\u00e9 $P$<\/span> sur l’espace mesurable $(\\Omega, \\mathcal{F})$<\/span> conf\u00e8re \u00e0 l’exhaustivit\u00e9 collective une transcription quantitative directe. Le deuxi\u00e8me axiome de Kolmogorov \u00e9nonce que la mesure de probabilit\u00e9 de l’univers tout entier est \u00e9gale \u00e0 l’unit\u00e9 :<\/p>\n

$$P(\\Omega) = 1$$<\/span><\/p>\n

En vertu de cette normalisation unitaire, si une famille finie ou d\u00e9nombrable d’\u00e9v\u00e9nements $(A_i)_{i in I}$<\/span> est collectivement exhaustive, la probabilit\u00e9 de leur union doit atteindre exactement la certitude math\u00e9matique :<\/p>\n

$$P\\left(\\big\\cup_{i in I} A_i\\right) = P(\\Omega) = 1$$<\/span><\/p>\n

Cependant, il est imp\u00e9ratif de souligner que la somme arithm\u00e9tique des probabilit\u00e9s individuelles des \u00e9v\u00e9nements constitutifs ne co\u00efncide pas n\u00e9cessairement avec l’unit\u00e9. En application de la propri\u00e9t\u00e9 de sous-additivit\u00e9 (souvent d\u00e9sign\u00e9e sous le nom d’in\u00e9galit\u00e9 de Boole), pour toute famille finie d’\u00e9v\u00e9nements, nous observons l’in\u00e9galit\u00e9 fondamentale :<\/p>\n

$$P\\left(\\big\\cup_{i=1}^n A_i\\right) \\leq \\sum_{i=1}^n P(A_i)$$<\/span><\/p>\n

D\u00e8s lors, pour des \u00e9v\u00e9nements collectivement exhaustifs mais non disjoints, la somme des probabilit\u00e9s individuelles exc\u00e8de strictement un : $\\sum_{i=1}^n P(A_i) \\geq 1$<\/span>. L’exc\u00e9dent quantifie pr\u00e9cis\u00e9ment la mesure des intersections et des redondances stochastiques entre les composantes de la collection. R\u00e9ciproquement, si l’on examine le compl\u00e9mentaire de l’union d’\u00e9v\u00e9nements collectivement exhaustifs, la loi de De Morgan d\u00e9montre que la n\u00e9gation conjointe de tous les \u00e9v\u00e9nements correspond \u00e0 l’ensemble vide :<\/p>\n

$$\\big\\cap_{i in I} \\overline{A_i} = \\overline{\\big\\cup_{i in I} A_i} = \\overline{\\Omega} = \\emptyset$$<\/span><\/p>\n

Par cons\u00e9quent, la probabilit\u00e9 que pas un seul de ces \u00e9v\u00e9nements ne se r\u00e9alise est rigoureusement nulle : $P(\\big\\cap_{i in I} \\overline{A_i}) = 0$<\/span>. C’est cette nullit\u00e9 du compl\u00e9mentaire qui certifie formellement la cl\u00f4ture stochastique du syst\u00e8me.<\/p>\n

2.3 G\u00e9n\u00e9ralisation aux espaces continus et discrets<\/h3>\n

La formulation de l’exhaustivit\u00e9 collective s’adapte aux caract\u00e9ristiques topologiques des espaces d’\u00e9chantillonnage, qu’ils rel\u00e8vent du domaine discret ou continu. Dans le cadre d’un univers discret, d\u00e9nombrable ou fini, l’univers s’\u00e9crit $\\Omega = {\\omega_1, \\omega_2, dots}$<\/span>. L’exhaustivit\u00e9 d’une collection discr\u00e8te s’exprime par le fait que chaque point $\\omega_k$<\/span> est captur\u00e9 par au moins une partition ou un regroupement cat\u00e9goriel d’\u00e9v\u00e9nements. Les calculs probabilistes s’y effectuent au moyen de sommations discr\u00e8tes directes.<\/p>\n

En revanche, lorsque l’on aborde les espaces continus \u2014 tels que la droite r\u00e9elle $\\mathbb{R}$<\/span> ou un domaine multidimensionnel $\\mathbb{R}^n$<\/span> \u2014 l’espace probabilis\u00e9 est typiquement dot\u00e9 de la tribu bor\u00e9lienne $\\mathcal{B}(\\mathbb{R})$<\/span>. Dans cette configuration, les probabilit\u00e9s des points isol\u00e9s sont g\u00e9n\u00e9ralement nulles ($P({\\omega}) = 0$<\/span>), et la notion d’exhaustivit\u00e9 concerne des sous-ensembles mesurables, souvent d\u00e9finis par des intervalles ouverts, ferm\u00e9s ou semi-ouverts. Une collection d’intervalles $(I_k)_{k in K}$<\/span> est collectivement exhaustive pour le support d’une variable al\u00e9atoire continue $X$<\/span> si le domaine de d\u00e9finition de sa fonction de densit\u00e9 de probabilit\u00e9 $f_X(x)$<\/span> est enti\u00e8rement contenu dans l’union de ces intervalles :<\/p>\n

$$\\text{Supp}(X) \\subseteq \\big\\cup_{k in K} I_k$$<\/span><\/p>\n

La mesure unitaire se traduit alors par une int\u00e9gration de la densit\u00e9 sur l’union des domaines. Si les intervalles sont disjoints et collectivement exhaustifs pour le support, l’int\u00e9grale globale se segmente en une somme d’int\u00e9grales d\u00e9finies dont la valeur cumul\u00e9e \u00e9gale l’unit\u00e9 :<\/p>\n

$$\\sum_{k in K} \\int_{I_k} f_X(x) , dx = \\int_{-\\infty}^{+\\infty} f_X(x) , dx = 1$$<\/span><\/p>\n

La gestion des bornes ouvertes ou ferm\u00e9es aux limites d’int\u00e9gration illustre la rigueur requise en th\u00e9orie de la mesure : l’omission d’un point fronti\u00e8re isol\u00e9 ne modifie certes pas la mesure de Lebesgue d’une int\u00e9grale continue, mais elle brise techniquement l’exhaustivit\u00e9 ensembliste stricte, distinction capitale entre la certitude au sens de la mesure (dite \u00ab presque s\u00fbre \u00bb) et la certitude logique absolue.<\/p>\n

3. Distinction critique : Exhaustivit\u00e9 collective et exclusion mutuelle<\/h2>\n

3.1 \u00c9v\u00e9nements mutuellement exclusifs sans exhaustivit\u00e9<\/h3>\n

Une confusion r\u00e9currente en analyse d\u00e9cisionnelle et en calcul des probabilit\u00e9s consiste \u00e0 confondre l’exclusion mutuelle et l’exhaustivit\u00e9 collective, ou \u00e0 supposer ind\u00fbment que l’une implique automatiquement l’autre. Des \u00e9v\u00e9nements sont dits mutuellement exclusifs<\/strong> (ou disjoints) si et seulement si leur intersection deux \u00e0 deux est strictement vide. Pour toute paire d’indices distincts $i \\neq j$<\/span> :<\/p>\n

$$A_i \\cap A_j = \\emptyset$$<\/span><\/p>\n

Cette condition signifie que deux \u00e9v\u00e9nements de ce type ne peuvent absolument pas survenir simultan\u00e9ment lors d’un m\u00eame essai exp\u00e9rimental. Toutefois, l’exclusion mutuelle n’implique en aucun cas que la r\u00e9union de ces \u00e9v\u00e9nements reconstitue l’univers entier. Il est parfaitement courant d’observer des sc\u00e9narios o\u00f9 des \u00e9v\u00e9nements sont rigoureusement disjoints sans pour autant couvrir la totalit\u00e9 des issues envisageables. Dans une telle situation, la somme de leurs probabilit\u00e9s respectives est strictement inf\u00e9rieure \u00e0 l’unit\u00e9 :<\/p>\n

$$\\sum_{i=1}^n P(A_i) < 1$$<\/span><\/p>\n

Consid\u00e9rons, \u00e0 titre d’illustration clinique \u00e9l\u00e9mentaire, le diagnostic \u00e9tiologique d’une c\u00e9phal\u00e9e aigu\u00eb chez un patient. Si un clinicien n’envisage que deux hypoth\u00e8ses diagnostiques : $A_1$<\/span> (\u00ab migraine classique \u00bb) et $A_2$<\/span> (\u00ab c\u00e9phal\u00e9e de tension \u00bb), et postule qu’elles sont cliniquement distinctes au moment de l’examen ($A_1 \\cap A_2 = \\emptyset$<\/span>), il commet une faute logique grave s’il les consid\u00e8re comme exhaustives. L’univers des \u00e9tats nosologiques contient \u00e9galement l’h\u00e9morragie sous-arachno\u00efdienne, la m\u00e9ningite, la thrombose veineuse c\u00e9r\u00e9brale ou la pouss\u00e9e hypertensive s\u00e9v\u00e8re. En ignorant ces issues r\u00e9siduelles, le mod\u00e8le probabiliste est tronqu\u00e9, et la somme des probabilit\u00e9s des deux hypoth\u00e8ses initiales n’atteint pas un, laissant le raisonnement m\u00e9dical vuln\u00e9rable \u00e0 des angles morts diagnostiques catastrophiques.<\/p>\n

3.2 \u00c9v\u00e9nements collectivement exhaustifs avec chevauchement<\/h3>\n

\u00c0 l’oppos\u00e9 sym\u00e9trique du cas pr\u00e9c\u00e9dent, une famille d’\u00e9v\u00e9nements peut \u00eatre collectivement exhaustive tout en pr\u00e9sentant des chevauchements consid\u00e9rables, signifiant que ses composantes ne sont pas mutuellement exclusives. Dans cette configuration, au moins deux \u00e9v\u00e9nements partagent un ou plusieurs points d’\u00e9chantillonnage communs :<\/p>\n

$$\\exists (i, j) \\quad \\text{tel que } i \\neq j \\quad \\text{et} \\quad A_i \\cap A_j \\neq \\emptyset$$<\/span><\/p>\n

Bien que l’union de ces \u00e9v\u00e9nements assure une couverture absolue de l’univers ($\\big\\cup A_i = \\Omega$<\/span>), l’existence de ces intersections entra\u00eene m\u00e9caniquement que la somme arithm\u00e9tique simple de leurs probabilit\u00e9s exc\u00e8de la valeur unitaire :<\/p>\n

$$\\sum_{i=1}^n P(A_i) > 1$$<\/span><\/p>\n

Pour calculer la probabilit\u00e9 exacte de l’union ou pour manipuler ces \u00e9v\u00e9nements dans des arbres d’inf\u00e9rence sans g\u00e9n\u00e9rer de surestimation, il est indispensable de faire appel au principe d’inclusion-exclusion<\/a> (\u00e9galement nomm\u00e9 formule de Poincar\u00e9). Pour deux \u00e9v\u00e9nements exhaustifs $A$<\/span> et $B$<\/span> qui se chevauchent, la relation s’\u00e9nonce :<\/p>\n

$$P(A \\cup B) = P(A) + P(B) – P(A \\cap B) = 1$$<\/span><\/p>\n

Ce qui permet d’isoler la mesure de leur recouvrement :<\/p>\n

$$P(A \\cap B) = P(A) + P(B) – 1$$<\/span><\/p>\n

Dans un groupe d’individus o\u00f9 l’on \u00e9value l’exposition \u00e0 deux facteurs de risque environnementaux non mutuellement exclusifs (par exemple, le tabagisme passif et l’exposition au radon) sous l’hypoth\u00e8se simplificatrice que chaque individu est soumis \u00e0 au moins l’un des deux, les cat\u00e9gories sont exhaustives. L’analyse ne saurait toutefois additionner na\u00efvement la proportion de fumeurs passifs et celle des personnes expos\u00e9es au radon sans retrancher la proportion de celles qui subissent simultan\u00e9ment la double exposition, sous peine de compter deux fois les sujets situ\u00e9s dans l’intersection.<\/p>\n

3.3 La partition parfaite : La conjonction MECE<\/h3>\n

Le standard d’excellence m\u00e9thodologique dans la mod\u00e9lisation probabiliste, la statistique appliqu\u00e9e, l’architecture d\u00e9cisionnelle et le conseil en strat\u00e9gie r\u00e9side dans la synth\u00e8se conjointe des deux propri\u00e9t\u00e9s : le statut d’\u00e9v\u00e9nements \u00e0 la fois mutuellement exclusifs et collectivement exhaustifs. Ce principe est universellement formalis\u00e9 dans la litt\u00e9rature contemporaine sous l’acronyme anglo-saxon MECE<\/strong> (Mutually Exclusive and Collectively Exhaustive<\/em>).<\/p>\n

\"\"<\/figure>\n

Une collection d’\u00e9v\u00e9nements ${E_1, E_2, dots, E_n}$<\/span> constitue une structure MECE si et seulement si elle satisfait simultan\u00e9ment les deux conditions axiomatiques suivantes :<\/p>\n