Con la posible excepción de un conjunto de probabilidad cero, cada unoω∈Ω mapea a {Y = y} para algunospY(y)>0 y con yE[X∣Y=y] se define para esa y A...Con la posible excepción de un conjunto de probabilidad cero, cada unoω∈Ω mapea a {Y = y} para algunospY(y)>0 y con yE[X∣Y=y] se define para esa y Así podemos definirE[X∣Y]as25 un rv que es una función de Y, mapeandoω a un valor de muestra, digamos y de Y, y mapeando ese y aE[X∣Y=y].
