Esperanza condicional

En teoría de la probabilidad, una esperanza condicional de una variable aleatoria (también conocido como valor esperado condicional o media condicional) es el valor esperado de dicha variable respecto a una distribución de probabilidad condicional.

El concepto de esperanza condicional es extremadamente importante en la teoría de la medida de Andréi Kolmogórov -medida teórica definición de la teoría de probabilidades. De hecho, el propio concepto de probabilidad condicional es en realidad definida en términos de esperanza condicional. En el caso de una variable aleatoria se define sobre un espacio de probabilidad discreto las "condiciones" se toman sobre una partición de dicho espacio de probabilidad. Esta definición se puede generalizar a cualquier espacio de probabilidad mediante la teoría de la medida.

Introducción

editar

Sean X e Y dos variables aleatorias discretas, a continuación, la expectativa condicional de X dado el caso Y = y es una función de y sobre el rango de Y

 

donde   es el rango de X. Si ahora X es una variable aleatoria continua , mientras que Y sigue siendo una variable discreta, la expectativa condicional es:

 

donde   es la densidad condicional de   dado  . Un problema surge cuando Y es continua. En este caso, la probabilidad P (Y = y) = 0, y la paradoja de Borel-Kolmogorov demuestra la ambigüedad de intentar definir probabilidad condicional a lo largo de estas líneas. Sin embargo, la expresión anterior puede ser reorganizada:

 

y aunque esto es trivial para valores individuales de y (ya que ambos lados son iguales a cero), se debe mantener para cualquier subconjunto medible B del dominio de Y que:

 

De hecho, esta es una condición suficiente para definir tanto la expectativa condicional y probabilidad condicional.

Definición formal

editar

Sean:

  •   un espacio de probabilidad,
  •   una variable aleatoria en dicho espacio de probabilidad con esperanza finita, es decir,  , y
  •   una sub- -álgebra de  .

Como   es una sub  -álgebra de  , la función   no es, en general,  -medible, por lo que no puede asumirse la existencia de integrales de la forma  , donde   y   es la restricción de   a  . Sin embargo, los promedios locales   pueden recuperarse en   gracias al concepto de esperanza condicionada. Una esperanza condicionada de X dado  , denotada por  , es cualquier función  -medible   que satisfaga

 

para todo  .

La existencia de   puede demostrarse observando que   for   es una medida finita en   que es absolutamente continua respecto a  . Sea   la inyección natural de   a  ; entonces   es la restricción de   a   y   es la restricción de   a  . Además,   es absolutamente continua respecto a  , puesto que la condición

 

implica

 

Por tanto, podemos definir la esperanza condicionada de   respecto a   como la derivada de Radon-Nikodym de la medida   respecto a   en  , es decir,

 

que claramente satisface la definición de esperanza condicionada introducida anteriormente.

Referencias

editar