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$.
Integrable Functions in Probability
-
0The $X$ has disappeared from the expectation??? – 2012-10-17
2 Answers
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.
-
0Thank you very much. It's clear to me now. – 2012-10-19
Actually, $E 1_{A_{n}}$ is $\mathrm{Pr}(A_{n})$.