# Esperanza (matemática)

En matemática, concretamente en la rama de estadística, la esperanza (denominada asimismo valor esperado, media poblacional o media) de una variable aleatoria $X$, es el número $\mathbb {E} [X]$ o ${\text{E}}[X]$ que formaliza la idea de valor medio de un fenómeno aleatorio. Es un concepto análogo a la media aritmética de un conjunto de datos.
Cuando la variable aleatoria es discreta, la esperanza es igual a la suma de la probabilidad de cada posible suceso aleatorio multiplicado por el valor de dicho suceso. Por lo tanto, representa la cantidad promedio que se «espera» como resultado de un experimento aleatorio cuando la probabilidad de cada suceso se mantiene constante y el experimento se repite un elevado número de veces. Cabe decir que el valor que toma la esperanza matemática en algunos casos puede no ser «esperado» en el sentido más general de la palabra (el valor de la esperanza puede ser improbable o incluso imposible).
Por ejemplo, el valor esperado cuando tiramos un dado equilibrado de 6 caras es 3,5. Podemos hacer el cálculo
    ${\begin{aligned}\operatorname {E} (X)=1\cdot {\frac {1}{6}}+2\cdot {\frac {1}{6}}+3\cdot {\frac {1}{6}}+4\cdot {\frac {1}{6}}+5\cdot {\frac {1}{6}}+6\cdot {\frac {1}{6}}\\[6pt]={\frac {1+2+3+4+5+6}{6}}=3.5\end{aligned}}$
y cabe destacar que 3,5 no es un valor posible al tirar el dado. En este caso, en el que todos los sucesos son de igual probabilidad, la esperanza es igual a la media aritmética.
Una aplicación común de la esperanza matemática es en las apuestas o los juegos de azar. Por ejemplo, la ruleta francesa tiene 37 casillas equiprobables. La ganancia para acertar una apuesta a un solo número paga de 35 a 1 (es decir, cobramos 35 veces lo que hemos apostado). Por tanto, considerando los 37 posibles resultados, la esperanza matemática del beneficio para apostar a un solo número es:
    $\left(-1\cdot {\frac {36}{37}}\right)+\left(35\cdot {\frac {1}{37}}\right)$
que es aproximadamente -0,027027. Por lo tanto uno esperaría, en media, perder unos 2,7 céntimos por cada euro que apuesta, y el valor esperado para apostar 1 euro son 0.972973 euros. En el mundo de las apuestas, un juego donde el beneficio esperado es cero (no ganamos ni perdemos) se llama un «juego justo».
Nota: El primer término es la «esperanza» de perder la apuesta de 1€, por eso el valor es negativo. El segundo término es la esperanza matemática de ganar los 35€. La esperanza matemática del beneficio es el valor esperado a ganar menos el valor esperado a perder.

## Definición

Como ya se ha dicho, hay varias formas de definir el valor esperado en función del contexto. La definición más sencilla y original se refiere al caso de un número finito de resultados posibles, como el lanzamiento de una moneda. Con la teoría de las series infinitas, se puede ampliar al caso de un número contable de resultados posibles. También es muy común considerar el caso distinto de las variables aleatorias dictadas por funciones de densidad de probabilidad continuas (a trozos), ya que surgen en muchos contextos naturales. Todas estas definiciones específicas pueden considerarse casos especiales de la definición general basada en las herramientas matemáticas de la teoría de la medida y la integración de Lebesgue, que proporcionan a estos diferentes contextos una base axiomática y un lenguaje común.
Cualquier definición de valor esperado puede extenderse para definir un valor esperado de una variable aleatoria multidimensional, es decir, un vector aleatorio X. Se define componente a componente, como E[X]$_i$ = E[X$_i$]. Análogamente, se puede definir el valor esperado de una matriz aleatoria X con componentes X$_{ij}$ por E[X]$_{ij}$ = E[X$_{ij}$].

### Caso discreto

Para una variable aleatoria discreta $X$ con función de probabilidad $\operatorname {P} [X=x_{i}]$ con $i=1,2,\dots ,n$ la esperanza se define como
    $\operatorname {E} [X]=\sum _{i=1}^{n}x_{i}\operatorname {P} [X=x_{i}]$

### Caso continuo

Para una variable aleatoria continua $X$ con función de densidad $f_{X}(x)$ el valor esperado se define como la integral de Riemann
    $\operatorname {E} [X]=\int _{\mathbb {R} }xf_{X}(x)dx$

