# Restriction of a Lebesgue integral to a subset of a measurable set.

Let $f$ be a bounded measurable function on a set of finite measure $E$. For a measurable subset $A$ of $E$, show that $\int_A f = \int_E f \cdot \chi_A$

Lemma: Let $f$ be a bounded measurable function on a set of finite measure $E$. Suppose $A$ and $B$ are disjoint measurable subsets of $E$. Then $\int_{A \cup B} f = \int_A f + \int_B f$.

My first approach was to view the problem like this utilizing the above lemma:

$$\int_E f \cdot \chi_A = \int_{E\setminus A} f \cdot X_A + \int_A f \cdot \chi_A$$

I'm not really sure how the result follows from the above.

-
$f\chi_A =f$ on $A$, and $f\chi_A = 0$ on $E\setminus A$.
Does the first part make sense $\int_E f \chi_A$? At first, I wanted to say $\int_E f \chi_E$, but I didn't think that made much sense. –  abet Nov 12 '12 at 6:13
The idea is good. $\int_E f\chi_A$ makes sense. –  aid Nov 12 '12 at 6:14