Conditional probability

Conditional expected value

Given an event

Let 𝑋 :𝜉 →ℝ be a real random variable and 𝐴 ∈F be an event with nonzero probability. Then the conditional expected value of 𝑋 given 𝐴 is defined to be #m/def/prob

𝔼⁡[𝑋∣𝐴]=∫∞−∞𝑦𝑓𝑌∣𝐴(𝑦)𝑑𝑥

where 𝑓𝑌∣𝐴(𝑦) is the conditional distribution of 𝑌 given 𝐴.

Properties

Given a random variable

Let 𝑋,𝑌 :𝜉 →ℝ be a real random variables and 𝑔(𝑥) =𝔼⁡[𝑌 ∣𝑋 =𝑥]. Then the conditional expected value of 𝑌 given 𝑋 is the random function

𝔼⁡[𝑌∣𝑋]=𝑔(𝑋)

Properties

Let 𝑋,𝑌,𝑍,𝑌1,𝑌2,⋯ :𝜉 →ℝ, be real random variables.

  1. If 𝑋 and 𝑌 are independent, then 𝔼⁡[𝑌 ∣𝑋] =𝔼⁡[𝑌]
  2. For any function ℎ :ℝ →ℝ we have 𝔼⁡[ℎ(𝑋)𝑌 ∣𝑋] =ℎ(𝑋)𝔼⁡[𝑌 ∣𝑋]
  3. Linearity: 𝔼⁡[𝜇𝑌1 +𝜆𝑌2 ∣𝑋] =𝜇[𝑌1 ∣𝑋] +𝜆𝔼⁡[𝑌2 ∣𝑋]
  4. Adam's law: 𝔼⁡[𝑌] =𝔼⁡[𝔼⁡[𝑌 ∣𝑋]]
  5. Adam's law with extra conditioning: 𝔼⁡[𝔼⁡[𝑌 ∣𝑋,𝑍] ∣𝑍] =𝔼⁡[𝑌 ∣𝑍]
  6. Projection interpretation of conditional expected value

See also


#state/tidy | #lang/en | #SemBr