### Caso general

En general, si $X$ es una variable aleatoria definido en el espacio de probabilidad $(\Omega ,{\mathcal {F}},\operatorname {P} )$ entonces el valor esperado de $X$, denotado por $\operatorname {E} [X]$, está definido como la integral de Lebesgue
    $\operatorname {E} [X]=\int _{\Omega }X(\omega )dP(\omega )\,\!$
Para variables aleatorias multidimensionales, su valor esperado está definido por componente, esto es
    $\operatorname {E} [(X_{1},\dots ,X_{n})]=(\operatorname {E} [X_{1}],\dots ,\operatorname {E} [X_{n}])$
y, para una matriz aleatoria $X$ con elementos $X_{i,j}$, $(\operatorname {E} [X])_{i,j}=\operatorname {E} [X_{i,j}]$.

### Momentos

Las esperanzas
    $\operatorname {E} [X^{k}]$
para $k=1,2,...$ se llaman momentos de orden $k\,\!$ o el $k$-ésimo momento de la variable aleatoria $X$. Más importantes son los momentos centrados $\operatorname {E} [(X-\operatorname {E} [X])^{k}]$.
No todas las variables aleatorias tienen un valor esperado. Por ejemplo, la distribución de Cauchy no lo tiene.

## Historia

La idea del valor esperado se originó a mediados del siglo XVII a partir del estudio del llamado problema de los puntos, que busca repartir las apuestas de manera justa entre dos jugadores, que tienen para terminar su juego antes de que esté correctamente terminado. Este problema había sido debatido durante siglos. Se sugirieron muchas propuestas y soluciones contradictorias a lo largo de los años cuando el escritor francés y matemático aficionado Chevalier de Méré se lo planteó a Blaise Pascal en 1654. Méré afirmó que este problema no podía resolverse y que mostró cuán defectuosas eran las matemáticas cuando se trataba de su aplicación al mundo real. Pascal, siendo matemático, se sintió provocado y decidido a resolver el problema de una vez por todas.
Comenzó a discutir el problema en la famosa serie de cartas a Pierre de Fermat. Muy pronto, a ambos se les ocurrió una solución de forma independiente. Resolvieron el problema de diferentes formas computacionales, pero sus resultados fueron idénticos porque sus cálculos se basaron en el mismo principio fundamental. El principio es que el valor de una ganancia futura debe ser directamente proporcional a la posibilidad de obtenerla. Este principio parecía haber llegado naturalmente a ambos. Estaban muy complacidos por el hecho de que habían encontrado esencialmente la misma solución, y esto a su vez los dejó absolutamente convencidos de que habían resuelto el problema de manera concluyente; sin embargo, no publicaron sus hallazgos. Solo informaron al respecto a un pequeño círculo de amigos científicos mutuos en París.
En el libro del matemático neerlandés Christiaan Huygens, consideró el problema de los puntos y presentó una solución basada en el mismo principio que las soluciones de Pascal y Fermat. Huygens publicó su tratado en 1657 (véase Bibliografía - Huygens (1657)) "De ratiociniis in ludo aleæ" en la teoría de la probabilidad justo después de visitar París. El libro amplió el concepto de expectativa al agregar reglas sobre cómo calcular las expectativas en situaciones más complicadas que el problema original (por ejemplo, para tres o más jugadores), y puede verse como el primer intento exitoso de sentar las bases de la teoría de la probabilidad.
En el prólogo de su tratado, Huygens escribió:
Durante su visita a Francia en 1655, Huygens se enteró del Problema de de Méré. De su correspondencia con Carcavine un año después (en 1656), se dio cuenta de que su método era esencialmente el mismo que el de Pascal. Por lo tanto, sabía acerca de la prioridad de Pascal en este tema antes de que su libro fuera a la imprenta en 1657.
A mediados del siglo XIX, Pafnuty Chebyshev se convirtió en la primera persona en pensar sistemáticamente en términos de las expectativas de variables aleatorias.

### Etimología

Ni Pascal ni Huygens utilizaron el término "expectativa" en su sentido moderno. En concreto, Huygens escribe:
Más de cien años después, en 1814, Pierre-Simon Laplace publicó su tratado "Théorie analytique des probabilités", donde se definía explícitamente el concepto de valor esperado:

## Notaciones

