Théorème de l'espérance totale

Le théorème de l'espérance totale est une proposition de la théorie des probabilités affirmant que l'espérance de l'espérance conditionnelle de X sachant Y est la même que l'espérance de X.

Précisément, si

• X est une variable aléatoire intégrable (c'est-à-dire, une variable aléatoire avec E( | X | ) < $+\mathrm{\infty }$),
• Y est une variable aléatoire quelconque (donc pas nécessairement intégrable),
• Et X et Y sont définies sur le même espace probabilisé,

on a alors le résultat suivant :

$$\mathrm{E}(X)=\mathrm{E}(\mathrm{E}(X\mid Y))$$.

Propriétés

Caractérisation de l'espérance conditionnelle

L'espérance conditionnelle Modèle:Nobr est elle-même une variable aléatoire, dont la valeur dépend de la valeur de Y. À noter que l'espérance conditionnelle de X sachant l'événement [Y = y] est une fonction de y. Si on note Modèle:Nobr, alors la variable aléatoire Modèle:Nobr est tout simplement g(Y).

Dans le cas d'une partition

Un cas particulier de ce résultat est que, si les événements $A_1,A_2,...,A_n$ forment une partition (c'est-à-dire que ces événements sont deux à deux disjoints et que leur union forme l'univers), alors on a :

$\mathrm{E}(X)=\sum _{i=1}^n\mathrm{E}(X\mid A_i)\mathrm{P}(A_i).$

Un exemple illustratif

Supposons que deux usines fabriquent des ampoules électriques. Les ampoules de l'usine X ont une durée de vie de 5000 heures, alors que ceux de l'usine Y fonctionnent en moyenne pendant 4000 heures. On dit que l'usine X fournit 60 % de toutes les ampoules disponibles. Combien de temps peut-on espérer qu'une ampoule achetée durera ?

En utilisant le théorème de l'espérance totale, on a :

$$\mathrm{E}(L)=\mathrm{E}(L\mid X)\mathrm{P}(X)+\mathrm{E}(L\mid Y)\mathrm{P}(Y)=\frac{6}{10}\times 5000+\frac{4}{10}\times 4000=4600$$

où

• $\mathrm{E}(L)$ est la durée de vie espérée de l'ampoule;
• $\mathrm{P}(X)=\frac{6}{10}$ est la probabilité pour que l'ampoule achetée ait été fabriquée par l'usine X;
• $\mathrm{P}(Y)=\frac{4}{10}$ est la probabilité pour que l'ampoule achetée ait été fabriquée par l'usine Y;
• $\mathrm{E}(L\mid X)=5000$ est la durée de vie espérée d'une ampoule fabriquée par l'usine X;
• $\mathrm{E}(L\mid Y)=4000$ est la durée de vie espérée d'une ampoule fabriquée par l'usine Y.

Ainsi, chaque ampoule achetée a une durée de vie espérée de 4600 heures, c'est-à-dire qu'on peut s'attendre "en moyenne" à ce qu'elle fonctionne 4600 heures.

Démonstration

Dans le cas discret

$\begin{array}{cc}{\mathrm{E}}_Y({\mathrm{E}}_{X\mid Y}(X\mid Y))& ={\mathrm{E}}_Y[\sum _{x}x\cdot \mathrm{P}(X=x\mid Y)]\\ & =\sum _y[\sum _{x}x\cdot \mathrm{P}(X=x\mid Y=y)]\cdot \mathrm{P}(Y=y)\\ & =\sum _y\sum _{x}x\cdot \mathrm{P}(X=x\mid Y=y)\cdot \mathrm{P}(Y=y)\\ & =\sum _{x}x\sum _y\mathrm{P}(X=x\mid Y=y)\cdot \mathrm{P}(Y=y)\\ & =\sum _{x}x\sum _y\mathrm{P}(X=x,Y=y)\\ & =\sum _{x}x\cdot \mathrm{P}(X=x)\\ & =\mathrm{E}(X).\end{array}$

Dans le cas général

Plus formellement, l'énoncé dans le cas général fait appel à un espace probabilisé $(\mathrm{\Omega },ℱ,P)$ sur lequel deux sous $\sigma$-tribus ${𝒢}_1\subseteq {𝒢}_2\subseteq ℱ$ sont définies. Pour une variable aléatoire $X$ sur un tel espace, le théorème de l'espérance totale stipule que

$\mathrm{E}[\mathrm{E}[X\mid {𝒢}_2]\mid {𝒢}_1]=\mathrm{E}[X\mid {𝒢}_1].$

Puisqu'une espérance conditionnelle est une dérivée de Radon–Nikodym, il suffit de vérifier les deux propriétés suivantes pour démontrer le théorème de l'espérance totale.

• $\mathrm{E}[\mathrm{E}[X\mid {𝒢}_2]\mid {𝒢}_1]$ est ${𝒢}_1$-mesurable
• $\mathrm{\forall }{G}_1\in {𝒢}_1,\underset{G_1}{\int }\mathrm{E}[\mathrm{E}[X\mid {𝒢}_2]\mid {𝒢}_1]dP=\underset{G_1}{\int }XdP$

La première proposition est vraie d'après la définition de l'espérance conditionnelle, et la seconde est vraie puisque $G_1\in {𝒢}_1\subseteq {𝒢}_2$ implique que

$\underset{G_1}{\int }\mathrm{E}[\mathrm{E}[X\mid {𝒢}_2]\mid {𝒢}_1]dP=\underset{G_1}{\int }\mathrm{E}[X\mid {𝒢}_2]dP=\underset{G_1}{\int }XdP$

Dans le cas particulier où ${𝒢}_1=\{\mathrm{\varnothing },\mathrm{\Omega }\}$ et ${𝒢}_2=\sigma (Y)$ le théorème de l'espérance totale peut se résumer à l'énoncé suivant :

$\mathrm{E}[\mathrm{E}[X\mid Y]]=\mathrm{E}[X]$

À propos de la notation sans indice

En utilisant la notation $\mathrm{E}$, l'ajout d'indices successifs peut rapidement mener à des lourdeurs de notation. Les indices sont donc souvent omis. Dans le cas de d'espérances en cascade (on parlera d'espérances "itérées"), $\mathrm{E}(\mathrm{E}(X\mid Y))$ signifie d'ordinaire ${\mathrm{E}}_Y({\mathrm{E}}_{X\mid Y}(X\mid Y))$. L'espérance la plus "à l'intérieur" est l'espérance conditionnelle de $X$ sachant $Y$, et l'espérance "à l'extérieur" est toujours déduite en fonction de $Y$. Cette convention est notamment utilisé dans l'ensemble de cet article.

