1
$\begingroup$

Assume that $f:E \to [0,\infty]$ where $E \subseteq \mathbb{R}^n$ is a measurable set, and $f$ is $\mathbb{L}$-measurable. And use $x \in \mathbb{R}^n$ and $y \in \mathbb{R}$.

First I'm wondering why the subsets A and B stated below are measurable. $A=\{(x,y) \in \mathbb{R}^{n+1} | 0 \le y < f(x), x \in E\}$ $B=\{(x,y) \in \mathbb{R}^{n+1} | 0 \le y \le f(x), x \in E\}$

And then how can I conclude following equation for measure value?

\begin{align} \lambda(A)=\lambda(B)=\int_E f(x)dx & = \int_0^\infty \lambda(\{x \in E | f(x) >y\})dy \\ &= \int_0^\infty \lambda(\{x \in E | f(x) \ge y\})dy \end{align}

  • 0
    Yes. L is lebesgue measure. Rational$r$is sueful for inequality which has not equality. Thanks.2012-06-13

1 Answers 1

0

If $f$ is Lebesgue measurable, then the function $\tilde{f}(x,y)=y-f(x)$ is also Lebesgue measurable. Then $A=\{y \geq 0\} \cap \{ \tilde{f}(x,y)<0\}$ and $B=\{y \geq 0\} \cap \{\tilde{f}(x,y) \leq 0\}$ are both measurable.

For each $x \in E$, the slices $A_x=\{y \in \mathbb{R} \, | \, (x,y) \in A\}$ and $B_x=\{y \in \mathbb{R} \, | \, (x,y) \in B\}$ both have measure $f(x)$ (since they are, resp., the segments $[0,f(x))$ and $[0,f(x)]$). Thus,

$m(A)=\int \chi_A(x,y) \, dx \, dy=\int_E m(A_x)\,dx=\int_E f(x) \, dx$.

And similarly for $m(B)$.

  • 0
    \int_E f(x)dx = \int_0^\infty \lambda(\{x \in E | f(x) >y\})dy?2012-06-13