Loading AI tools
moyenne des valeurs prises par une variable aléatoire, pondérées par leurs probabilités De Wikipédia, l'encyclopédie libre
Pour les articles homonymes, voir Espérance.
En théorie des probabilités, l'espérance mathématique (ou tout simplement espérance, ou premier moment) d'une variable aléatoire réelle est, intuitivement, la moyenne des valeurs obtenues si l'on répète un grand nombre de fois la même expérience aléatoire. Étant donné que c'est une moyenne, il se peut qu'elle ne soit pas dans les valeurs réalisables, et donc ce n'est pas forcément une valeur que l'on s'attend à trouver durant une expérience. Si est une variable aléatoire, l'espérance de se note (ou [1]).
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
Elle correspond à une moyenne pondérée des valeurs que peut prendre cette variable. Dans le cas où celle-ci prend un nombre fini de valeurs, il s'agit d'une moyenne pondérée par les probabilités d'apparition de chaque valeur. Dans le cas où la variable aléatoire possède une densité de probabilité, l'espérance est la moyenne des valeurs pondérées par cette densité. De manière mathématiquement plus précise et plus générale, l'espérance d'une variable aléatoire est l'intégrale de cette variable selon la mesure de probabilité de l'espace probabilisé de départ.
La présentation intuitive de l'espérance exposée ci-dessus est la conséquence de la loi des grands nombres : l'espérance, si elle existe[2], est la limite presque-sûre de la moyenne des résultats au cours de plusieurs expériences, quand leur nombre augmente à l'infini.
L'espérance est une caractéristique importante d'une loi de probabilité : c'est un indicateur de position. Ainsi, une variable aléatoire est dite centrée si son espérance est nulle. Elle forme, avec la variance, indicateur de dispersion, l'ensemble des indicateurs qui sont presque systématiquement donnés quand est présentée une variable aléatoire.
L'espérance joue un rôle important dans un grand nombre de domaines, comme dans la théorie des jeux, la théorie de la décision, ou encore en théorie du signal et en statistique inférentielle où un estimateur est dit sans biais si son espérance est égale à la valeur du paramètre à estimer.
La notion d'espérance est popularisée par Christian Huygens dans son Traité du hasard de 1656 sous le nom de « valeur de la chance ».
La répartition des mises d'un jeu de hasard si la partie est interrompue avant sa fin, ou encore l'estimation des sommes qu'on peut espérer gagner dans un tel jeu, ont suscité l'intérêt des mathématiciens dès le 15e siècle (Luca Pacioli), et de nombreuses contributions et controverses jusque vers le milieu du 17e siècle, notamment de la part de Tartaglia, Forestani et Cardan[3]. Cette question est celle examinée, et largement résolue, par Blaise Pascal dans son problème des partis[4] en 1654 et par Christian Huygens dans son ouvrage Du calcul dans les jeux de hasard[5]en 1657.
Dans une lettre à Fermat datée du 29 juillet 1654, Blaise Pascal mentionne un problème qui lui a été posé par le chevalier de Méré[6], auquel il donne une esquisse de solution. Pascal reprend ce sujet et en approfondit les solutions dans son "Traité du triangle arithmétique", publié en 1655, dans la partie intitulée "Usage du triangle arithmétique pour déterminer les partis qu'on doit faire entre deux Joueurs qui jouent plusieurs parties"[7].
Pascal imagine un jeu de pile ou face avec un pot commun de 64 pistoles, et le premier joueur à voir apparaître trois fois la face qu'il a choisie remporte la mise. Si le jeu s'interrompt à un moment où chacun des deux joueurs a la même chance de gagner, il est équitable de répartir les 64 pistoles à parts égales entre chaque joueur, mais si la partie s'interrompt alors qu'un des joueurs a pris un avantage, la répartition doit se faire autrement. Pascal imagine ainsi que le jeu s'interrompt alors que les lancers de pièces ont été PPF (pile-pile-face). Il envisage alors ce qu'aurait été le coup suivant :
Pour Pascal, le joueur ayant misé sur P doit obtenir 32 pistoles à coup sûr mais a une chance sur deux de gagner 32 pistoles supplémentaires. Il doit donc récupérer 48 pistoles.
Pascal ne parle pas de probabilité ni d'espérance de gain mais son idée intuitive reste d'associer un gain à une chance de l'obtenir[8]. Les 48 pistoles que Pascal propose de donner au joueur ayant misé sur P correspondent de fait à son espérance de gain : si la partie s'arrête au quatrième coup, ce joueur a une chance sur deux de gagner 64 pistoles (si la pièce tombe sur P) et une chance sur deux de gagner seulement 32 pistoles (si la pièce tombe sur F et que le jeu s'interrompt). Son espérance de gain est alors de (on multiplie chaque gain par la probabilité de l'obtenir puis on fait la somme de tous ces produits).
Christian Huygens publie en 1657 son ouvrage De ratiociniis in Ludo Aleae, petit traité en latin d'une vingtaine de pages[9], qui sera traduit ensuite en néerlandais, puis en français et bien d'autres langues. Ce traité est considéré comme le premier livre sur le calcul des probabilités dans les jeux de hasard, et une des fondations de la théorie des probabilités. Il contient 14 "propositions". La proposition 4[5]reprend le problème des partis étudié peu de temps auparavant par Pascal. La proposition 3[5]s’intéresse à la somme à miser pour que le jeu soit équitable, c'est-à-dire que le joueur, sur un très grand nombre de parties, équilibre ses mises et ses gains[10]. Huygens y établit que, si dans un jeu, on a p chances de gagner la somme a pour q chances de gagner la somme b, il faut miser : pour que le jeu soit équitable. Il considère que cette mise est aussi le juste prix auquel un joueur devrait céder sa place à une personne désirant le remplacer pour la suite d'une partie en cours.
Dans son traité, il formalise ainsi la notion d'espérance, qu'il nomme la « valeur de ma chance »[11], et l'étend à d'autres domaines que la théorie des jeux. En particulier, avec son frère, il s'intéresse à l'espérance de vie[12].
L'espérance est fortement liée à l'idée de moyenne[13]. En effet, la notion de hasard empêche de prédire le résultat d'une seule expérience aléatoire mais la loi des grands nombres permet de mieux maitriser le résultat si on exécute un grand nombre d'expériences aléatoires de même type. Ainsi, au cours d'un seul lancer de dé, chaque face a normalement une chance sur 6 d'apparaître et il est difficile de prédire le résultat moyen sur trois lancers de dé. Mais, en renouvelant mille fois ou dix mille fois le lancer, les résultats se répartissent presque équitablement entre les différents nombres de 1 à 6[14]. La moyenne des nombres obtenus au cours de ces nombreux lancers s'approche alors de qui correspond à l'espérance de cette expérience de lancer de dé. L'espérance sert donc à prévoir la valeur moyenne obtenue pour la variable que l'on mesure si l'expérience est renouvelée un très grand nombre de fois. Elle sert par exemple, en théorie des jeux, à prévoir la somme moyenne que chaque joueur va remporter[15]. Elle sert aussi dans le domaine des assurances pour déterminer le coût moyen d'une assurance permettant de couvrir les frais consécutifs aux accidents.
L'espérance et la loi des grands nombres permettent aussi d'invalider une loi de probabilité. On raconte qu'Henri Poincaré s'en serait servi, avec d'autres indices, pour mettre en évidence la malhonnêteté de son boulanger[16]. En effet, le poids d'un pain est soumis à des fluctuations aléatoires mais son espérance est fixée par la loi. Le poids d'un pain annoncé à 1 kg, par exemple, peut fluctuer autour de cette valeur. Poincaré aurait pesé sur une grande période le pain acheté chez son boulanger et aurait trouvé que son poids moyen était largement inférieur à 1 kg. Cette moyenne était trop loin de l'espérance et indiquait une malversation du commerçant.
L'espérance d'une variable aléatoire est définie, si elle existe, de façon mathématiquement précise par rapport à un espace probabilisé, généralement noté , où est l'univers des possibles, la tribu (l'ensemble) des évènements possibles et une loi de probabilité telle que =1.
Selon la nature de , la définition et la preuve d'existence de l'espérance sont plus ou moins simples, et explicitées ci-dessous.
Si la variable X prend les valeurs x1, x2, ... , xn avec les probabilités p1, p2, ... , pn, l'espérance de X est définie comme :
Comme la somme des probabilités est égale à 1, l'espérance peut être considérée comme la moyenne des xi pondérée par les pi
Exemple : Le jeu de la roulette française consiste à lancer une petite bille sur une roulette contenant 37 cases. Un joueur mise une certaine somme M sur une des cases. Si la bille s'arrête dans sa case, on lui rembourse 36 fois sa mise (son gain est alors de 35M = 36M – M), sinon il perd sa mise (son gain est alors de – M = 0 – M). Son espérance de gain est alors de : Ce résultat signifie qu'en moyenne, le joueur perd 2,7 % de sa mise à chaque jeu et inversement que le casino gagne en moyenne 2,7 % de la mise de chaque joueur. Le nombre de joueurs dans un casino est suffisamment important pour que cette espérance corresponde effectivement au gain moyen par joueur pour le casino. Ce jeu est donc défavorable aux joueurs, et favorable au casino[15].
Si la variable X prend une infinité dénombrable de valeurs x1, x2, ... avec les probabilités p1, p2, ..., l'espérance de X est définie comme à condition que cette somme soit absolument convergente[17]. Ainsi la série qui prendrait les valeurs 1, -2, 3, -4... avec les probabilités c12, c22, c32, c42..., où c = 6⁄π2 est choisi de telle sorte que la somme des probabilités donne 1[18], donnerait pour somme infinie : Cette somme infinie vaut[19] c ln(2) = 0,421488.... Cependant il serait incorrect d'en conclure que l'espérance de X est égale à ce nombre : en fait, l'espérance de X n'existe pas car la série n'est pas absolument convergente (voir série harmonique).
Si la variable aléatoire continue réelle X admet une densité de probabilité f, son espérance est définie comme : à condition que l'intégrale soit absolument convergente.
La définition permet de retrouver toutes les définitions précédentes. Cette définition est basée sur la théorie de la mesure et l'intégrale de Lebesgue. Soit X une variable aléatoire de l'espace probabilisé vers . Si X est intégrable selon la mesure , l'espérance de X est définie par[13] : D'après le théorème de transfert, elle est alors égale à Il s’agit donc du centre de masse, ou en encore du moment d'ordre 1, du support de X muni de la mesure de probabilité associée.
Mais l'espérance de la variable aléatoire peut aussi être définie au graphe de sa fonction de répartition par une égalité des aires qui s'offre. En effet, avec un nombre réel si et seulement si les deux surfaces dans le plan - décrites par
respectivement, ont la même aire finie, c'est-à-dire si
et les deux intégrales de Riemann impropres convergent. Enfin, cela est équivalent à la représentation
également avec des intégrales convergentes[20].
X étant une variable aléatoire à valeur dans un espace mesurable , une fonction φ mesurable de dans définit une nouvelle variable aléatoire réelle notée φ(x) dont l'espérance, lorsqu'elle existe, s'écrit en remplaçant x par φ(x) dans les formules précédentes (théorème de transfert)[21].
Son espérance est définie par :
D'après le théorème de transfert, elle est alors égale à
C'est notamment le cas quand S est fini. En notant ses valeurs x1, ..., xn et p1, ..., pn les probabilités correspondantes, l'espérance devient :
En particulier, il est intéressant de considérer la variable aléatoire à valeurs complexes φ(X) = eiθX (où θ est un réel) dont l'espérance mathématique est la transformée de Fourier inverse de fX (dans le cas où ) :
Il s'agit de la fonction caractéristique d'une variable aléatoire. L'exponentielle se développe en série de Taylor :
Si les probabilités sont toujours sans dimensions, les espérances s'expriment toujours avec les mêmes unités physiques (mètres, kilogrammes, secondes, ampères), monétaires (euros) ou abstraites (points, jetons, buts) que les variables aléatoires correspondantes[22].
Dans tout le reste de cet article, les variables aléatoires mentionnées sont supposées remplir les conditions d'existence d'une espérance.
Si X est une variable aléatoire positive ou nulle, alors . Plus généralement, si est positive, continument dérivable, croissante sur , et si , on a . Un cas particulier important est celui des moments de X : pour , , la première égalité étant l'instance de l'égalité précédente. Dans le cas d'une variable aléatoire à valeurs entières, ces formules se réécrivent, après un petit calcul intermédiaire, respectivement : .
Définition —
qui signifie que est une fonction de y (en fait une variable aléatoire). L'espérance itérée vérifie
En général, l'opérateur espérance ne respecte pas les fonctions de variable aléatoire, c'est-à-dire qu'en général :
Une inégalité célèbre à ce propos est l'inégalité de Jensen pour des fonctions convexes (ou concaves).
On utilise souvent comme estimateur de l'espérance la moyenne empirique, qui est un estimateur :
On considère fréquemment l'espérance comme le centre de la variable aléatoire, c'est-à-dire la valeur autour de laquelle se dispersent les autres valeurs.
En particulier, si et ont même loi de probabilité, c'est-à-dire si la loi de probabilité est symétrique par rapport à , et si admet une espérance, alors .
Mais ce point de vue n'est plus valable lorsque la loi est dissymétrique. Pour s'en persuader il suffit d'étudier le cas d'une loi géométrique, une loi particulièrement dissymétrique. Si représente le nombre de lancers nécessaires pour obtenir le chiffre 1 avec un dé cubique, on démontre que ce qui veut dire qu'il faut en moyenne 6 lancers pour obtenir le chiffre 1. Pourtant, la probabilité que 5 essais ou moins suffisent vaut près de 0,6 et la probabilité que 7 lancers ou plus soient nécessaires est de 0,33. Les valeurs de X ne se répartissent donc pas équitablement de part et d'autre de l'espérance. La qui possède cette propriété est la médiane.
Dans certains cas, les indications de l'espérance mathématique ne coïncident pas avec un choix rationnel. Imaginons par exemple qu'on vous fasse la proposition suivante : si vous arrivez à faire un double six avec deux dés, vous gagnez un million d'euros, sinon vous perdez 10 000 euros. Il est probable que vous refuserez de jouer. Pourtant l'espérance de ce jeu vous est très favorable : la probabilité de tirer un double 6 est de 1/36 ; on obtient donc :
à chaque partie vous gagnez en moyenne 18 000 euros.
Le problème tient justement sur ce « en moyenne » : si les gains sont extrêmement importants, ils n'interviennent que relativement rarement, et pour avoir une garantie raisonnable de ne pas finir ruiné, il faut donc avoir suffisamment d'argent pour participer à un grand nombre de parties. Si les mises sont trop importantes pour permettre un grand nombre de parties, le critère de l'espérance mathématique n'est donc pas approprié.
Ce sont ces considérations et de risque de ruine qui conduisirent, à partir de son « paradoxe de Saint-Pétersbourg », le mathématicien Daniel Bernoulli à introduire en 1738 l'idée d'aversion au risque qui conduit à assortir l'espérance mathématique d'une prime de risque pour son application dans les questions de choix.
Plutôt que de passer par une notion de prime, on peut directement établir une fonction d'utilité, associant à tout couple {gain, probabilité} une valeur. L'espérance mathématique constitue alors la plus simple des fonctions d'utilité, appropriée dans le cas d'un joueur neutre au risque disposant de ressources au moins très grandes à défaut d'infinies.
Émile Borel adopta cette notion d'utilité pour expliquer qu'un joueur ayant peu de ressources choisisse rationnellement de prendre un billet de loterie chaque semaine : la perte correspondante n'est en effet pour lui que quantitative, tandis que le gain – si gain il y a – sera qualitatif, sa vie entière en étant changée. Une chance sur un million de gagner un million peut donc valoir dans ce cas précis bien davantage qu'un euro.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
![{\displaystyle \mathbb {E} [X]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/09de7acbba84104ff260708b6e9b8bae32c3fafa)
![{\displaystyle \mathbb {E} [X]=x_{1}p_{1}+x_{2}p_{2}+\dotsb +x_{n}p_{n}\;.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/10fda36da3f0bfe7a155c676da2b0af0edd11a08)
![{\displaystyle \mathbb {E} [X]={\frac {x_{1}p_{1}+x_{2}p_{2}+\dotsb +x_{n}p_{n}}{p_{1}+p_{2}+\dotsb +p_{n}}}\;.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/7ce8d2eaf2699c996f58d41ade8bb3f74b2cb8fb)
![{\displaystyle \mathbb {E} [\,{\text{Gain}}_{M}]=-M\times {\frac {36}{37}}\ +35M\times {\frac {1}{37}}\approx -0,027M.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/2c97e401a4d8c903e3293b32cadca801de2cd52a)
![{\displaystyle \mathbb {E} [X]=\sum _{i=1}^{\infty }x_{i}\,p_{i},}](http://wikimedia.org/api/rest_v1/media/math/render/svg/1b44e025149f5aff54d31faf4e9b199e7a84fe57)
![{\displaystyle \mathbb {E} [X]=\int _{-\infty }^{\infty }xf(x)\,\mathrm {d} x,}](http://wikimedia.org/api/rest_v1/media/math/render/svg/0f7b1b7c892c9e56d396c5b89f4332d7dc68e2c2)
![{\displaystyle \mathbb {E} [X]=\int _{\Omega }X(\omega )\mathrm {d} \mathbb {P} (\omega ).}](http://wikimedia.org/api/rest_v1/media/math/render/svg/2ee5557f54d83b6af8148e9953f2a9c832f49a71)
![{\displaystyle \mathbb {E} [X]=\int _{\mathbb {R} }x\mathrm {d} \mathbb {P} _{X}(x).}](http://wikimedia.org/api/rest_v1/media/math/render/svg/ebc458ce7e8d257c45bd68bfb232a68fc107cae7)
![{\displaystyle \mathbb {E} [X]=\mu }](http://wikimedia.org/api/rest_v1/media/math/render/svg/6b82afe50d1b71cf9ff6bfd233df1bd461b23a69)
![{\displaystyle \mathbb {E} [X]=\int _{0}^{\infty }{\big (}1-F(x){\big )}\,\mathrm {d} x-\int _{-\infty }^{0}F(x)\,\mathrm {d} x,}](http://wikimedia.org/api/rest_v1/media/math/render/svg/878a6a511d45abd32488e22ed620c540be47467d)
![{\displaystyle \mathbb {E} \left[\varphi (X)\right]=\int _{\Omega }\varphi \left(X(\omega )\right)\mathrm {d} \mathbb {P} (\omega ).}](http://wikimedia.org/api/rest_v1/media/math/render/svg/486255e79b76c3567d3aa2e5e4227d43fa13100c)
![{\displaystyle \mathbb {E} \left[\varphi (X)\right]=\int _{F}\varphi (x)\mathrm {d} \mathbb {P} _{X}(x).}](http://wikimedia.org/api/rest_v1/media/math/render/svg/2418abd8bcb043401267857b1e3208e726f2bc15)
![{\displaystyle \mathbb {E} \left[\varphi (X)\right]=\int _{F}\varphi (x)f_{X}(x)\mathrm {d} \mu (x).}](http://wikimedia.org/api/rest_v1/media/math/render/svg/ede5346024b92d9206e5ab56891abb8966e430d1)
![{\displaystyle \mathbb {E} \left[\varphi (X)\right]=\sum _{x\in S}\varphi (x)\mathbb {P} _{X}(\{x\}).}](http://wikimedia.org/api/rest_v1/media/math/render/svg/e09ca3c5e1f3d01c1c3d9982a15a1c21d74ad3b7)
![{\displaystyle \mathbb {E} \left[\varphi (X)\right]=\sum _{k=1}^{n}\varphi (x_{k})p_{k}.}](http://wikimedia.org/api/rest_v1/media/math/render/svg/dbe5ef6fd60866e580347afab4c4a53e28ea85de)
![{\displaystyle \phi _{X}(\theta )=\mathbb {E} \left[{\rm {e}}^{{\rm {i}}\theta X}\right].}](http://wikimedia.org/api/rest_v1/media/math/render/svg/a056eb8e5f1bbd5402640b03e0ca874c81dbfc0f)
![{\displaystyle \phi _{X}(\theta )=\mathbb {E} \left[\sum _{k=0}^{\infty }{\frac {({\rm {i}}\theta X)^{k}}{k!}}\right]=\sum _{k=0}^{\infty }{\frac {({\rm {i}}\theta )^{k}}{k!}}\mathbb {E} \left[X^{k}\right].}](http://wikimedia.org/api/rest_v1/media/math/render/svg/a7b1ebea72eb6d50b9ec73055aac9ac48f3786b8)
![{\displaystyle \mathbb {E} [b]=b}](http://wikimedia.org/api/rest_v1/media/math/render/svg/5dcc1e08c0030ae07b720a1198f00c2bd6fcb129)
![{\displaystyle \mathbb {E} [X]\leq \mathbb {E} [Y]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/0162ddf252bc3630960a896e05e8ef0209e9fb00)
![{\displaystyle \mathbb {E} [aX+bY]=a\mathbb {E} [X]+b\mathbb {E} [Y]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/3f83f47490968b9a9cda0fe680e6a5b338c69107)
![{\displaystyle \mathbb {E} [XY]\neq \mathbb {E} [X]\mathbb {E} [Y]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/46a033338029f2b0336cc1ae7c62c8ff9fac689e)
![{\displaystyle \mathbb {E} [X]=\int _{0}^{+\infty }\mathbb {P} (X\geq x)\,\mathrm {d} x=\int _{0}^{+\infty }\mathbb {P} (X>x)\,\mathrm {d} x}](http://wikimedia.org/api/rest_v1/media/math/render/svg/c527fa0619a544aa4109d6c1c951131d25db1956)
![{\displaystyle \mathbb {E} [\varphi (X)]=\int _{0}^{+\infty }\varphi ^{\prime }\left(x\right)\mathbb {P} (X\geq x)\,\mathrm {d} x=\int _{0}^{+\infty }\varphi ^{\prime }\left(x\right)\mathbb {P} (X>x)\,\mathrm {d} x}](http://wikimedia.org/api/rest_v1/media/math/render/svg/b05364d75a456739ac08bfa9f17980eee9955f62)
![{\displaystyle \mathbb {E} [X^{\alpha }]=\int _{0}^{+\infty }\alpha x^{\alpha -1}\mathbb {P} (X\geq x)\,\mathrm {d} x}](http://wikimedia.org/api/rest_v1/media/math/render/svg/b3f50685ab026d433d33b74535361c3bcbcc1ba0)
![{\displaystyle \mathbb {E} [X]=\sum _{k\geq 1}\mathbb {P} (X\geq k)\quad {\textrm {et}}\quad \mathbb {E} [X^{\alpha }]=\sum _{k\geq 1}\left(k^{\alpha }-(k-1)^{\alpha }\right)\mathbb {P} (X\geq k)}](http://wikimedia.org/api/rest_v1/media/math/render/svg/1e568c26ff02587ce90b0853d6b2983d90a5e2a9)
![{\displaystyle {\begin{aligned}\mathbb {E} \left[\varphi (X)\right]&=\int _{0}^{+\infty }\varphi (x)\,\mathbb {P} _{X}(\mathrm {d} x)\\&=\int _{0}^{+\infty }\left(\int _{0}^{x}\varphi ^{\prime }(u)\,\mathrm {d} u\right)\mathbb {P} _{X}(\mathrm {d} x)\\&=\int _{0}^{+\infty }\left(\int _{0}^{+\infty }\varphi ^{\prime }\left(u\right)1_{u<x}\,\mathrm {d} u\right)\mathbb {P} _{X}(\mathrm {d} x)\\&=\int _{0}^{+\infty }\left(\int _{0}^{+\infty }1_{u<x}\,\mathbb {P} _{X}(\mathrm {d} x)\right)\varphi ^{\prime }(u)\,\mathrm {d} u\\&=\int _{0}^{+\infty }\mathbb {P} \left(X>u\right)\varphi ^{\prime }(u)\,\mathrm {d} u,\end{aligned}}}](http://wikimedia.org/api/rest_v1/media/math/render/svg/f383bb10d947fd0b946f9d6ced84fc0ba04387df)
\equiv \mathbb {E} [X|Y=y]\equiv \sum \limits _{x}x\cdot \mathbb {P} (X=x|Y=y).}](http://wikimedia.org/api/rest_v1/media/math/render/svg/4a2a65d6a423a89f251972f820ef98c615e7105f)
}](http://wikimedia.org/api/rest_v1/media/math/render/svg/5ee165c4d945c6da8d02b460044eb79f50d68933)
![{\displaystyle \mathbb {E} \left[\mathbb {E} [X|Y]\right]=\mathbb {E} [X]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/6c667d62b0c695c859d5327a81c72a20c402876b)
![{\displaystyle {\begin{aligned}\mathbb {E} \left[\mathbb {E} [X|Y]\right]&=\sum \limits _{y}\mathbb {E} [X|Y=y]\cdot \mathbb {P} (Y=y)\\&=\sum \limits _{y}\left(\sum \limits _{x}x\cdot \mathbb {P} (X=x|Y=y)\right)\cdot \mathbb {P} (Y=y)\\&=\sum \limits _{y}\sum \limits _{x}x\cdot \mathbb {P} (X=x|Y=y)\cdot \mathbb {P} (Y=y)\\&=\sum \limits _{y}\sum \limits _{x}x\cdot \mathbb {P} (Y=y|X=x)\cdot \mathbb {P} (X=x)\\&=\sum \limits _{x}x\cdot \mathbb {P} (X=x)\cdot \left(\sum \limits _{y}\mathbb {P} (Y=y|X=x)\right)\\&=\sum \limits _{x}x\cdot \mathbb {P} (X=x)\\&=\mathbb {E} [X]\end{aligned}}}](http://wikimedia.org/api/rest_v1/media/math/render/svg/1dab7b1dd9408e0f6b2505f6f04e268d37a93b4e)
![{\displaystyle \mathbb {E} [X]=\mathbb {E} \left[\mathbb {E} [X|Y]\right].}](http://wikimedia.org/api/rest_v1/media/math/render/svg/904d1862f6e06a15947a76ba3d0a22214717edc6)
![{\displaystyle \mathbb {E} [g(X)]=\int _{\Omega }g(X)\,\mathrm {d} \mathbb {P} \neq g(\mathbb {E} [X]).}](http://wikimedia.org/api/rest_v1/media/math/render/svg/f0d6d4c88fc380b7d6d8c5df5133e4f8cd0b0f67)
![{\displaystyle \mathbb {E} [X]=a}](http://wikimedia.org/api/rest_v1/media/math/render/svg/480a0005d8c668d679686bed7cb0de64c94d6f00)
![{\displaystyle \mathbb {E} [X]=6}](http://wikimedia.org/api/rest_v1/media/math/render/svg/cde280e9e6016bd2c70f4836d1d394bf27f55011)
![{\displaystyle \mathbb {E} [X\cdot X^{2}]=0=\mathbb {E} [X]\mathbb {E} [X^{2}]}](http://wikimedia.org/api/rest_v1/media/math/render/svg/da06404b848616875b713176f6b7eaa84924c59b)