Espérances itérées et ensembles conditionnés imbriqués

La formulation suivante de la loi des espérances itérées joue un rôle important dans de nombreuses modélisations en économie et en finance

$\mathrm{E}(X\mid I_1)=\mathrm{E}(\mathrm{E}(X\mid I_2)\mid I_1)$

où la valeur de I₂ est déterminé par celle de I₁.

Pour que ce résultat soit plus parlant, imaginons un investisseur qui cherche à prévoir pour une action son prix X (aléatoire), à l'aide d'informations limitées dont il dispose dans l'ensemble I₁. La loi des espérances itérées dit que l'investisseur ne pourra jamais se faire une idée plus précise de la prévision de X en conditionnant X par des informations encore plus spécifiques (I₂), à condition que ces prévisions plus spécifiques soient elles-mêmes conçues avec l'information initiale (I₁).

Cette formulation est souvent appliquée dans un contexte de séries temporelles, où E_t désigne l'espérance conditionnelle déduite de l'information observée jusqu'à l'instant t inclus. Dans des modèles typiques, l'ensemble des informations à l'instant t + 1 contient toutes les informations disponibles jusqu'à l'instant t, ainsi que des informations complémentaires révélées à l'instant t + 1. On peut alors écrire :

${\mathrm{E}}_t(X)={\mathrm{E}}_t({\mathrm{E}}_{t+1}(X))$

Voir aussi

• Formule des probabilités totales
• Théorème de la variance totale
• Espérance mathématique

Références

• Modèle:Ouvrage (Théorème 34,4)
• Christopher Sims, "Notes sur les variables aléatoires, les espérances, les densités de probabilité, et martingales", en particulier les équations (16) à (18)