1
$\begingroup$

Let X be integrable and $A_n$ a sequence of subsets such that $ \lim_{n\to \infty} {P(A_n)} =0$. Show that $E X 1_{A_n} \to 0$.

  • 0
    The $X$ has disappeared from the expectation???2012-10-17

2 Answers 2

2

Presumably you mean $X$ is integrable?

Since $X$ is integrable, the measure $\mu(A) = E (|X| 1_A)$ is absolutely continuous (AC) with respect to $P$. Since $\mu$ is AC we have $\forall \epsilon>0$, there exists $\delta >0$ such that if $P(A)< \delta$ then $\mu(A) < \epsilon$.

Since $P(A_n) \to 0$, it follows that $\mu(A_n) \to 0$. Since $|E(X 1_{A})| \leq E (|X| 1_A) = \mu(A)$, it follows that $E(X 1_{A_n}) \to 0$.

An alternative approach: (This just explicitly demonstrates that the measure $\mu$ above is absolutely continuous with respect to $P$.)

Let $\epsilon >0$. Let $L_M = \{t| |X(t)| \leq M\}$. Then $|X| 1_{L_M} \leq |X|$, and $\lim_{M\to\infty} |X(t)| 1_{L_M}(t) = |X(t)|$, hence the dominated convergence theorem gives $\lim_{M\to\infty} \int_{L_M} |X| = \int |X|$. It follows that there exists $M$ such that $\int_{L_M^C} |X| < \frac{\epsilon}{2}$. Note that if $t \in L_M$, then $|X(t)|\leq M$.

Now suppose that $P(A) < \frac{\epsilon}{2M}$. Then $|\int_A X| \leq \int_A |X| = \int_{A\cap L_M} |X| + \int_{A \setminus L_M} |X|$. Since $A \setminus L_M \subset L_M^C$, we have $\int_{A \setminus L_M} |X| < \frac{\epsilon}{2}$, and $\int_{A\cap L_M} |X| \leq M P(A) < \frac{\epsilon}{2}$. Consequently, $|\int_A X| < \epsilon$.

Since $P(A_n) \to 0$, it follows that $\int_{A_n} X \to 0$. Since $E X 1_{A_n} = \int_{A_n} X$, the result follows.

  • 0
    Thank you very much. It's clear to me now.2012-10-19
1

Actually, $E 1_{A_{n}}$ is $\mathrm{Pr}(A_{n})$.