El uso de la letra E para denotar valor esperado se remonta a W. A. Whitworth en 1901. El símbolo se ha popularizado desde entonces entre los escritores ingleses. En alemán, E significa "Erwartungswert", en español "Esperanza matemática" y en francés "Espérance mathématique".
Cuando se usa "E" para denotar valor esperado, los autores usan una variedad de estilización: el operador de expectativa puede estilizarse como E (vertical), E (cursiva), o $\mathbb {E}$ (en negrita de pizarra), mientras que una variedad de notaciones corchete (como E(X), E[X], y EX) son todos utilizados.
Otra notación popular es μ$_X$, mientras que ⟨X⟩, ⟨X⟩$_{av}$, and ${\overline {X}}$ son de uso común en la física, y M(X) en la literatura en lengua rusa.

## Propiedades

Si $X$ y $Y$ son variables aleatorias con esperanza finita y $a,b,c\in \mathbb {R}$ son constantes entonces
* $\operatorname {E} [c]=c$.
* $\operatorname {E} [cX]=c\operatorname {E} [X]$.
* Si $X\geq 0$ entonces $\operatorname {E} [X]\geq 0$.
* Si $X\leq Y$ entonces $\operatorname {E} [X]\leq \operatorname {E} [Y]$.
* Si $X$ está delimitada por dos números reales, $a$ y $b$, esto es $a<X<b$ entonces también lo está su media, es decir, $a<\operatorname {E} [X]<b$.
* Si $Y=a+bX$, entonces $\operatorname {E} [Y]=\operatorname {E} [a+bX]=a+b\operatorname {E} [X]$.
* En general, $\operatorname {E} [XY]\neq \operatorname {E} [X]\operatorname {E} [Y]$, la igualdad sólo se cumple cuando las variables aleatorias son independientes.

### Linealidad

El operador esperanza $\operatorname {E} [\cdot ]$ es una aplicación lineal, pues para cualesquiera variables aleatorias $X$ y $Y$ y cualquier constante $c$ tal que $c\in \mathbb {R}$, se cumple lo siguiente:
* ${\begin{aligned}\operatorname {E} [X+Y]&=\operatorname {E} [X]+\operatorname {E} [Y]\end{aligned}}$
* ${\begin{aligned}\operatorname {E} [cX]&=c\operatorname {E} [X]\end{aligned}}$
Demostrar este resultado es sencillo. Si consideramos que $X$ y $Y$ son variable aleatorias discretas, entonces
    ${\begin{aligned}\operatorname {E} [X+Y]&=\sum _{x,y}(x+y)\operatorname {P} [X=x,Y=y]\\&=\sum _{x,y}x\operatorname {P} [X=x,Y=y]+\sum _{x,y}y\operatorname {P} [X=x,Y=y]\\&=\sum _{x}x\sum _{y}\operatorname {P} [X=x,Y=y]+\sum _{y}y\sum _{x}\operatorname {P} [X=x,Y=y]\\&=\sum _{x}x\operatorname {P} [X=x]+\sum _{y}y\operatorname {P} [Y=y]\\&=\operatorname {E} [X]+\operatorname {E} [Y]\end{aligned}}$

### Independencia

* Teorema de multiplicación de esperanzas
* Sean $X_{1},\dots ,X_{n}$ variables aleatorias independientes, tales que $\exists \operatorname {E} [X_{i}]\,\,\forall i=1\dots n$. Entonces $\exists \operatorname {E} [X_{1}\cdots X_{n}]$, y se verifica:
* $\operatorname {E} [X_{1}\cdots X_{n}]=\operatorname {E} [X_{1}]\cdots \operatorname {E} [X_{n}]=\prod _{i=1}^{n}{\operatorname {E} [X_{i}]}$
La demostración de este resultado es muy sencilla, sólo hay que considerar el concepto de independencia. El resultado se demuestra sólo para el caso discreto bidimensional (la demostración del caso continuo es análoga).
    ${\begin{aligned}\operatorname {E} [XY]&=\sum _{x}\sum _{y}xy\operatorname {P} [X=x,Y=y]\\&=\sum _{x}\sum _{y}xy\operatorname {P} [X=x]\operatorname {P} [Y=y]\\&=\sum _{x}x\operatorname {P} [X=x]\sum _{y}y\operatorname {P} [Y=y]\\&=\operatorname {E} [X]\operatorname {E} [Y]\end{aligned}}$