Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have a small computation to do and I am not able to prove it:

Let $(\Omega,\mathcal{F},\mathbb{P})$ be a probabiltiy space. Let $X$ be an integrable random variable and $A\in\mathcal{F}$ an event. Let $\mathcal{A}=\{\emptyset,\Omega,A,A^c\}$.

What is $\mathbb{E}[X \mid \mathcal{A}]$? I do not how to procede, is there anybody who can give a detailed proof of the expression of $\mathbb{E}[X \mid \mathcal{A}]$ in this particular situation?

Thanks in advance!

share|improve this question

3 Answers 3

up vote 4 down vote accepted

By the definition of conditional expectation, $Y:= \mathbb{E}(X \mid \mathcal{A})$ is $\mathcal{A}$-measurable. So, it's a good start to think about the question how $\mathcal{A}$-measurable random variables look like. In this case, you can easily show that they are of the form $$c_1 \cdot 1_A + c_2 \cdot 1_{A^c}$$ where $c_1, c_2$ are constants. Thus we conclude $$Y= c_1 \cdot 1_A + c_2 \cdot 1_{A^c} \tag{1}$$ for some suitable constants $c_1$, $c_2$. Obviously, we still have to determine $c_1, c_2$.

Again by the definition of conditional expectation, we know that $Y$ has to fulfill $$\forall B \in \mathcal{A}: \int_B X \, d\mathbb{P} = \int_B Y \, d\mathbb{P} \stackrel{(1)}{=} \int_B (c_1 \cdot 1_A + c_2 \cdot 1_{A^c}) \, d\mathbb{P}$$

First, we choose $B=A$ and obtain $$\int_A X \, d\mathbb{P} = \int_A (c_1 \cdot 1_A + c_2 \cdot 1_{A^c}) \, d\mathbb{P} = \int (c_1 \cdot 1_A + c_2 \cdot \underbrace{1_A \cdot 1_{A^c}}_{0}) \, d\mathbb{P} = c_1 \cdot \mathbb{P}(A) \\ \Rightarrow c_1 = \begin{cases} \frac{\mathbb{E}(X \cdot 1_A)}{\mathbb{P}(A)} & \mathbb{P}(A) \not= 0 \\ 0 & \mathbb{P}(A) = 0 \end{cases} $$

A similar calculation for $B=A^c$ yields $$c_2 = \begin{cases} \frac{\mathbb{E}(X \cdot 1_{A^c})}{\mathbb{P}(A^c)} & \mathbb{P}(A^c) \not= 0 \\ 0 & \mathbb{P}(A^c) = 0 \end{cases} $$

share|improve this answer

Let $Y=\mathbb E[X\mid \mathcal A]$. There are two properties of $Y$.

  1. $Y\in\mathcal A$

  2. $\int_{A\in\mathcal A} XdP=\int_{A\in\mathcal A} YdP$

This is the definition of conditional expectation.

share|improve this answer
    
While I know what you mean, $\int_{\mathcal A}$ is not very standard notation. –  cardinal Mar 9 '13 at 21:07
    
@cardinal: Thanks, edited. –  Bravo Mar 9 '13 at 21:38
    
Sorry, but I know what its definition is, in this case it is an exercise, we have to give its form in the case of the particular $\mathcal{A}$. –  Mathoman Mar 9 '13 at 21:39
    
Ok thank you, I see what to do now! –  Mathoman Mar 10 '13 at 8:56

Prove that the following quantities satisfy the definition of conditional expectation for $A \in \mathcal{A}$ and $A^c \in \mathcal{A}$ (the other two are obvious): $$\frac{\int_A X \,\mathrm{d}P}{P(A)} \quad\textrm{and}\quad \frac{\int_{A^c} X \,\mathrm{d}P}{P(A^c)}$$ This is actually a special case of a more general result about expectation conditional on the sigma-field generated by a (possibly infinite) measurable partition of $\Omega$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.